Querying of Executable Software Specifications.

Giancarlo Nota Giuliano Pacini

Published 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