Sciweavers

ADAEUROPE
2009
Springer
14 years 6 months ago
Validating Safety and Security Requirements for Partitioned Architectures
Julien Delange, Laurent Pautet, Peter H. Feiler
ADAEUROPE
2009
Springer
14 years 6 months ago
Weak Fairness Semantic Drawbacks in Java Multithreading
With the development of embedded and mobile systems, Java is widely used for application programs and is also considered for implementing systems kernel or application platforms. I...
Claude Kaiser, Jean-François Pradat-Peyre
ADAEUROPE
2009
Springer
14 years 6 months ago
Formal Verification of AADL Specifications in the Topcased Environment
Bernard Berthomieu, Jean-Paul Bodeveix, Christelle...
MOMPES
2009
IEEE
14 years 6 months ago
Reliable operating modes for distributed embedded systems
Hard real-time embedded distributed systems pose huge demands in their implementation which must contain as few faults as possible. Over the past years, model-driven development a...
Wolfgang Haberl, Stefan Kugele, Uwe Baumgarten
MOMPES
2009
IEEE
14 years 6 months ago
ArcheOpterix: An extendable tool for architecture optimization of AADL models
For embedded systems quality requirements are equally if not even more important than functional requirements. The foundation for the fulfillment of these quality requirements ha...
Aldeida Aleti, Stefan Björnander, Lars Grunsk...
IWPC
2009
IEEE
14 years 6 months ago
Crosscutting patterns and design stability: An exploratory analysis
It is often claimed that inaccurate modularisation of crosscutting concerns hinders program comprehension and, as a consequence, leads to harmful software instabilities. However, ...
Eduardo Figueiredo, Bruno Carreiro da Silva, Cl&aa...
IWPC
2009
IEEE
14 years 6 months ago
Trace visualization for program comprehension: A controlled experiment
Bas Cornelissen, Andy Zaidman, Arie van Deursen, B...
IWPC
2009
IEEE
14 years 6 months ago
Observation of Open Source programmers' information seeking
Khaironi Yatim Sharif, Jim Buckley
IWPC
2009
IEEE
14 years 6 months ago
OGAN: Visualizing object interaction scenarios based on dynamic interaction context
Visualizing an execution trace of an object-oriented system as sequence diagrams is effective to understand the behavior of the system. To support developers to understand concret...
Munakata Satoshi, Takashi Ishio, Katsuro Inoue
IWPC
2009
IEEE
14 years 6 months ago
Automatically identifying changes that impact code-to-design traceability
An approach is presented that automatically determines if a given source code change impacts the design (i.e., UML class diagram) of the system. This allows code-to-design traceab...
Maen Hammad, Michael L. Collard, Jonathan I. Malet...