Cantitate/Preț
Produs
Total produse
Vezi coșul
Fundamentals of Software Engineering de Farhad Arbab

Fundamentals of Software Engineering

Editat de Farhad Arbab, Marjan Sirjani
en Limba Engleză Paperback – 5 apr 2012
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.
Citește tot Restrânge

Toate formatele și edițiile

Toate formatele și edițiile Preț Express
Paperback (3) 32139 lei  6-8 săpt.
  Springer – 13 sep 2013 32139 lei  6-8 săpt.
  Springer – 5 apr 2012 32588 lei  6-8 săpt.
  Springer Berlin, Heidelberg – 27 ian 2010 33054 lei  6-8 săpt.

Preț: 32588 lei

Preț vechi: 40736 lei
-20% Nou

Puncte Express: 489
Preț estimativ în valută:
5767€ • 6725$ • 5063£

Carte tipărită la comandă

Livrare economică 16-30 ianuarie 26

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă
Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783642293191
ISBN-10: 3642293190
Pagini: 392
Ilustrații: XII, 377 p. 90 illus.
Dimensiuni: 155 x 235 x 22 mm
Greutate: 0.59 kg
Ediția:2012
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

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

Textul de pe ultima copertă

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.

Caracteristici

Fast-track conference proceedings State-of-the-art research Up-to-date results