Sciweavers

338 search results - page 7 / 68
» Safety Methods in Software Process Improvement
Sort
View
PROFES
2007
Springer
14 years 2 months ago
Software Development Improvement with SFIM
Most industries are challenging to increase productivity of software development. Often many process improvement activities are started with enthusiasm, unfortunately most of these...
René L. Krikhaar, Martin Mermans
IMCSIT
2010
13 years 6 months ago
Selecting the best strategy in a software certification process
In this paper, we propose the use of the pairwise comparisons (PC) method for selection of strategies for software certification. This method can also be used to rank alternative s...
Waldemar W. Koczkodaj, Vova Babiy, Agnieszka D. Bo...
EMSOFT
2008
Springer
13 years 10 months ago
Symbolic analysis for improving simulation coverage of Simulink/Stateflow models
Aimed at verifying safety properties and improving simulation coverage for hybrid systems models of embedded control software, we propose a technique that combines numerical simul...
Rajeev Alur, Aditya Kanade, S. Ramesh, K. C. Shash...
CLEIEJ
2010
13 years 6 months ago
Mapping Process Capability Models to Support Integrated Software Process Assessments
Software process assessments have been used to verify the conformance with quality reference models or standards, usually in a context of software process improvement programs. Mo...
Marcello Thiry, Alessandra Zoucas, Leornardo Trist...
CDC
2009
IEEE
129views Control Systems» more  CDC 2009»
14 years 21 days ago
Improving the performance of active set based Model Predictive Controls by dataflow methods
Abstract-- Dataflow representations of Digital Signal Processing (DSP) software have been developing since the 1980's. They have proven to be useful in identifying bottlenecks...
Ruirui Gu, Shuvra S. Bhattacharyya, William S. Lev...