Sciweavers

326 search results - page 2 / 66
» Tailoring and Verifying Software Process
Sort
View
ISPW
2006
IEEE
13 years 11 months ago
Tailor the Value-Based Software Quality Achievement Process to Project Business Cases
This paper proposes a risk-based process strategy decision-making approach. To improve the flexibility in applying the Value-Based Software Quality Achievement (VBSQA) process fram...
LiGuo Huang, Hao Hu, JiDong Ge, Barry W. Boehm, Ji...
APAQS
2001
IEEE
13 years 8 months ago
A Tailored Capability Model for Inspection Process Improvement
Software inspection is recognised as the most effective means of finding defects. In spite of its important role in software development, existing capability models have not addre...
Ilkka Tervonen, Juha Iisakka, Lasse Harjumaa
ICECCS
2007
IEEE
120views Hardware» more  ICECCS 2007»
13 years 8 months ago
Verifying the CICS File Control API with Z/Eves: An Experiment in the Verified Software Repository
Parts of the CICS transaction processing system were modelled formally in the 1980s in a collaborative project between IBM Hursley Park and Oxford University Computing Laboratory....
Leo Freitas, Konstantinos Mokos, Jim Woodcock
CSMR
2009
IEEE
13 years 11 months ago
Cognac: A Framework for Documenting and Verifying the Design of Cobol Systems
For any non-trivial software project, architectural drift is a well-known problem. Over time, the design rules and guidelines governing the software project are no longer obeyed, ...
Andy Kellens, Kris De Schutter, Theo D'Hondt, Luc ...
EDO
2006
Springer
13 years 8 months ago
Tailoring an architectural middleware platform to a heterogeneous embedded environment
Embedded systems are rapidly growing in size, complexity, distribution, and heterogeneity. As a result, the traditional practice of developing one-off embedded applications that a...
Sam Malek, Chiyoung Seo, Nenad Medvidovic