000 | 03898nam a22006015i 4500 | ||
---|---|---|---|
001 | 978-3-319-46969-0 | ||
003 | DE-He213 | ||
005 | 20200421111703.0 | ||
007 | cr nn 008mamaa | ||
008 | 160929s2016 gw | s |||| 0|eng d | ||
020 |
_a9783319469690 _9978-3-319-46969-0 |
||
024 | 7 |
_a10.1007/978-3-319-46969-0 _2doi |
|
050 | 4 | _aQA76.758 | |
072 | 7 |
_aUMZ _2bicssc |
|
072 | 7 |
_aCOM051230 _2bisacsh |
|
082 | 0 | 4 |
_a005.1 _223 |
245 | 1 | 0 |
_aTransactions on Modularity and Composition I _h[electronic resource] / _cedited by Shigeru Chiba, Mario S�udholt, Patrick Eugster, Lukasz Ziarek, Gary T. Leavens. |
264 | 1 |
_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2016. |
|
300 |
_aIX, 269 p. 86 illus. _bonline resource. |
||
336 |
_atext _btxt _2rdacontent |
||
337 |
_acomputer _bc _2rdamedia |
||
338 |
_aonline resource _bcr _2rdacarrier |
||
347 |
_atext file _bPDF _2rda |
||
490 | 1 |
_aLecture Notes in Computer Science, _x0302-9743 ; _v9800 |
|
505 | 0 | _aContext-Oriented Software Development with Generalized Layer Activation Mechanism -- Developing and Verifying Response Specifications in Hierarchical Event-Based Systems -- Programming with Emergent Gummy Modules -- Generalized Layer Activation Mechanism for Context-Oriented Programming -- Modular Reasoning in the Presence of Event Subtyping -- Software Unbundling: Challenges and Perspectives -- Dynamic Dispatch for Method Contracts through Abstract Predicates. | |
520 | _aThe LNCS Transactions on Modularity and Composition are devoted to all aspects of software modularity and composition methods, tools, and techniques, covering requirement analysis, design, implementation, maintenance, and evolution.  The focus of the journal also includes modelling techniques, new paradigms and languages, development tools, measurement, novel verification and testing approaches, theoretical foundations, and understanding interactions between modularity and composition. This, the first issue of the Transactions on Modularity and Composition, consists of two sections. The first one, guest edited by Patrick Eugster, Mario S�udholt, and Lukasz Ziarek, is entitled "Aspects, Events, and Modularity" and includes papers focusing on context-oriented software development, specifications for even-based systems, and development of modular software. The second section, guest edited by Gary T. Leavens, contains journal versions of selected papers from Modularity 2015, which was held in March 2015, in Fort Collins, Colorado, USA. Topics covered by the papers in this section include software unbundling, layer activation in context-oriented programming, modular reasoning in event-based languages, and dynamic dispatch for method contracts using abstract predicates. | ||
650 | 0 | _aComputer science. | |
650 | 0 | _aSoftware engineering. | |
650 | 0 | _aProgramming languages (Electronic computers). | |
650 | 0 | _aOperating systems (Computers). | |
650 | 0 | _aComputer simulation. | |
650 | 0 | _aManagement information systems. | |
650 | 1 | 4 | _aComputer Science. |
650 | 2 | 4 | _aSoftware Engineering. |
650 | 2 | 4 | _aOperating Systems. |
650 | 2 | 4 | _aManagement of Computing and Information Systems. |
650 | 2 | 4 | _aProgramming Languages, Compilers, Interpreters. |
650 | 2 | 4 | _aSimulation and Modeling. |
700 | 1 |
_aChiba, Shigeru. _eeditor. |
|
700 | 1 |
_aS�udholt, Mario. _eeditor. |
|
700 | 1 |
_aEugster, Patrick. _eeditor. |
|
700 | 1 |
_aZiarek, Lukasz. _eeditor. |
|
700 | 1 |
_aLeavens, Gary T. _eeditor. |
|
710 | 2 | _aSpringerLink (Online service) | |
773 | 0 | _tSpringer eBooks | |
776 | 0 | 8 |
_iPrinted edition: _z9783319469683 |
830 | 0 |
_aLecture Notes in Computer Science, _x0302-9743 ; _v9800 |
|
856 | 4 | 0 | _uhttp://dx.doi.org/10.1007/978-3-319-46969-0 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-LNC | ||
942 | _cEBK | ||
999 |
_c55074 _d55074 |