Formal manipulation of modular software systems.
Robert L. NordPeter LeeWilliam L. ScherlisPublished in: Formal Methods in Software Development (1990)
Keyphrases
- software systems
- requirements specification
- software engineering
- source code
- software development
- software design
- software maintenance
- software architecture
- software components
- multi agent systems
- complex software systems
- functional requirements
- software quality
- software engineers
- metamodel
- object oriented systems
- design patterns
- software projects
- formal specification
- software testing
- software evolution
- product lines
- formal methods
- high level