Simulation Model Development: System Specification Techniques
1986) Simulation Model Development: System Specification Techniques. Technical Report TR-86-19, Computer Science, Virginia Polytechnic Institute and State University. (
Full text available as: |
Abstract
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 |