论文信息 - A PRAGMATIC APPROACH TO VERIFICATION, VALIDATION AND COMPILATION

A PRAGMATIC APPROACH TO VERIFICATION, VALIDATION AND COMPILATION

The 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].

Arturo Azcorra | Tomás de Miguel | Juan Quemada | José A. Mañas

[1] H. Brown,et al. Computational Problems in Abstract Algebra , 1971 .

[2] Tomás de Miguel,et al. From LOTOS to C , 1988, FORTE.

[3] C.A. Vissers,et al. Formal description techniques , 1983, Proceedings of the IEEE.

[4] R. Forgaard. A PROGRAM FOR GENERATING AND ANALYZING TERM REWRITING SYSTEMS , 1984 .

[5] Juan Quemada,et al. Transforming LOTOS Specifications with LOLA - The Parameterised Expansion , 1988, FORTE.