formal theory-based specification
A Formal Framework Supporting the Specification of the Interactions between Agents
... Maude is a specification and programming language based on the rewriting logic [14, 3]. Three types of modules are defined in Maude. Functional modules allow defining data types and their functions through ...
14
Toward A Theory of Test Case Reduction in Specification Based Software Testing
... A formal specification provides the entire knowledge about a system and valuable information for testing ...is based on The Coupling Effect Hypothesis ...
5
The formal specification for measuring dust concentration using Z language
... Study air quality by fuzzy logic principle, Cai & Chen (2009) is to derive a knowledge-based air quality management system by Fuzzy Logic Concept. An evaluation system of air quality management knowledge base ...
41
The formal specification of ELEKTRA
... The functionfarity gives the arity of a term: farity : TERM farity constc = 0 farity functft = #t Note that farity is a partial function: we impose the condition that variables have n[r] ...
62
Can quantum probability provide a new direction for cognitive modeling?
... Classical theory would assume that this story generates a sample space for all possible characteristic combinations for Linda, including unfamiliar ones such as feminist bank ...CP theory (Busemeyer & ...
52
Probabilistic analysis of QoS aware service composition with Explicit Environment Models
... composition based on MDPs. We show how to obtain an MDP model based on the models of abstract and concrete services, and the environment model as a fully probabilistic ...is based on a formal ...
21
A Comparative Analysis of RE Approaches for MAS
... Formal Tropos [7] is based on a specification language that adopts primitive concepts for modeling early requirements such as actor, goal, and strategic dependency, along with a rich tem[r] ...
6
Online Full Text
... VONIC software systems are categorized as safety critical systems. This is due to them being employed in high-risk tasks that require rigorous development methodologies to assure its integrity. Failure of safety critical ...
6
Transition Based Coding and Formal Language Theory for Ordered Digraphs
... In this paper, we present a transition sys- tem that implements an efficient, invertible function between its action sequences and ar- bitrary ordered digraphs. The action se- quences of the system can also viewed as ...
14
Formal specification of AI systems : four case studies
... In producing the second version of the system, we had to make provision for meta- rules. At the start of the exercise, we had decided that we would make no a priori re- striction on the number of meta-levels and to use a ...
18
Volume 46: Automated Verification of Critical Systems 2011
... with formal methods and ap- proaches. Formal methods have precise semantics and often have an associated language of reasoning that enables the user to unequivocally demonstrate the truth or otherwise of a ...
16
Integration testing of heterotic systems
... In this paper we have considered the problem of constructing test-sets for integration-testing a heterotic system H, composed of two interacting systems, Base and Control . For Turing-simulable systems, this can be ...
15
Web Service Choreography Verification Using Z Formal Specification
... Exception block, Finalizer block: The exception handling block and the finalizer block are described in section 3. The exception block contains one or more work-units, each work-unit handles an exceptional circumstance. ...
9
Method specification for automated evaluation of documents formal quality
... documents. Formal quality of the documents is very important as it contributes to better understanding and information trans- ...evaluation based on the typographical ...
10
Automated formal specification generation and refinement from requirement documents
... As mentioned before, the language used to write these use cases is a Controlled Natural Language (CNL), a sub- set of English relevant for the specific domain. Using CNL it is possible to write imperative and declarative ...
20
On formal specification of emergent behaviours in swarm robotic systems
... a formal method, which would normally be used to spec- ify and prove properties of a software system, in swarm ...the specification of swarm robotic systems, because of its ability to model concurrent ...
9
The formal specification of a blackboard framework
... Knowledge Sources were treated rather differently. These structures was represented as a state space (although a state space representation was assumed for the Knowledge Source database—i.e., that component of the ...
20
THE NEW UNDERSTANDING AND ANALYSIS OF FEATURES AND CONTENTS OF GROUNDED THEORY
... Grounded theory believes that the personal interpretations by researchers can also play an important role in the theory construction in the meanwhile of proper use of the previous theories (Li, ...
8
The role of formal specification in rule based real time AI (extended abstract)
... The paper describes the use of formal methods in the development of AI interpreters and relates formal methods at this level to work in knowledge representation.. The role of formal spec[r] ...
13
Experimental Comparison of the Comprehensibility of a UML based Formal Specification versus a Textual One
... The generated values above were not quite reflecting the actual results that consider the period effect because the mean period difference for each sequence is an estimate of the difference between two treatments and ...
11