| The LNCS series reports state-of-the-art results in computer science research,development,and education,at a high level and in both printed and electronic form.Enjoying tight cooperation with the R&D community,with numerous individuals,as well as with prestigious organizations and societies,LNCS has grown into the most comprehensive computer science resarch forum available. The scope of LNCS,including its subseries LNAI,spans the whole range of computer science and information technology including interdisciplinary topics in a variety of application fields.The type of material publised traditionally includes. -proceedings(published in time for the respective conference) -post-proceedings(consisting of thoroughly revised final full papers) -research monographs(which may be basde on outstanding PhD work,research projects,technical reports,etc.). |
| Train Systems Formalising Reconciliation in Partitionable Networks with Distributed Services The Fault-Tolerant Insulin Pump Therapy Reasoning About Exception Flow at the Architectural Level Are Practitioners Writing Contracts? Determining the Specification of a Control System: An Illustrative Example Achieving Fault Tolerance by a Formally Validated Interaction Policy F(I)MEA-Technique of Web Services Analysis and Dependability Ensuring On Specification and Verification of Location-Based Fault Tolerant Mobile Systems Formal Development of Mechanisms for Tolerating Transient Faults Separating Concerns in Requirements Analysis: An Example Rigorous Fault Tolerance Using Aspects and Formal Methods Rigorous Development of Fault-Tolerant Agent Systems Formal Service-Oriented Development of Fault Tolerant Communicating Systems Programming-Logic Analysis of Fault Tolerance: Expected Performance of Self-stabilisation Formal Analysis of the Operational Concept for the Small Aircraft Transportation System Towards a Method for Rigorous Development of Generic Requirements Patterns Rigorous Design of Fault-Tolerant Transactions for Replicated Database Systems Using Event B Engineering Reconfigurable Distributed Software Systems: Issues Arising for Pervasive Computing Position Papers Tools for Developing Large Systems (A Proposal) Why Programming Languages Still Matter Author Index |
内容加载中，请稍后...
商品评论（0条）