Sciweavers

3844 search results - page 261 / 769
» Modular interpreted systems
Sort
View
RE
2007
Springer
15 years 10 months ago
Tracing and Validating Goal Aspects
Aspects promote a clear separation of concerns so that tangled and scattered concerns are modularized throughout software development. We propose a framework to trace aspects iden...
Yijun Yu, Nan Niu, Bruno González-Baixauli,...
ECBS
2005
IEEE
58views Hardware» more  ECBS 2005»
15 years 9 months ago
MoDeII: Modeling and Analyzing Time-Constraints
The fulfillment of time requirements is one of the major acceptance criteria of safety-critical and real-time systems. They are dictated by the environment of these systems and a...
Jewgenij Botaschanjan, Jan Jürjens
BIRTHDAY
2005
Springer
15 years 9 months ago
Flexible Interconnection of Graph Transformation Modules
Modularization is a well-known concept to structure software systems as well as their specifications. Modules are equipped with export and import interfaces and thus can be connec...
Gregor Engels, Reiko Heckel, Alexey Cherchago
123
Voted
KI
2005
Springer
15 years 9 months ago
Hybrid Planning Using Flexible Strategies
In this paper we present a highly modular planning system architecture. It is based on a proper formal account of hybrid planning, which allows for the formal definition of (flex...
Bernd Schattenberg, Andreas Weigl, Susanne Biundo
BPM
2004
Springer
110views Business» more  BPM 2004»
15 years 9 months ago
Integration of Multi-attributed Negotiations within Business Processes
For the integration of electronic negotiation systems within information systems, it is essential to model both using the same modelling paradigm to avoid frictions. We develop a g...
Carlo Simon, Michael Rebstock