E-book
Software Composition [electronic resource] : 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings / edited by Walter Binder, Eric Bodden, Welf Löwe.
Record details
- ISBN: 9783642396144
- Physical Description: X, 145 p. 38 illus. online resource.
- Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : 2013.
Search for related items by subject
| Subject: | Computer science. Software engineering. Logic design. Computer Science. Software Engineering. Logics and Meanings of Programs. Mathematical Logic and Formal Languages. |
Search for related items by series
Electronic resources
| 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. . |
