Synopsis
ETAPS2003wasthesixthinstanceoftheEuropeanJointConferencesonTheory andPracticeofSoftware.ETAPSisanannualfederatedconferencethatwases- blishedin1998bycombininganumberofexistingandnewconferences.Thisyear it comprised ?ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), 14 - tellite workshops (AVIS, CMCS, COCV, FAMAS, Feyerabend, FICS, LDTA, RSKD, SC, TACoS, UniGra, USE, WITS, and WOOD), eight invited lectures (not including those that are speci?c to the satellite events), and several tu- rials. We received a record number of submissions to the ?ve conferences this year: over 500, making acceptance rates fall below 30% for every one of them. Congratulations to all the authors who made it to the ?nal program! I hope that all the other authors still found a way of participating in this exciting event, and I hope you will continue submitting. A special event was held to honor the 65th birthday of Prof. Wlad Turski, one of the pioneers of our young science. The deaths of some of our "fathers" in the summer of 2002 - Dahl, Dijkstra and Nygaard - reminded us that Software Science and Technology is, perhaps, no longer that young. Against this sobering background, it is a treat to celebrate one of our most prominent scientists and his lifetime of achievements. It gives me particular personal pleasure that we are able to do this for Wlad during my term as chairman of ETAPS.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Autres éditions populaires du même titre
Résultats de recherche pour Fundamental Approaches to Software Engineering
Image fournie par le vendeur
Fundamental Approaches to Software Engineering : 6th International Conference, Fase 2003, Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2003, Warsaw
Edité par
Springer, 2003
ISBN 10 : 3540008993
ISBN 13 : 9783540008996
Ancien ou d'occasion
Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 1808866
Acheter D'occasion
EUR 61,66
Expédition à EUR 2,27
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Fundamental Approaches to Software Engineering: 6th International Conference, FASE 2003, Held as Part of the Joint European Conferences on Theory and ... (Lecture Notes in Computer Science, 2621)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783540008996_new
Acheter neuf
EUR 59,86
Expédition à EUR 13,81
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Fundamental Approaches to Software Engineering: 6th International Conference, Fase 2003, Held as Part of the Joint European Conferences on Theory and . (Lecture Notes in Computer Science)
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : New. N° de réf. du vendeur 6666-IUK-9783540008996
Acheter neuf
EUR 57,10
Expédition à EUR 17,85
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 10 disponible(s)
Image fournie par le vendeur
Fundamental Approaches to Software Engineering : 6th International Conference, Fase 2003, Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2003, Warsaw
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 1808866-n
Acheter neuf
EUR 72,84
Expédition à EUR 2,27
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Fundamental Approaches to Software Engineering
Edité par
Springer Berlin Heidelberg Mrz 2003, 2003
ISBN 10 : 3540008993
ISBN 13 : 9783540008996
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -ETAPS2003wasthesixthinstanceoftheEuropeanJointConferencesonTheory andPracticeofSoftware.ETAPSisanannualfederatedconferencethatwases- blishedin1998bycombininganumberofexistingandnewconferences.Thisyear it comprised ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), 14 - tellite workshops (AVIS, CMCS, COCV, FAMAS, Feyerabend, FICS, LDTA, RSKD, SC, TACoS, UniGra, USE, WITS, and WOOD), eight invited lectures (not including those that are speci c to the satellite events), and several tu- rials. We received a record number of submissions to the ve conferences this year: over 500, making acceptance rates fall below 30% for every one of them. Congratulations to all the authors who made it to the nal program! I hope that all the other authors still found a way of participating in this exciting event, and I hope you will continue submitting. A special event was held to honor the 65th birthday of Prof. Wlad Turski, one of the pioneers of our young science. The deaths of some of our fathers in the summer of 2002 Dahl, Dijkstra and Nygaard reminded us that Software Science and Technology is, perhaps, no longer that young. Against this sobering background, it is a treat to celebrate one of our most prominent scientists and his lifetime of achievements. It gives me particular personal pleasure that we are able to do this for Wlad during my term as chairman of ETAPS. 424 pp. Englisch. N° de réf. du vendeur 9783540008996
Acheter neuf
EUR 53,49
Expédition à EUR 23
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Fundamental Approaches to Software Engineering : 6th International Conference, Fase 2003, Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2003, Warsaw
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 1808866-n
Acheter neuf
EUR 59,85
Expédition à EUR 17,29
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Fundamental Approaches to Software Engineering : 6th International Conference, Fase 2003, Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2003, Warsaw
Edité par
Springer, 2003
ISBN 10 : 3540008993
ISBN 13 : 9783540008996
Ancien ou d'occasion
Couverture souple
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 1808866
Acheter D'occasion
EUR 66,38
Expédition à EUR 17,29
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Fundamental Approaches to Software Engineering
Edité par
Springer Berlin Heidelberg, 2003
ISBN 10 : 3540008993
ISBN 13 : 9783540008996
Neuf
Couverture souple
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Keynote.- Symbiosis of Static Analysis and Program Testing.- Software Components.- An Ontology for Software Component Matching.- A Description Language for Composable Components.- A Logical Basis for the Specification of Reconfigurable Component-Based Syste. N° de réf. du vendeur 4877353
Acheter neuf
EUR 48,37
Expédition à EUR 48,99
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Fundamental Approaches to Software Engineering.
Edité par
Springer Verlag, 2003
ISBN 10 : 3540008993
ISBN 13 : 9783540008996
Ancien ou d'occasion
Softcover
Vendeur : CSG Onlinebuch GMBH, Darmstadt, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Softcover. Etat : Sehr gut. Gebraucht - Sehr gut Zustand: Sehr gut, Mängelexemplar, XIV, 403 p. Also available online About this book: This book constitutes the refereed proceedings of the 6th International Conference on Fundamental Approaches to Software Engineering, FASE 2003, held in Warsaw, Poland, in April 2003. The 20 revised full papers presented together with a keynote paper were carefully reviewed and selected from 89 submissions. The papers are organized in topical sections on software components, mobile computing, aspects and web applications, software measurements, formal verficiation, analysis and testing, and model integration and extension. Written for researchers and professionals. N° de réf. du vendeur 13318
Acheter D'occasion
EUR 8,46
Expédition à EUR 95
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Fundamental Approaches to Software Engineering
Edité par
Springer, Springer Mär 2003, 2003
ISBN 10 : 3540008993
ISBN 13 : 9783540008996
Neuf
Taschenbuch
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -Keynote.- Symbiosis of Static Analysis and Program Testing.- Software Components.- An Ontology for Software Component Matching.- A Description Language for Composable Components.- A Logical Basis for the Specification of Reconfigurable Component-Based Systems.- An Overall System Design Approach Doing Object-Oriented Modeling to Code-Generation for Embedded Electronic Systems.- Mobile Computing.- Composing Specifications of Event Based Applications.- A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems.- Spatial Security Policies for Mobile Agents in a Sentient Computing Environment.- Aspect and Object-Oriented Programming.- Towards UML-Based Formal Specifications of Component-Based Real-Time Software.- Modelling Recursive Calls with UML State Diagrams.- Pipa: A Behavioral Interface Specification Language for Aspect.- PacoSuite and JAsCo: A Visual Component Composition Environment with Advanced Aspect Separation Features.- Distributed and Web Applications.- Model-Based Development of Web Applications Using Graphical Reaction Rules.- Modular Analysis of Dataflow Process Networks.- Software Measurements.- Foundations of a Weak Measurement-Theoretic Approach to Software Measurement.- An Information-Based View of Representational Coupling in Object-Oriented Systems.- Formal Verification.- A Temporal Approach to Specification and Verification of Pointer Data-Structures.- A Program Logic for Handling Java Card's Transaction Mechanism.- Monad-Independent Hoare Logic in HASCASL.- Visual Specifications of Policies and Their Verification.- Analysis and Testing.- Automatic Model Driven Animation of SCR Specifications.- Probe Mechanism for Object-Oriented Software Testing.- Model Checking Software via Abstraction of Loop Transitions.- Model Integrationsand Extensions.- Integration of Formal Datatypes within State Diagrams.- Xere: Towards a Natural Interoperability between XML and ER Diagrams.- Detecting Implied Scenarios Analyzing Non-local Branching Choices.- Capturing Overlapping, Triggered, and Preemptive Collaborations Using MSCs.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 424 pp. Englisch. N° de réf. du vendeur 9783540008996
Acheter neuf
EUR 53,49
Expédition à EUR 60
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)