Results 21 to 30 of about 93,604 (308)
Validating the Formal Specification of the THUNDERS Process
TecnoLógicas, 2023 Collaborative work encourages participants to build knowledge through exploration, discussion, negotiation, and debate to generate a better understanding or shared understanding of a concept, problem, or situation within a group. The aim of collaborative
Vanessa Agredo-Delgado +2 more
doaj +1 more source
A formal specification of dMARS [PDF]
, 1998 The Procedural Reasoning System (PRS) is the best established agent architecture currently available. It has been deployed in many major industrial applications, ranging from fault diagnosis on the space shuttle to air traffic management and business process control.
Mark d'Inverno +3 more
openaire +2 more sources
The Formal Specification of Oberon
J. Univers. Comput. Sci., 1997 JUCS - Journal of Universal Computer Science Volume Nr.
Kutter,Philipp, Pierantonio,Alfonso
openaire +3 more sources
Declarative Specification [PDF]
, 1996 Deriving formal specifications from informal requirements is extremely difficult since one has to overcome the conceptual gap between an application domain and the domain of formal specification methods.
Robertson, D. +3 more
core +1 more source
Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021 [PDF]
, 2021 The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system verification.
core +1 more source
A Specification-Based Semi-Formal Functional Verification Method by a Stage Transition Graph Model
IEEE Access, 2019 The semi-formal verification method, in which the functionality is formally specified and the checking is undertaken through the formal model-based simulation, has been a promising choice for the functional verification of hardware designs.
Zhao Lv +3 more
doaj +1 more source
From English to Formal Specifications [PDF]
The Computer Journal, 1994 Formal methods provide an approach in which design steps can be shown to satisfy a specification. However, if a formal specification is wrong, then although the design steps may satisfy the formal specification, they are unlikely to satisfy the requirements of the system.
Vadera, S, Meziane, F
openaire +2 more sources
Introduction to Formal Methods for Software Engineering
Measurement + Control, 1993 This paper describes what is meant by formal methods for software engineering. It is intended for the non-mathematical reader, and a simple formal specification is presented. The process of formal specification, development and proof is described briefly.
Trevor King
doaj +1 more source
USING FORMAL METHODS FOR TEST CASE GENERATION ACCORDING TO TRANSITION-BASED COVERAGE CRITERIA [PDF]
Jordanian Journal of Computers and Information Technology, 2015 Formal methods play an important role in increasing the quality, reliability, robustness and effectiveness of software. Also the uses of formal methods, especially in safety-critical systems, help in the early detection of software errors and failures ...
Ahmad A. Saifan, Wafa Bani Mustafa
doaj +1 more source
Algorithm and Formal Model of Recovering Network Connectivity in Battlefield Surveillance [PDF]
EAI Endorsed Transactions on Internet of Things, 2017 Battlefield surveillance requires mission-critical operations and tasks which can effectively be performed using Wireless Sensor and Actor Networks (WSANs).
Nazir Ahmad Zafar, Hamra Afzaal
doaj +1 more source