The LAST project: Development of a formal method for IS-specification and of a CASE-tool for IS-design

  1. Almendros Jiménez, Jesús Manuel 2
  2. González Jiménez, L. 1
  1. 1 Universidad de La Rioja
    info

    Universidad de La Rioja

    Logroño, España

    ROR https://ror.org/0553yr311

  2. 2 Universidad de Almería
    info

    Universidad de Almería

    Almería, España

    ROR https://ror.org/003d3xx08

Libro:
Proceedings - Asia-Pacific Software Engineering Conference, APSEC

ISBN: 0769509150

Año de publicación: 2000

Volumen: 2000-January

Páginas: 54-61

Tipo: Capítulo de Libro

DOI: 10.1109/APSEC.2000.896683 SCOPUS: 2-s2.0-0008403579 GOOGLE SCHOLAR

Resumen

This paper describes the basic methodology of a formal method (LAST) that uses elements of linear algebra and set theory for IS-specification. It also reports on an R&D project whose aim is to develop LAST and to make it fully operational. To this end, a CASE-tool consisting of a LAST user interface, and a translator LAST-UML will be developed and tested. The necessary description of LAST-UML correspondence is also treated. The ultimate goal of the project is to contribute to the improvement of the IS development cycle. © 2000 IEEE.