Titlebook: LOTOSphere: Software Development with LOTOS; Tommaso Bolognesi,Jeroen Lagemaat,Chris Vissers Book 1995 Springer Science+Business Media Dor

調(diào)整

micronutrients

Design and Implementation StrategiesThis chapter addresses basically the pragmatic support for the production of a final . of a distributed information system, on basis of a high-level architectural design called . This production process, which is called . ([G08]), is decomposed into two sub-phases. These two sub-phases share an intermediate design called . ([.]).

退出可食用

Lotos Industrial ApplicationsTodays information processing systems are getting increasingly complex. They provide more sophisticated functionalities, are running on different distributed machines and are interconnected via various communication networks.

敲詐

Applying Lotos to OSI Application Layer ProtocolsThis chapter discusses the development of a pilot OSI application using the Lotosphere methodology and Lite toolset. Particular emphasis is placed on strategic issues arising from the work relating to both OSI standardisation and the industrial exploitation of LOTOS.

NOT

Exonerate

Correctness Preserving Transformations for the Early Phases of Software DevelopmentThe Lotosphere methodology is meant to support system designers and implementors along the trajectory from an initial, abstract specification, down to concrete design and implementation: the latter should be obtained from the former via a disciplined sequence of transformation and refinement steps.

GEST

A Pragmatic Approach to Verification, Validation and CompilationThe scope of this work is the industrial application of the Lotosphere methodology for distributed system design. The operational aspects of the Lotosphere methodology are described in [D02].

后來

A Tool for Checking ADT Completeness and ConsistencyAbstract data type specifications (ADTS) in LOTOS have a clean and abstract semantics: initial quotient term algebra and the equality relation generated as smallest congruence relation induced by the given axioms [.]. This clean semantics supports correctness proofs and the development of tools for symbolic data type evaluation.

JADED

malapropism