Sciweavers

132 search results - page 22 / 27
» OCL: Modularising the Language
Sort
View
C++
1990
64views more  C++ 1990»
13 years 8 months ago
Reliable Distributed Programming in C++: The Arjuna Approach
Programming in a distributed system is fraught with potential difficulties caused, in part, by the physical distribution of the system itself. By making the distribution of the sy...
Graham D. Parrington
ENTCS
2002
78views more  ENTCS 2002»
13 years 7 months ago
Separating concerns in a high-level component-based context
Building on the work of architectural description languages and aspect-oriented programming, we try to improve current visual component composition environments. In our , we intro...
Wim Vanderperren, Bart Wydaeghe
KBSE
2005
IEEE
14 years 1 months ago
NFRs-aware architectural evolution of component-based software
During software maintenance, some non-functional properties may be lost. This is due to the lack of an explicit definition of their links with the corresponding architectural choi...
Chouki Tibermacine, Régis Fleurquin, Salah ...
DATE
2010
IEEE
168views Hardware» more  DATE 2010»
13 years 11 months ago
Verifying UML/OCL models using Boolean satisfiability
Abstract--Nowadays, modeling languages like UML are essential in the design of complex software systems and also start to enter the domain of hardware and hardware/software codesig...
Mathias Soeken, Robert Wille, Mirco Kuhlmann, Mart...
DAGSTUHL
2004
13 years 9 months ago
An Example for Metamodeling Syntax and Semantics of Two Languages, their Transformation, and a Correctness Criterion
We study a metamodel for the Entity Relationship (ER) and the Relational data model. We do this by describing the syntax of the ER data model by introducing classes for ER schemata...
Martin Gogolla