795 search results - page 5 / 159 » A Formal Approach to Heterogeneous Software Modeling |
PRDC
1999
IEEE
13 years 11 months ago
1999
IEEE
In this paper we present an analytical model for estimating architecture-based software reliability, according to the reliability of each component, the operational profile, and t...
BIRTHDAY
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. The error-prone process of formal specification and verification of large systems requires an efficient, evolutionary formal development approach. Development graphs have...
RE
1999
Springer
13 years 11 months ago
1999
Springer
This paper describes a feasibility study into the use of a formal requirements modeling method (SCR) to assist with Independent Verification and Validation of change requests for ...
CCS
2003
ACM
14 years 18 days ago
2003
ACM
Security is a crucial aspect in any modern software system. To ensure security in the final product, security requirements must be considered in the entire software development p...
VSTTE
2010
Springer
13 years 5 months ago
2010
Springer
Formal modeling of computing systems yields models that are intended to be correct with respect to the requirements that have been formalized. The complexity of typical computing s...