K. Lano Dept. of Computer Science, King's College London, Strand, London,...  Home/Search
Context
Related
| uq.edu.au/accepted_pape...paper_4_3.pdf Cached: 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.
PS.gz PS Image Update HelpFrom: uq.edu.au/?topic=results (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper describes the use of the B formal method to verify semantic properties of UML graphical models, and the correctness of transformations on these models. (Update)
Active bibliography (related documents): More All
0.5: Tools for system validation with B - Machines Michael Butler (Correct)
0.5: Property Preserving Redesign of Specifications - Grzegorz (Correct)
0.5: D3 - Method for Service Composition and Analysis - Emmerich, Lamanna.. (2003) (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ of-using,
author = "Lano Dept Of",
title = "Using B to verify UML Transformations",
url = "citeseer.ist.psu.edu/764917.html" }
Citations (may not include all citations):779 Symbolic Model Checking: 10 20 States and Beyond - Burch, Clarke et al. - 1990
83 Cambridge University Press (context) - Abrial, AssigningProgramstoMeanings - 1996
31 Formal Development of Reactive Systems (context) - Lewerentz, Lindner - 1995
21 Associations and Subsystems: a hierarchical approach to enca.. (context) - Bicarregui, Lano et al. - 1997
14 Prentice Hall (context) - Spivey, Notation - 1990
13 Meteor: A Successful Application of B in a Large Project (context) - Behm, Benoit et al. - 1999
10 Logical Specification of Reactive and Real-Time Systems (context) - Lano - 1998
7 A Formal Mapping Between UML Models and Object-Z Specificati.. - Kim, Carrington - 2000
5 Problems and deficiencies of UML as a requirements specifica.. - Glinz - 2000
2 UB tool translating UML B model into B (context) - tool, UML et al.
2 Formalising Inter-model Consistency of the UML (context) - Lano, Clark et al. - 2002
2 Redesign of UML Class Diagrams: a formal approach (context) - Kosiuczenko - 2003
1 Verification of Reactive System Specifications using Model C.. (context) - Androutsopoulos - 2004
1 Performance Engineering with the UML Profile for Schedulabil.. (context) - Bennett, Field - 2004
1 Tools for system validation with B abstract machines (context) - Butler, Leuschel et al. - 2005
1 Semantic Anchoring with Model Transformations (context) - Chen, Sztipanovits et al. - 2005
1 UML semantics (context) - Cook - 2004
1 Triune Continuum Paradigm and Problems of UML Semantics (context) - Naumenko, Wegmann
1 06-06 (context) - UML, Specification - 2005
1 Automated Formal Verification of Model Transformations (context) - Varro, Pataricza - 2003
1 RSDS: A Subset of UML with Precise Semantics (context) - Lano, Clark et al. - 2003
1 A Compositional Semantics of UML-RSDS (context) - Lano - 2006
1 Modelling Language Transformations (context) - Clark, Evans et al. - 2003
Documents on the same site (http://modeva.itee.uq.edu.au/?topic=results): More
Static Verification of UML Model Consistency - Baruzzo And Comini (Correct)
Validation of Model Transformations - First Experiences.. - Jochen Uster And (Correct)
Model Checking Dynamic and Hierarchical - Uml State Machines (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