Results 281 to 290 of about 526,453 (338)
Proceedings of the Conference on The Future of Software Engineering, 2000 Formal specifications have been a focus of software engineering research for many years and have been applied in a wide variety of settings. Their industrial use is still limited but has been steadily growing. After recalling the essence,role, usage, and pitfalls of formal specification, the paper reviews the main specification paradigms to date and ...
openaire +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
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 +3 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 +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
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.
S. Ramesh +2 more
openaire +2 more sources
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 +2 more sources