An edition of Software Composition (2013)

Software Composition

12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings

by

Cover of: Software Composition by Walter Binder, Walter Binder
Locate

My Reading Lists:

Create a new list
Notes
Notes

Check nearby libraries

Buy this book

Last edited by MARC Bot
July 7, 2019 | History
Edit
An edition of Software Composition (2013)

Software Composition

12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings

by

The book constitutes the refereed proceedings of the 12th International Conference on Software Composition, SC 2013, held in Budapest, Hungary, in June 2013, co-located with the STAF 2013 Federated Conferences. The 9 revised full papers were carefully reviewed and selected from 21 submissions for inclusion in the book. The papers reflect all current research in software composition, including but not limited to component-based software engineering; composition and adaption techniques; composition algebras, calculi, and type systems; feature-oriented software development; verification, validation, and testing; dynamic composition and reconfiguration.

Publish Date
Publisher
Springer Berlin Heidelberg, Imprint: Springer
Language
English
Pages
145

Check nearby libraries

Buy this book

Subjects

Logic design, Mathematical Logic and Formal Languages, Logics and Meanings of Programs, Computer science, Software engineering
Edition Availability
Cover of: Software Composition
Software Composition: 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings
2013, Springer Berlin Heidelberg, Imprint: Springer
electronic resource : in English
Cover of: Software Composition
Software Composition: 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings
Jun 20, 2013, Springer
paperback

Add another edition?

Book Details

Table of Contents

Componentised Language Development for the JVM
Preserving Confidentiality in Component Compositions
Method Shells: Avoiding Conflicts on Destructive Class Extensions by Implicit Context Switches
Separating Obligations of Subjects and Handlers for More Flexible Event Type Verification
Implementing Feature Interactions with Generic Feature Modules
Compositional Development of BPMN
Building a Customizable Business-Process-as-a-Service Application with current State-of-Practice
Verifying Data Independent Programs Using Game Semantics. .

Edition Notes

Published in
Berlin, Heidelberg
Series
Lecture Notes in Computer Science -- 8088

Classifications

Dewey Decimal Class
005.1
Library of Congress
QA76.758, QA75.5-76.95

The Physical Object

Format
[electronic resource] :
Pagination
X, 145 p. 38 illus.
Number of pages
145

Edition Identifiers

Open Library
OL27088080M
ISBN 13
9783642396144

Work Identifiers

Work ID
OL19902669W

Source records

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Download catalog record: RDF / JSON