| Description |
1 online resource (xii, 376 pages) |
| Series |
Lecture notes in computer science, 0302-9743 ; 7141 |
|
LNCS sublibrary. SL 2, Programming and software engineering |
|
Lecture notes in computer science ; 7141.
|
|
LNCS sublibrary. SL 2, Programming and software engineering.
|
| Contents |
880-01 Compositional Reasoning for Markov Decision Processes / Yuxin Deng and Matthew Hennessy -- Safe Locking for Multi-threaded Java / Einar Broch Johnsen, Thi Mai Thuong Tran, Olaf Owe and Martin Steffen -- Analysing the Control Software of the Compact Muon Solenoid Experiment at the Large Hadron Collider / Yi-Ling Hwong, Vincent J.J. Kusters and Tim A.C. Willemse -- A Distributed Logic for Networked Cyber-Physical Systems / Minyoung Kim, Mark-Oliver Stehr and Carolyn Talcott -- Reachability Analysis of Non-linear Planar Autonomous Systems / Hallstein Asheim Hansen, Gerardo Schneider and Martin Steffen -- Attacking the Dimensionality Problem of Parameterized Systems via Bounded Reachability Graphs / Qiusong Yang, Bei Zhang, Jian Zhai and Mingshu Li -- Refinement-Based Modeling of 3D NoCs / Maryam Kamali, Luigia Petre, Kaisa Sere and Masoud Daneshtalab -- Towards Model-Based Testing of Electronic Funds Transfer Systems / Hamid Reza Asaadi, Ramtin Khosravi, MohammadReza Mousavi and Neda Noroozi |
|
880-01/(S Model Checking: One Can Do Much More Than You Think! / Joost-Pieter Katoen -- Proposition Algebra and Short-Circuit Logic / Jan A. Bergstra and Alban Ponse -- Decompositional Reasoning about the History of Parallel Processes / Luca Aceto, Arnar Birgisson, Anna Ingólfsdóttir and MohammadReza Mousavi -- A Model-Based Development Approach for Model Transformations / Shekoufeh Kolahdouz-Rahimi and Kevin Lano -- Analyzing Component-Based Systems on the Basis of Architectural Constraints / Christian Lambertz and Mila Majster-Cederbaum -- Constructive Development of Probabilistic Programs / Hassan Haghighi and Mohammad Mahdi Javanmard -- Composing Real-Time Concurrent Objects Refinement, Compatibility and Schedulability / Mohammad Mahdi Jaghoori -- Specification Guidelines to Avoid the State Space Explosion Problem / Jan Friso Groote, Tim W.D.M. Kouters and Ammar Osaiweran -- Strong Normalisation in λ-Calculi with References / Romain Demangeon, Daniel Hirschkoff and Davide Sangiorgi |
|
Relating Modal Refinements, Covariant-Contravariant Simulations and Partial Bisimulations / Luca Aceto, Ignacio Fábregas, David de Frutos Escrig, Anna Ingólfsdóttir and Miguel Palomino -- Decidability of Behavioral Equivalences in Process Calculi with Name Scoping / Chaodong He, Yuxi Fu and Hongfei Fu -- Rewriting Approximations for Properties Verification over CCS Specifications / Roméo Courbis -- Type Checking Cryptography Implementations / Manuel Barbosa, Andrew Moss, Dan Page, Nuno F. Rodrigues and Paulo F. Silva -- Intentional Automata: A Context-Dependent Model for Component Connectors / David Costa, Milad Niqui and Jan Rutten -- Nested Dynamic Condition Response Graphs / Thomas Hildebrandt, Raghava Rao Mukkamala and Tijs Slaats -- Efficient Verification of Evolving Software Product Lines / Hamideh Sabouri and Ramtin Khosravi -- Extending Interface Automata with Z Notation / Zining Cao and Hui Wang -- A Specification Language for Reo Connectors / Alexandra Silva |
| Summary |
Annotation This book constitutes the thoroughly refereed post-conference proceedings of the Fourth International Conference on Fundamentals of Software Engineering, FSEN 2011, held in Tehran, Iran, in April 2011. The 19 revised full papers and 5 revised short papers presented together with 3 poster presentations were carefully reviewed and selected from 64 submissions. The papers are organized in topical section on models of programs and systems, software specification, validation and verification, software architectures and their description languages, object and multi-agent systems, CASE tools and tool integration, model checking and theorem proving, and Integration of different formal methods |
| Analysis |
Computer science |
|
Software engineering |
|
Logic design |
|
Software Engineering/Programming and Operating Systems |
|
Logics and Meanings of Programs |
|
Programming Techniques |
|
Models and Principles |
|
Programming Languages, Compilers, Interpreters |
|
wiskunde |
|
mathematics |
|
logica |
|
logic |
|
operating systems |
|
computerwetenschappen |
|
computer sciences |
|
programmeertalen |
|
programming languages |
|
programmeren |
|
programming |
|
modellen |
|
models |
|
Information and Communication Technology (General) |
|
Informatie- en communicatietechnologie (algemeen) |
| Bibliography |
Includes bibliographical references and author index |
| Subject |
Software engineering -- Congresses
|
|
Informatique.
|
|
Software engineering
|
| Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
| Form |
Electronic book
|
| Author |
Arbab, F. (Farhad)
|
|
Sirjani, Marjan.
|
| ISBN |
9783642293207 |
|
3642293204 |
|
3642293190 |
|
9783642293191 |
|
