3799 search results - page 64 / 760 » An Engineering Approach to Formal Methods |
ISTA
2003
13 years 9 months ago
2003
: A new approach of building enterprise distributed applications for layer of business rules as standard part of architecture is proposed in this paper. The approach uses symbolic ...
DATE
2006
IEEE
14 years 1 months ago
2006
IEEE
Practitioners of formal property verification often work around the capacity limitations of formal verification tools by breaking down properties into smaller properties that ca...
AGILEDC
2004
IEEE
13 years 11 months ago
2004
IEEE
This paper describes the experience of applying Agile approaches to the development of firmware for the Intel
SSIRI
2010
13 years 6 months ago
2010
— Model-based approaches, especially based on directed graphs (DG), are becoming popular for mutation testing as they enable definition of simple, nevertheless powerful, mutation...
TSE
1998
13 years 7 months ago
1998
—It is well known that requirements engineering plays a critical role in software quality. The use case approach is a requirements elicitation technique commonly used in industri...