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

豐富

VEN

制度

相符

Getting to Use the Lotosphere Integrated Tool Environment (Lite)opment. The methodology (which is described in Chapters 2 and 3) and the tools are strongly coupled, each tool having its room in the methodology as indicated in chapter 1. In this chapter we shall concentrate on the tools, but we shall do it by means of a running example that refers to the main pha

運(yùn)動(dòng)的我

Correctness Preserving Transformations for the Late Phases of Software Developmententations. At the core of the methodology are the notions of design, design step, and design trajectory. A design is a LOTOS specification of the system at a certain level of abstraction, complemented with some informal text representing the aspects of the system that are not (yet) formalised. A des

Vaginismus

A Case Study on Protocol Designgn of a simple, however realistic, connection-oriented data transfer protocol, starting from an initial specification of the service to be provided by the protocol. It corresponds, therefore, to one of the most important application fields of standardized Formal Description Techniques.

Exploit

GROVE

職業(yè)拳擊手

FOLD

http://image.papertrans.cn/l/image/580136.jpg