3799 search results - page 133 / 760 » An Engineering Approach to Formal Methods |
PFE
2001
Springer
14 years 1 months ago
2001
Springer
: This paper discusses the understanding of quality attributes and their application to the design of a software architecture. We present an approach to characterizing quality attr...
COMPSAC
2002
IEEE
14 years 2 months ago
2002
IEEE
The method of choice of the software reliability models based on the analysis of assumptions and compatibility both input and output parameters is offered. This method is illustra...
ICSE
2005
IEEE-ACM
14 years 9 months ago
2005
IEEE-ACM
In this paper, I make a case for integration of requirements engineering (RE) with clinical disciplines. To back my case, I look at two examples that employ a clinical RE approach...
CIC
2006
13 years 10 months ago
2006
The main goal of this paper is to make a step towards the development of a unified approach that incorporates both reliability and traffic engineering aspects into a common, unifie...
KBSE
1999
IEEE
14 years 1 months ago
1999
IEEE
Many domain specialists are not familiar or comfortable with formal notations and formal tools like theorem provers or model generators. To address this problem we developed Attem...