Computer Science Technical Reports
CS at VT

Simulation Model Development: System Specification Techniques

Barger, Lynne F. and Nance, Richard E. (1986) Simulation Model Development: System Specification Techniques. Technical Report TR-86-19, Computer Science, Virginia Polytechnic Institute and State University.

Full text available as:
PDF - Requires Adobe Acrobat Reader or other PDF viewer.
TR-86-19.pdf (1884079)


A review of software specification techniques and specification languages is described. Special emphasis given to simulation model specification and the degree to which general software techniques are applicable in the modeling domain. The role of specification is examined in terms of existing techniques as well as abstraction permitting the identification of desirable properties unrelated to existing tools. A categorization of specification languages assists in understanding the similarities and differences among current approaches.

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