Results 271 to 280 of about 1,494,052 (317)
Some of the next articles are maybe not open access.
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
Toward Formal-Methods Oecumenism?
IEEE Distributed Systems Online, 2006Model checking is rather poor when properties deal not with causality of events but with data types or recursive constructs. In that area, algebraic methods, even if they're more complex to grasp, are much more appropriate and efficient. And it's true that, with Petri nets, you can do both model checking and a sort of parameterized analysis.
Kordon, Fabrice, Petrucci, Laure
openaire +3 more sources
2017
This chapter discusses formal methods, which consist of a set of mathematic techniques that provide an extra level of confidence in the correctness of the software. They consist of a formal specification language and employ a collection of tools to support the syntax checking of the specification, as well as the proof of properties of the specification.
openaire +2 more sources
This chapter discusses formal methods, which consist of a set of mathematic techniques that provide an extra level of confidence in the correctness of the software. They consist of a formal specification language and employ a collection of tools to support the syntax checking of the specification, as well as the proof of properties of the specification.
openaire +2 more sources
Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology, 2013
Formal methods research has made tremendous progress since the 1980s when a proof using a theorem prover was worthy of a Ph.D. thesis and a bug in a VLSI textbook was found using a model checker. Now, with advances in theorem proving, model checking, satisfiability modulo theories (SMT) solvers, and program analysis, the engines of formal methods are ...
openaire +2 more sources
Formal methods research has made tremendous progress since the 1980s when a proof using a theorem prover was worthy of a Ph.D. thesis and a bug in a VLSI textbook was found using a model checker. Now, with advances in theorem proving, model checking, satisfiability modulo theories (SMT) solvers, and program analysis, the engines of formal methods are ...
openaire +2 more sources
From formal models to formal methods
1995Despite apparent success in using formal models to capture principles of human-system interaction, there are few accounts that consider how these results might be applied in practical software development. This paper is based on work conducted within an ESPRIT Basic Research Action (Amodeus-2) investigating means of design expression and transfer ...
Michael D. Harrison, David J. Duke
openaire +2 more sources
Formal Syntax as a Phylogenetic Method
2020The chapter illustrates a method for historical comparison and phylogenetic reconstruction that uses syntactic characters; it presents various experiments based on this method and designed to test the widespread assumption that syntax does not carry a historical signal.
Cristina Guardiano +3 more
openaire +3 more sources