Fundamentals of Software Engineering
Springer Berlin (Verlag)
978-3-642-11622-3 (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 | 27.1.2010 |
---|---|
Reihe/Serie | Lecture Notes in Computer Science | Programming and Software Engineering |
Zusatzinfo | XIII, 471 p. |
Verlagsort | Berlin |
Sprache | englisch |
Maße | 155 x 235 mm |
Themenwelt | Mathematik / Informatik ► Informatik ► Betriebssysteme / Server |
Mathematik / Informatik ► Informatik ► Software Entwicklung | |
Mathematik / Informatik ► Informatik ► Theorie / Studium | |
Schlagworte | Abstract Interpretation • ad hoc network algebra • Approximation • client/server interaction • Complexity • Compliance • components • composition of models • Concurrent Systems • coordination architectures • Coordination Models • Decidability • deployment management • Design Pattern • domain specific languages • dynamic overloading • Fault-Tolerant Systems • Games • information flow • java bytecode • language extensions • metamodel-based environments • Model Checking • model transformation • Petri Nets • policy sequence chart • Probabilistic Systems • Process Algebra • process calculi • program analysis • Reinforcement Learning • SCA • security policy • service-oriented computing • SOA • software architecture • Software engineering • Static Analysis • step semantics • subtyping • temporal logic • Type Systems • Validation • verification |
ISBN-10 | 3-642-11622-1 / 3642116221 |
ISBN-13 | 978-3-642-11622-3 / 9783642116223 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich