Juliana Küster Filipe, Kung-Kiu Lau, Mario Ornaghi, Hirokazu Yatsu  Home/Search
Context Related
| cs.man.ac.uk/~kungkiu...lopstr99.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cs.man.ac.uk/~kungkiu/pub/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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 reect practical systems in which objects tend to have more than one role in more than one context. In an earlier paper, we described a formal semantics of the static aspects of OOD frameworks in computational logic. In this paper, we make a... (Update)
Context of citations to this paper: More
...Research Development Nihon Unisys Ltd. 1 1 1 Toyosu, Koto ku, Tokyo 135 8560, Japan Hirokazu.Yatsu unisys.co. jp Abstract In [13, 14, 10] we present a formalisation of OOD frameworks (i.e. groups of interacting objects) in component based software development (CBD) in...
.... RESOLVE [14] It may be an object model [2] as in OMT [11] or UML [12] It may yet be an OOD framework, i.e. a group of interacting objects [6], such as frameworks in the CBD methodology Catalysis [3, 5] It could even be a design pattern or schema [4] We believe that our...
Cited by: More
Foundations of a Module Concept for Distributed Object Systems - Filipe (2000) (Correct)
Some Ingredients of Trusted Components - Kung-Kiu Lau Department (Correct)
A Priori Reasoning for Component-based Software - Development Kung-Kiu Lau (Correct)
Similar documents (at the sentence level):
6.8%: Object-Oriented Design Frameworks: Formal Specification.. - Crnkovic, Filipe, al. (2000) (Correct)
5.8%: On Dynamic Aspects of OOD Frameworks in Component-based .. - Filipe, Lau, Ornaghi.. (2000) (Correct)
5.5%: Intra- and Inter-OOD-Framework Interactions in.. - Filipe, Lau, Ornaghi.. (Correct)
Active bibliography (related documents): More All
0.4: OOD Frameworks in Component-based Software Development in.. - Lau, Ornaghi (1998) (Correct)
0.3: Formal Specification of Catalysis Frameworks - Filipe, Lau, Ornaghi, Taguchi.. (2000) (Correct)
0.2: On the Development and Use of a Formal Object Oriented.. - Kowsari (2002) (Correct)
Similar documents based on text: More All
2.0: On the Implementation of Catalysis Frameworks in COM - Ho, Lau (Correct)
1.0: Towards Correct Object-Oriented Systems in Computational Logic - Lau, Ornaghi (Correct)
0.5: OOD Frameworks in Component-based Software Development - In Computational Logic (Correct)
Related documents from co-citation: More All
8: Steadfast logic programs - Lau, Ornaghi et al.
6: A Formal Semantics for Object Model Diagrams (context) - Bourdeau, Cheng - 1995
6: ObjectOriented Modeling and Design (context) - Rumbaugh, Blaha et al. - 1991
BibTeX entry: (Update)
J. Kuster Filipe, K.-K. Lau, M. Ornaghi, and H. Yatsu, On dynamic aspects of OOD frameworks in component-based software development in computational logic. In A. Bossi, editor, Proc. LOPSTR'99, Lecture Notes in Computer Science 1817:43-62, Springer-Verlag, 2000. http://citeseer.ist.psu.edu/filipe99dynamic.html More
@inproceedings{ filipe99dynamic,
author = "Juliana Kuster Filipe and Kung-Kiu Lau and Mario Ornaghi and Hirokazu Yatsu",
title = "On Dynamic Aspects of {OOD} Frameworks in Component-Based Software Development in Computational Logic",
booktitle = "Logic Program Synthesis and Transformation",
pages = "42-61",
year = "1999",
url = "citeseer.ist.psu.edu/filipe99dynamic.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
174 Springer-Verlag (context) - Abadi, Cardelli et al. - 1996
78 Conditional rewriting logic as a unied model of concurrency (context) - Meseguer - 1992
72 A formal semantics for object model diagrams (context) - Bourdeau, Cheng - 1995
48 a and A.C. Wills. Objects, Components, and Frameworks with U.. (context) - D'Souz - 1998
34 Modelling nondeterministic concurrent processes with event s.. (context) - Loogen, Goltz - 1991
30 Logics for specifying concurrent information systems (context) - Ehrich, Caleiro et al. - 1998
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 - 1999
13 The TROLL approach to conceptual modelling: syntax (context) - Grau, uster et al. - 1998
9 Fundamentals of a module logic for distributed object system.. - uster - 2000
6 Isoinitial models for logic programs: A preliminary study - Lau, Ornaghi - 1998
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.
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.man.ac.uk/~kung-kiu/pub/): More
Top-down Synthesis of Sorting Algorithms - Lau (1992) (Correct)
A Note on Synthesis and Classification of Sorting Algorithms - Lau (1989) (Correct)
Modules, Reuse and Correctness - Lau, Ornaghi (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