The Role of Mathematics and Formal Specification Techniques in Software System Development.
Hartmut EhrigGunnar SchröterPublished in: Bull. EATCS (2000)
Keyphrases
- formal specification
- object oriented design
- formal methods
- model checking
- software design
- specification language
- software testing
- specification languages
- software components
- software systems
- software engineering
- case study
- reverse engineering
- development process
- software developers
- process algebra
- business rules
- data abstraction
- user interface
- concurrent systems
- software maintenance
- software development
- code generation
- databases