Sciweavers

110 search results - page 3 / 22
» Software Process Synthesis in Assurance Based Development of...
Sort
View
EUROMICRO
1998
IEEE
13 years 10 months ago
Process Scheduling for Performance Estimation and Synthesis of Hardware/Software Systems
The paper presents an approach to process scheduling for embedded systems. Target architectures consist of several processors and ASICs connected by shared busses. We have develop...
Petru Eles, Krzysztof Kuchcinski, Zebo Peng, Alexa...
GI
2005
Springer
13 years 11 months ago
Automated Quality Assurance for UML Models
Abstract: Model based development, like proposed by the OMG’s Model Driven Arre (MDA), aims to raise the level of abstraction from working on the code to working with models. For...
Tilman Seifert, Florian Jug, Günther Rackl
SOQUA
2004
13 years 7 months ago
Improving Software Quality through Refactoring by means of Didactical Augmented Experience
: In agile software development refactoring is an important phase for the continuous improvement of software quality. Unfortunately, the application of refactorings is very subject...
Jörg Rech, Eric Ras, Andreas Jedlitschka
ICSE
2008
IEEE-ACM
14 years 6 months ago
Predicting defects using network analysis on dependency graphs
In software development, resources for quality assurance are limited by time and by cost. In order to allocate resources effectively, managers need to rely on their experience bac...
Thomas Zimmermann, Nachiappan Nagappan
ICSE
2008
IEEE-ACM
14 years 6 months ago
Temporal dependency based checkpoint selection for dynamic verification of fixed-time constraints in grid workflow systems
In grid workflow systems, temporal correctness is critical to assure the timely completion of grid workflow execution. To monitor and control the temporal correctness, fixed-time ...
Jinjun Chen, Yun Yang