Results 131 to 140 of about 93,999 (162)
Some of the next articles are maybe not open access.
Hazard Analysis in Formal Specification
1999Action systems have proven their worth in the design of safetycritical systems. The approach is based on a firm mathematical foundation within which the reasoning about the correctness and behaviour of the system under development is carried out. Hazard analysis is a vital part of the development of safety-critical systems.
Kaisa Sere, Elena Troubitsyna
openaire +1 more source
A formal specification of multicriteria economics
Operational Research, 2019Economic theory usually focuses on the optimization of a single criterion subject to a set of rigid constraints. Nevertheless, many decisions in economics require to find a balance between multiple and possibly conflicting criteria to obtain a more realistic representation of actual world problems. In addition, there is a lack of a formal specification
openaire +1 more source
Formalizing the Specification of Web Applications
1999As the size of Web applications grows, it becomes clear that we need better tools to deal with their growing complexity. The current trend has been to assist the developer during the implementation stage, with little or no emphasis in the design process.
Daniel M. Germán, Donald D. Cowan
openaire +1 more source
A Survey of Smart Contract Formal Specification and Verification
ACM Computing Surveys, 2022Palina Tolmach +2 more
exaly
Formal Specification and Verification of Autonomous Robotic Systems
ACM Computing Surveys, 2020Matt Luckcuck, , Louise A Dennis
exaly
Formal specification of a prolog compiler
1989This paper presents an outline of a formal specification of a compiler and a virtual machine for the programming language Prolog. The specification of the compiler can be transformed into an equivalent Prolog program. The specification of the virtual machine is the basis of an implementation of the virtual machine as an interpreter written in a low ...
openaire +1 more source
Exploring the barriers to formal specification. [PDF]
, 2001 This thesis explores barriers to using formal specification for software development in industry. Empirical assessment techniques are used initially in an exploratory stage and subsequently in testing a hypothesis arising from the first stage. A second hypothesis is investigated by construction of a method and tool with subjective assessment of its ...
openaire +1 more source