Title :
The LAST project: development of a formal method for IS-specification and of a CASE-tool for IS-design
Author :
Jiménez, Jesús M Almendros ; Jiménez, Luis González
Author_Institution :
Dept. of Languages & Comput., Almeria Univ., Spain
Abstract :
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
Keywords :
algebraic specification; computer aided software engineering; information systems; linear algebra; set theory; specification languages; user interfaces; CASE tool; LAST project; LAST-UML; formal method; information system design; information system specification; linear algebra; set theory; user interface; Costs; Customer relationship management; Enterprise resource planning; Research and development; Robustness; Set theory; Supply chain management; Supply chains; Testing; Unified modeling language;
Conference_Titel :
Software Engineering Conference, 2000. APSEC 2000. Proceedings. Seventh Asia-Pacific
Print_ISBN :
0-7695-0915-0
DOI :
10.1109/APSEC.2000.896683
