System attribute specification: a cornerstone of software engineering.
Tom GilbPublished in: ACM SIGSOFT Softw. Eng. Notes (1981)
Keyphrases
- software testing
- software engineering
- software development
- software systems
- formal specification
- formal methods
- software design
- programming language
- object oriented
- artificial intelligence
- specification language
- development process
- design patterns
- software projects
- attribute values
- knowledge engineering
- knowledge management
- formal verification
- software architecture
- open source
- decision trees
- reverse engineering
- real time
- systems development
- requirements elicitation
- conceptual model
- user defined
- human computer interaction
- case study
- genetic algorithm