Computer Science Technical Reports
CS at VT

Specification Languages: Understanding Their Role in Simulation Model Development

Overstreet, C. Michael and Nance, Richard E. and Balci, Osman and Barger, Lynne F. (1987) Specification Languages: Understanding Their Role in Simulation Model Development. Technical Report TR-87-07, Computer Science, Virginia Polytechnic Institute and State University.

Full text available as:
PDF - Requires Adobe Acrobat Reader or other PDF viewer.
TR-87-07.pdf (1926420)


Current software specification techniques and specification languages are reviewed, emphasizing research activities in software specification languages. Alternate software life cycle models are described and compared to a simulation life cycle model. The importance of constructing a model specification before creating a programmed model is emphasized. Disadvantages in using simulation programming languages as model specification languages are discussed. The multiple uses which are made of a model specification are presented; these uses correspond to the alternate uses made of a requirements specification for general software. To evaluate where specification tools for general software will be effective for simulation modeling, both areas where the simulation life cycle corresponds to a general software life cycle and areas in which they differ are characterized. Important

Item Type:Departmental Technical Report
Subjects:Computer Science > Historical Collection(Till Dec 2001)
ID Code:55
Deposited By:User autouser
Deposited On:03 November 2005