Graphical Object Oriented Executable Specification for an Automation Oriented Paradigm of Software Development.
Vincenzo RussiRoberto ZompiPublished in: DISCO (1990)
Keyphrases
- software development
- object oriented
- software engineering
- formal specification
- object oriented software
- code generation
- control flow
- software components
- data flow
- reverse engineering
- software systems
- object oriented software development
- software developers
- model based testing
- attribute grammars
- programming language
- process algebra
- object oriented databases
- software testing
- object oriented database systems
- specification language
- requirements analysis
- conceptual model
- database applications
- office information systems
- data model
- high level
- software design
- cost estimation
- case study
- database design
- software architecture
- software projects
- development process
- database schema
- object oriented programming
- pair programming
- tool support
- software reuse
- early vision
- software evolution
- design patterns
- database
- agile software development
- programming interface
- development lifecycle
- query language
- requirements engineering