Results 31 to 40 of about 93,604 (308)
Timing diagrams requirements modeling using Event-B formal methods [PDF]
, 2010 Timing diagrams provide an intuitive graphical specification for time constraints and causal dependencies between a system’s objects. Such a view can provide useful insight during Requirements Engineering (RE).
Snook, Colin +7 more
core +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
An Entry Point for Formal Methods: Specification and Analysis of Event Logs [PDF]
Electronic Proceedings in Theoretical Computer Science, 2010 Formal specification languages have long languished, due to the grave scalability problems faced by complete verification methods. Runtime verification promises to use formal specifications to automate part of the more scalable art of testing, but has ...
Howard Barringer +3 more
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 ...
Groenboom, R +3 more
openaire +2 more sources
Using software specification methods for measurement instruments: Part II - formal methods [PDF]
, 1992 In the second part of the paper, we investigate the applicability of formal methods to the specification of measuring instrument systems. We then conduct a case study in the widely used Z method.
Finkelstein, A. +3 more
core +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 Afifudin, Inge Martina
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
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
DESIRE: Modelling Multi-Agent Systems in a Compositional Formal Framework [PDF]
, 1997 This paper discusses an example of the application of a high-level modelling framework which enables both the specification and implementation of a system's conceptual design.
Jennings, N. R. +11 more
core +1 more source
IET Software, 2023 The state space explosion restricts the error detection of concurrent software. The abstraction can provide a solution to avoid state space explosion, but it is easy to ignore important details, resulting in inaccurate detection results.
Wenjie Zhong, Jian‐tao Zhou, Tao Sun
doaj +1 more source