Sciweavers

Share
ICSE
2000
IEEE-ACM

Producing more reliable software: mature software engineering process vs. state-of-the-art technology?

11 years 3 months ago
Producing more reliable software: mature software engineering process vs. state-of-the-art technology?
: Producing More Reliable Software: Mature Software Engineering Process vs. State-of-the-Art Technology? A customer of high assurance software recently sponsored a software engineering experiment in which a real-time software system was developed concurrently by two popular software development methodologies. One company specialized in the state-of-the-practice waterfall method rated at a Capability Maturity Model Level 4. A second developer employed his mathematically based formal method with automatic code generation. As specified in separate contracts, C++ code plus development documentation and process and product metrics (errors) were to be delivered.Both companies were given identical functional specs and agreed to a generous and equal cost, schedule, and explicit functional reliability objectives. At conclusion of the experiment an independent third party determined through extensive statistical testing that neither methodology was able to meet the user's reliability object...
James C. Widmaier
Added 25 Aug 2010
Updated 25 Aug 2010
Type Conference
Year 2000
Where ICSE
Authors James C. Widmaier
Comments (0)
books