A survey of qualitative spatial and temporal calculi: algebraic and computational properties
Qualitative spatial and temporal reasoning (QSTR) is concerned with symbolic knowledge
representation, typically over infinite domains. The motivations for employing QSTR …
representation, typically over infinite domains. The motivations for employing QSTR …
The oracle problem in software testing: A survey
Testing involves examining the behaviour of a system in order to discover potential faults.
Given an input for a system, the challenge of distinguishing the corresponding desired …
Given an input for a system, the challenge of distinguishing the corresponding desired …
[图书][B] Handbook of multisensor data fusion: theory and practice
M Liggins II, D Hall, J Llinas - 2017 - books.google.com
In the years since the bestselling first edition, fusion research and applications have adapted
to service-oriented architectures and pushed the boundaries of situational modeling in …
to service-oriented architectures and pushed the boundaries of situational modeling in …
[PDF][PDF] A comprehensive survey of trends in oracles for software testing
Testing involves examining the behaviour of a system in order to discover potential faults.
Determining the desired correct behaviour for a given input is called the “oracle problem” …
Determining the desired correct behaviour for a given input is called the “oracle problem” …
[图书][B] Institution-independent model theory
R Diaconescu - 2008 - books.google.com
A model theory that is independent of any concrete logical system allows a general handling
of a large variety of logics. This generality can be achieved by applying the theory of …
of a large variety of logics. This generality can be achieved by applying the theory of …
Toward an engineering discipline for grammarware
Grammarware comprises grammars and all grammar-dependent software. The term
grammar is meant here in the sense of all established grammar formalisms and grammar …
grammar is meant here in the sense of all established grammar formalisms and grammar …
Modular structural operational semantics
PD Mosses - The Journal of Logic and Algebraic Programming, 2004 - Elsevier
Modular SOS (MSOS) is a variant of conventional Structural Operational Semantics (SOS).
Using MSOS, the transition rules for each construct of a programming language can be …
Using MSOS, the transition rules for each construct of a programming language can be …
[图书][B] CASL reference manual: The complete documentation of the common algebraic specification language
PD Mosses - 2004 - books.google.com
CASL, the Common Algebraic Specification Language, was designed by the members of
CoFI, the Common Framework Initiative for algebraic specification and development, and is …
CoFI, the Common Framework Initiative for algebraic specification and development, and is …
[图书][B] CASL User Manual: Introduction to Using the Common Algebraic Specification Language
CASL, the Common Algebraic Specification Language, was designed by the members of
CoFI, the Common Framework Initiative for algebraic specification and development, and is …
CoFI, the Common Framework Initiative for algebraic specification and development, and is …
Putting the semantics into semantic versioning
The long-standing aspiration for software reuse has made astonishing strides in the past few
years. Many modern software development ecosystems now come with rich sets of publicly …
years. Many modern software development ecosystems now come with rich sets of publicly …