Simulation Model Development: System Specification Techniques
dc.contributor.author | Barger, Lynne F. | en |
dc.contributor.author | Nance, Richard E. | en |
dc.contributor.department | Computer Science | en |
dc.date.accessioned | 2013-06-19T14:36:39Z | en |
dc.date.available | 2013-06-19T14:36:39Z | en |
dc.date.issued | 1986 | en |
dc.description.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. | en |
dc.format.mimetype | application/pdf | en |
dc.identifier | http://eprints.cs.vt.edu/archive/00000026/ | en |
dc.identifier.sourceurl | http://eprints.cs.vt.edu/archive/00000026/01/TR-86-19.pdf | en |
dc.identifier.trnumber | TR-86-19 | en |
dc.identifier.uri | http://hdl.handle.net/10919/19715 | en |
dc.language.iso | en | en |
dc.publisher | Department of Computer Science, Virginia Polytechnic Institute & State University | en |
dc.relation.ispartof | Historical Collection(Till Dec 2001) | en |
dc.rights | In Copyright | en |
dc.rights.uri | http://rightsstatements.org/vocab/InC/1.0/ | en |
dc.title | Simulation Model Development: System Specification Techniques | en |
dc.type | Technical report | en |
dc.type.dcmitype | Text | en |
Files
Original bundle
1 - 1 of 1