932 search results - page 32 / 187 » Software Reliability Engineering: A Roadmap |
ICSE
2003
IEEE-ACM
14 years 11 months ago
2003
IEEE-ACM
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...
CCE
2010
13 years 8 months ago
2010
: 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...
SIGMOD
2008
ACM
14 years 11 months ago
2008
ACM
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...
AMAST
2008
Springer
14 years 29 days ago
2008
Springer
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...
AMOST
2005
ACM
14 years 28 days ago
2005
ACM
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...