E-LOTOS: an Overview

G. Huecas, L.F. Llana-Díaz, T. Robles, and A. Verdejo


In M. A. Marsan, J. Quemada, T. Robles, and M. Silva, editors, Formal Methods and Telecommunications (FM&T'99), pages 94-102. Prensas Universitarias de Zaragoza, Sept. 1999.


Abstract: E-LOTOS (Enhanced LOTOS) includes several new features according with the user's needs detected during the last years. Simplification of the language, inclusion of programming language features (especially imperative features), modularity, new operators, and inclusion of formal support for time specification and analysis, make the new language much more industrial applicable, extend their applicability fields, and offer a powerful tool to cover systems development cycle from requirements capture to implementation production.

  [pdf]

@InProceedings{HuecasLlanaDiazRoblesVerdejo99,
  author =       {Gabriel Huecas and Luis Llana-D{\'\i}az and Tom\'as
                  Robles and Alberto Verdejo},
  title =        {{E-LOTOS}: and Overview},
  booktitle =    {Formal Methods and Telecommunications (FM\&T'99)},
  pages =        {94-102},
  year =         1999,
  month =        sep,
  editor =       {Marco Ajmone Marsan and Juan Quemada and Tom\'as Robles
                  and Manuel Silva},
  publisher =    {Prensas Universitarias de Zaragoza}
}