Design by contract ( abstract )

Modelling and Analysis of Communicating Systems ( abstract )

Opening ( abstract )

Software Engineering, Why And What ( abstract )

Applying MDA to Generate Hadoop Based Scientific Computing Applications ( abstract )

Hybrid Lustre ( abstract )

Automated Two-Phase Composition of Timed Web Services ( abstract )

Modeling Actor Systems Using Dynamic I/O Automata ( abstract )

( abstract )

BTC Formal Model of MAP/REDUCE ( abstract )

Quantitative Analysis of Collective Adaptive Systems ( abstract )

Dynamics Security Policies and Process Opacity ( abstract )

Using Refinement in Formal Development of OS Security Model ( abstract )

Maximally-Polyvariant Partial Evaluation in Polynomial Time ( abstract )

Сonflict Resolution in Multi-agent Systems with Typed Connections for Ontology Population ( abstract )

Scheduling for Manycore Systems ( abstract )

Implementation and Evaluation of Contextual Natural Deduction for Minimal Logic ( abstract )

Equivalence of Finite-Valued Symbolic Finite Transducers ( abstract )

Behavioural Analysis of Sessions using the Calculus of Structures ( abstract )

Relaxed Parsing of Regular Approximations of String-Embedded Languages ( abstract )

Branching Processes of Timed Petri Nets ( abstract )

Towards using exact real arithmetic for initial value problems ( abstract )

Rule-based Content Adaptation for Online Communication ( abstract )

Program Scheme Technique to Solve Propositional Program Logics Revised ( abstract )

Lightweight Verification Support for DSLs Defined with XText ( abstract )

Checking Several Requirements at once by CEGAR ( abstract )

Constraint Solving for Verifying Modal Specifications of Workflow Nets with Data ( abstract )

Automated Verification of Fault-Tolerant Distributed Algorithms ( abstract )

Unifying Requirements and Code: an Example ( abstract )

Clone Detection in Reuse of Software Technical Documentation ( abstract )

Analysis of DOM Structures for Site-Level Template Extraction ( abstract )

RSSA: A Reversible SSA Form ( abstract )

Estimating Development Effort for Software Architectural Tactics ( abstract )

Introduction to algorithms on biosequence data ( abstract )

How to teach IT? Human side of IT-education ( abstract )

Software Development Lifecycle: Anti-Crisis Optimization ( abstract )

Development of high performance visualization module for hydrodynamic web simulator ( abstract )

An Initial Study on the Prediction of the Successful Completion of Requirements in Software Development ( abstract )