ECEASST 2006 | Sciweavers

11

click to vote

ECEASST
2008

67views more ECEASST 2008»

Negative Application Conditions for Reconfigurable Algebraic High-Level Systems

13 years 4 months ago

Download tfs.cs.tu-berlin.de

Alexander Rein

claim paper

Read More »

16

click to vote

ECEASST
2008

84views more ECEASST 2008»

An Incremental OCL Compiler for Modeling Environments

13 years 4 months ago

Download fots.ua.ac.be

In software engineering, reliability and development time are two of the most important aspects, therefore, modeling environments, which aide both, are widely used during software ...

Tamás Vajk, Gergely Mezei, Tihamer Levendov...

claim paper

Read More »

12

click to vote

ECEASST
2008

85views more ECEASST 2008»

Survey: Agent-based Middlewares for Context Awareness

13 years 4 months ago

Download opus.kobv.de

Nabil Sahli

claim paper

Read More »

17

click to vote

ECEASST
2006

111views more ECEASST 2006»

Improving the OCL Semantics Definition by Applying Dynamic Meta Modeling and Design Patterns

13 years 4 months ago

Download st.inf.tu-dresden.de

OCL is a standard specification language, which will probably be supported by most software modeling tools in the near future. Hence, it is important to OCL to have a solid formal ...

Juan Martin Chiaradía, Claudia Pons

claim paper

Read More »

14

click to vote

ECEASST
2006

92views more ECEASST 2006»

An MDA Framework Supporting OCL

13 years 4 months ago

Download kisogawa.inf.ethz.ch

We present an mda framework, developed in the functional programming language sml, that tries to bridge the gap between formal software development and the needs of industrial soft...

Achim D. Brucker, Jürgen Doser, Burkhart Wolf...

claim paper

Read More »

15

click to vote

ECEASST
2006

101views more ECEASST 2006»

Integrating OCL and Model Transformations in Fujaba

13 years 4 months ago

Download st.inf.tu-dresden.de

This paper discusses the integration of the Dresden OCL Toolkit into the Fujaba Tool Suite. The integration not only adds OCL support for class diagrams but also makes OCL usable i...

Mirko Stölzel, Steffen Zschaler, Leif Geiger

claim paper

Read More »

16

click to vote

ECEASST
2006

67views more ECEASST 2006»

Model-Driven Constraint Engineering

13 years 4 months ago

Download www.brucker.ch

Michael Wahler, Jana Koehler, Achim D. Brucker

claim paper

Read More »

12

click to vote

ECEASST
2006

114views more ECEASST 2006»

Semantic Issues of OCL: Past, Present, and Future

13 years 4 months ago

Download kisogawa.inf.ethz.ch

We report on the results of a long-term project to formalize the semantics of OCL 2.0 in Higher-order Logic (HOL). The ultimate goal of the project is to provide a formalized, mach...

Achim D. Brucker, Jürgen Doser, Burkhart Wolf...

claim paper

Read More »

11

click to vote

ECEASST
2006

56views more ECEASST 2006»

Semantical Correctness of Simulation-to-Animation Model and Rule Transformation

13 years 4 months ago

Download tfs.cs.tu-berlin.de

Claudia Ermel, Hartmut Ehrig, Karsten Ehrig

claim paper