The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.08 - August (1992 vol.18)
pp: 705-716
ABSTRACT
<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>
INDEX TERMS
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
CITATION
G. Nota, "Querying of Executable Software Specifications", IEEE Transactions on Software Engineering, vol.18, no. 8, pp. 705-716, August 1992, doi:10.1109/32.153380
35 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool