Program Analysis for Software Engineering: New Applications, New Requirements, New Tools.
Daniel Le MétayerPublished in: ACM SIGPLAN Notices (1997)
Keyphrases
- software engineering
- requirements elicitation
- complex software systems
- software engineers
- design principles
- software requirements
- tool support
- development methodologies
- software developers
- requirements engineering
- design patterns
- software artifacts
- software development
- software systems
- artificial intelligence
- software engineering practices
- software projects
- software tools
- systems development
- end users
- reverse engineering
- software architecture
- user friendly
- information systems
- human computer interaction
- decision support
- programming language
- databases
- legal knowledge based systems
- multi agent systems
- expert systems
- software development process
- general purpose
- functional requirements
- formal methods
- software design
- user requirements