A declarative approach to software requirement specification languages.
Jeffrey J. P. TsaiThomas J. WeigertMikio AoyamaPublished in: ICCL (1988)
Keyphrases
- specification languages
- formal specification
- object oriented design
- object oriented programs
- software architecture
- software systems
- knowledge representation
- software tools
- first order logic
- object oriented
- software components
- development process
- software design
- computer systems
- software development
- high level
- information systems
- genetic algorithm
- neural network
- software maintenance
- software quality
- software package
- commercial software
- software platform
- website