International Symposium on Fundamentals of Software Engineering International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings - nuovo libro

EAN (ISBN-13): 9783540756972
ISBN (ISBN-10): 3540756973
Copertina rigida
Copertina flessibile
Anno di pubblicazione: 2007
Editore: Springer Berlin Heidelberg
450 Pagine
Peso: 0,713 kg
Lingua: eng/Englisch

Libro nella banca dati dal 2007-11-06T00:04:44+01:00 (Zurich)
Pagina di dettaglio ultima modifica in 2023-10-04T16:07:24+02:00 (Zurich)
ISBN/EAN: 3540756973

ISBN - Stili di scrittura alternativi:
3-540-75697-3, 978-3-540-75697-2
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : marjan
Titolo del libro: dam engineering, fundamentals, iran, software engineering, international coral reef symposium, international proceedings, tehran, april, ufo symposium

---

Dati dell'editore

Autore: Farhad Arbab; Marjan Sirjani
Titolo: Lecture Notes in Computer Science; Programming and Software Engineering; International Symposium on Fundamentals of Software Engineering - International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings
Editore: Springer; Springer Berlin
452 Pagine
Anno di pubblicazione: 2007-10-12
Berlin; Heidelberg; DE
Stampato / Fatto in
Peso: 0,712 kg
Lingua: Inglese
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
POD
XIII, 452 p.

BC; Software Engineering/Programming and Operating Systems; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Informatik; CASE; formal method; model checking; software architecture; software engineering; theorem proving; validation; verification; Logics and Meanings of Programs; Programming Techniques; Models and Principles; Software Engineering; Computer Science Logic and Foundations of Programming; Programming Techniques; Models of Computation; Theoretische Informatik; Computerprogrammierung und Softwareentwicklung; EA

Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition and Refinement-Preserving Logic.- Slicing Abstractions.- Nuovo DRM Paradiso: Towards a Verified Fair DRM Scheme.- Formalizing Compatibility and Substitutability in Communication Protocols Using I/O-Constraint Automata.- Is Your Security Protocol on Time ?.- Adapting the UPPAAL Model of a Distributed Lift System.- Zone-Based Universality Analysis for Single-Clock Timed Automata.- Compositional Semantics of System-Level Designs Written in SystemC.- Reusing Requirements: The Need for Extended Variability Models.- Test Selection Criteria for Quantifier-Free First-Order Specifications.- Formal Testing of Systems Presenting Soft and Hard Deadlines.- Automatic Composition of Stateless Components: A Logical Reasoning Approach.- A Model of Component-Based Programming.- Contract Based Multi-party Service Composition.- Regulating Data Exchange in Service Oriented Applications.- A Behavioural Congruence for Web Services.- Logic–Based Detection of Conflicts in Appel Policies.- Hoare Logic for ARM Machine Code.- Action Abstraction in Timed Process Algebra.- Type Abstractions of Name-Passing Processes.- Formal Specification of Multi-agent Systems by Using EUSMs.- Strong Safe Realizability of Message Sequence Chart Specifications.- Implication-Based Approximating Bounded Model Checking.- Logical Bisimulations and Functional Languages.- Efficient State Space Reduction for Automata by Fair Simulation.- Model Checking Temporal Metric Specifications with Trio2Promela.- Design and Implementation of a Dynamic-Reconfigurable Architecture for Protocol Stack.- Vulnerability Analysis in VGBPS Using Prolog.- An Alternative Algorithm for Constraint Automata Product.- A Review on Specifying Software Architectures Using Extended Automata-Based Models.- ArchC#: A New Architecture Description Language for Distributed Systems.- Relationships Meet Their Roles in Object Oriented Programming.