Sciweavers

15 search results - page 1 / 3
» ecbs 2009
Sort
View
ECBS
2009
IEEE
103views Hardware» more  ECBS 2009»
13 years 10 months ago
A Definition of "Abstraction Level" for Metamodels
Martin Monperrus, Antoine Beugnard, Joël Cham...
ECBS
2009
IEEE
109views Hardware» more  ECBS 2009»
13 years 10 months ago
Automating Hardware and Software Evolution Analysis
Brian Dougherty, Jules White, Chris Thompson, Doug...
ECBS
2009
IEEE
113views Hardware» more  ECBS 2009»
13 years 10 months ago
Modeling and Analysis of Probabilistic Timed Systems
Probabilistic models are useful for analyzing systems which operate under the presence of uncertainty. In this paper, we present a technique for verifying safety and liveness prop...
Abhishek Dubey, Derek Riley, Sherif Abdelwahed, Te...
ECBS
2009
IEEE
89views Hardware» more  ECBS 2009»
13 years 10 months ago
Optimisation Process for Maintaining Evolvability during Software Evolution
Software systems have to be changed continuously and evolutionarily throughout the whole time of their development and usage. Meanwhile, the software systems have to remain flexi...
Robert Brcina, Stephan Bode, Matthias Riebisch
ECBS
2009
IEEE
101views Hardware» more  ECBS 2009»
13 years 7 months ago
Structured Formalization of Service-Oriented Specifications
We present and formalize concepts for the structured specification of system behavior based on services. Services are patterns of interaction between reactive components, thus sup...
Markus Herrmannsdoerfer, Sabine Rittmann, Bernhard...