Formal methods in specifying discrete event simulation models

Formal methods in specifying discrete event simulation models

Bibliographic Details
Main Author:	Domingo, Lizza Tandoc
Published:	London School of Economics and Political Science (University of London) 1991
Subjects:	005 Computer software & programming
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.263339

Similar Items

A formal framework in VDM for the specification of parallel discrete event simulation
by: Hook, Nicola K.
Published: (1995)

Specifying distributed applications : the limits of formality
by: Fergus, Edward Joseph
Published: (1990)

Investigations into the scheduling of events and modelling of interrupts in discrete event simulation
by: Evans, J. B.
Published: (1982)

Discrete-event simulation on the bulk-synchronous parallel model
by: Marin, Mauricio
Published: (1998)

Modelling and programming support for parallel discrete event simulation with time warp
by: Hirata, Celso Massaki
Published: (1995)

Performance analysis of automatic lookahead generation in parallel discrete event simulation using control flow graphs
by: Zarei, Behrouz
Published: (2001)

Formal methods for rapid software prototyping
by: Quintas Figueiredo de Barros, Alexandra Maria
Published: (1997)

Formal methods and reuse in software engineering
by: Higgs, Clive Richard
Published: (1990)

Software tools to support formal methods
by: McParland, Patrick J.
Published: (1989)

Formal models for systems prototyping
by: Barroca, Leonor Maria Melo Torcato
Published: (1989)

Controlling the software development process through the techniques of software process modelling and formal methods
by: Proudlock, Kimberley M.
Published: (1994)

A method for formal specification and verification of interactive systems
by: Paterno, Fabio Domenico
Published: (1995)

Pragmatic application of formal methods to safety critical systems
by: Pratt, Norman Derek
Published: (1996)

An object oriented expert system for specifying computer data security requirements in an open systems environment
by: Bennett, Stacey Patricia
Published: (1995)

Formal modelling and analysis of broadcasting embedded control systems
by: Kendall, David
Published: (2001)

A formal development method for the construction of correct distributed applications software
by: Roantree, Donal Kevin
Published: (1993)

A compositional model for the formal specification of user interface software
by: Markopoulos, Panagiotis
Published: (1997)

Methods integration : rigorous systems specification using structured analysis and formal notations
by: Semmens, Lesely T.
Published: (1996)

The formal development of secure systems
by: Graham, -Cumming
Published: (1992)

The formal specification of computational structures
by: Stewart, Alan
Published: (1986)

Formal specification and verification of OSI protocols
by: Zhang, Bairong
Published: (1996)

Formal techniques in the management of software design
by: Richardson, W. E.
Published: (1983)

Evolution of a concurrent programming formalism
by: Rietti, G.
Published: (1980)

A graphical based formalism for executable specification
by: Gaskell, Craig
Published: (1997)

Interpreter prototypes from formal language definitions
by: Michaelson, Gregory John
Published: (1993)

Using formal specifications to enhance the software testing process
by: Hierons, Robert M.
Published: (1992)

The formal description of programming languages using predicate logic
by: Moss, C. D. S.
Published: (1981)

The use of non-formal information in reverse engineering and software reuse
by: Brown, Alan J.
Published: (1992)

A study of two formal description languages and their application to PASCAL
by: Badii, Mehdi
Published: (1981)

Extending the scope of discrete time models to provide practical results for continuous time queueing systems
by: Wall, Alan Douglas
Published: (1995)

Microprocessor control of discrete clinical chemical analyzers
by: Sheya, M. S.
Published: (1980)

The refinement of formal specifications using reusable software components in Ada95
by: Bale, Stephen Alan
Published: (1998)

Improvements in simulation methods for power system harmonic and transient studies
by: Hosseinian, S. H.
Published: (1996)

Parallel simulation techniques for telecommunication network modelling
by: Hind, Alan
Published: (1994)

Object oriented modelling and simulation of manufacturing systems
by: Lavery, Eamonn
Published: (1997)

Expert systems and simulation : an investigation of an expert system to facilitate the development and use of system dynamic simulation models
by: El-Hadad, Kamel Abdelsalam Mahmoud
Published: (1991)

Developments of a simulation language in conjunction with hydro-turbine modelling
by: Aitken, K. H.
Published: (1982)

Object-oriented development using the structured techniques : an entity-event approach
by: Ayre, John
Published: (1995)

A generic model for representing software development methods
by: Wong, Alan C. Y.
Published: (1996)

The development of a general-purpose dynamic simulator for food process design and simulation
by: Bewaji-Adedeji, Eniola Olsimbo
Published: (1995)