Fundamentals of Software Engineering (eBook)
XIII, 471 Seiten
Springer Berlin (Verlag)
978-3-642-11623-0 (ISBN)
Session 1. Invited Papers.- A Process-Theoretic Look at Automata.- Verification, Performance Analysis and Controller Synthesis for Real-Time Systems.- rCOS: Theory and Tool for Component-Based Model Driven Development.- Session 2. Regular Papers.- Termination in Higher-Order Concurrent Calculi.- Typing Asymmetric Client-Server Interaction.- Equational Reasoning on Ad Hoc Networks.- Towards a Notion of Unsatisfiable Cores for LTL.- Rule Formats for Determinism and Idempotence.- The Complexity of Reachability in Randomized Sabotage Games.- Applying Step Coverability Trees to Communicating Component-Based Systems.- Program Logics for Sequential Higher-Order Control.- Modular Schedulability Analysis of Concurrent Objects in Creol.- A Timed Calculus for Wireless Systems.- Model Checking Linear Duration Invariants of Networks of Automata.- Automata Based Model Checking for Reo Connectors.- On the Expressiveness of Refinement Settings.- Bounded Rational Search for On-the-Fly Model Checking of LTL Properties.- Automated Translation and Analysis of a ToolBus Script for Auctions.- Executable Interface Specifications for Testing Asynchronous Creol Components.- Compositional Strategy Mapping.- A Sound Analysis for Secure Information Flow Using Abstract Memory Graphs.- Refinement Patterns for Hierarchical UML State Machines.- Specification and Validation of Behavioural Protocols in the rCOS Modeler.- The Interplay between Relationships, Roles and Objects.- A Coordination Model for Interactive Components.- Session 3. Short Papers.- Evolution Control in MDE Projects: Controlling Model and Code Co-evolution.- An xADL Extension for Managing Dynamic Deployment in Distributed Service Oriented Architectures.- A First Step towards Security Policy Compliance of Connectors.- A Safe Implementation of Dynamic Overloading in Java-Like Languages.- Fundamental Concepts for the Structuring of Functionality into Modular Parts.
Erscheint lt. Verlag | 25.1.2010 |
---|---|
Reihe/Serie | Lecture Notes in Computer Science | Programming and Software Engineering |
Verlagsort | Berlin |
Sprache | englisch |
Themenwelt | Mathematik / Informatik ► Informatik |
Schlagworte | Abstract Interpretation • ad hoc network algebra • Approximation • client/server interaction • Complexity • Compliance • components • composition of models • Concurrent Systems • Coordination Models • deployment management • software architecture • Software engineering • Validation • verification |
ISBN-10 | 3-642-11623-X / 364211623X |
ISBN-13 | 978-3-642-11623-0 / 9783642116230 |
Haben Sie eine Frage zum Produkt? |
![PDF](/img/icon_pdf_big.jpg)
Kopierschutz: Adobe-DRM
Adobe-DRM ist ein Kopierschutz, der das eBook vor Mißbrauch schützen soll. Dabei wird das eBook bereits beim Download auf Ihre persönliche Adobe-ID autorisiert. Lesen können Sie das eBook dann nur auf den Geräten, welche ebenfalls auf Ihre Adobe-ID registriert sind.
Details zum Adobe-DRM
Dateiformat: PDF (Portable Document Format)
Mit einem festen Seitenlayout eignet sich die PDF besonders für Fachbücher mit Spalten, Tabellen und Abbildungen. Eine PDF kann auf fast allen Geräten angezeigt werden, ist aber für kleine Displays (Smartphone, eReader) nur eingeschränkt geeignet.
Systemvoraussetzungen:
PC/Mac: Mit einem PC oder Mac können Sie dieses eBook lesen. Sie benötigen eine
eReader: Dieses eBook kann mit (fast) allen eBook-Readern gelesen werden. Mit dem amazon-Kindle ist es aber nicht kompatibel.
Smartphone/Tablet: Egal ob Apple oder Android, dieses eBook können Sie lesen. Sie benötigen eine
Geräteliste und zusätzliche Hinweise
Buying eBooks from abroad
For tax law reasons we can sell eBooks just within Germany and Switzerland. Regrettably we cannot fulfill eBook-orders from other countries.
aus dem Bereich