Results 241 to 250 of about 1,590,113 (289)
Some of the next articles are maybe not open access.
Evolving specifications formally
2011 IEEE 19th International Requirements Engineering Conference, 2011This paper presents a formal specification and analysis method motivated by issues faced during early stages of requirements development for automotive features. At this early stage of development, only overall goals of features are understood, and there is a need to discover all possible scenarios of operation.
Prahladavaradan Sampath +2 more
openaire +1 more source
2005
Formal Description Techniques (FDTs) that should be capable to express the OSI Protocols and Services are confronted with unprecedented requirements in terms of the abstraction level at which the OSI architectural concepts need to be expressed as well as the high complexity of the OSI standards.
VISSERS C. A, SCOLLO, Giuseppe
openaire +2 more sources
Formal Description Techniques (FDTs) that should be capable to express the OSI Protocols and Services are confronted with unprecedented requirements in terms of the abstraction level at which the OSI architectural concepts need to be expressed as well as the high complexity of the OSI standards.
VISSERS C. A, SCOLLO, Giuseppe
openaire +2 more sources
On Formalism in Specifications
IEEE Software, 1985A critique of a natural-language specification, followed by presentation of a mathematical alternative, demonstrates the weakness of natural language and the strength of formalism in requirements specifications.
openaire +2 more sources
Testability of Formal Specifications
1992Abstract In the SPECS project (RACE 1046) formal methods for testing were applied on a existing Integrated Broadband Communication system. This paper reports on experience gained in this exercise. It focuses on properties of formal specifications that are indispensable or desirable when the specification is to be used as a basis for testing.
Stan P. van de Burgt +2 more
openaire +2 more sources
A formal specification of INGRES
1989This paper describes a case study in the application of COLD-K as a specification language. The subject of the case study is the INGRES relational data base system.
W. E. Baats +2 more
openaire +1 more source
Formal Dialectic Specification
2005Formal dialectic systems have been suggested as a means to model inter-agent communication in multi-agent systems. The formal dialectic systems of Hamblin are practical models for the computational implementation of such a system of argumentative dialogue.
Simon Wells, Chris Reed 0001
openaire +2 more sources
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 ...
Huib Aldewereld +3 more
openaire +2 more sources
Formal specifications of debuggers
ACM SIGPLAN Notices, 2001Programming in constructive type theory corresponds to theorem proving in mathematics: the specification plays the role of the proposition to be proved and the program is obtained from the proof. In this paper, we present an approach of using constructive type theory to derive a debugger of a given programming language from its ...
openaire +1 more source
Faster Analysis of Formal Specifications
2004When animating a formal model for validation or test generation purposes, scalability is a key issue. This paper describes a graph-based representation for the operations of state-based formal models. This representation makes it possible to handle large models efficiently and perform a variety of transformations, such as splitting an operation into ...
Fabrice Bouquet +3 more
openaire +2 more sources
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 +3 more sources