The simulation model development environment: an overview
WSC '92 Proceedings of the 24th conference on Winter simulation
The Visual Simulation Environment technology transfer
Proceedings of the 29th conference on Winter simulation
Linking simulation model specification and parallel execution through UNITY
WSC '91 Proceedings of the 23rd conference on Winter simulation
Model generation issues in a simulation support environment
WSC' 90 Proceedings of the 22nd conference on Winter simulation
Hi-index | 0.00 |
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.