loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Seventh Asia-Pacific Software Engineering Conference (APSEC'00)
The LAST project: development of a formal method for IS-specification and of a CASE-tool for IS-design
Singapore
December 05-December 08
ISBN: 0-7695-0915-0
ASCII Text
x 
 
J.M. Almendros Jimenez, L. Gonzalez Jimenez, "The LAST project: development of a formal method for IS-specification and of a CASE-tool for IS-design," Asia-Pacific Software Engineering Conference, pp. 54, Seventh Asia-Pacific Software Engineering Conference (APSEC'00), 2000.
 
 
BibTex
x
 
@article{ 10.1109/APSEC.2000.896683,
author = {J.M. Almendros Jimenez and L. Gonzalez Jimenez},
title = {The LAST project: development of a formal method for IS-specification and of a CASE-tool for IS-design},
journal ={Asia-Pacific Software Engineering Conference},
volume = {0},
year = {2000},
issn = {1530-1362},
pages = {54},
doi = {http://doi.ieeecomputersociety.org/10.1109/APSEC.2000.896683},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Asia-Pacific Software Engineering Conference
TI - The LAST project: development of a formal method for IS-specification and of a CASE-tool for IS-design
SN - 1530-1362
SP
EP
A1 - J.M. Almendros Jimenez,
A1 - L. Gonzalez Jimenez,
PY - 2000
KW - algebraic specification; specification languages; information systems; computer aided software engineering; linear algebra; set theory; user interfaces; LAST project; formal method; information system specification; CASE tool; information system design; linear algebra; set theory; user interface; LAST-UML
VL - 0
JA - Asia-Pacific Software Engineering Conference
ER -
 
J.M. Almendros Jimenez, Dept. of Languages & Comput., Almeria Univ., Spain
L. Gonzalez Jimenez, Dept. of Languages & Comput., Almeria Univ., Spain
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.
Index Terms:
algebraic specification; specification languages; information systems; computer aided software engineering; linear algebra; set theory; user interfaces; LAST project; formal method; information system specification; CASE tool; information system design; linear algebra; set theory; user interface; LAST-UML
Citation:
J.M. Almendros Jimenez, L. Gonzalez Jimenez, "The LAST project: development of a formal method for IS-specification and of a CASE-tool for IS-design," apsec, pp.54, Seventh Asia-Pacific Software Engineering Conference (APSEC'00), 2000
Usage of this product signifies your acceptance of the Terms of Use.