Sciweavers

173 search results - page 21 / 35
» A Case Study of Dependable Software Upgrade with Distributed...
Sort
View
EMSOFT
2005
Springer
14 years 1 months ago
Model-based analysis of distributed real-time embedded system composition
Key challenges in distributed real-time embedded (DRE) system developments include safe composition of system components and mapping the functional specifications onto the target...
Gabor Madl, Sherif Abdelwahed
BMCBI
2010
105views more  BMCBI 2010»
13 years 7 months ago
GWAMA: software for genome-wide association meta-analysis
Background: Despite the recent success of genome-wide association studies in identifying novel loci contributing effects to complex human traits, such as type 2 diabetes and obesi...
Reedik Mägi, Andrew P. Morris
JOT
2006
111views more  JOT 2006»
13 years 7 months ago
A Cohesion Measure for Aspects
Aspect-Oriented Software Development is a promising new software engineering paradigm. It promotes, in particular, improved separation of crosscutting concerns into single units c...
Jean-François Gélinas, Mourad Badri,...
PRDC
2008
IEEE
14 years 2 months ago
Indirect Control Path Analysis and Goal Coverage Strategies for Elaborating System Safety Goals in Composite Systems
Correctly specifying requirements for composite systems is essential to system safety, particularly in a distributed development environment. Goal-oriented requirements engineerin...
Jennifer Black, Philip Koopman
ASWEC
2009
IEEE
14 years 2 months ago
Change Propagation Analysis Using Domain Information
We propose a novel methodology for analysing change propagation in software using the domain-level behavioural model of a system. We hypothesize that change propagation analysis i...
Amir Aryani, Ian D. Peake, Margaret Hamilton, Hein...