A Pragmatic Approach to Verification, Validation and Compilation

  • Tomas de Miguel
  • Arturo Azcorra
  • Juan Quemada
  • José A. Mañas
Chapter

Abstract

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

Keywords

Assure Topo Prefix Unat 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    T. Robles A. Azcorra, J.A. Manas. Operational Guidance for Testing Specifications. Technical Report t33/upm/n0021, Lotosphere, ESPRIT-2304, June 1990.Google Scholar
  2. [2]
    R. Foorgard. Reve-A Program for Generating and Analyzing Term Rewriting Systems. Technical report MIT/LCS/TR-343, September 1984.Google Scholar
  3. [3]
    D. Knuth and P. Bendix. Computational Problems in Abstract Algebra. chapter Simple Word Problems in Universal Algebra. Pergamon press, 1970.Google Scholar
  4. [4]
    Jose A. Manas and Tomas de Miguel. From LOTOS to C. hi Turner [G07], pages 79–84. Proceedings FORTE’88, 6–9 September, 1988.Google Scholar
  5. [5]
    José A. Mañas and Joaquin Salvachúa. A Cross Compiling Experiment: a PC Implementation of a LOTOS Specification. In Gordon Rose and Ken Parker, editors Formal Description Techniques IV Sydney (AU), 1992. IFIP, Elsevier Science B.V. (North-Holland). Proceedings FORTE’91, 19–22 November, 1991.Google Scholar
  6. [6]
    Juan Quemada, Angel Ferná, and José A. Mañas. LOLA: Design and Verification of Protocols Using LOTOS. In IBERIAN Conference on Data Communications Lisbon, May 1987. Also in Computer Communication Systems A. Cerveira (ed) North-Holland (1988).Google Scholar
  7. [7]
    Juan Quemada, Santiago Pavón, and Angel Fernández. Transforming LOTOS Specifications with LOLA: The Parameterized Expansion. In Turner [?], pages 45–54. Proceedings FORTE’88, 6–9 September, 1988.Google Scholar

Copyright information

© Springer Science+Business Media Dordrecht 1995

Authors and Affiliations

  • Tomas de Miguel
    • 1
  • Arturo Azcorra
    • 1
  • Juan Quemada
    • 1
  • José A. Mañas
    • 1
  1. 1.Dpto. de Ingeniería de Sistemas TelemáticosUniversidad Politécnica de MadridSpain

Personalised recommendations