Adamek, J., and F. Plasil, Component Composition Errors and Update Atomicity: Static Analysis, Journal of Software Maintenance and Evolution: Research and Practice, 17(2005), pp. 363-377 Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents
Behavior Protocols: Efficient Checking For Composition Errors - Post-Graduate Student Mgr Self-citation (Plasil) (Correct)
No context found.
Adamek, J., Plasil, F.: Component Composition Errors and Update Atomicity: Static Analysis, accepted for publication in the Journal of Software Maintenance and Evolution: Research and Practice, 2005.
Specification and Generation of Environment for Model.. - Parizek, Plasil (2006) (Correct)
No context found.
Adamek, J., and F. Plasil, Component Composition Errors and Update Atomicity: Static Analysis, Journal of Software Maintenance and Evolution: Research and Practice, 17(2005), pp. 363-377
Enhancing Behavior Protocols with Atomic Actions - Jan Kofron November (Correct)
No context found.
Adamek, J., Plasil, F.: Component Composition Errors and Update Atomicity: Static Analysis, Journal of Software Maintenance and Evolution: Research and Practice 17(5), Sep 2005
Performance Improvements of Behavior Protocol Checking - Kofron (2005) (Correct)
No context found.
Adamek, J., Plasil, F.: Component Composition Errors and Update Atomicity: Static Analysis, accepted for publication in the Journal of Software Maintenance and Evolution: Research and Practice, 2005
Enhancing Behavior Protocols with Exceptions - Holub Charles University (2005) (Correct)
No context found.
Adamek J., Plasil F., Component Composition Errors and Update Atomicity: Static Analysis, in Proceedings of the Journal of Software Maintenance and Evolution: Research and Practice, 2005
Enhancing Behavior Protocols with Exceptions - Holub Charles University (2005) (Correct)
No context found.
Adamek J., Plasil F., Component Composition Errors and Update Atomicity: Static Analysis, in Proceedings of the Journal of Software Maintenance and Evolution: Research and Practice, 2005
Enhancing Behavior Protocols with Exceptions - Holub Charles University (2005) (Correct)
No context found.
Adamek J., Plasil F., Component Composition Errors and Update Atomicity: Static Analysis, in Proceedings of the Journal of Software Maintenance and Evolution: Research and Practice, 2005
Enhancing Behavior Protocols with Exceptions - Holub Charles University (2005) (Correct)
No context found.
Adamek J., Plasil F., Component Composition Errors and Update Atomicity: Static Analysis, in Proceedings of the Journal of Software Maintenance and Evolution: Research and Practice, 2005
Enhancing Behavior Protocols with Exceptions - Holub Charles University (2005) (Correct)
No context found.
Adamek J., Plasil F., Component Composition Errors and Update Atomicity: Static Analysis, in Proceedings of the Journal of Software Maintenance and Evolution: Research and Practice, 2005
Enhancing Behavior Protocols with Exceptions - Holub Charles University (2005) (Correct)
No context found.
Adamek J., Plasil F., Component Composition Errors and Update Atomicity: Static Analysis, in Proceedings of the Journal of Software Maintenance and Evolution: Research and Practice, 2005
Enhancing Behavior Protocols with Exceptions - Holub Charles University (2005) (Correct)
No context found.
Adamek J., Plasil F., Component Composition Errors and Update Atomicity: Static Analysis, in Proceedings of the Journal of Software Maintenance and Evolution: Research and Practice, 2005
Enhancing Behavior Protocols with Exceptions - Holub Charles University (2005) (Correct)
No context found.
Adamek J., Plasil F., Component Composition Errors and Update Atomicity: Static Analysis, in Proceedings of the Journal of Software Maintenance and Evolution: Research and Practice, 2005
Enhancing Behavior Protocols with Exceptions - Holub Charles University (2005) (Correct)
No context found.
Adamek J., Plasil F., Component Composition Errors and Update Atomicity: Static Analysis, in Proceedings of the Journal of Software Maintenance and Evolution: Research and Practice, 2005
Enhancing Behavior Protocols with Exceptions - Holub Charles University (2005) (Correct)
No context found.
Adamek J., Plasil F., Component Composition Errors and Update Atomicity: Static Analysis, in Proceedings of the Journal of Software Maintenance and Evolution: Research and Practice, 2005
Enhancing Behavior Protocols with Exceptions - Holub Charles University (2005) (Correct)
No context found.
Adamek J., Plasil F., Component Composition Errors and Update Atomicity: Static Analysis, in Proceedings of the Journal of Software Maintenance and Evolution: Research and Practice, 2005
Enhancing Behavior Protocols with Exceptions - Holub Charles University (2005) (Correct)
No context found.
Adamek J., Plasil F., Component Composition Errors and Update Atomicity: Static Analysis, in Proceedings of the Journal of Software Maintenance and Evolution: Research and Practice, 2005
Enhancing Behavior Protocols with Exceptions - Holub Charles University (2005) (Correct)
No context found.
Adamek J., Plasil F., Component Composition Errors and Update Atomicity: Static Analysis, in Proceedings of the Journal of Software Maintenance and Evolution: Research and Practice, 2005
Enhancing Behavior Protocols with Exceptions - Holub Charles University (2005) (Correct)
No context found.
Adamek J., Plasil F., Component Composition Errors and Update Atomicity: Static Analysis, in Proceedings of the Journal of Software Maintenance and Evolution: Research and Practice, 2005
Enhancing Behavior Protocols with Exceptions - Holub Charles University (2005) (Correct)
No context found.
Adamek J., Plasil F., Component Composition Errors and Update Atomicity: Static Analysis, in Proceedings of the Journal of Software Maintenance and Evolution: Research and Practice, 2005
Enhancing Behavior Protocols with Exceptions - Holub Charles University (2005) (Correct)
No context found.
Adamek J., Plasil F., Component Composition Errors and Update Atomicity: Static Analysis, in Proceedings of the Journal of Software Maintenance and Evolution: Research and Practice, 2005
Enhancing Behavior Protocols with Exceptions - Holub Charles University (2005) (Correct)
No context found.
Adamek J., Plasil F., Component Composition Errors and Update Atomicity: Static Analysis, in Proceedings of the Journal of Software Maintenance and Evolution: Research and Practice, 2005
Enhancing Behavior Protocols with Exceptions - Holub Charles University (2005) (Correct)
No context found.
Adamek J., Plasil F., Component Composition Errors and Update Atomicity: Static Analysis, in Proceedings of the Journal of Software Maintenance and Evolution: Research and Practice, 2005
Enhancing Behavior Protocols with Exceptions - Holub Charles University (2005) (Correct)
No context found.
Adamek J., Plasil F., Component Composition Errors and Update Atomicity: Static Analysis, in Proceedings of the Journal of Software Maintenance and Evolution: Research and Practice, 2005
Enhancing Behavior Protocols with Exceptions - Holub Charles University (2005) (Correct)
No context found.
Adamek J., Plasil F., Component Composition Errors and Update Atomicity: Static Analysis, in Proceedings of the Journal of Software Maintenance and Evolution: Research and Practice, 2005
Enhancing Behavior Protocols with Exceptions - Holub Charles University (2005) (Correct)
No context found.
Adamek J., Plasil F., Component Composition Errors and Update Atomicity: Static Analysis, in Proceedings of the Journal of Software Maintenance and Evolution: Research and Practice, 2005
First 50 documents
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC