Software Composition [electronic resource] : 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings / edited by Walter Binder, Eric Bodden, Welf Löwe.

Contributor(s):

Material type: Text

TextLanguage: English Series: Lecture Notes in Computer Science ; 8088Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2013.Description: 1 online resource (X, 145 p. 38 ill.)ISBN:

9783642396144

Subject(s):

Online resources:

Click here to access online

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

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Materials specified	Status	Date due	Barcode	Item holds
Books	National Library of India			Available		EBK000024452ENG

Total holds: 0

There are no comments on this title.

to post a comment.

Back to results

1 Passing school examinations :
by Allen, Clifford,
2 Three studies in examination technique /
by Taylor, Harold John,
3 Computer in examination reform :
by Natarajan, V.
4 Students Evaluation for Effective teaching /
by Balachandran, Selina Ethel,
5 Objective Questions in mental ability for competitive examinations /
6 Question Papers of the examination for the inspectors of P.Os & R.M.S
7 I. P. Os. examination :
by Prasad, Narain
8 The measurement of abilities /
by Vernon, Philip Ewart
9 Evaluation methodology and examination reform /
10 Question papers of the P & T Accountants' Service Examination Part I
11 Helps to the study of WBCS (Executive)Pliminary examination :
12 Measurement in higher education /
by Wood, Ben D.
13 How to study and take exams /
by Pettit, Lincoln Coles,
14 BBA / BBM / BBS :
by Parkash,
15 Educational measurements and their interpretation /
by Davis, Frederick B.,
16 Selected uestions on paper III and solved paper III Departmental Examination :
17 How to make achievement tests /
by Travers, Robert Morris William,
18 Educational measurement and evaluation /
by Nunnally, Jum C.
19 An examination of examinations :
by Hartog, Philip Joseph,
20 Progressive methods of teaching /
by Stormzand, Martin James,