Classboxes - An experiment in modeling compositional abstractions using explicit contexts

conference contribution

posted on 2005-09-05, 00:00 authored by M Lumpe, Jean-Guy SchneiderJean-Guy Schneider

Classboxes - An experiment in modeling compositional abstractions using explicit contexts

History

Publisher DOI

https://doi.org/10.1145/1123058.1123065

Start date

2005-09-05

End date

2005-09-06

ISBN-13

9781595933713

ISBN-10

1595933719

Publication classification

EN.1 Other conference paper

Title of proceedings

Proceedings of the 2005 Conference on Specification and Verification of Component-Based Systems, SAVCBS 2005

Event

the 2005 conference

Publisher

ACM Press

Usage metrics

Categories

Keywords

Uncategorised value

Licence

All Rights Reserved

Exports