561 search results - page 40 / 113 » Research in Software Engineering: Paradigms and Methods |
AMAST
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Formal certification is based on the idea that a mathematical proof of some property of a piece of software can be regarded as a certificate of correctness which, in pr...
ECSA
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Knowledge management plays an important role in the software architecting process. Recently, this role has become more apparent by a paradigm shift that views a software ...
ISSRE
2010
IEEE
13 years 7 months ago
2010
IEEE
—Architecture-based software reliability analysis methods shall help software architects to identify critical software components and to quantify their influence on the system r...
CBSQ
2003
Springer
14 years 2 months ago
2003
Springer
The use of formal model based (FMB) methods to evaluate the quality of the components is an important research area. Except for a growing number of exceptions, FMB methods are sti...
ICSE
1993
IEEE-ACM
14 years 29 days ago
1993
IEEE-ACM
Over the past 15 years there has been increasing recognition that careful attention to the design of a system’s software architecture is critical to satisfying its requirements ...