Querying of Executable Software Specifications.
Giancarlo NotaGiuliano PaciniPublished in: IEEE Trans. Software Eng. (1992)
Keyphrases
- control flow
- formal specification
- written in natural language
- attribute grammars
- databases
- data flow
- software tools
- user interface
- query language
- software testing
- software development
- software projects
- real time
- software platform
- software design
- software architecture
- software systems
- computer systems
- source code
- high level
- data mining
- database
- software components
- personal computer
- process model
- modeling language
- specification language
- commercial software
- data sets