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
Requirements analysis of the VoD application using the tools in TRADE [PDF]
, 1996 This report contains a specification of requirements for a video-on-demand (VoD) application developed at Belgacom, used as a trial application in the 2RARE project. The specification contains three parts: an informal specification in natural language; a
Huyts, Sander, Wieringa, R.J.
core +10 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
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
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
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
Product Model Derivation from Feature Model and Formal Specification
Applied Sciences, 2022 Product derivation is the process of building a specific product from a software product line. Effective product derivation can improve software reuse productivity. Existing methods can only obtain abstract feature models, lacking detailed specifications
Xi Wang, Weiwei Wang, Hongbo Liu
doaj +1 more source
Industrial Experience Report on the Formal Specification of a Packet Filtering Language Using the K Framework [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 Many project-specific languages, including in particular filtering languages, are defined using non-formal specifications written in natural languages. This leads to ambiguities and errors in the specification of those languages. This paper reports on an
Gurvan Le Guernic +2 more
doaj +1 more source
Validating the Formal Specification of the THUNDERS Process
TecnoLógicas, 2023 Collaborative work encourages participants to build knowledge through exploration, discussion, negotiation, and debate to generate a better understanding or shared understanding of a concept, problem, or situation within a group. The aim of collaborative
Vanessa Agredo-Delgado +2 more
doaj +1 more source