본 포스트는 개인 스터디 용으로 작성된 Ian Sommerville의 Software Engineering, 8/E의 요약본입니다.
1. Formal methods
- Formal specification is part of formal methods
- based on mathematical representation and analysis of S/W
- includes Formal specification, Specification analysis and proof, transformational development, program verification

2. Specification in the software process
- Specification and design are not seperatable.
- Architectural design is essential to specification process
사용자 삽입 이미지

3. Formal specification
- complements informal specification techniques. It removes areas of dout in a specification
- forces an analysis of the system requirements at an early stage, especially.
- Formal specification techniques are most applicable in the development of critical systems and standards.
- Algebraic techniques are suited to interface specification where the interfaces is defined as a set of object classes.
- Model-based techniques model the system using sets and functions. This simplifies some types of behavioural specification
- Operations are defined in a model-based specification by defining pre and post conditions on the system state.
Posted by 어쨌건간에