Results 321 to 330 of about 2,060,377 (384)
Some of the next articles are maybe not open access.
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 +1 more source
A formal specification of an oscilloscope
IEEE Software, 1990This case study presents the development of an abstract oscilloscope specification, using Z notation. A description is given of the problem and its context. An abstract model of an oscilloscope that clarifies its user-accessible functions is described. Issues that must be addressed to scale up this specification to deal with more complicated, realistic
D. Gartan, N. Dellsie
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
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.
Wells, Simon, Reed, Chris
openaire +3 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 +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 ...
Aldewereld H. +3 more
openaire +3 more sources
Formal specification of the x86 instruction set architecture
, 2012In this thesis we formally specify the x86 instruction set architecture (ISA) by developing an abstract machine that models the behaviour of a modern computer with multiple x86 processors.
Ulan Degenbaev
semanticscholar +1 more source
International Journal of Embedded and Real-Time Communication Systems, 2010
In this paper, the authors present a formal specification of a novel design paradigm, hierarchical agent monitored SoCs HAMSOC. The paradigm motivates dynamic monitoring in a hierarchical and distributed manner, with adaptive agents embedded for local ...
L. Guang +3 more
semanticscholar +1 more source
In this paper, the authors present a formal specification of a novel design paradigm, hierarchical agent monitored SoCs HAMSOC. The paradigm motivates dynamic monitoring in a hierarchical and distributed manner, with adaptive agents embedded for local ...
L. Guang +3 more
semanticscholar +1 more source
The Role of Formal Specifications
1999This introductory chapter aims at stating the context and the motivations of the rest of the book. The first section is a brief general reminder of the role of specifications in the software development process. Important concepts such as abstraction, refinement, validation, and verification are introduced informally.
Gilles Bernot, Marie-Claude Gaudel
openaire +2 more sources
Formal Specifications and Case
1997Present CASE systems contain usually a set of CASE tools integrated around a repository (CASE - Computer Aided Software Engineering, e.g. [Gan90]). These tools are dedicated to document different aspects of a designed system. The CASE repository serves to maintain a large amount of mutually consistent information.
Tomáš Vlk, Karel Richta
openaire +2 more sources