3799 search results - page 281 / 760 » An Engineering Approach to Formal Methods |
151
click to vote
METRICS
2005
IEEE
16 years 7 days ago
2005
IEEE
This paper investigates commonalities and differences between Agile and Documentation-driven approaches in managing uncertainty in requirement gathering. The research method is a ...
181
click to vote
SFM
2007
Springer
16 years 24 days ago
2007
Springer
Markovian behavioral equivalences are a means to relate and manipulate the formal descriptions of systems with an underlying CTMC semantics. There are three fundamental approaches ...
146
click to vote
IFL
2004
Springer
16 years 1 days ago
2004
Springer
In this paper we explore how application-users can, in an interactive way, test properties about the state of GUI applications that can be classified as local state transition sys...
172
Voted
ECAL
2001
Springer
15 years 11 months ago
2001
Springer
In this paper a formal approach to construction of a similarity measure for complex creatures is presented. The simulation model is described, and a Framsticks agent is expressed i...
159
click to vote
TOMS
2008
15 years 6 months ago
2008
We show how to compute an LU factorization of a matrix when the factors of a leading principle submatrix are already known. The approach incorporates pivoting akin to partial pivo...