Results 191 to 200 of about 494,717 (236)
Some of the next articles are maybe not open access.
Formal approach to reusable formal specifications
[1991 Proceedings] 6th Mediterranean Electrotechnical Conference, 2002The theory of reusable formal specifications is described, especially in the context of modeling a distributed real-time telecommunication system. Various aspects of reusability are covered: formal representation of reusability, modular specification of the system, equivalence of formal specifications, and classification of specifications. Some modular
openaire +1 more source
Formal specification techniques
Proceedings of 16th International Conference on Software Engineering, 2002Formal approaches to software specification and development have been a topic of active research for a long time. There now exists an important corpus of knowledge and results in this domain. There is more and more interest in the industrial applications of these techniques, even if it is generally observed that transfer is difficult in this area.
openaire +1 more source
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