| 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.). |
| Keynote Talks Program Verification Through Computer Algebra JML's Rich, Inherited Specifications for Behavioral Subtypes Three Perspectives in Formal Engineering Specification and Verification A Method for Formalizing, Analyzing, and Verifying Secure User Interfaces Applying Timed Interval Calculus to Simulink Diagrams Reducing Model Checking of the Few to the One Induction-Guided Falsification Verifying x Models of Industrial Systems with SPIN Stateful Dynamic Partial-Order Reduction Internetware and Web-Based Systems User-Defined Atomicity Constraint: A More Flexible Transaction Model for Reliable Service Composition Environment Ontology-Based Capability Specification for Web Service Discovery Scenario-Based Component Behavior Derivation Verification of Computation Orchestration Via Timed Automata Towards the Semantics for Web Service Choreography Description Language Type Checking Choreography Description Language Concurrent, Communicating, Timing and Probabilistic Systems Formalising Progress Properties of Non-blocking Programs Towards a Fully Generic Theory of Data Verifying Statemate Statecharts Using CSP and FDR A Reasoning Method for Timed CSP Based on Constraint Solving Mapping RT-LOTOS Specifications into Time Petri Nets Reasoning Algebraically About Probabilistic Loops Object and Component Orientation Testing and Model Checking Tools Fault-Tolerance and Security Specification and Refinement Author Index |
内容加载中，请稍后...
商品评论（0条）