The LAST project: Development of a formal method for IS-specification and of a CASE-tool for IS-design
- Almendros Jiménez, Jesús Manuel 2
- González Jiménez, L. 1
-
1
Universidad de La Rioja
info
-
2
Universidad de Almería
info
ISBN: 0769509150
Argitalpen urtea: 2000
Alea: 2000-January
Orrialdeak: 54-61
Mota: Liburuko kapitulua
Laburpena
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.