8828 search results - page 157 / 1766 » Formal methods in practice |
147
click to vote
NA
2010
15 years 2 months ago
2010
Quasi-Newton methods for solving singular systems of nonlinear equations are considered in this paper. Singular roots cause a number of problems in implementation of iterative met...
179
click to vote
FORTE
2009
15 years 2 months ago
2009
Orc was originally presented as a process calculus. It has now evolved into a full programming language, which we describe in this paper. The language has the structure and feel of...
120
click to vote
ASWEC
2000
IEEE
15 years 9 months ago
2000
IEEE
Formal methods are becoming increasingly important in many areas of software development and should be incorporated in the teaching of software engineering. Requirements capture i...
130
click to vote
IJIT
2004
15 years 5 months ago
2004
As computer network technology becomes increasingly complex, it becomes necessary to place greater requirements on the validity of developing standards and the resulting technology...
118
click to vote
CONCUR
1999
Springer
15 years 8 months ago
1999
Springer
This paper discusses the use of formal methods in testing of concurrent systems. It is argued that formal methods and testing can be mutually profitable and useful. A framework fo...