Towards a Precise Semantics for Object-Oriented Modeling Techniques

13 years 9 months ago

Download www4.in.tum.de

In this paper, we demonstrate how a precise semantics of object-oriented modeling techniques can be achieved, and what the possible bene ts are. We outline the main modeling techniques used in the SysLab project, sketch, how a precise semantics can be given, and how this semantics can be used during the development process.

Ruth Breu, Radu Grosu, Franz Huber, Bernhard Rumpe

Real-time Traffic

Distributed And Parallel Computing | ECOOPW 1997 | Modeling Techniques | Object-oriented Modeling Techniques | Precise Semantics |

claim paper

» RequirementsLevel Semantics and Model Checking of ObjectOriented Statecharts

» Conceptual Design of Electronic Product Catalogs Using ObjectOriented Hypermedia Modeling ...

» Toward the Automatic Construction of Task Models from ObjectOriented Diagrams

» Defining ObjectOriented Execution Semantics Using Graph Transformations

» Synthesis of Object Oriented Models on Reconfigurable Hardware

» A Logic Framework for a Semantics of ObjectOriented Data Modeling

» Weaving Executability into ObjectOriented Metalanguages

» Incorporating Semantic Relationships into an ObjectOriented Database System

Post Info
More Details (n/a)

Added	07 Aug 2010
Updated	07 Aug 2010
Type	Conference
Year	1997
Where	ECOOPW
Authors	Ruth Breu, Radu Grosu, Franz Huber, Bernhard Rumpe, Wolfgang Schwerin

Comments (0)

Sciweavers

Towards a Precise Semantics for Object-Oriented Modeling Techniques

Distributed And Parallel Computing | ECOOPW 1997 | Modeling Techniques | Object-oriented Modeling Techniques | Precise Semantics |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers