Results 201 to 210 of about 494,717 (236)
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
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
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
Ferroptosis: mechanisms, biology and role in disease
Nature Reviews Molecular Cell Biology, 2021Xuejun Jiang +2 more
exaly
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 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 Survey of Smart Contract Formal Specification and Verification
ACM Computing Surveys, 2022, Yang Liu
exaly