Sciweavers

Share
warning: Creating default object from empty value in /var/www/modules/taxonomy/taxonomy.module on line 1416.
ECBS
2009
IEEE
193views Hardware» more  ECBS 2009»
11 years 11 months ago
CQML: Aspect-Oriented Modeling for Modularizing and Weaving QoS Concerns in Component-Based Systems
Current domain-specific modeling (DSM) frameworks for designing component-based systems often consider the system's structural and behavioral concerns as the two dominant con...
Sumant Tambe, Akshay Dabholkar, Aniruddha S. Gokha...
ECBS
2009
IEEE
101views Hardware» more  ECBS 2009»
12 years 5 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...
ECBS
2009
IEEE
114views Hardware» more  ECBS 2009»
12 years 5 months ago
Model-Based Product-Oriented Certification
Future space missions such as the Mars Science Laboratory and Project Constellation suggest the engineering of some of the most complex man-rated software systems. The present pro...
Damian Dechev, Bjarne Stroustrup
ECBS
2009
IEEE
113views Hardware» more  ECBS 2009»
12 years 8 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»
12 years 8 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
119views Hardware» more  ECBS 2009»
12 years 8 months ago
Software Architectural Design Meets Security Engineering
Security requirements strongly influence the architectural design of complex IT systems in a similar way as other non-functional requirements. Both security engineering as well a...
Stephan Bode, Anja Fischer, Winfried E. Kühnh...
ECBS
2009
IEEE
120views Hardware» more  ECBS 2009»
12 years 8 months ago
Tuning Complex Sensornet Systems Using Principled Engineering Methods
Sensornet lifespan and utility is limited by the energy resources of individual motes. Network designers seek to maximise energy efficiency while maintaining acceptable Quality o...
Jonathan Tate, Iain Bate
ECBS
2009
IEEE
164views Hardware» more  ECBS 2009»
12 years 8 months ago
Semantically Enhanced Containers for Concurrent Real-Time Systems
Future space missions, such as Mars Science Laboratory, are built upon computing platforms providing a high degree of autonomy and diverse functionality. The increased sophisticat...
Damian Dechev, Peter Pirkelbauer, Nicolas Rouquett...
ECBS
2009
IEEE
103views Hardware» more  ECBS 2009»
12 years 8 months ago
A Definition of "Abstraction Level" for Metamodels
Martin Monperrus, Antoine Beugnard, Joël Cham...
ECBS
2009
IEEE
187views Hardware» more  ECBS 2009»
12 years 8 months ago
On the Meaning of SysML Activity Diagrams
In this paper, we aim to ascribe a meaning to SysML activity diagrams. To this end, we propose a dedicated algebraic-like language, namely activity calculus, and an operational se...
Yosr Jarraya, Mourad Debbabi, Jamal Bentahar
books