Zur Bedeutung formaler Spezifikationsmethoden beim Software Engineering.
Alfred L. LuftPublished in: Angew. Inform. (1982)
Keyphrases
- software engineering
- software systems
- development process
- software engineers
- artificial intelligence
- programming language
- software projects
- software development
- reverse engineering
- object oriented
- software maintenance
- database
- design patterns
- software architecture
- software design
- formal methods
- requirements engineering
- systems analysis and design
- knowledge engineering
- human computer interaction
- knowledge management
- data mining
- data sets
- cooperative
- software quality
- feature selection
- learning algorithm
- systems development
- software product line