An approach to object-oriented requirements verification in software development for distributed computing systems.
Stephen S. YauDoo-Hwan BaeKeunhyuk YeomPublished in: COMPSAC (1994)
Keyphrases
- distributed computing systems
- software development
- object oriented
- software engineering
- requirements engineering
- software artifacts
- development lifecycle
- development effort
- distributed processing
- software development process
- software systems
- distributed computing
- relational databases
- distributed computing environment
- software projects
- software development projects
- software developers
- model checking
- formal methods
- databases
- query language
- case study
- software design
- software components
- development process
- software architecture
- open source
- database systems