Introduction to the ISO specification language LOTOS
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
A formal basis for architectural connection
ACM Transactions on Software Engineering and Methodology (TOSEM)
Communicating sequential processes
Communications of the ACM
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Behaviour Analysis of Distributed Systems Using the Tracta Approach
Automated Software Engineering
Assume-Guarantee Verification of Source Code with Design-Level Assumptions
Proceedings of the 26th International Conference on Software Engineering
Component composition errors and update atomicity: static analysis: Research Articles
Journal of Software Maintenance and Evolution: Research and Practice - Unanticipated Software Evolution
Modeling Heterogeneous Real-time Components in BIP
SEFM '06 Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods
Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker
SEW '06 Proceedings of the 30th Annual IEEE/NASA Software Engineering Workshop
Runtime Support for Advanced Component Concepts
SERA '07 Proceedings of the 5th ACIS International Conference on Software Engineering Research, Management & Applications
The Common Component Modeling Example
TBP: Code-Oriented Component Behavior Specification
SEW '08 Proceedings of the 2008 32nd Annual IEEE Software Engineering Workshop
CADP 2010: a toolbox for the construction and analysis of distributed processes
TACAS'11/ETAPS'11 Proceedings of the 17th international conference on Tools and algorithms for the construction and analysis of systems: part of the joint European conferences on theory and practice of software
An empirical study of object protocols in the wild
Proceedings of the 25th European conference on Object-oriented programming
| Hi-index | 0.00 |
An important correctness aspect of software built in a modular way is behavior specification of its particular components. Only then one can reason about communication correctness and properties of particular components. Since it is much more effective to do so at the level of behavior models, establishing a correspondence between behavior specification and implementation becomes an important part. In this paper, we present a method for verifying compliance between behavior specification of a software component and its Java implementation. We also discuss practical experience with the BeJC tool that implements the compliance checking algorithm and its application in the software development process.