Loading...
Please wait, while we are loading the content...
Similar Documents
BeJC: checking compliance between Java implementation and behavior specification
| Content Provider | ACM Digital Library |
|---|---|
| Author | Jancík, Pavel Kofron, Jan Parízek, Pavel |
| Abstract | 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. |
| Starting Page | 31 |
| Ending Page | 36 |
| Page Count | 6 |
| File Format | |
| ISBN | 9781450313483 |
| DOI | 10.1145/2304676.2304683 |
| Language | English |
| Publisher | Association for Computing Machinery (ACM) |
| Publisher Date | 2012-06-25 |
| Publisher Place | New York |
| Access Restriction | Subscribed |
| Subject Keyword | Component systems Behavior specification Verification |
| Content Type | Text |
| Resource Type | Article |
