Fundamentals of Software Engineering

Fourth International IPM Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers

AvFarhad Arbab,Marjan Sirjani

Häftad, Engelska, 2012

Del i serien Lecture Notes in Computer Science

572 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Fler format och utgåvor

1 727 kr

572 kr

798 kr

685 kr

1 588 kr

572 kr

572 kr

572 kr

572 kr

Beskrivning

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.

Produktinformation

Utgivningsdatum:2012-04-05
Mått:155 x 235 x 22 mm
Vikt:593 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:377
Upplaga:2012
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783642293191

Utforska kategorier

Innehållsförteckning

Model Checking: One Can Do Much More Than You Think!.-Proposition Algebra and Short-Circuit Logic.-Decompositional Reasoning about the History of Parallel Processes.-A Model-Based Development Approach for Model Transformations.-Analyzing Component-Based Systems on the Basis of Architectural Constraints.-Constructive Development of Probabilistic Programs.-Composing Real-Time Concurrent Objects: Refinement, Compatibility and Schedulability.-Specification Guidelines to Avoid the State Space Explosion Problem.-Strong Normalisation in λ-Calculi with References.-Compositional Reasoning for Markov Decision Processes (Extended Abstract).-Safe Locking for Multi-threaded Java.-Analysing the Control Software of the Compact Muon Solenoid Experiment at the Large Hadron Collider.-A Distributed Logic for Networked Cyber-Physical Systems.-Reachability Analysis of Non-linear Planar Autonomous Systems.-Attacking the Dimensionality Problem of Parameterized Systems via Bounded Reachability Graphs.-Refinement-Based Modeling of 3D NoCs.-Towards Model-Based Testing of Electronic Funds Transfer Systems.-Relating Modal Refinements, Covariant-Contravariant Simulations and Partial Bisimulations.-Decidability of Behavioral Equivalences in Process Calculi with Name Scoping.-Rewriting Approximations for Properties Verification over CCS Specifications.-Type Checking Cryptography Implementations.-Intentional Automata: A Context-Dependent Model for Component Connectors (Extended Abstract).-Nested Dynamic Condition Response Graphs.-Efficient Verification of Evolving Software Product Lines.-Extending Interface Automata with Z Notation.-A Specification Language for Reo Connectors.-

Mer från samma författare

Del 12018

Formal Aspects of Component Software

Farhad Arbab, Sung-Shik Jongmans

Häftad, 2020

555 kr

Formal Aspects of Component Software

Sung-Shik Jongmans, Farhad Arbab

E-bok

2020

718 kr

Coordination Models and Languages

Farhad Arbab, Carolyn Talcott

Häftad, 2002

571 kr

Coordination Models and Languages

Carolyn Talcott, Farhad Arbab

E-bok

2003

739 kr

International Symposium on Fundamentals of Software Engineering

Farhad Arbab, Marjan Sirjani

Häftad, 2007

572 kr

International Symposium on Fundamentals of Software Engineering

Marjan Sirjani, Farhad Arbab

E-bok

2007

739 kr

Fundamentals of Software Engineering

Fourth International IPM Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers

Fler format och utgåvor

Beskrivning

Produktinformation

Utforska kategorier

Innehållsförteckning

Mer från samma författare

Mer från samma serie

Du kanske också är intresserad av

Fundamentals of Software Engineering

Fourth International IPM Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers

Fler format och utgåvor

Beskrivning

Produktinformation

Utforska kategorier

Innehållsförteckning

Mer från samma författare

Mer från samma serie

Du kanske också är intresserad av

Fundamentals of Software Engineering

Fourth International IPM Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers

Fler format och utgåvor

Beskrivning

Produktinformation

Utforska kategorier

Innehållsförteckning

Mer från samma författare