An edition of Software Composition (2013)

Software Composition

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

by

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Cover of: Software Composition by Walter Binder
Not in Library

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today
Notes
  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
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

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read

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

Previews available in: English

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
  • Not in Library
Libraries near you: WorldCat
Cover of: Software Composition
Software Composition: 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings
Jun 20, 2013, Springer
paperback
Libraries near you: WorldCat

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

ID Numbers

Open Library
OL27088080M
Internet Archive
softwarecomposit00hsey
ISBN 13
9783642396144

Source records

Internet Archive item record
Better World Books record

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON
July 7, 2019 Created by MARC Bot import new book