Transactions on modularity and composition. I (2016)

• Record Type: Book
• Further Information: Note: Shigeru Chiba, Mario Südholt, Patrick Eugster, Lukasz Ziarek, Gary T. Leavens (eds.).
• Editors: Chiba, Shigeru, 1968-; Südholt, Mario; Eugster, Patrick; Ziarek, Lukasz; Leavens, Gary T
• Contents: Context-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.
• Publisher Details: Switzerland : Springer
• Publication Date: 2016
• Extent: 1 online resource (ix, 269 pages), illustrations
• Subjects: 005.1/12; Computer science; Modular programming; Computer software -- Development; Computing and information technology; Computer software -- Development; Modular programming; Computers -- Operating Systems -- General; Business & Economics -- Information Management; Computers -- Programming Languages -- General; Computers -- Computer Simulation; Operating systems; Information architecture; Programming & scripting languages: general; Computer modelling & simulation; Software engineering; Operating systems (Computers); Information Systems; Computer simulation; Computers -- Software Development & Engineering -- General; Software Engineering; Electronic books; Electronic books; Electronic book
• Languages: English
• ISBNs: 9783319469690
• Related ISBNs: 331946969X; 9783319469683
• Notes: Note: Online resource; title from PDF title page (SpringerLink, viewed October 10, 2016).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.