formal theory-based specification
A Formal Framework Supporting the Specification of the Interactions between Agents
14
Toward A Theory of Test Case Reduction in Specification Based Software Testing
5
The formal specification for measuring dust concentration using Z language
41
The formal specification of ELEKTRA
62
Can quantum probability provide a new direction for cognitive modeling?
52
Probabilistic analysis of QoS aware service composition with Explicit Environment Models
21
A Comparative Analysis of RE Approaches for MAS
6
Online Full Text
6
Transition Based Coding and Formal Language Theory for Ordered Digraphs
14
Formal specification of AI systems : four case studies
18
Volume 46: Automated Verification of Critical Systems 2011
16
Integration testing of heterotic systems
15
Web Service Choreography Verification Using Z Formal Specification
9
Method specification for automated evaluation of documents formal quality
10
Automated formal specification generation and refinement from requirement documents
20
On formal specification of emergent behaviours in swarm robotic systems
9
The formal specification of a blackboard framework
20
THE NEW UNDERSTANDING AND ANALYSIS OF FEATURES AND CONTENTS OF GROUNDED THEORY
8
The role of formal specification in rule based real time AI (extended abstract)
13
Experimental Comparison of the Comprehensibility of a UML based Formal Specification versus a Textual One
11