Checking Protocol Compatibility using Maude
Electronic Notes in Theoretical Computer Science (ENTCS)
ECSA'11 Proceedings of the 5th European conference on Software architecture
A generic framework for n-protocol compatibility checking
Science of Computer Programming
Hi-index | 0.00 |
A key challenge for software engineering is to learn how to reconcile the formal world of the machine and its software with the non-formal real world. In this paper, we discuss elements of Problem Oriented Software Engineering (POSE), an approach that ...