Sciweavers

932 search results - page 32 / 187
» Software Reliability Engineering: A Roadmap
Sort
View
76
Voted
ICSE
2003
IEEE-ACM
16 years 17 days ago
Sound Methods and Effective Tools for Engineering Modeling and Analysis
Modeling and analysis is indispensable in engineering. To be safe and effective, a modeling method requires a language with a validated semantics; feature-rich, easy-to-use, depen...
David Coppit, Kevin J. Sullivan
CCE
2010
14 years 10 months ago
Teaching "operability" in undergraduate chemical engineering design education
: This paper presents a proposal for increased emphasis on operability in the Chemical Engineering capstone design courses. Operability becomes a natural aspect of the process desi...
Thomas E. Marlin
153
Voted
SIGMOD
2008
ACM
143views Database» more  SIGMOD 2008»
16 years 19 days ago
A case study in database reliability: component types, usage profiles, and testing
Data management lies at the core of most modern information technology deployments. Accordingly, the reliability of the database management system (DBMS) is critical to the reputa...
C. A. Taylor, Mechelle Gittens, Andriy V. Miransky...
AMAST
2008
Springer
15 years 2 months ago
Evolving Specification Engineering
Abstract. The motivation for this work is to support a natural separation of concerns during formal system development. In a developmentby-refinement context, we would like to be a...
Dusko Pavlovic, Peter Pepper, Douglas R. Smith
AMOST
2005
ACM
15 years 2 months ago
Early estimation of defect density using an in-process Haskell metrics model
Early estimation of defect density of a product is an important step towards the remediation of the problem associated with affordably guiding corrective actions in the software d...
Mark Sherriff, Nachiappan Nagappan, Laurie A. Will...