| Publisher | University of York | ||
|---|---|---|---|
| Format | 184.9KB PDF, requires Acrobat Rdr 5 | Date added | 05 Sep 2004 |
| Topics | UML, Object-Oriented | ||
| Downloads | 10 | ||
The engineering of systems that are acceptably correct is a hard problem. Modelling approaches that are good for practical, large-scale system development, are not amenable to formal analysis and consistency checking, whilst formal analysis requires a level of competence and expertise that is not common in commercial systems development communities. This paper demonstrates the use of meta-proof for (a subset of) the initialisation proof obligations.
Did you find this white paper useful?
25 out of 50 users found this white paper useful
Related white papers
CmUML - A UML Based Framework for Formal Specification of Concurrent, Reactive Systems
Complex software systems possess concurrent and reactive behaviors requiring precise specifications prior to development. Lamport's transition axiom method is a formal specification method which combines axiomatic and operational approaches. On...
With IBM Rational Rose and IBM WebSphere Studio, Lockheed Martin Leverages Models Throughout Development
Through integration between IBM WebSphere Studio and IBM Rational Rose, Lockheed Martin is able to drive code development using visual models as a foundation. WebSphere Studio's integration with Rational Rose...
Data Cube Representation of Patient Registration System Through UML
In the present paper, a Unified Modeling Language (UML) model is proposed for the Patient Registration System (PRS). The three dimensional Data Cubes are also designed for faster searching &...
Specifying Security Aspects in UML Models
Expansion of computer systems and the increasing number of services provided by Internet has lead software engineers to worry about security issues of their software. The reason is the short...
UML/OCL Verification in Practice
In the MDD approaches, models become the primary artifact of the development process and the basis for code generation. Identifying defects early, at the model-level, can help to reduce development...
ASP.NET Development using IBM Rational ClearCase
This white paper outlines the steps that a typical user might take to create and maintain web application in a Rational ClearCase Unified Change Management (UCM) environment. Web application development...
Component Based Development and Use: Managing the Component Life Cycle
This paper will discuss the challenges and issues related to component based development and reuse. It will describe the players involved in component production and consumption, and the various methodologies,...
