Results 301 to 310 of about 1,643,554 (351)
Some of the next articles are maybe not open access.
Formal Specification and Design
1992Formal specification is a method for precisely modelling computer-based systems that combines concepts from software engineering and mathematical logic. In this book the authors describe algebraic and state-based specification techniques from the unified view of the Common Object-oriented Language for Design, COLD, a wide-spectrum language in the ...
L. M. G. Feijs, H. B. M. Jonkers
openaire +1 more source
PLC code generation based on a formal specification language
International Conference on Industrial Informatics, 2016D. Darvas, E. B. Viñuela, I. Majzik
semanticscholar +1 more source
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.
S.P. van de Burgt +2 more
openaire +1 more source
Specification: The Biggest Bottleneck in Formal Methods and Autonomy
Verified Software: Theories, Tools, Experiments, 2016Kristin Yvonne Rozier
semanticscholar +1 more source
1994
To demonstrate the multiple-language measurement strategy described in Chapter 6, we must choose and use a reference language. Prolog has been shown to be suitable for the purpose, and although it is not our aim to teach the reader Prolog, we must explain its properties in just sufficient detail to demonstrate its role in the measurement strategy.
Agnes Kaposi, Margaret Myers
openaire +1 more source
To demonstrate the multiple-language measurement strategy described in Chapter 6, we must choose and use a reference language. Prolog has been shown to be suitable for the purpose, and although it is not our aim to teach the reader Prolog, we must explain its properties in just sufficient detail to demonstrate its role in the measurement strategy.
Agnes Kaposi, Margaret Myers
openaire +1 more source
Z Formal Specification Language
2012This chapter presents the Z specification language, which is one of the most widely used formal methods. Z is a formal specification language based on Zermelo set theory. It was developed at the Programming Research Group at Oxford University in the early 1980s. Z specifications are mathematical and employ a classical two-valued logic.
openaire +1 more source
Formal API Specification of the PikeOS Separation Kernel
NASA Formal Methods, 2015Freek Verbeek +8 more
semanticscholar +1 more source
BLESS: Formal Specification and Verification of Behaviors for Embedded Systems with Software
NASA Formal Methods, 2013Brian R. Larson +2 more
semanticscholar +1 more source
Management Model: Formal Specification
1999To formalize the management model introduced in the previous chapter, we use the specification language PROGRESS [Schurr 1989; Schurr 1990; Schurr 1994; Schurr et al. 1995; Schurr et al. 1999]. The PROGRES specification of the management model serves in turn as a starting point for the implementation of the management system to be described in the next
openaire +1 more source
Formal Specification-Based Inspection for Verification of Programs
IEEE Transactions on Software Engineering, 2012Shaoying Liu +3 more
semanticscholar +1 more source