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
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