Fast formal analysis of requirements via “Topoi Diagrams”
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Applications of Abduction: Testing Very Long Qualitative Simulations
IEEE Transactions on Knowledge and Data Engineering
An Abductive Approach for Analysing Event-Based Requirements Specifications
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
The Complexity of TRMCS-like Spiral Specification
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
Knowledge maintenance: the state of the art
The Knowledge Engineering Review
DARE: a system for distributed abductive reasoning
Autonomous Agents and Multi-Agent Systems
Diagnosis and semi-automatic correction of detected design inconsistencies in source code
IWST '09 Proceedings of the International Workshop on Smalltalk Technologies
ATC'10 Proceedings of the 7th international conference on Autonomic and trusted computing
Diagnosing and correcting design inconsistencies in source code with logical abduction
Science of Computer Programming
Computers & Mathematics with Applications
An argumentation-based approach to cooperative multi-source epistemic conflict resolution
MATES'12 Proceedings of the 10th German conference on Multiagent System Technologies
Hi-index | 0.00 |