Results 41 to 50 of about 2,084,052 (380)
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
Formalizing Anaesthesia: A case study in formal specification [PDF]
, 1996 We report on the formalization of knowledge for a support system in the field of anaesthesiology. It is a case study in the use of the formal specification method we are developing. The method consists of guidelines (using concepts from object-oriented design methods), language (AFSL, Almost Formal Specification Language) and tools (type-checker ...
Rix Groenboom +3 more
openaire +3 more sources
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
Verification of HotStuff BFT Consensus Protocol With TLA+/TLC in an Industrial Setting [PDF]
SHS Web of Conferences, 2021 The extent of formal verification methods applied in industrial projects has always been limited. The proliferation of distributed ledger systems (DLS), also known as blockchain, is rapidly changing the situation. Since the main area of DLSs’ application
Kukharenko Vladimir +3 more
doaj +1 more source
Int. J. Distributed Sens. Networks, 2014 Timely segregation of critical/noncritical nodes is extremely crucial in mobile ad hoc and sensor networks. Most of the existing segregation schemes are centralized and require maintaining network wide information, which may not be feasible in large ...
M. Alnuem +4 more
semanticscholar +1 more source
Revista Facultad de Ingeniería Universidad de Antioquia, 2012 The specification and formal verification of distributed systems is usually a complex task. It requires extensive knowledge of algorithm theory and modeling of distributed or concurrent systems.
Jorge Cortés Galicia +2 more
doaj +1 more source
Implementation of Structured Object-Oriented Formal Language for Warehouse Management System
CommIT Journal, 2020 Designing process is inseparable from software development. Like other software development processes, designing process faces many problems, such as improper and ambiguous specifications.
Irfin Afifudi, Inge Martina
doaj +1 more source
The Formal Specification of Oberon
, 1997 JUCS - Journal of Universal Computer Science Volume Nr.
Kutter,Philipp, Pierantonio,Alfonso
openaire +3 more sources
A Requirements Capture Method and Its Use in an Air Traffic Control Application [PDF]
, 1995 This paper describes our experience in capturing, using a formal specification language, a model of the knowledge-intensive domain of oceanic air traffic control.
Jones, S. +4 more
core +2 more sources
Scenic: a language for scenario specification and scene generation [PDF]
ACM-SIGPLAN Symposium on Programming Language Design and Implementation, 2018 We propose a new probabilistic programming language for the design and analysis of perception systems, especially those based on machine learning. Specifically, we consider the problems of training a perception system to handle rare events, testing its ...
Daniel J. Fremont +5 more
semanticscholar +1 more source