Results 291 to 300 of about 4,275,193 (341)
Some of the next articles are maybe not open access.
The industrialization of formal methods
International Journal on Software Tools for Technology Transfer, 2005This special section contains papers based on work presented at the 12th International Symposium on Formal Methods (FM 2003) held at the CNR Research Campus in Pisa on 8-13 September 2003. The papers all focus on tools and techniques for cost-effective application of formal methods on the industrial scale.
JOHN S. FITZGERALD +2 more
openaire +5 more sources
A formal nethod (a networked formal method) [PDF]
Innovations in Systems and Software Engineering, 2010 A year-long trial has seen a large lightweight verification problem treated by an ad hoc distributed network of identical solvers. The trialled problem is the semantic analysis of the C code in the Linux kernel to exclude a common deadlock possibility.
Peter T. Breuer, Simon Pickin
openaire +1 more source
What is the Method in Formal Methods?
1992Abstract Many of the formal methods that abound in computer science are in fact just formal languages or calculi. They can be used to describe and analyse models of information systems of different complexities and application domains. Only to a much lesser extent are we also provided with methods that tell exactly how these models may be used to ...
openaire +3 more sources
Information and Software Technology, 1988
Abstract Examples of the use of formal methods are given. The benefits of using formal methods are examined, as well as the problem of making formal methods more widely used. The relation between using formal methods and using other approaches to software development, like rapid prototyping, is also considered.
openaire +2 more sources
Abstract Examples of the use of formal methods are given. The benefits of using formal methods are examined, as well as the problem of making formal methods more widely used. The relation between using formal methods and using other approaches to software development, like rapid prototyping, is also considered.
openaire +2 more sources
Proceedings of the seventh ACM SIGPLAN international conference on Functional programming, 2002
Some functional programming languages are also mathematical logics. One can reason formally, traditionally, and directly about programs in such languages. This is driving a new application area for functional programming: modeling microarchitectures, hardware design languages, and imperative programming languages.
openaire +2 more sources
Some functional programming languages are also mathematical logics. One can reason formally, traditionally, and directly about programs in such languages. This is driving a new application area for functional programming: modeling microarchitectures, hardware design languages, and imperative programming languages.
openaire +2 more sources
A formalization of consensus index methods
Bulletin of Mathematical Biology, 1985A consensus index method comprises a consensus method and a consensus index that are defined on a common set of objects (e.g. classifications). For each profile of objects, the consensus method returns a consensus object representing information or structure shared among profile objects, while the consensus index returns a quantitative measure of ...
William H. E. Day, Fred R. McMorris
openaire +3 more sources
Support for teaching formal methods
ACM SIGCSE Bulletin, 2001This report describes a growth path for the area referred to as formal methods within the computing education community. We define the term formal methods and situate it within our field by highlighting its role in Computing Curricula 1991, Computing Curricula 2001, and the SoftWare Engineering Body Of Knowledge ...
Thomas B. Hilburn +4 more
openaire +2 more sources