|
Published Articles >> Table of Contents >> Abstract
Seventh Asia-Pacific Software Engineering Conference (APSEC'00)
p. 180
Formal specification of Catalysis frameworks
J.K. Filipe, Tech. Univ. Braunschweig, Germany
K.-K. Lau, Tech. Univ. Braunschweig, Germany
M. Omaghi, Tech. Univ. Braunschweig, Germany
K. Taguchi, Tech. Univ. Braunschweig, Germany
H. Yatsu, Tech. Univ. Braunschweig, Germany
A. Wills, Tech. Univ. Braunschweig, Germany
Full Article Text:
  
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/APSEC.2000.896697
Send link to a friend
| Abstract |
|
Frameworks are increasingly being recognised as very useful components in the emerging paradigm of component-based software development (CBD). They are widely accepted as better units of reuse than objects. The CBD methodology Catalysis, for instance, uses frameworks. However, at present, Catalysis frameworks are described only informally, which means we cannot reason formally about frameworks, in particular their composition, and thereby their reuse. For this, we would need to specify frameworks (and their composition) formally. In this paper, we describe our approach for doing so.
|
 Additional Information
|
Index Terms- formal specification; subroutines; software reusability; object-oriented methods; Catalysis frameworks; formal specification; component-based software development; software reuse; informal description; framework composition; formal reasoning
Citation:
J.K. Filipe, K.-K. Lau, M. Omaghi, K. Taguchi, H. Yatsu, A. Wills,
"Formal specification of Catalysis frameworks,"
apsec,
p. 180,
Seventh Asia-Pacific Software Engineering Conference (APSEC'00),
2000
|
|
