| 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 research 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 published traditionally includes. —proceedings （published in time for the respective conference） —post-proceedings （consisting of thoroughly revised final full papers） —research monographs（which may be based on outstanding PhD work，research projects，technical reports，etc.）. |
| Invited Papers A Family of Mathematical Methods for Professional Software Documentation Generating Path Conditions for Timed Systems Software Model Checking: Searching for Computations in the Abstract or the Concrete Session: Components Adaptive Techniques for Specification Matching in Embedded Systems A Comparative Study Session: State/Event-Based Verification State/Event Software Verification for Branching-Time Specifications Exp.Open 2.0: A Flexible Tool Integrating Partial Order, Compositional, and On-The-Fly Verification Methods Chunks: Component Verification in CSP||B Session: System Development Agile Formal Method Engineering An Automated Failure Mode and Effect Analysis Based on High-Level Design Specification with Behavior Trees Enabling Security Testing from Specification to Code Session: Applications of B Development of Fault Tolerant Grid Applications Using Distributed B Formal Methods Meet Domain Specific Languages Synthesizing B Specifications from EB3 Attribute Definitions Session: Tool Support CZT Support for Z Extensions Embedding the Stable Failures Model of CSP in PVS Model-Based Prototyping of an Interoperability Protocol for Mobile Ad-Hoc Networks Peder Christian Ncrgaard Session: Non-software Domains Translating Hardware Process Algebras into Standard Process Algebras: Illustration with CHP and LOTOS Formalising Interactive Voice Services with SDL Session: Semantics Session: UML and Statecharts Author Index |
内容加载中，请稍后...
商品评论（0条）