Program Analysis for Software Engineering: New Applications, New Requirements, New Tools.
Daniel Le MétayerPublished in: ACM Comput. Surv. (1996)
Keyphrases
- software engineering
- software engineers
- requirements elicitation
- tool support
- complex software systems
- software artifacts
- software systems
- design principles
- development methodologies
- requirements engineering
- software requirements
- software development
- artificial intelligence
- software engineering practices
- design patterns
- software developers
- software reuse
- building blocks
- formal methods
- systems development
- object oriented software engineering
- data sets
- e learning
- metadata
- general purpose
- programming language
- source code
- human computer interaction
- software repositories
- functional requirements
- user friendly
- software projects
- user requirements