منابع مشابه
Behavioural Semantics of Algebraic Specifications in Arbitrary Logical Systems
Behavioural semantics for specifications plays a crucial role in the formalization of the developments process, where a specification need not to be implemented exactly but only so that the required system behaviour is achieved. There are two main approaches to the definition of behavioural semantics: the internal one (called behavioural semantics) and external one (called abstractor semantics)...
متن کاملBehavioural specifications'
For historic reasons, programming (and its theory, as well as methodology) evolved from the computing paradigm. Many computer applications in common use do not fit this paradigm well. Neither an operating system, nor a word processor compute anything, even if their operation involves many computations. Here we follow another paradigm, viz. that of system behaviour, in which finite actions are u...
متن کاملExecuting Logical Agent Specifications
Many agent-oriented programming languages are based on the Prolog-like logical goal reduction approach where rules are used to reduce, in a depth-first way, a selected goal. The ability of agents to change between goals means that such languages often overlay the basic computational engine with a mechanism for dynamically changing which goal is selected. Our approach is different. The basic com...
متن کاملSubstructural Logical Specifications
A logical framework and its implementation should serve as a flexible tool for specifying, simulating, and reasoning about formal systems. When the formal systems we are interested in exhibit state and concurrency, however, existing logical frameworks fall short of this goal. Logical frameworks based on a rewriting interpretation of substructural logics, ordered and linear logic in particular, ...
متن کاملCoverage Criteria for Logical Specifications
Model-based testing (MBT) studies how to generate test cases from a model of the system under test (SUT). Many MBT methods rely on building an automaton from the model and then they generate test cases by covering the automaton with different path coverage criteria. However, if a model of the SUT is a logical formula over some complex mathematical theories (such as the Z notation) it may be mor...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Computation
سال: 2020
ISSN: 0890-5401
DOI: 10.1016/j.ic.2019.104487