Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
[کتاب][B] Foundations of algebraic specification and formal software development
D Sannella - 2012 - Springer
As its title promises, this book provides foundations for software specification and formal
software development from the perspective of work on algebraic specification. It …
software development from the perspective of work on algebraic specification. It …
[کتاب][B] OMDoc--An Open Markup Format for Mathematical Documents [version 1.2]: Foreword by Alan Bundy
M Kohlhase - 2006 - books.google.com
Computers arechanging the way wethink. Of course, nearly all desk-workers have access to
computers and use them to email their colleagues, search the Web for information and …
computers and use them to email their colleagues, search the Web for information and …
The Heterogeneous Tool Set, Hets
T Mossakowski, C Maeder, K Lüttich - … on Tools and Algorithms for the …, 2007 - Springer
Heterogeneous specification becomes more and more important because complex systems
are often specified using multiple viewpoints, involving multiple formalisms (see Fig. 1) …
are often specified using multiple viewpoints, involving multiple formalisms (see Fig. 1) …
[کتاب][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 …
[کتاب][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 …
Matching μ-logic
X Chen, G Roşu - 2019 34th Annual ACM/IEEE Symposium on …, 2019 - ieeexplore.ieee.org
Matching logic is a logic for specifying and reasoning about structure by means of patterns
and pattern matching. This paper makes two contributions. First, it proposes a sound and …
and pattern matching. This paper makes two contributions. First, it proposes a sound and …
Evaluation of an objective technique for analysing temporal variables in DAT spontaneous speech
This paper describes a technique for quantifying the degree of speech deficits in probable
dementia of Alzheimer's type (DAT). The technique involves interviewing individuals with …
dementia of Alzheimer's type (DAT). The technique involves interviewing individuals with …
What is a concept?
J Goguen - International Conference on Conceptual Structures, 2005 - Springer
The lattice of theories of Sowa and the formal concept analysis of Wille each address certain
formal aspects of concepts, though for different purposes and with different technical …
formal aspects of concepts, though for different purposes and with different technical …
Carnap, Goguen, and the hyperontologies: Logical pluralism and heterogeneous structuring in ontology design
O Kutz, T Mossakowski, D Lücke - Logica Universalis, 2010 - Springer
This paper addresses questions of universality related to ontological engineering, namely
aims at substantiating (negative) answers to the following three basic questions:(i) Is there a …
aims at substantiating (negative) answers to the following three basic questions:(i) Is there a …
Hybridization of institutions
MA Martins, A Madeira, R Diaconescu… - … Conference on Algebra …, 2011 - Springer
Modal logics are successfully used as specification logics for reactive systems. However,
they are not expressive enough to refer to individual states and reason about the local …
they are not expressive enough to refer to individual states and reason about the local …