Integrating object-oriented requirements specifications with formal notations.
Jonathan LeeJiann-I PanWei T. HuangPublished in: ICTAI (1995)
Keyphrases
- object oriented
- requirements specification
- software requirements
- functional requirements
- class diagram
- formal specification
- software engineering
- requirements engineering
- unified modeling language
- written in natural language
- systems development
- software development
- formal language
- software systems
- database design
- programming language
- data model
- reactive systems
- levels of abstraction
- user requirements
- conceptual models
- application specific
- development process
- database applications
- relational databases
- specification language
- uml models
- modeling language
- reverse engineering
- object oriented databases
- design patterns
- general purpose
- formal methods
- real time systems
- e learning
- operational semantics
- formal model
- integrity constraints
- data types
- high level