- 5 Ergebnisse
Kleinster Preis: € 25,77, größter Preis: € 89,97, Mittelwert: € 42,56
1
Fundamental Approaches to Software Engineering: 4th International Conference, Fase 2001 Held as Part of the Joint European Conferences on Theory and ... Genova, Italy, April 2-6. 2001 Proceedings
Bestellen
bei Achtung-Buecher.de
€ 29,85
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link

Fundamental Approaches to Software Engineering: 4th International Conference, Fase 2001 Held as Part of the Joint European Conferences on Theory and ... Genova, Italy, April 2-6. 2001 Proceedings - Taschenbuch

2001, ISBN: 3540418636

Taschenbuch 364 Seiten Taschenbuch Gepflegtes ehemaliges Bibliotheksexemplar mit den üblichen Kennzeichnungen (z.B. Barcode und Inventarisierungsnummer); in der Regel foliiert (Umschlag … Mehr…

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) getbooks GmbH, 65510 Idstein
zuklappen (X)
2
Bestellen
bei ZVAB.com
€ 25,77
Versand: € 4,901
Bestellen
Details beim Anbieter
gesponserter Link

Hussmann, Heinrich:

Fundamental Approaches to Software Engineering 4th International Conference, FASE 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6. 2001 Proceedings - Taschenbuch

2001, ISBN: 3540418636

[EAN: 9783540418634], Tweedehands, goed, [SC: 4.9], [PU: Springer Berlin], REVERSE ENGINEERING,JAVA,SOFTWARE ARCHITECTURES,DISTRIBUTED SYSTEMS,DESIGN,METAMODELING,PROGRAM TRANSFORMATION,F… Mehr…

NOT NEW BOOK. Versandkosten: EUR 4.90 Buchpark, Trebbin, Germany [83435977] [Beoordeling: 5 (van 5)]
zuklappen (X)
3
Fundamental Approaches to Software Engineering 4th International Conference, FASE 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6. 2001 Proceedings 2001 - Hussmann, Heinrich
Bestellen
bei buchfreund.de
€ 39,91
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Hussmann, Heinrich:
Fundamental Approaches to Software Engineering 4th International Conference, FASE 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6. 2001 Proceedings 2001 - gebrauchtes Buch

2001

ISBN: 9783540418634

2001 Gepflegter, sauberer Zustand. Innen: Seiten eingerissen. Aus der Auflösung einer renommierten Bibliothek. Kann Stempel beinhalten. 308701/202 Versandkostenfreie Lieferung reverse eng… Mehr…

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Buchpark GmbH, 14959 Trebbin
zuklappen (X)
4
Fundamental Approaches to Software Engineering 4th International Conference, FASE 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6. 2001 Proceedings - Hussmann, Heinrich
Bestellen
bei booklooker.de
€ 27,31
Versand: € 3,001
Bestellen
Details beim Anbieter
gesponserter Link
Hussmann, Heinrich:
Fundamental Approaches to Software Engineering 4th International Conference, FASE 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6. 2001 Proceedings - gebrauchtes Buch

2001, ISBN: 9783540418634

[PU: Springer Berlin], Gepflegter, sauberer Zustand. Innen: Seiten eingerissen. Aus der Auflösung einer renommierten Bibliothek. Kann Stempel beinhalten. 308701/202, DE, [SC: 3.00], gebr… Mehr…

Versandkosten:Versand nach Deutschland. (EUR 3.00) Buchpark GmbH
zuklappen (X)
5
Fundamental Approaches to Software Engineering by Heinrich Hussmann Paperback | Indigo Chapters
Bestellen
bei Indigo.ca
C$ 129,95
(ca. € 89,97)
Bestellen
Details und Versand
gesponserter Link
Fundamental Approaches to Software Engineering by Heinrich Hussmann Paperback | Indigo Chapters - neues Buch

2001, ISBN: 9783540418634

4th International Conference, FASE 2001 Held as Part of the Joint European Conferences on Theory an | Fundamental Approaches to Software Engineering by Heinrich Hussmann Paperback | Indig… Mehr…

new in stock. Versandkosten:zzgl. Versandkosten.
zuklappen (X)
1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Fundamental Approaches to Software Engineering by Heinrich Hussmann Paperback | Indigo Chapters
Autor:
Titel:
ISBN-Nummer:

9783540418634


This book constitutes the refereed proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering, FASE 2001, held in Genova, Italy in April 2001.The 22 revised full papers presented were carefully reviewed and selected from a total of 74 submissions. The papers are organized in topical sections on metamodeling, distributed components, UML, testing, formal methods, and case studies.

Detailangaben zum Buch - Fundamental Approaches to Software Engineering by Heinrich Hussmann Paperback | Indigo Chapters


EAN (ISBN-13): 9783540418634
ISBN (ISBN-10): 3540418636
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2001
Herausgeber: Heinrich Hussmann
349 Seiten
Gewicht: 0,550 kg

Buch in der Datenbank seit 2007-05-23T15:22:49+02:00 (Berlin)
Detailseite zuletzt geändert am 2023-11-08T22:45:48+01:00 (Berlin)
ISBN/EAN: 9783540418634

ISBN - alternative Schreibweisen:
3-540-41863-6, 978-3-540-41863-4
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: hussmann heinrich, hußmann heinrich, husmann, heinrich springer, berlin germany
Titel des Buches: fase, fundamental approaches software engineering, software engineering approach, proceedings international conference, italy, 2029, genova, 2001

Daten vom Verlag:

Autor/in: Heinrich Hussmann
Titel: Lecture Notes in Computer Science; Fundamental Approaches to Software Engineering - 4th International Conference, FASE 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6. 2001 Proceedings
Verlag: Springer; Springer Berlin
350 Seiten
Erscheinungsjahr: 2001-03-21
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XIV, 350 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Java; Software engineering; UML; Unified Modeling Language (UML); design; distributed systems; formal methods; metamodeling; modeling; object-oriented analysis; program transformation; real-time; reverse engineering; software architectures; system design; Software Engineering; Compilers and Interpreters; Computer Science Logic and Foundations of Programming; Compiler und Übersetzer; Theoretische Informatik; EA

Invited Paper.- Physical Programming: Beyond Mere Logic.- Metamodelling.- Metamodelling and Conformance Checking with PVS.- The Metamodelling Language Calculus: Foundation Semantics for UML.- Distributed Components.- Compositional Checking of Communication among Observers.- Combining Independent Specifications.- Proving Deadlock Freedom in Component-Based Programming.- UML.- A Real-Time Execution Semantics for UML Activity Diagrams.- A CSP View on UML-RT Structure Diagrams.- Strengthening UML Collaboration Diagrams by State Transformations.- Specification of Mixed Systems in Korrigan with the Support of a UML-Inspired Graphical Notation.- On Use Cases and Their Relationships in the Unified Modelling Language.- On the Importance of Inter-scenario Relationships in Hierarchical State Machine Design.- Towards a Rigorous Semantics of UML Supporting Its Multiview Approach.- Towards Development of Secure Systems Using UMLsec.- Testing.- Grammar Testing.- Debugging via Run-Time Type Checking.- Library-Based Design and Consistency Checking of System-Level Industrial Test Cases.- Demonstration of an Automated Integrated Testing Environment for CTI Systems.- Formal Methods.- Semantics of Architectural Specifications in Casl.- Extending Development Graphs with Hiding.- A Logic for the Java Modeling Language JML.- A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models.- Case Studies.- A Formal Object-Oriented Analysis for Software Reliability: Design for Verification.- Specification and Analysis of the AER/NCA Active Network Protocol Suite in Real-Time Maude.
Includes supplementary material: sn.pub/extras
< zum Archiv...