Demissie B. Aredo, Olaf Owe  Home/Search
Context
Related
| heim.ifi.uio.no/~demis...RS308IFI.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: heim.ifi.uio.no/~d...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this paper, we demonstrate feasibility of a development framework that integrates semi-formal graphical modeling techniques with formal methods (FMs). In particular, the framework integrates the Unified Modeling Language (UML) with the PVS environment to exploit the synergy between them. System descriptions are given in the graphical UML notations and translated into PVS specifications based on semantic definitions, which we have proposed for the UML notations. (Update)
Active bibliography (related documents): More All
0.8: Combining Graphical and Formal Specification: the.. - Johnsen, Zhang, Owe.. (2001) (Correct)
0.7: Semantics of UML Statecharts in PVS - Aredo (2001) (Correct)
0.6: A Framework for Semantics of UML Sequence Diagrams in PVS - Aredo (2002) (Correct)
Similar documents based on text: More All
0.3: Towards a formalization of UML Class Structure in PVS - Aredo, Traoré.. (1999) (Correct)
0.3: On the Use of Subtypes in ABEL (Revised Version) - Dahl, Owe (1995) (Correct)
0.2: Formalizing UML Class Diagrams in PVS - Aredo (Correct)
BibTeX entry: (Update)
@misc{ aredo-formal,
author = "Demissie B. Aredo and Olaf Owe",
title = "Formal System Development Using Method Integration: a Case Study",
url = "citeseer.ist.psu.edu/aredo04formal.html" }
Citations (may not include all citations):470 Design and Validation of Computer Protocols (context) - Holzmann - 1991
340 Software Engineering (context) - Sommerville - 1996
274 Prentice-Hall International (context) - Spivey, Notation et al. - 1992
270 Formal Verification for Fault-tolerant Architectures: Proleg.. - Owre, Rushby et al. - 1995
181 The Object Constraint Language: Precise Modeling with UML (context) - Warmer, Kleppe - 1999
173 Comparison of Commercial and Military Computer Security Poli.. (context) - Clark, Wilson - 1987
113 Computer Science Laboratory (context) - Owre, Shankar et al. - 1999
94 Maude: Specification and Programming in Rewriting Logic - Clavel, Duran et al. - 2002
37 Computer Security (context) - Gollmann - 1999
36 Tabular representations in relational documents - Janicki, Parnas et al. - 1996
19 Extending OCL to include Actions (context) - Kleppe, Warmer - 2000
11 Response to the UML (context) - Warmer - 2003
8 Telecommunications Research Institute of Ontario (context) - Parnas, of et al. - 1992
8 on Programming Languages and Systems (context) - Liskov, Wing et al. - 1994
7 Formal Semantics of Static and Temporal State-Oriented OCL C.. - Flake, Mueller - 2003
7 An Outline of PVS Semantics for UML Statecharts (context) - Traore - 2000
5 and model checking for protocols and distributed systems wit.. (context) - Rushby, proof - 1997
5 LSC's: Breathing Life into Message Sequence Charts (context) - Damm, Harel - 1999
5 Expressing Property Specification Patterns with OCL - Flake, Mueller - 2003
4 Encoding Abstract State Machines in PVS (context) - Gargantini, Riccobene - 2000
3 Through Inconsistency Tracking and Analysis (context) - Easterbrook, Callahan et al. - 1998
3 Using XMLXMI Tool Supported Evolution UML Model - Rausch, XMI et al. - 2001
3 Formal Approach to Systems Analysis Using UML: An Overview (context) - Whittle - 2000
3 OMG standard (context) - Unified, Specification et al. - 1999
3 Practical Application of Functional and Relational Methods f.. - Lawford, Froebel et al. - 2000
3 Tracking Inconsistencies in an Integrated Platform (context) - Traore, Aredo et al. - 1999
3 Integrating Formal and Informal Specification Techniques - Bruel - 1998
2 A Compositional Formalism for Object Viewpoints (context) - Johnsen, Owe - 2002
2 Research report No (context) - Dahl, Owe et al. - 1998
2 ISO Standard 8807 (context) - Description, on et al. - 1988
2 On Formalizing the UML Object Constraint Language (context) - Richters, Gogolla - 1998
1 232 A Representation of UML Core Package %%%%%%%%%%%%%%%%%%%.. (context) - Wing, Introduction et al. - 1990
1 The Oslo University Notation: A Formalism for Open (context) - Owe, Ryl - 1999
1 Object-oriented specification and open distributed systems (context) - Johnsen, Owe - 2003
1 Dresden ocl toolset (context) - of
1 Octopus: OCL Tool for Precise Uml Specifications (context) - Objecten
1 The Umified Modeling Language (context) - Rumbaugh, Jacobson et al. - 1999
1 ArgoUML: A modelling tool for design using UML (context) - Inc
1 Enhancing Structured Review with Model-based Verification (context) - Traore, Aredo - 2004
1 An Integrated Framework for Formal Development of Distribute.. (context) - Traore, Aredo et al. - 2004
1 An Experience with a Multiformalism Specification of an Avio.. (context) - Traore, Je et al. - 1998
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