Results 291 to 300 of about 1,643,554 (351)
Some of the next articles are maybe not open access.
Process Specification Formalisms
2000In this chapter, transition systems are connected with a logical framework and a specification language.
openaire +1 more source
1991
From the early 1970s conventional digital and analogue electronic systems have gradually been superseded by microprocessor-based designs. Subsequent experience shows that their reliability rarely exceeded that of earlier designs, due mainly to software errors. The root cause was the lack of design formality and rigour in producing software.
openaire +1 more source
From the early 1970s conventional digital and analogue electronic systems have gradually been superseded by microprocessor-based designs. Subsequent experience shows that their reliability rarely exceeded that of earlier designs, due mainly to software errors. The root cause was the lack of design formality and rigour in producing software.
openaire +1 more source
Flaw Detection in Formal Specifications
2001In verification of finite domain models (model checking) counterexamples help the user to identify, why a proof attempt has failed. In this paper we present an approach to construct counterexamples for first-order goals over infinite data types, which are defined by algebraic specifications.
Reif, Wolfgang +2 more
openaire +2 more sources
1990
In the previous chapter we surveyed some approaches to requirements engineering in the framework of traditional software engineering. All these approaches aim at providing a formalism for precisely describing a problem to be solved. None of them, however, except for Gist, allows the formulation of a formal problem specification in the (intuitive) sense
openaire +1 more source
In the previous chapter we surveyed some approaches to requirements engineering in the framework of traditional software engineering. All these approaches aim at providing a formalism for precisely describing a problem to be solved. None of them, however, except for Gist, allows the formulation of a formal problem specification in the (intuitive) sense
openaire +1 more source
A Formal Specification for Organizational Adaptation
2011Agent organizations are a good means to guarantee certain system objectives in the context of autonomous, self adapting agents. However, in highly dynamic environments such as in crisis management where different organizations have to cooperate flexibly and efficiently, the organizational structure itself should also be adaptable to the circumstances ...
Aldewereld H. +3 more
openaire +2 more sources
Inspections of formal specifications
Proceedings of the twenty-seventh SIGCSE technical symposium on Computer science education, 1996This paper describes a student peer review process that has been incorporated within an introductory course in formal methods. As a course project, a team of students develops a formal specification of the requirements for a software system. The final part of the project involves the inspection of the specification by another team of student reviewers.
openaire +1 more source
Reuse of Formal Specifications
2005During the Rigorous Approach to Industrial Software Engineering (RAISE) specification development process, a variety of components and infrastructures are built. All of these components are not independent, but related to one another, especially when we specify different systems into the same infrastructure. The RAISE method (Bjorner, 2000) is based on
Laura Felice, Daniel Riesco
openaire +1 more source
Formal Specification for Deep Neural Networks
Automated Technology for Verification and Analysis, 2018S. Seshia +8 more
semanticscholar +1 more source
GOSPEL - Providing OCaml with a Formal Specification Language
World Congress on Formal Methods, 2019A. Charguéraud +3 more
semanticscholar +1 more source