Results 71 to 80 of about 73,039 (116)
Some of the next articles are maybe not open access.
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 +1 more source
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
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 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
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
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
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
Formal specification of multicomputers
1996Formal Methods of specification can play an important role in exploring the behaviour of complex systems, as distributed systems or parallel computing. Lotos, based on algebra of processes, has been chosen as an international standard for specifying many systems.
openaire +1 more source
A formalism of the specifications for library development
2013 IEEE International SOC Conference, 2013In System-on-Chip (SoC) design, more and more pre-defined libraries such as standard cell library are required in order to reduce time-to-market and to ensure the functionality of complex systems. However, an amount of information such as technology parameters is needed to develop libraries. From the perspective of library providers, a crucial issue is
Chae, Jung Kyu +4 more
openaire +2 more sources
Formal Specifications of User Requirements
Automated Software Engineering, 1999There is a wide gap between informal requirements and a formal object-oriented specification. To help bridge this gap, we propose that a formal and executable user-centred model should be constructed initially. The user-centred model, which specifies the behaviour that the environment expects from the system, is expressed in terms of agent views and ...
Robert G. Clark, Ana M. D. Moreira
openaire +1 more source