Sciweavers

2608 search results - page 186 / 522
» Subjects, Models, Languages, Transformations
Sort
View
HYBRID
2010
Springer
16 years 1 months ago
From synchronous programs to symbolic representations of hybrid systems
In this paper, we present an extension of the synchronous language Quartz by new kinds of variables, actions and statements for modeling the interaction of synchronous systems wit...
Kerstin Bauer, Klaus Schneider
MODELS
2010
Springer
15 years 4 months ago
Concern-Based (de)composition of Model-Driven Software Development Processes
An MDSD process is often organised as transformation chain. This can threaten the Separation of Concerns (SoC) principle, because information is replicated in, scattered over, and ...
Jendrik Johannes, Uwe Aßmann
ICFP
2008
ACM
16 years 6 months ago
Functional netlists
In efforts to overcome the complexity of the syntax and the lack of formal semantics of conventional hardware description languages, a number of functional hardware description la...
Sungwoo Park, Jinha Kim, Hyeonseung Im
UML
2004
Springer
15 years 11 months ago
Query Models
The need for querying software artifacts is a new emerging design issue in modern software development. Novel techniques such as Model-Driven Architecture or Aspect-Oriented Softwa...
Dominik Stein, Stefan Hanenberg, Rainer Unland
SICHERHEIT
2010
15 years 4 months ago
A Fuzzy Model for IT Security Investments
: This paper presents a fuzzy set based decision support model for taking uncertainty into account when making security investment decisions for distributed systems. The proposed m...
Guido Schryen