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...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: Mazzara, Manuel (Επιμελητής έκδοσης), Voronkov, Andrei (Επιμελητής έκδοσης)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2016.
Σειρά:Lecture Notes in Computer Science, 9609
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link
Πίνακας περιεχομένων:
  • 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.