The conical methodology and the evolution of simulation model development

DOI10.1007/BF02136825zbMath0941.68802MaRDI QIDQ1805478

Richard E. Nance

Publication date: 19 June 1995

Published in: Annals of Operations Research (Search for Journal in Brave)

Mathematics Subject Classification ID

Uses Software

• Smalltalk

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Extensions of graph inversion to support an artificially intelligent modeling environment
• Formal languages of labelled graphs
• On the classification of G-spheres II: PL automorphism groups.
• The SML Language for Structured Modeling: Levels 1 and 2
• The SML Language for Structured Modeling: Levels 3 and 4
• An Introduction to Graph-Based Modeling Systems, Part II: Graph-Grammars and the Implementation
• A Product Automaton Formalism for Hierarchical, Modular, Discrete Simulation
• A Formal Development of Event Graphs as an Aid to Structured and Efficient Simulation Programs
• Simulation program generators
• Matrix augmentation and partitioning in the updating of the basis inverse
• Dimensional Analysis in Mathematical Modeling Systems: A Simple Numerical Method
• A logic-based foundation of discrete event modeling and simulation
• An integrated approach to system modeling using a synthesis of artificial intelligence, software engineering and simulation methodologies
• Structural and behavioral equivalence of simulation models
• Program development by stepwise refinement
• On Time Flow Mechanisms for Discrete System Simulation