See this document in CiteSeerX!

Object-Oriented Design Frameworks: Formal Specification and Some Implementation Issues (2000)  (Make Corrections)  (2 citations)
Ivica Crnkovic, Juliana Küster Filipe, et al.



  Home/Search   Context   Related

 
View or download:
mrtc.mdh.se/publications/0200.ps
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  mrtc.mdh.se/publ.php3 (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: In component-based software development, object-oriented design (OOD) frameworks are increasingly recognised as better units of reuse than objects. This is because OOD frameworks are groups of interacting objects, and as such they can better reflect practical systems in which objects tend to have more than one role in more than one context. In this paper, we show how to formally specify OOD frameworks, and briefly discuss their implementation and configuration management. (Update)

Similar documents based on text:   More   All
2.0:   On the Implementation of Catalysis Frameworks in COM - Ho, Lau   (Correct)
1.1:   Object-Oriented Design Frameworks: Formal Specification.. - Crnkovic, Filipe, al. (2000)   (Correct)
1.0:   Intra- and Inter-OOD-Framework Interactions in.. - Filipe, Lau, Ornaghi..   (Correct)

BibTeX entry:   (Update)

Crnkovic I., K ster J. K., Larsson M., and Lau K.-K., "Object-Oriented Design Frameworks: Formal Specification and Some Implementation Issues", In Proceedings of 4th IEEE International Baltic Workshop in DB and IS, 2000. http://citeseer.ist.psu.edu/crnkovic00objectoriented.html   More

@misc{ crnkovic00objectoriented,
  author = "I. Crnkovic and J. K{\"u}ster and J. Larsson and K. Lau",
  title = "Object-Oriented Design Frameworks: Formal Specification and Some Implementation
    Issues",
  text = "Crnkovic I., K ster J. K., Larsson M., and Lau K.-K., Object-Oriented Design
    Frameworks: Formal Specification and Some Implementation Issues, In Proceedings
    of 4th IEEE International Baltic Workshop in DB and IS, 2000.",
  year = "2000",
  url = "citeseer.ist.psu.edu/crnkovic00objectoriented.html" }
Citations (may not include all citations):
1286   ObjectOriented Modeling and Design (context) - Rumbaugh, Blaha et al. - 1991
235   Object-Oriented Development: The Fusion Method (context) - Coleman, Arnold et al. - 1994
144   Models for concurrency - Winskel, Nielsen - 1995
134   A Theory of Objects (context) - Abadi, Cardelli - 1996
115   Essential COM (context) - Box - 1998
72   A formal semantics for object model diagrams (context) - Bourdeau, Cheng - 1995
48   a and A.C. Wills (1998). Objects, Components, and Frameworks.. (context) - D'Souz - 1998
34   Modelling nondeterministic concurrent processes with event s.. (context) - Loogen, Goltz - 1991
29   Designing Object Systems (context) - Cook, Daniels - 1994
25   the power of model theory in specifying abstract data types .. (context) - Bertoni, Mauri et al. - 1983
21   Using UML: Software Engineering with Objects and Components (context) - Pooley, Stevens - 1999
14   A better foundation: development frameworks let you build an.. (context) - Mauth - 1996
14   OOD frameworks in component-based software development in co.. - Lau, Ornaghi - 1998
13   The TROLL approach to conceptual modelling: syntax (context) - Grau, uster et al. - 1998
10   Experience with change oriented SCM Tools - Crnkovic - 1997
9   Fundamentals of a module logic for distributed object system.. - uster - 2000
9   Interacting frameworks in Catalysis - Lau, Liu et al. - 1998
8   Version models for software conguration management - Conradi, Westfechtel - 1998
6   Isoinitial models for logic programs: A preliminary study - Lau, Ornaghi - 1998
5   A simple denition for parallel composition of prime event st.. (context) - Vaandrager - 1989
3   On specication and correctness of OOD frameworks in computat.. (context) - Lau, Ornaghi - 1998
3   Specifying behavioural compositions in OO systems (context) - Helm, Holland et al. - 1990
1   New challenges for conguration management (context) - Larsson, Crnkovic - 1999
1   The unied extensional versioning model (context) - Asklund, Bendix et al. - 1999

Documents on the same site (http://www.mrtc.mdh.se/publ.php3):   More
Handling Sporadic Tasks in Off-line Scheduled Distributed.. - Isovic, Fohler (1999)   (Correct)
Graphical Input Sketches for Producing Formalised Behavioural .. - Funk, Robertson   (Correct)
New Challenges for Configuration Management - Larsson, Crnkovic (1999)   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC