Sciweavers

678 search results - page 103 / 136
» Extended Traits for Model Driven Software Development
Sort
View
105
Voted
APN
2000
Springer
15 years 4 months ago
UML - A Universal Modeling Language?
Abstract. The Unified Modeling Language (UML) is the de facto industrial standard of an object-oriented modeling language. It consists of several sublanguages which are suited to ...
Gregor Engels, Reiko Heckel, Stefan Sauer
126
Voted
DEXAW
2005
IEEE
199views Database» more  DEXAW 2005»
15 years 6 months ago
Combining Multi-Agent-System Methodologies for Organic Computing Systems
As the complexity of computing systems steadily increases, self-managing systems – as Autonomic Computing Systems (ACS) proposed by IBM – are an adequate approach to minimize ...
Holger Kasinger, Bernhard Bauer
FIDJI
2004
Springer
15 years 5 months ago
An MDA-Based Approach for Inferring Concurrency in Distributed Systems
Abstract. When dealing with distributed systems, one of the most important problems that has to be addressed is concurrency. Distributed systems are inherently concurrent, distribu...
Raul Silaghi, Alfred Strohmeier
99
Voted
RISE
2004
Springer
15 years 5 months ago
A Symbolic Model Checker for tccp Programs
In this paper, we develop a symbolic representation for timed concurrent constraint (tccp) programs, which can be used for defining a lightweight model–checking algorithm for re...
María Alpuente, Moreno Falaschi, Alicia Vil...
75
Voted
IUI
2010
ACM
15 years 9 months ago
Mobia Modeler: easing the creation process of mobile applications for non-technical users
The development of mobile applications has now extended from mobile network providers into the hands of ordinary people as organizations and companies encourage people to come up ...
Florence T. Balagtas-Fernandez, Max Tafelmayer, He...