| 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 Contributions Esterel v7: From Verified Formal Specification to Efficient Industrial Designs Checking Memory Safety with Blast Web Services Analyzing Web Service Based Business Processes Automatic Conformance Testing of Web Services Graph Grammars and Graph Transformations Termination Criteria for Model Transformation Ensuring Structural Constraints in Graph-Based Models with Type Inheritance Modelling Parametric Contracts and the State Space of Composite Components by Graph Grammars Components Improving the Build Architecture of Legacy C/C++ Software Systems Using Scenarios to Predict the Reliability of Concurrent Component-Based Software Systems Augmenting UML Models for Composition Conflict Analysis A Tool to Automate Component Clustering Product Lines Managing Variability Using Heterogeneous Feature Variation Patterns Color-Blind Specifications for Transformations of Reactive Synchronous Programs Theory On the Correspondence Between Conformance Testing and Regular Inference Observational Purity and Encapsulation Towards a Theory on the Role of Ontologies in Software Engineering Problem Solving Code Understanding and Validation A Framework for Counterexample Generation and Exploration Using Annotations to Check Structural Properties of Classes Improving System Understanding via Interactive, Tailorable, Source Code Analysis …… The UML Automatic Proofs and Provers Author Index |
内容加载中，请稍后...
商品评论（0条）