Non classifié(e)

Appendix C – Some Systems Modeling Good Practices
Good practice 1: an architectural model shall be done to solve a specific problem. Good practice 2: modeling activities shall be fully part of any system design project and this from the very beginning of the project Good practice 3:...
poursuivre la lecture
Appendix B – Classical Engineering Issues
We shall now present several classical engineering issues on illustrative examples. These issues are indeed representative of the typical problems addressed by systems architecting. We classified them in two categories: on one hand, product problems, referring to purely architectural flaws...
poursuivre la lecture
Appendix A – System Temporal Logic
Formal requirements are expressed in system temporal logicThe system temporal logic that we present here is a system-adaptation of the simplest temporal logic used in theoretical computer science, which is called LTL (Linear Temporal Logic; see [8], [11], [45], [54],...
poursuivre la lecture