Formal Theories and Software Systems: Fundamental Connections between Computer Science and Logic.
Robert L. ConstablePublished in: 25th Anniversary of INRIA (1992)
Keyphrases
- software systems
- computer science
- requirements specification
- software engineering
- source code
- software development
- artificial intelligence
- software design
- logical formulas
- software components
- software architecture
- software maintenance
- software engineers
- metamodel
- software developers
- development effort
- software testing
- functional requirements
- linux kernel
- formal methods
- software evolution
- maintenance activities
- clone detection
- complex software systems
- data mining
- software projects