loading...
Integrating UML and Algebraic Specification Techniques
Melbourne, Australia November 22-November 25
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/TOOLS.1999.80942232nd International Conference on Tech ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Liliana Favre, Silvia Clérici, "Integrating UML and Algebraic Specification Techniques," Technology of Object-Oriented Languages, International Conference on, pp. 151, 32nd International Conference on Technology of Object-Oriented Languages, 1999.
 
 
BibTex
x
 
@article{ 10.1109/TOOLS.1999.809422,
author = {Liliana Favre and Silvia Clérici},
title = {Integrating UML and Algebraic Specification Techniques},
journal ={Technology of Object-Oriented Languages, International Conference on},
volume = {0},
year = {1999},
issn = {1530-2067},
pages = {151},
doi = {http://doi.ieeecomputersociety.org/10.1109/TOOLS.1999.809422},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Technology of Object-Oriented Languages, International Conference on
TI - Integrating UML and Algebraic Specification Techniques
SN - 1530-2067
SP
EP
A1 - Liliana Favre,
A1 - Silvia Clérici,
PY - 1999
KW - algebraic specification; forward engineering; reusability; object-oriented programming; UML
VL - 0
JA - Technology of Object-Oriented Languages, International Conference on
ER -
 
Liliana Favre, Universidad Nacional del Centro de la Pcia. de Buenos Aires
Silvia Clérici, Universidad Polit?cnica de Catalu?
Informal and formal methods can play complementary roles in object oriented software development. In this paper we present our work on integrating UML static models with the algebraic specification style. In previous work, a model for the definition of reusable components and a rigorous method for object oriented software reusability have been introduced. Our current goal is to map design artifacts to object oriented code. Since an integrated method requires common structuring mechanisms for object oriented models and algebraic specifications, the GSBLOO language has been defined. This language enriches GSBL with constructs that allow us to express different kinds of UML relations (dependencies, associations, generalizations and realizations).
Index Terms:
algebraic specification; forward engineering; reusability; object-oriented programming; UML
Citation:
Liliana Favre, Silvia Clérici, "Integrating UML and Algebraic Specification Techniques," tools, pp.151, 32nd International Conference on Technology of Object-Oriented Languages, 1999
Usage of this product signifies your acceptance of the Terms of Use.


Suggestions