Articoli correlati a International Symposium on Fundamentals of Software...
International Symposium on Fundamentals of Software Engineering: International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings: 4767 - Brossura
Sinossi
This book constitutes the refereed proceedings of the International Symposium on Fundamentals of Software Engineering, FSEN 2007. The topics include models of programs and systems, software architectures and their description languages, object and multi-agent systems, coordination and feature interaction, component-based development, service-oriented development, model checking and theorem proving, software and hardware verification and CASE tools and tool integration.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Contenuti
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.
Product Description
Rare Book
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
- EditoreSpringer
- Data di pubblicazione2007
- ISBN 10 3540756973
- ISBN 13 9783540756972
- RilegaturaCopertina flessibile
- LinguaInglese
- Numero di pagine468
- RedattoreArbab Farhad
- Contatto del produttorenon disponibile
Compra nuovo
Visualizza questo articolo
EUR 45,61
GRATIS per la spedizione da U.S.A. a Italia
Destinazione, tempi e costiRisultati della ricerca per International Symposium on Fundamentals of Software...
Foto dell'editore
International Symposium on Fundamentals of Software Engineering : International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings
Editore:
Springer Berlin Heidelberg, 2007
ISBN 10: 3540756973
ISBN 13: 9783540756972
Antico o usato
Brossura
Da: Buchpark, Trebbin, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: Sehr gut. Zustand: Sehr gut | Seiten: 468 | Sprache: Englisch | Produktart: Bücher. Codice articolo 3981660/2
Quantità: 1 disponibili
Foto dell'editore
International Symposium On Fundamentals Of Software Engineering
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Codice articolo ABNR-87264
Quantità: 1 disponibili
Foto dell'editore
International Symposium On Fundamentals Of Software Engineering
Da: Basi6 International, Irving, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Codice articolo ABEJUNE24-270328
Quantità: 1 disponibili
Immagini fornite dal venditore
International Symposium on Fundamentals of Software Engineering
Editore:
Springer Berlin Heidelberg, 2007
ISBN 10: 3540756973
ISBN 13: 9783540756972
Nuovo
Kartoniert / Broschiert
Da: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Kartoniert / Broschiert. Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the refereed proceedings of the International Symposium on Fundamentals of Software Engineering, FSEN 2007. The topics include models of programs and systems, software architectures and their description languages, object and multi-. Codice articolo 4900257
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
International Symposium on Fundamentals of Software Engineering
Editore:
Springer Berlin Heidelberg Okt 2007, 2007
ISBN 10: 3540756973
ISBN 13: 9783540756972
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the International Symposium on Fundamentals of Software Engineering, FSEN 2007. The topics include models of programs and systems, software architectures and their description languages, object and multi-agent systems, coordination and feature interaction, component-based development, service-oriented development, model checking and theorem proving, software and hardware verification and CASE tools and tool integration. 468 pp. Englisch. Codice articolo 9783540756972
Quantità: 2 disponibili
Foto dell'editore
International Symposium on Fundamentals of Software Engineering
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 470. Codice articolo 26305005
Quantità: 1 disponibili
Foto dell'editore
International Symposium on Fundamentals of Software Engineering
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. pp. 470. Codice articolo 18304999
Quantità: 1 disponibili
Foto dell'editore
International Symposium on Fundamentals of Software Engineering
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. pp. 470 Illus. Codice articolo 7542962
Quantità: 1 disponibili
Immagini fornite dal venditore
International Symposium on Fundamentals of Software Engineering : International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings
Editore:
Springer Berlin Heidelberg, 2007
ISBN 10: 3540756973
ISBN 13: 9783540756972
Nuovo
Taschenbuch
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - The present volume contains the post-proceedings of the second IPM Inter- tional Symposium on Fundamentals of Software Engineering (FSEN), Tehran, Iran, April 17-19, 2007. This event, FSEN 2007, was organized by the School of Computer Science at the Institute for Studies in Fundamental Sciences (IPM) in Iran, in cooperation with the ACM SIGSOFT and IFIP WG 2.2, and was additionally supported by the University of Tehran, Sharif University of Te- nology,andtheInternationalScienti cMeetingsO ce(ISMO).Thissymposium brought together researchers and practitioners working on di erent aspects of formal methods in software engineering. FSEN 2007 covered many aspects of formal methods, especially those related to advancing the application of formal methods in the software industry and promoting their integrationwith practical engineering techniques. A truly international programcommittee of top researchersfrom 23 di erent academic institutes in 9 countries selected the technical content of this sym- sium. We received a total of 73 submissions, out of which the PC selected 22 as regular papers and 8 as short papers to be published in the post-proceedings, and 6 papers accepted for poster presentations at the symposium. Each subm- sion was reviewed by at least 3 independent referees, for its quality, originality, contribution, clarity of presentation, and its relevance to the symposium topics. We had 93 registered participants at the symposium from 12 countries. Codice articolo 9783540756972
Quantità: 1 disponibili
Immagini fornite dal venditore
International Symposium on Fundamentals of Software Engineering
ISBN 10: 3540756973
ISBN 13: 9783540756972
Nuovo
Taschenbuch
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Neuware -The present volume contains the post-proceedings of the second IPM Inter- tional Symposium on Fundamentals of Software Engineering (FSEN), Tehran, Iran, April 17¿19, 2007. This event, FSEN 2007, was organized by the School of Computer Science at the Institute for Studies in Fundamental Sciences (IPM) in Iran, in cooperation with the ACM SIGSOFT and IFIP WG 2.2, and was additionally supported by the University of Tehran, Sharif University of Te- nology,andtheInternationalScienti cMeetingsO ce(ISMO).Thissymposium brought together researchers and practitioners working on di erent aspects of formal methods in software engineering. FSEN 2007 covered many aspects of formal methods, especially those related to advancing the application of formal methods in the software industry and promoting their integrationwith practical engineering techniques. A truly international programcommittee of top researchersfrom 23 di erent academic institutes in 9 countries selected the technical content of this sym- sium. We received a total of 73 submissions, out of which the PC selected 22 as regular papers and 8 as short papers to be published in the post-proceedings, and 6 papers accepted for poster presentations at the symposium. Each subm- sion was reviewed by at least 3 independent referees, for its quality, originality, contribution, clarity of presentation, and its relevance to the symposium topics. We had 93 registered participants at the symposium from 12 countries.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 468 pp. Englisch. Codice articolo 9783540756972
Quantità: 2 disponibili