Rolland, Colette; Ambendet, François; Isso-Ibeka, … - In: Mathematics and Computers in Simulation (MATCOM) 25 (1983) 1, pp. 60-62
This paper presents concepts and tools for simulation softwares specification. At an abstract level of specification, we define a simulation software as a couple (conceptual structure, abstract machine). The conceptual structure is a structured representation of the simulated system behaviour....