Now showing items 1-5 of 5

    • Diagnostic Assistance Using Digraph Representation of Discrete Event Simulation Model Specifications 

      Overstreet, C. Michael; Nance, Richard E. (Department of Computer Science, Virginia Polytechnic Institute & State University, 1986-03-01), TR-86-08
      Automated diagnosis of digraph representations of discrete event simulation models is illustrated as an effective model verification technique, applicable prior to coding the model in an executable language. The Condition ...
    • Graph-based Diagnosis of Discrete Event Model Specifications 

      Overstreet, C. Michael; Nance, Richard E. (Department of Computer Science, Virginia Polytechnic Institute & State University, 1983), CS83028-R
      Several diagnostics which assist in the construction of specifications for discrete event simulation models are defined. The model specifications to be analyzed must be in a particular form called a Condition Specification. ...
    • Simulation Model Management: Resolving the Technological Gaps 

      Nance, Richard E.; Mezaache, Ahmed L.; Overstreet, C. Michael (Department of Computer Science, Virginia Polytechnic Institute & State University, 1981), CS81007-R
      Model management poses requirements and responsibilities that extend throughout the life cycle of a simulation model. Recent publications have identified major problems in cost and time overruns, which are traceable to ...
    • A Specification Language To Assist In Analysis Of Discrete Event Simulation Models 

      Overstreet, C. Michael; Nance, Richard E. (Department of Computer Science, Virginia Polytechnic Institute & State University, 1983), CS83026-R
      The use of effective development environments for discrete event simulation models should reduce development costs and improve model performance. A model specification language to be used in a model development environment ...
    • Specification Languages: Understanding Their Role in Simulation Model Development 

      Overstreet, C. Michael; Nance, Richard E.; Balci, Osman; Barger, Lynne F. (Department of Computer Science, Virginia Polytechnic Institute & State University, 1987), TR-87-07
      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 ...