Automated Support for the Development of Formal Object-Oriented Requirements Specifications
Robert B. JacksonDavid W. EmbleyScott N. WoodfieldPublished in: CAiSE (1994)
Keyphrases
- object oriented
- automated tools
- requirements specification
- software engineering
- support systems
- development projects
- enabling technologies
- knowledge management
- development process
- formal specification
- formal descriptions
- decision support
- development effort
- design principles
- functional requirements
- design tools
- knowledge based systems
- delay insensitive
- commercial off the shelf
- ontological engineering
- object oriented databases
- database design
- design process
- learning technology standards
- office information systems
- databases
- design requirements
- design guidelines
- tool support
- process management
- project management
- end users
- relational databases
- case study
- information systems