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

fYear

2000

fDate

2000

Firstpage

54

Lastpage

61

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Software Engineering Conference, 2000. APSEC 2000. Proceedings. Seventh Asia-Pacific

ISSN

1530-1362

Print_ISBN

0-7695-0915-0

Type

conf

DOI

10.1109/APSEC.2000.896683

Filename

896683