White Papers
UML/OCL Verification in Practice
Category: Software and Web Development
Tags: software
Overview 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 costs and improve software quality. There is an emerging need for verification techniques usable in practice, i.e. able to find and notify defects in real-life models without requiring a strong verification background or extensive model annotations. Some promising approaches revolve around the satisfiability property of a model, i.e. deciding whether it is possible to create a well-formed instantiation of the model. The paper will discuss existing solutions to this problem in the UML/OCL context.
- Publisher
- Universitat Oberta de Catalunya
- File Format
- Date Published
- Nov 30, 2008
- Format
- White Papers
- Topics
- Programming Languages, UML
Similiar White Papers
UML, RUP, and the Zachman Framework: Better Together
As leaders in their respective disciplines, UML, RUP, and the Zachman Framework can be used together in any organization
Publisher: IBM
UML Basics: The Class Diagram
Structure diagrams show the static structure of the system being modeled focusing on the elements of a system, irrespect
Publisher: IBM
UML for C#
C# is a modern object-oriented language for application development. In addition to object-oriented constructs, C# suppo
Publisher: Excel Software | Tags: object-oriented, software
How to Use IBM Rational Rose Model Importer: Part 1. How to Migrate UML Models to Rational Software Architect
Learn how to use the IBM Rational Rose Model Importer to migrate UML models from Rational Rose to IBM Rational Software
Publisher: IBM
Learning UML 2.0 - Modeling a System's Logical Structure: Introducing Classes and Class Diagrams
Classes are at the heart of any object-oriented system; therefore, it follows that the most popular UML diagram is the c
Publisher: O'Reilly Media | Tags: object-oriented
Featured white papers
-
The Value of Location Intelligence in the Communications Industry
Public Services are under pressure, the challenge is to do more with less. How do you improve citizen satisfaction, increase cost efficiencies and improve service delivery? The power of location intelligence is helping many local authorities...
-
Best Practices for Translating Customer Satisfaction into Revenue
Today's support organisations are focused on two top-level metrics: financial results and customer satisfaction. For most, it's easy to track financial performance, but customer satisfaction is akin to speaking a foreign language...
-
HP print solutions and 3M
The objective for 3M was to optimize office printing infrastructure at 3M locations worldwide, reduce total cost and environmental footprint. Some of the business benefits acheived by switching to HP print solutions...
-
Check out these top business apps for your iPhone
-
Inside a Microsoft datacentre
-
Green IT without losing your edge
-
Peter Cochrane's latest video blog
-
What you need to know about Windows 7