Sun Meng, Bernhard K. Aichernig  Home/Search
Context Related
| unu.edu/home/Unuiist/...report272.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: unu.edu/home/Unuiist/newrh...page (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Classes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31 4.3.2 Multiple Inheritance . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33 4.4 Templates . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33 4.5 Semantics of Class Diagrams . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34 4.6 Examples in Checking Consistency of Class Diagrams . . . . . . . . . . . . . . . . . . 35 5 Use Cases 37 5.1... (Update)
Context of citations to this paper: More
...veri cation of software. Bernhard K. Aichernig is responsible. SUN Meng from China worked on a coalgebraic semantics for UML diagrams [5, 6]. Furthermore, the use of RSL as a coalgebraic speci cation language has been investigated [7] The results have been incorporated in a...
Cited by: More
A Coalgebraic Calculus for Component Based Systems - Meng, Aichernig (Correct)
On Refinement of Generic Software Components - Meng, Barbosa (2003) (Correct)
Software Technology - Unu-Iist Report No (Correct)
Active bibliography (related documents): More All
1.4: Component-Based Coalgebraic Specification and Verification in.. - Meng, Aichernig (2002) (Correct)
1.2: Coalg_{KPF}: Towards a Coalgebraic Calculus for.. - Meng, Aichernig (Correct)
1.0: UNU/IIST Annual Report 2001 - Unu/iist (2002) (Correct)
Similar documents based on text: More All
0.3: Computer Science Curriculum for Bangladesh - Khan (2001) (Correct)
0.2: UNU/IIST Annual Report 2000 - Unu/iist (2001) (Correct)
0.2: UNU/IIST Annual Report 1999 - Unu/iist (2000) (Correct)
Related documents from co-citation: More All
2: Coalg KPF : Towards a Coalgebraic Calculus for Component-based Systems (context) - Sun, Aichernig - 2003
2: Calculating upward and downward simulations of state-based specifications (context) - Derrick, Boiten - 1999
2: Real-time Systems Development with Duration Calculus: an Overview - Van Hung - 2002
BibTeX entry: (Update)
Sun Meng and Bernhard Aichernig. Towards a Coalgebraic Semantics of UML: Class Diagrams and Use Cases. Technical Report 272, UNU/IIST, P.O.Box 3058, Macau, January 2003. http://citeseer.ist.psu.edu/meng03towards.html More
@misc{ meng03towards,
author = "S. Meng and B. Aichernig",
title = "Towards a Coalgebraic Semantics of UML: Class Diagrams and Use Cases",
text = "Sun Meng and Bernhard Aichernig. Towards a Coalgebraic Semantics of UML:
Class Diagrams and Use Cases. Technical Report 272, UNU/IIST, P.O.Box 3058,
Macau, January 2003.",
year = "2003",
url = "citeseer.ist.psu.edu/meng03towards.html" }
Citations (may not include all citations):1274 Object-oriented Software Construction (context) - Meyer - 1997
681 The Unified Modeling Language User Guide (context) - Booch, Rumbaugh et al. - 1999
542 Object-Oriented Software Engineering: A Use Case Driven Appr.. (context) - Jacobson, Christerson et al. - 1992
372 The Unified Modeling Language Reference Manual (context) - Rumbaugh, Jacobson et al. - 1999
232 Category Theory for Computing Science (context) - Barr, Wells - 1999
186 Universal coalgebra: a theory of systems - Rutten - 2000
174 Springer-Verlag (context) - Abadi, Cardelli et al. - 1996
121 An approach to object semantics based on terminal co-algebra.. (context) - Reichel - 1995
119 The RAISE Language Group. The RAISE Specification Language (context) - Language, RAISE et al. - 1992
72 Objects and classes (context) - Jacobs - 1996
56 The UML as a Formal Modeling Notation - Evans, France et al. - 1998
51 Towards a Formalization of the Unified Modeling Language - Breu, Hinkel et al. - 1997
50 Applying UML and Patterns : An Introduction to Object-Orient.. (context) - Larman - 2002
46 Bulletin of the European Association for Theoretical Compute.. (context) - Jacobs, Rutten et al. - 1997
41 Center for the Study of Languages and Information (context) - Aczel, Number et al. - 1988
33 Annals of Pure and Applied Logic (context) - Moss - 1999
30 Inheritance and cofree constructions - Jacobs - 1996
30 Specifying coalgebras with modal logic (context) - Kurz - 2001
30 Analysing UML active classes and associated state machines -.. - Reggio, Astesiano et al. - 2000
22 Logics for Coalgebras and Applications to Computer Science (context) - Kurz - 2000
21 Foundations of the unified modeling language - Clark, Evans - 1998
21 The Temporal Logic of Coalgebras via Galois Algebras - Jacobs - 1999
17 volume 141 of Studies in Logic and The Foundations of Mathem.. (context) - Jacobs, Type - 1999
16 Object Oriented Development in an Industrial Environment (context) - Jacobson - 1987
14 The coalgebraic class specification language CCSL - Rothe, Tews et al. - 2001
13 Transforming UML Models to Formal Specifications - Bruel, France - 1998
12 Exercises in coalgebraic specification - Jacobs - 2002
8 Expressing UML Class Diagrams Properties with OCL (context) - Gogolla, Richters - 2002
8 Improving the UML metamodel to rigorously specify aggregatio.. - Bruel, Henderson-Sellers et al. - 2001
8 Coalgebraic reasoning about classes in object-oriented langu.. - Jacobs - 1998
7 Object-oriented hybrid systems of coalgebras plus monoid act.. - Jacobs - 2000
7 Abstract Data Types and UML Models (context) - Hussmann, Cerioli et al. - 1999
6 A coalgebraic semantics of subtyping - Poll - 2000
6 A Theory-Based Representation for Object-Oriented Domain Mod.. - DeLoach, Hartrum - 2000
5 Modular Semantics for Object-Oriented Models - Hamie, Howse et al. - 1998
5 From modal logic to terminal coalgebras (context) - Roiger - 2001
4 Formal and Use-Case Driven Requirement Analysis in UML - Li, Liu et al. - 2001
4 UML Formalization and Transformation (context) - Smith - 1999
4 Component-based Coalgebraic Specification and Verification i.. - Sun, Aichernig - 2002
4 Coalgebras for binary methods: Properties of bisimulations a.. - Tews - 2001
4 Theoretical Computer Science (context) - Jacobs, Poll et al. - 2003
3 Software Development with UML (context) - Liu - 2002
3 Object-Oriented Software Development Using UML (context) - Liu - 2001
3 Checking the Consistency of UML Class Diagrams using Larch P.. - Andre, Romanczuk-Requile et al. - 2000
3 Coalgebraic Methods for Object-Oriented Specification (context) - Tews - 2002
3 The Unified Process for Practitioners: Object Oriented Desig.. (context) - Hunt - 2001
3 Modular Semantics for a UML Statechart Diagrams kernel and i.. (context) - Gnesi, Latella et al. - 2002
3 Assertional and Behavioural Refinement in Coalgebraic Specif.. - Jacobs, Tews - 2001
3 Coalg KPF : Towards a Coalgebraic Calculus for Component-bas.. (context) - Sun, Aichernig - 2003
3 Formalizing the UML Class Diagram Using Object-Z (context) - Kim - 1999
2 An algebra-coalgebra framework for system specification (context) - Crstea - 2000
2 Unified Modeling Language: Systems Analysis (context) - Siau, Halpin - 2001
2 Using Transition Systems to Unify UML Requirement Models (context) - Liu, Li et al. - 2002
2 Formal Foundations in RSL for UML Class Diagrams - Funes, George - 2002
2 Formalizing the Use of UML in Requirement Analysis - Liu, He et al. - 2001
1 Applying Use Cases : Second Edition (context) - Schneider, Winters - 2001
1 Available from http://siskin (context) - Pattinson, in - 2001
1 Integrating Observations and Computations in the Specificati.. (context) - Crstea - 2000
1 Integrating UML and Algebraic Specification Techniques (context) - Favre, Clerici - 1999
1 Black and White Diamonds (context) - Henderson-Sellers, Barbier - 1999
1 Formal concepts for an integrated internal model of the UML (context) - Groe-Rhode - 2001
Documents on the same site (http://www.iist.unu.edu/home/Unuiist/newrh/III/1/page.html): More
Compositional Reasoning Using the Assumption-Commitment Paradigm - Qiwen, Swarup (1998) (Correct)
On Checking Timed Automata for Linear Duration Invariants - Braberman, Van Hung (1998) (Correct)
Probabilistic Interval Temporal Logic - Guelev (1998) (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