Jing Dong, Paulo S.C. Alencar, Donald D. Cowan  Home/Search
Context Related
| csgrs6k1.uwaterloo.ca/~jdo...oois01.pdf 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: utdallas.edu/~jdong/research (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper introduces a rigorous analysis approach to software design composition based on automated verification techniques. We show how to represent, instantiate and integrate design components, and how to find design composition errors using model checking techniques. We illustrate our approach with a Web-based hypermedia case study since hypermedia documents and systems are now becoming complex software applications, which are component-based. (Update)
Cited by: More
Automating the Analysis of Design Component Contracts - Dong, al. (2006) (Correct)
A Behavioral Analysis Approach to Pattern-Based Composition - Dong, Alencar, Cowan (2001) (Correct)
On Analysis of Design Component Contracts: A Case Study - Dong, Alencar, Cowan (Correct)
Active bibliography (related documents): More All
0.3: Ensuring Structure and Behavior Correctness in . . . - Dong (Correct)
0.1: Component Contract Templates - A Rigorous Approach for.. - Dong, Alencar, Cowan (Correct)
0.1: A Pattern-Based Approach to Structural Design Composition - Alencar, Cowan, Dong, al. (1999) (Correct)
Similar documents based on text:
1.0: Unknown - (Correct)
Related documents from co-citation: More All
3: Design Reuse in Hypermedia Applications Development - Rossi, Schwabe et al. - 1997
3: Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic S.. (context) - Clarke, Emerson et al. - 1986
3: Elements of Reusable Object-Oriented Software (context) - Gamma, Helm et al. - 1995
BibTeX entry: (Update)
J. Dong, P. Alencar, and D. Cowan. A Behavioral Analysis Approach to Pattern-Based Composition. Proceedings of the 7th International Conference on Object-Oriented Information Systems (OOIS), Springer Verlag, Calgary, Canada, pages 540--549, August 2001. http://citeseer.ist.psu.edu/dong01behavioral.html More
@misc{ dong01behavioral,
author = "J. Dong and P. Alencar and D. Cowan",
title = "A Behavioral Analysis Approach to Pattern-Based Composition",
text = "J. Dong, P. Alencar, and D. Cowan. A Behavioral Analysis Approach to Pattern-Based
Composition. Proceedings of the 7th International Conference on Object-Oriented
Information Systems (OOIS), Springer Verlag, Calgary, Canada, pages 540--549,
August 2001.",
year = "2001",
url = "citeseer.ist.psu.edu/dong01behavioral.html" }
Citations (may not include all citations):1097 Automatic Verification of Finite-State Concurrent Systems Us.. (context) - Clarke, Emerson et al. - 1986
681 The Unified Modeling Language User Guide (context) - Booch, Rumbaugh et al. - 1999
254 Elements of Reusable Object-Oriented Software (context) - Gamma, Helm et al. - 1995
227 Formal Methods: State of the Art and Future Directions - Clarke, Wing - 1996
56 Tool Support for Object-Oriented Patterns - Florijn, Meijers et al. - 1997
44 Component-Oriented Software Technology - Nierstrasz, Dami - 1995
42 Efficient Model Checking Using Tabled Resolution - Ramakrishna, Ramakrishnan et al. - 1997
32 Composite Design Patterns - Riehle - 1997
30 Formalizing Design Pattern (context) - Mikkonen - 1998
27 Design Reuse in Hypermedia Applications Development - Rossi, Schwabe et al. - 1997
25 Validating Component Composition in Software System Generato.. - Batory, Geraci - 1996
23 A Formal Approach to Architectural Design Patterns - Alencar, Cowan et al. - 1996
21 Design Components: Towards Software Composition at the Desig.. (context) - Keller, Schauer - 1998
8 A Pattern-Based Approach to Structural Design Composition - Alencar, Cowan et al. - 1999
8 Using UML Collaboration Diagrams for Static Checking and Tes.. - Abdurazik, Offutt - 2000
3 A Behavioral Analysis Approach to Pattern-Based Composition - Dong, Alencar et al. - 2001
1 Dynamic Views of SGML Tagged Documents (context) - Fraser, Roberts et al. - 1999
Documents on the same site (http://www.utdallas.edu/~jdong/research.html): More
Component Contract Templates - A Rigorous Approach for.. - Dong, Alencar, Cowan (Correct)
Extending UML to Visualize Design Patterns in Class Diagrams - Dong, Yang (Correct)
On Analysis of Design Component Contracts: A Case Study - Dong, Alencar, Cowan (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