Results 1 to 10 of about 526,453 (338)
A Formal Approach based on Fuzzy Logic for the Specification of Component-Based Interactive Systems [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 Formal methods are widely recognized as a powerful engineering method for the specification, simulation, development, and verification of distributed interactive systems.
Vasileios Koutsoumpas
doaj +4 more sources
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 +4 more sources
Formal Specification with JML [PDF]
, 2014 This text is a general, self contained, and tool independent introduction into the Java Modeling Language, JML. It is a preview of a chapter planned to appear in a book about the KeY approach and tool to the verification of Java software. JML is the dominating starting point of KeY style Java verification. However, this paper does not in any way depend
Huisman, Marieke +3 more
openaire +9 more sources
Specification and Verification of Context-dependent Services [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 Current approaches for the discovery, specification, and provision of services ignore the relationship between the service contract and the conditions in which the service can guarantee its contract.
Naseem Ibrahim +2 more
doaj +4 more sources
On Formal Specification of Maple Programs [PDF]
, 2012 This paper is an example-based demonstration of our initial results on the formal specification of programs written in the computer algebra language MiniMaple (a substantial subset of Maple with slight extensions). The main goal of this work is to define a verification framework for MiniMaple.
Wolfgang Schreiner +1 more
openaire +6 more sources
Formal Specification and Validation of a Hybrid Connectivity Restoration Algorithm for Wireless Sensor and Actor Networks [PDF]
Sensors, 2012 Maintaining inter-actor connectivity is extremely crucial in mission-critical applications of Wireless Sensor and Actor Networks (WSANs), as actors have to quickly plan optimal coordinated responses to detected events.
Nazir Ahmad Zafar, Muhammad Imran
doaj +2 more sources
A Component-Based Formal Language Workbench [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 The CBS framework supports component-based specification of programming languages. It aims to significantly reduce the effort of formal language specification, and thereby encourage language developers to exploit formal semantics more widely.
Peter D. Mosses
doaj +1 more source
Survey on Learning-Based Formal Methods: Taxonomy, Applications and Possible Future Directions
IEEE Access, 2020 Formal methods play an important role in testing and verifying software quality, especially in modern society with rapid technological updates.
Fujun Wang +3 more
doaj +1 more source
Logic Programming Tools for Formal Software Specification [PDF]
Zeszyty Naukowe Warszawskiej Wyższej Szkoły Informatyki, 2011 Jednym z najistotniejszych problemów w inżynierii oprogramowania jest opracowanie i zawężenie wymagań dotyczących oprogramowania w celu określenia dokładnych specyfikacji, a także kwestia przekształcenia specyfikacji dotyczących złożonych problemów w ...
Halina Przymusińska
doaj +1 more source
Towards automatic Maude specifications generation from C functions
Journal of Innovation Information Technology and Application, 2023 In this paper, we aim to contribute to the knowledge about how imperative C functions can be transformed to Maude functional and system modules respectively.
fateh boutekkouk
doaj +1 more source