Towards the Construction of Verifiable Software Systems.
Lawrence FlonA. Nico HabermannPublished in: Conference on Data: Abstraction, Definition and Structure (1976)
Keyphrases
- software systems
- software engineering
- source code
- software development
- software components
- software maintenance
- software architecture
- metamodel
- software design
- real world
- software quality
- software projects
- multi agent systems
- design patterns
- linux kernel
- maintenance activities
- clone detection
- product lines
- databases
- component based software
- software requirements
- object oriented systems
- functional requirements
- software engineers
- software testing
- software developers
- reverse engineering
- object oriented