3799 search results - page 381 / 760 » An Engineering Approach to Formal Methods |
160
click to vote
ASWEC
2008
IEEE
16 years 1 months ago
2008
IEEE
Agile Software Development Methods are nowadays wide spread and accepted. From the Software Measurement point-of-view not all metrics and methods from conventional lifecycle model...
177
click to vote
COMPSAC
2005
IEEE
16 years 13 days ago
2005
IEEE
Automatic test data generation leads to the identification of input values on which a selected path or a selected branch is executed within a program (path-oriented vs goalorient...
161
click to vote
FASE
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. In this paper we present a novel approach for the predicative specification of user rights in the context of an object oriented use case driven development process. We e...
176
Voted
FSTTCS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. This paper addresses the state explosion problem in automata based LTL model checking. To deal with large space requirements we turn to use a distributed approach. All th...
159
Voted
IEAAIE
2001
Springer
15 years 11 months ago
2001
Springer
: This paper describes a knowledge model for a configuration problem in the domain of traffic control. The goal of this model is to help traffic engineers in the dynamic selection ...