Zhiming Liu, et al.  Home/Search
Context Related
| unu.edu/home/Unuiist/...report288.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: We present an approach to embedding a formal method into the Rational Unified Process (RUP). The purposes are: (a) to unify different views of UML, (b) to enhance RUP and UML with the formal method to improve the quality of software systems; and (c) to support effective use of the formal method for system specification and reasoning with the iterative and incremental approach in RUP. Our overall aim is to base RUP and UML on the formal method and to scale up the use of the formal method in... (Update)
Cited by: More
Software Technology - Unu-Iist Report No (Correct)
Similar documents (at the sentence level):
5.5%: A Relational Model for Formal Object-Oriented Requirement.. - Liu, Jifeng, Li, Chen (2003) (Correct)
Active bibliography (related documents): More All
0.6: Linking UML Models of Design and Requirement - Liu, Liu, Jifeng, Li (2004) (Correct)
0.5: Modelling Object-Oriented Programming with Reference Type and.. - Jifeng (2003) (Correct)
0.3: Contract-Oriented Development of Component Software - Liu, Jifeng, Li (2004) (Correct)
Similar documents based on text: More All
0.3: A Contract-oriented Approach to CBP - Jifeng, Zhiming, Xiaoshan (2003) (Correct)
0.3: Computer Science Curriculum for Bangladesh - Khan (2001) (Correct)
0.3: A Relational Model for Specification of . . . - Jifeng, al. (Correct)
BibTeX entry: (Update)
Zhiming Liu, He Jifeng, Xiaoshan Li, and Jing Liu. Unifying Views of UML. Technical Report 288, UNU-IIST, P.O.Box 3058, Macau, October 2003. http://citeseer.ist.psu.edu/liu03unifying.html More
@misc{ liu03unifying,
author = "Z. Liu and H. Jifeng and X. Li and J. Liu",
title = "Unifying Views of UML",
text = "Zhiming Liu, He Jifeng, Xiaoshan Li, and Jing Liu. Unifying Views of UML.
Technical Report 288, UNU-IIST, P.O.Box 3058, Macau, October 2003.",
year = "2003",
url = "citeseer.ist.psu.edu/liu03unifying.html" }
Citations (may not include all citations):537 Component Software: Beyond Object-Oriented Programming (context) - Szyperski - 1998
406 Design Patterns (context) - Gamma - 1995
235 Object-Oriented Development: the FUSION Method (context) - Coleman - 1994
134 A Theory of Objects (context) - Abadi, Cardelli - 1996
82 Components and Framework with UML: The Catalysis Approach (context) - D'Souza, Wills - 1998
79 The Unified Modelling Language User Guide (context) - Booch, Rumbaugh et al. - 1999
75 Designing Object Systems: Object-Oriented Modelling with Syn.. (context) - Cook, Daniels - 1994
72 Unifying Theories of Programming (context) - Hoare, He - 1998
72 Designing an object-oriented programming language with behav.. (context) - America - 1991
70 A logic of object-oriented programs - Abadi, Leino - 1997
68 The Rational Unified Process -- An Introduction (context) - Kruchten - 2000
53 an Object-Oriented Extension to Z (context) - Carrington - 1989
35 Class refinement and interface refinement in object-orient p.. - Mikhajlova, Sekerinski - 1997
19 Developing the UML as a formal modelling notation - Evans
16 Recursive object types in a logic of object-oriented program.. - Rustan, Leino - 1998
15 Smart play-out of behavioral requirements - Harel - 2002
14 Towards a rigorous semantics of UML supporting its multiview.. (context) - Reggio - 2001
13 An approach to object-orientation in action systems - Bonsangue, Kok et al. - 1998
13 A methodology for specifying and analyzing consistency of ob.. (context) - Engels - 2001
8 Prentice-Hall International (context) - Larman, Patterns - 2001
7 Formalizing UML use cases in the refinement calculus (context) - Back, Petre et al. - 1999
6 From structured programming to object-oriented design: the r.. (context) - Meyer - 1989
5 semantics and all that stuff - part I: The basic stuff (context) - Harel, Rumpe et al. - 2000
5 Scalable consistency checking between diagrams: The Viewinte.. - Egyed - 2001
4 Towards a time model for Circus - Sherif, He - 2002
2 DM in the development of a real-time tracking and tracing sy.. (context) - urr, Dusink et al.
2 A relational model for formal requirements analysis in UML (context) - Liu, He et al. - 2003
1 Unifying theories of parallel programming (context) - Woodcock - 2002
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