Perspectives of System Informatics 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers /

This book constitutes the refereed proceedings of the 10th International Andrei Ershov Informatics Conference, PSI 2015, held in Kazan and Innopolis, Russia, in August 2015. The 2 invited and 23 full papers presented in this volume were carefully reviewed and selected from 56 submissions. The papers...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Mazzara, Manuel (Editor ), Voronkov, Andrei (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Cham : Springer International Publishing : Imprint: Springer, 2016.
Edición:1st ed. 2016.
Colección:Theoretical Computer Science and General Issues, 9609
Temas:
Computer science.
Software engineering.
Compilers (Computer programs).
Machine theory.
Computer Science Logic and Foundations of Programming.
Software Engineering.
Compilers and Interpreters.
Formal Languages and Automata Theory.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • Quantitative Analysis of Collective Adaptive Systems
  • What You Always Wanted to Know about Model Checking of Fault-Tolerant Distributed Algorithms
  • Applying MDA to Generate Hadoop Based Scientific Computing Applications
  • Site-Level Web Template Extraction based on DOM Analysis
  • Verification Support for a State-Transition-DSL Defined with Xtext
  • Towards using exact real arithmetic for initial value problems
  • Constraint Solving for Verifying Modal Specifications of Workflow Nets with Data
  • Behavioural Analysis of Sessions using the Calculus of Structures
  • Using Refinement in Formal Development of OS Security Model
  • onflict Resolution in Multi-agent Systems with Typed Connections for Ontology Population
  • Maximally-Polyvariant Partial Evaluation in Polynomial Time
  • Dynamics Security Policies and Process Opacity for Timed Process Algebras
  • Estimating Development E_ort for Software Architectural Tactics
  • Clone Detection in Reuse of Software Technical Documentation
  • Modeling Actor Systems Using Dynamic I/O Automata
  • RSSA: A Reversible SSA Form
  • Checking Several Requirements at once by CEGAR
  • Unifying Requirements and Code: an Example
  • Program Scheme Technique to Solve Propositional Program Logics Revised
  • Automated Two-Phase Composition of Timed Web Services
  • Equivalence of Finite-Valued Symbolic Finite Transducers
  • Relaxed Parsing of Regular Approximations of String-Embedded Languages
  • Branching Processes of Timed Petri Nets
  • Implementation and Evaluation of Contextual Natural Deduction for Minimal Logic.

Ejemplares similares