Issue No. 08 - August (1992 vol. 18)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/32.153380
<p>The availability of executable specification languages allows testing to be carried out soon after or concurrently with the requirements specification phase. In addition, it becomes possible to use these languages for rapid prototyping, making it possible to gather information on properties of the specified target system including its behavior in response to external events. The inspection of software behavior is viewed as the querying of executable specifications. A language RSQ is defined for the purpose of constructing queries against executable specifications expressed in RSF, a language for the description of systems with time constraints. A query is able to single out a subclass of possible behaviors based on properties supplied by the query. The integration of RSQ with RSF enhances the analytical abilities of the software designer and developer.</p>
querying; executable software specifications; specification languages; requirements specification phase; rapid prototyping; external events; language RSQ; RSF; time constraints; software designer; formal specification; query languages; software prototyping; specification languages
G. Pacini and G. Nota, "Querying of Executable Software Specifications," in IEEE Transactions on Software Engineering, vol. 18, no. , pp. 705-716, 1992.