Formal Techniques in Software Engineering: Correct Software and Safe Systems.
Peter LiggesmeyerPublished in: TPHOLs (2007)
Keyphrases
- formal methods
- software engineering
- software engineers
- software systems
- software development
- software developers
- computer systems
- safety critical
- software maintenance
- software intensive systems
- software projects
- complex software systems
- computing systems
- commercial software
- complex systems
- software packages
- design patterns
- high end
- user interface
- requirements specification
- development methodologies
- software architecture
- database systems
- development process
- software components
- source code
- reactive systems
- commercial off the shelf
- software tools
- highly modular