Results 11 to 20 of about 526,453 (338)
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
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
A formal specification of dMARS [PDF]
, 1998 The Procedural Reasoning System (PRS) is the best established agent architecture currently available. It has been deployed in many major industrial applications, ranging from fault diagnosis on the space shuttle to air traffic management and business process control.
David Kinny +3 more
openaire +3 more sources
Formal Specification and Testing of a Management Architecture [PDF]
, 1997 The importance of network and distributed systems management to supply and maintain services required by users has led to a demand for management facilities.
C Wezeman +16 more
core +3 more sources
Declarative Specification [PDF]
, 1996 Deriving formal specifications from informal requirements is extremely difficult since one has to overcome the conceptual gap between an application domain and the domain of formal specification methods.
David Robertson +11 more
core +1 more source
A Specification-Based Semi-Formal Functional Verification Method by a Stage Transition Graph Model
IEEE Access, 2019 The semi-formal verification method, in which the functionality is formally specified and the checking is undertaken through the formal model-based simulation, has been a promising choice for the functional verification of hardware designs.
Zhao Lv +3 more
doaj +1 more source
Redevelopment of an industrial case study using Event-B and Rodin [PDF]
, 2007 CDIS is a commercial air traffic information system that was developed using formal methods 15 years ago by Praxis, and it is still in operation today. This system is an example of an industrial scale system that has been developed using formal methods ...
Butler, Michael +2 more
core +3 more sources
Introduction to Formal Methods for Software Engineering
Measurement + Control, 1993 This paper describes what is meant by formal methods for software engineering. It is intended for the non-mathematical reader, and a simple formal specification is presented. The process of formal specification, development and proof is described briefly.
Trevor King
doaj +1 more source