Modelling the CoCoME with the JAVA/A Component Model

Alexander Knapp, Stephan Janisch, Rolf Hennicker, Allan Clark, Stephen Gilmore, Florian Hacklinger, Hubert Baumeister, Martin Wirsing

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Abstract

The JAVA/A approach aims at semantically well-founded and coherent modelling and programming concepts for components: based on sound theoretical foundations it enhances the widely used UML 2.0 component model by modular analysis and verification techniques and a Java-based architectural programming language.
Original languageEnglish
Title of host publicationThe Common Component Modeling Example
Subtitle of host publicationComparing Software Component Models
EditorsAndreas Rausch, Ralf Reussner, Raffaela Mirandola, Frantisek Plasil
PublisherSpringer-Verlag GmbH
Pages207-237
Number of pages31
Volume5153
ISBN (Electronic)978-3-540-85289-6
ISBN (Print)978-3-540-85288-9
DOIs
Publication statusPublished - 2008

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin / Heidelberg
Volume5153
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Fingerprint

Dive into the research topics of 'Modelling the CoCoME with the JAVA/A Component Model'. Together they form a unique fingerprint.

Cite this