Results 21 to 30 of about 494,717 (236)
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
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
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
Specifying collaborative software: a proposal [PDF]
, 1998 The aim of this paper is to illustrate how formal specifications for collaborative interactive systems might be written. It presents a new modelling paradigm for certain systems.
Reeves, Steve
core +2 more sources
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 Afifudin, Inge Martina
doaj +1 more source
Weighted Modal Transition Systems [PDF]
, 2012 Specification theories as a tool in model-driven development processes of component-based software systems have recently attracted a considerable attention.
Bauer, Sebastian S. +5 more
core +5 more sources
Simulation of stevedoring work in the Klaipeda oil terminal
Transport, 2002 The paper presents the approach of developing simulation models of stevedoring work in oil terminal using aggregate approach and simulation system ARENA. Aggregate approach permits to develop formal specification of simulated systems.
Henrikas PraneviÄius, Dalius Makackas
doaj +1 more source
Automated class diagram elicitation using intermediate use case template
IET Software, 2021 Class diagrams, being more illustrative, provide an easier way of understanding software requirements compared to use case descriptions. Both manual and automated methods are used for the extraction of class diagrams from requirements.
Shweta, Ratna Sanyal, Bibhas Ghoshal
doaj +1 more source
Research on formal security policy model specification and its formal analysis
Tongxin xuebao, 2006 Formal method is one of the kernel technologies of developing high security level computer system.But by current formal development method,assurance of security policy model correctness cannot be provided directly using machine proof which is stricter ...
LI Li-ping1 +4 more
doaj +2 more sources
Teaching Formal Models of Concurrency Specification and Analysis
Моделирование и анализ информационных систем, 2015 There is a widespread and rapidly growing interest to the parallel programming nowadays. This interest is based on availability of supercomputers, computer clusters and powerful graphic processors for computational mathematics and simulation. MPI, OpenMP,
N. V. Shilov
doaj +1 more source