Results 31 to 40 of about 526,453 (338)
A Process Specification Formalism1 [PDF]
Fundamenta Informaticae, 1990 Traditional methods for programming sequential machines are inadequate for specifying parallel systems. Because debugging of parallel programs is hard, due to e.g. non-deterministic execution, verification of program correctness becomes an even more important issue.
Mauw, Sjouke, Veltink, G. J.
openaire +4 more sources
Analog Property Checkers: A Ddr2 Case Study [PDF]
, 2010 The formal specification component of verification can be exported to simulation through the idea of property checkers. The essence of this approach is the automatic construction of an observer from the specification in the form of a program that can be ...
D Drusinsky +10 more
core +1 more source
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
A formal specification of document processing
Mathematical and Computer Modelling, 1997 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Suryanarayana M Mantha +2 more
openaire +2 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
Towards Topology-Free Programming for Cyber-Physical Systems with Process-Oriented Paradigm
Sensors, 2023 The paper proposes a topology-free specification of distributed control systems by means of a process-oriented programming paradigm. The proposed approach was characterized, on the one hand, by a topologically independent specification of the control ...
Vladimir E. Zyubin +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
Formal specification and verification [PDF]
, 2019 Beyond his seminal contributions to the theory and the design of concurrent and distributed algorithms, Leslie Lamport has throughout his career worked on methods and formalisms for rigorously establishing the correctness of algorithms.
openaire +3 more sources
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
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