Classboxes - An experiment in modeling compositional abstractions using explicit contexts

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

Volumn , Issue , 2005, Pages

  Lumpe, Markus ^a   Schneider, Jean Guy ^b  

^a Iowa State University   (United States)

^b SWINBURNE UNIVERSITY OF TECHNOLOGY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; COMPUTER SOFTWARE REUSABILITY; OBJECT ORIENTED PROGRAMMING; REUSABILITY; SOFTWARE ENGINEERING; SPECIFICATIONS;

CLASS EXTENSION; COMPOSITIONAL ABSTRACTIONS; EXPRESSIVE POWER; FORMAL FOUNDATION; MODULE SYSTEMS; NAMESPACES; SOFTWARE COMPOSITION;

ABSTRACTING;

EID: 33749389316     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1123058.1123065     Document Type: Conference Paper

References (19)

1. U. Aßmann. Invasive Software Composition. Springer, 2003.
2. A. Bergel, S. Ducasse, and O. Nierstrasz. Classbox/J: Controlling the Scope of Change in Java. In Proceedings OOPSLA '05, San Diego, USA, Oct. 2005. ACM Press. To appear.
3. A. Bergel, S. Ducasse, O. Nierstrasz, and R. Wuyts. Classboxes: Controlling Visibility of Class Extensions. Journal of Computer Languages, Systems & Structures, 31(3-4):107-126, May 2005.
4. G. Bracha and W. Cook. Mixin-based Inheritance. In N. Meyrowitz, editor, Proceedings OOPSLA/ECOOP '90, Volume 25 of ACM SIGPLAN Notices, pages 303-311, Oct. 1990.
5. L. Dami. A Lambda-Calculus for Dynamic Binding. Theoretical Computer Science, 192:201-231, Feb. 1998.
6. E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns. Addison-Wesley, 1995.
7. M. Lumpe. A π-Calculus Based Approach for Software Composition. PhD thesis, University of Bern, Institute of Computer Science and Applied Mathematics, Jan. 1999.
8. M. Lumpe. A Lambda Calculus With Forms. In T. Gschwind, U. Aßmann, and O. Nierstrasz, editors, Proceedings of the Fourth International Workshop on Software Composition, LNCS 3628, pages 83-98, Edinburgh, Scotland, Apr. 2005. Springer.
9. M. Lumpe and J.-G. Schneider. Form-based Software Composition. In M. Barnett, S. Edwards, D. Giannakopoulou, and G. T. Leavens, editors, Proceedings of ESEC '03 Workshop on Specification and Verification of Component-Based Systems (SAVCBS '03), pages 58-65, Helsinki, Finland, Sept. 2003.
10. M. Lumpe and J.-G. Schneider. A Form-based Metamodel for Software Composition. Science of Computer Programming, 56:59-78, Apr. 2005.
11. R. Milner. Communicating and Mobile Systems: the π-Calculus. Cambridge University Press, 1999.
12. H. Mössenböck. C# to the Point. Addison-Wesley, 2005.
13. O. Nierstrasz and F. Achermann. A Calculus for Modeling Software Components. In F. S. de Boer, M. M. Bonsangue, S. Graf, and W. P. de Roever, editors, Proceedings of First International Symposium on Formal Methods for Components and Objects (FMCO 2002), LNCS 2852, pages 339-360, Leiden, The Netherlands, 2003. Springer.
14. O. Nierstrasz, J.-G. Schneider, and M. Lumpe. Formalizing Composable Software Systems - A Research Agenda. In Proceedings the 1st IFIP Workshop on Formal Methods for Open Object-based Distributed Systems, pages 271-282. Chapmann & Hall, 1996.
15. R. S. Pressman. Software Engineering: A Practitioner's Approach. McGraw-Hill, sixth edition, 2005.
16. J.-G. Schneider and M. Lumpe. Synchronizing Concurrent Objects in the Pi-Calculus. In R. Ducournau and S. Garlatti, editors, Proceedings of Langages et Modeles a Objets '97, pages 61-76, Roscoff, Oct. 1997. Hermes.
17. C. Szyperski. Component Software: Beyond Object-Oriented Programming. Addison-Wesley/ ACM Press, Second edition, 2002.
18. D. Ungar and R. B. Smith. SELF: The Power of Simplicity. In Proceedings OOPSLA '87, Volume 22 of ACM SIGPLAN Notices, pages 227-242, Dec. 1987.
19. M. Van Limberghen and T. Mens. Encapsulation and Composition as Orthogonal Operators on Mixins: A Solution to Multiple Inheritance Problems. Object-Oriented Systems, 3(1):1-30, Mar. 1996.