|
|
|
Formal Specifications - Software engineering |
|
|
15h L / 3h R / 1 WE / 2 ECTS credits / IIC_SGL |
|
|
Joanna Tomasik (9h), Michel MUENIER (6h) |
|
|
The design and the development of secure software are more and more important, especially in critical applications from the point of view of reliability or availability. Only a formal approach used with a methodology of development are able to guarantee these qualities. Life cycle phases of the development method will be taken into account with adapted tools and development environments.
|
|
|
Formal specifications |
|
|
Abstract models, concrete models
The B Method
Presentation of the mathematical concepts used by the B Method. Abstract machine, refinement and implementation in B. B projects with Atelier B. Case studies (industrial process control, telecommunications protocols, …)
|
|
|
Software Engineering |
|
|
Project management / software specific issues
Software peculiarities. Software estimates. Software indicators. Capitalization.
Software process improvement CMMI model. Software process improvement plans.
Software engineering
Software requirements management. Peer-reviews. Metrics. Software qualification. Software configuration management. Reuse. Software quality assurance.
|
|
|
|
|
|
References
R.Pressman, Software Engineering, A practitioner's approach, Mc Graw Hill, 2003.
K.Dymond, Le guide du CMM, Cédapuès Editions, 1997.
S. Kenefick, Software Configuration Management, Apress, 2003.
J-R. Abrial, The B-Book. Assigning programs to meanings, Cambridge University Press, 1996.
S. Schneider, The B-method. An Introduction, Palgrave Macmillian, 2001. |
|
|
Last update 06/07/2007 by Cl.M. |
|