loading...
Formalizing the Framework Design Language F-UML
Brisbane, Australia September 22-September 27
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SEFM.2003.1236218First International Conference on Sof ...
 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 
 
Nadia Bouassida, Han?ne Ben-Abdallah, Fa?ez Gargouri, Abdemajid Ben Hamadou, "Formalizing the Framework Design Language F-UML," Software Engineering and Formal Methods, International Conference on, pp. 164, First International Conference on Software Engineering and Formal Methods (SEFM'03), 2003.
 
 
BibTex
x
 
@article{ 10.1109/SEFM.2003.1236218,
author = {Nadia Bouassida and Han?ne Ben-Abdallah and Fa?ez Gargouri and Abdemajid Ben Hamadou},
title = {Formalizing the Framework Design Language F-UML},
journal ={Software Engineering and Formal Methods, International Conference on},
volume = {0},
year = {2003},
isbn = {0-7695-1949-0},
pages = {164},
doi = {http://doi.ieeecomputersociety.org/10.1109/SEFM.2003.1236218},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Software Engineering and Formal Methods, International Conference on
TI - Formalizing the Framework Design Language F-UML
SN - 0-7695-1949-0
SP
EP
A1 - Nadia Bouassida,
A1 - Han?ne Ben-Abdallah,
A1 - Fa?ez Gargouri,
A1 - Abdemajid Ben Hamadou,
PY - 2003
KW - null
VL - 0
JA - Software Engineering and Formal Methods, International Conference on
ER -
 
Nadia Bouassida, Institut Sup?rieur d?Informatique et de Multim?dias de Sfax
Han?ne Ben-Abdallah, Gestion de Sfax
Fa?ez Gargouri, Gestion de Sfax
Abdemajid Ben Hamadou, Institut Sup?rieur d?Informatique et de Multim?dias de Sfax
Frameworks offer reuse through the generality they have to encompass. This same property, however, often makes a framework design fairly complex, hard to understand and, hence, to reuse. This paper, briefly, presents the F-UML design. It then focuses on the definition of the formal semantics of F-UML. This latter is defined through a translation of the meta-model of F-UML to Object-Z. The object-Z semantics allows a designer to prove the syntactic well-formedness of an F-UML design. In addition, it allows the verification of several design properties through a theorem prover.
Citation:
Nadia Bouassida, Han?ne Ben-Abdallah, Fa?ez Gargouri, Abdemajid Ben Hamadou, "Formalizing the Framework Design Language F-UML," sefm, pp.164, First International Conference on Software Engineering and Formal Methods (SEFM'03), 2003
Usage of this product signifies your acceptance of the Terms of Use.


Suggestions