This book constitutes the refereed proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering, FASE 2002, held in Grenoble, France, in April 2002. The 21 revised full papers and four tool presentations were carefully reviewed and selected from almost 60 submissions. The papers are organized in topical sections on formal frameworks, model and program analysis, architecture descriptions, meta-models, formal approaches towards UML, and requirements engineering.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
ETAPS 2002 was the ?fth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998by combining a number of existing and new conferences. This year it comprised 5 conferences (FOSSACS, FASE, ESOP, CC, TACAS), 13 satellite workshops (ACL2, AGT, CMCS, COCV, DCC, INT, LDTA, SC, SFEDL, SLAP, SPIN, TPTS, and VISS), 8invited lectures (not including those speci?c to the satellite events), and several tutorials. The events that comprise ETAPS address various aspects of the system - velopment process, including speci?cation, design, implementation, analysis, and improvement. The languages, methodologies, and tools which support these - tivities are all well within its scope. Di?erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on one hand and soundly-based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive.
This book constitutes the refereed proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering, FASE 2002, held in Grenoble, France, in April 2002.
The 21 revised full papers and four tool presentations were carefully reviewed and selected from almost 60 submissions. The papers are organized in topical sections on formal frameworks, model and program analysis, architecture descriptions, meta-models, formal approaches towards UML, and requirements engineering.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
EUR 4,72 für den Versand innerhalb von/der USA
Versandziele, Kosten & DauerEUR 3,65 für den Versand innerhalb von/der USA
Versandziele, Kosten & DauerAnbieter: Doss-Haus Books, Redondo Beach, CA, USA
Hardcover. Zustand: Very Good. No Jacket. Hardcover 2002 library bound edition. Ex-library book with stamps and labels attached. Binding firm. Pages unmarked and clean. Laminated covers and text in very good to near fine condition. Series: Lecture Notes in Computer Science ;2306.[xiii, 339 p. : ill. ; 24 cm]. Bestandsnummer des Verkäufers 011012
Anzahl: 1 verfügbar
Anbieter: GoldBooks, Denver, CO, USA
Zustand: new. Bestandsnummer des Verkäufers 52U82_67_3540433538
Anzahl: 1 verfügbar
Anbieter: GreatBookPrices, Columbia, MD, USA
Zustand: New. Bestandsnummer des Verkäufers 916419-n
Anzahl: Mehr als 20 verfügbar
Anbieter: Grand Eagle Retail, Bensenville, IL, USA
Paperback. Zustand: new. Paperback. This book constitutes the refereed proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering, FASE 2002, held in Grenoble, France, in April 2002. The 21 revised full papers and four tool presentations were carefully reviewed and selected from almost 60 submissions. The papers are organized in topical sections on formal frameworks, model and program analysis, architecture descriptions, meta-models, formal approaches towards UML, and requirements engineering. ETAPS 2002 was the ?fth instance of the European Joint Conferences on Theory and Practice of Software. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Bestandsnummer des Verkäufers 9783540433538
Anzahl: 1 verfügbar
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Zustand: New. In. Bestandsnummer des Verkäufers ria9783540433538_new
Anzahl: Mehr als 20 verfügbar
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
PF. Zustand: New. Bestandsnummer des Verkäufers 6666-IUK-9783540433538
Anzahl: 10 verfügbar
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Zustand: New. Bestandsnummer des Verkäufers 916419-n
Anzahl: Mehr als 20 verfügbar
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -ETAPS 2002 was the fth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998by combining a number of existing and new conferences. This year it comprised 5 conferences (FOSSACS, FASE, ESOP, CC, TACAS), 13 satellite workshops (ACL2, AGT, CMCS, COCV, DCC, INT, LDTA, SC, SFEDL, SLAP, SPIN, TPTS, and VISS), 8invited lectures (not including those speci c to the satellite events), and several tutorials. The events that comprise ETAPS address various aspects of the system - velopment process, including speci cation, design, implementation, analysis, and improvement. The languages, methodologies, and tools which support these - tivities are all well within its scope. Di erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on one hand and soundly-based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive. 360 pp. Englisch. Bestandsnummer des Verkäufers 9783540433538
Anzahl: 2 verfügbar
Anbieter: Books Puddle, New York, NY, USA
Zustand: New. pp. 360. Bestandsnummer des Verkäufers 2614416631
Anzahl: 1 verfügbar
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Zustand: New. pp. 360 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. Bestandsnummer des Verkäufers 11289896
Anzahl: 1 verfügbar