Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST, the International Institute for . . . ... March 18-20, 2002, Revised Papers: 2757 - Brossura
Sinossi
This volume is devoted to the 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, as well as to the memory of Armando Haeberer, who passed away while he was working on the preparation of this book in February 2003. The volume starts with a special paper by Tom Maibaum recollecting Armando Haeberer's life and work. The second part presents work done by members of UNU/IIST as well as a paper on the history of the institute. The subsequent topical sections present key contributions by leading researchers and thus assess the state of the art in software engineering and its engineering and scientific principles, from models to software, real-time systems, and verification. All in all, the book is a unique survey of the power and potential of formal methods in software engineering.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Contenuti
In Memoriam Armando Martín Haeberer.- In Memoriam Armando Martín Haeberer.- Work at UNU/IIST.- UNU and UNU/IIST.- Contract-Based Testing.- The Development of the RAISE Tools.- An Algebraic Approach to the VERILOG Programming.- Real-Time Systems Development with Duration Calculi: An Overview.- X2Rel: An XML Relation Language with Formal Semantics.- At the Crossroads.- Where, Exactly, Is Software Development?.- From Formal Techniques to Well-Founded Software Development Methods.- Towards the Verifying Compiler.- A Grand Challenge Proposal for Formal Methods: A Verified Stack.- “What Is an Infrastructure?” Towards an Informatics Answer.- A Formal Basis for Some Dependability Notions.- From Models to Software.- Multi-view Modeling of Software Systems.- An Executable Specification Language Based on Message Sequence Charts.- Graph-Based Models of Internetworking Systems.- Software Development by Refinement.- Formal Methods within a Totally Functional Approach to Programming.- Coordination Technologies for Just-in-Time Integration.- Real-Time Systems.- Real-Time Process Algebra and Its Applications.- Making Timed Automata Communicate.- A Tool Architecture for the Next Generation of Uppaal.- Verification.- Verification by Abstraction.- Combining Decision Procedures.- A Theory of Hints in Model Checking.- Type Systems for Concurrent Programs.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Risultati della ricerca per Formal Methods at the Crossroads. From Panacea to Foundation...
Foto dell'editore
Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST, the International Institute for ... (Lecture Notes in Computer Science, 2757)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9783540205272_new
Compra nuovo
EUR 60,37
Spedizione EUR 13,82
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Formal Methods at the Crossroads: From Panacea to Foundation Support: 10th Anniversary Colloquium of Unu/Iist the International Institute for Software
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
PF. Condizione: New. Codice articolo 6666-IUK-9783540205272
Compra nuovo
EUR 57,01
Spedizione EUR 17,87
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 10 disponibili
Immagini fornite dal venditore
Formal Methods at the Crossroads. From Panacea to Foundational Support
Editore:
Springer Berlin Heidelberg Nov 2003, 2003
ISBN 10: 3540205276
ISBN 13: 9783540205272
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 volume records the 10th Anniversary Colloquium of UNU/IIST, the Int- nationalInstituteforSoftwareTechnologyoftheUnitedNationsUniversity,held in Lisbon, Portugal, March 18 21, 2002. Armando Haeberer, then Chairman of the board of UNU/IIST, conceived the idea of an international meeting in ce- brationoftheinstitute s10thanniversary. HewasworkinginLisbonatthistime andheproposedtoholdthemeetingthere,notleastbecausethePortugueseg- ernment had been one of the major sponsors of the institute, right from the very beginning. The aim of the meeting, organized by the Board of UNU/IIST, was twofold. First, the institute s research work should be re-assessed and diss- inated. Second, the future role of UNU/IIST s research area, formal methods, should be discussed. Role of Formal Methods. Over at least three decades of development, the c- ception of what role formal methods should play in software engineering seems to have changed dramatically, in uenced by both advocates and detractors. - ginning with a fundamentalist view that contested the genuineness of any n- formal practice, dismissing it as an inappropriate contribution to the as yet ill-de ned corpus of so-called software engineering, the conception of what this role should be has apparently evolved to a less naive engineering viewpoint. - day, as these theoretical methods acquire a new maturity and breadth of use, many of their advocates appear to be questioning their direct application by software practitioners, often considering it to be nonmandatory, and sometimes even nonadvisable. It appears that, together with the said maturation of the theoretical results and constructions, the perspective of their role within a far more complex picture of the software development activity has also matured. 476 pp. Englisch. Codice articolo 9783540205272
Compra nuovo
EUR 53,49
Spedizione EUR 23,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 2 disponibili
Foto dell'editore
Formal Methods at the Crossroads: From Panacea to Foundational Support : 10th Anniversary Colloquium of Unu/Iist, the International Institute for Software Technology of the United
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Brand New. revised edition. 455 pages. 9.00x6.00x0.75 inches. In Stock. Codice articolo x-3540205276
Compra nuovo
EUR 81,67
Spedizione EUR 14,42
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 2 disponibili
Immagini fornite dal venditore
Formal Methods at the Crossroads. From Panacea to Foundational Support
Editore:
Springer Berlin Heidelberg, 2003
ISBN 10: 3540205276
ISBN 13: 9783540205272
Nuovo
Kartoniert / Broschiert
Da: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Kartoniert / Broschiert. Condizione: New. Codice articolo 4884685
Compra nuovo
EUR 48,37
Spedizione EUR 48,99
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Formal Methods at the Crossroads. From Panacea to Foundational Support
Editore:
Springer, Springer Nov 2003, 2003
ISBN 10: 3540205276
ISBN 13: 9783540205272
Nuovo
Taschenbuch
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -In Memoriam Armando Martín Haeberer.- In Memoriam Armando Martín Haeberer.- Work at UNU/IIST.- UNU and UNU/IIST.- Contract-Based Testing.- The Development of the RAISE Tools.- An Algebraic Approach to the VERILOG Programming.- Real-Time Systems Development with Duration Calculi: An Overview.- X2Rel: An XML Relation Language with Formal Semantics.- At the Crossroads.- Where, Exactly, Is Software Development .- From Formal Techniques to Well-Founded Software Development Methods.- Towards the Verifying Compiler.- A Grand Challenge Proposal for Formal Methods: A Verified Stack.- 'What Is an Infrastructure ' Towards an Informatics Answer.- A Formal Basis for Some Dependability Notions.- From Models to Software.- Multi-view Modeling of Software Systems.- An Executable Specification Language Based on Message Sequence Charts.- Graph-Based Models of Internetworking Systems.- Software Development by Refinement.- Formal Methods within a Totally Functional Approach to Programming.- Coordination Technologies for Just-in-Time Integration.- Real-Time Systems.- Real-Time Process Algebra and Its Applications.- Making Timed Automata Communicate.- A Tool Architecture for the Next Generation of Uppaal.- Verification.- Verification by Abstraction.- Combining Decision Procedures.- A Theory of Hints in Model Checking.- Type Systems for Concurrent Programs.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 476 pp. Englisch. Codice articolo 9783540205272
Compra nuovo
EUR 53,49
Spedizione EUR 60,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
Formal Methods at the Crossroads. From Panacea to Foundational Support : 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume records the 10th Anniversary Colloquium of UNU/IIST, the Int- nationalInstituteforSoftwareTechnologyoftheUnitedNationsUniversity,held in Lisbon, Portugal, March 18 21, 2002. Armando Haeberer, then Chairman of the board of UNU/IIST, conceived the idea of an international meeting in ce- brationoftheinstitute s10thanniversary. HewasworkinginLisbonatthistime andheproposedtoholdthemeetingthere,notleastbecausethePortugueseg- ernment had been one of the major sponsors of the institute, right from the very beginning. The aim of the meeting, organized by the Board of UNU/IIST, was twofold. First, the institute s research work should be re-assessed and diss- inated. Second, the future role of UNU/IIST s research area, formal methods, should be discussed. Role of Formal Methods. Over at least three decades of development, the c- ception of what role formal methods should play in software engineering seems to have changed dramatically, in uenced by both advocates and detractors. - ginning with a fundamentalist view that contested the genuineness of any n- formal practice, dismissing it as an inappropriate contribution to the as yet ill-de ned corpus of so-called software engineering, the conception of what this role should be has apparently evolved to a less naive engineering viewpoint. - day, as these theoretical methods acquire a new maturity and breadth of use, many of their advocates appear to be questioning their direct application by software practitioners, often considering it to be nonmandatory, and sometimes even nonadvisable. It appears that, together with the said maturation of the theoretical results and constructions, the perspective of their role within a far more complex picture of the software development activity has also matured. Codice articolo 9783540205272
Compra nuovo
EUR 53,49
Spedizione EUR 63,58
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
Formal Methods at the Crossroads. From Panacea to Foundational Support | 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers
Da: preigu, Osnabrück, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Formal Methods at the Crossroads. From Panacea to Foundational Support | 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers | Bernhard K. Aichernig (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2003 | Springer | EAN 9783540205272 | Verantwortliche Person für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu. Codice articolo 102480400
Compra nuovo
EUR 50,25
Spedizione EUR 70,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 5 disponibili
Foto dell'editore
Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST, the International Institute for . Papers (Lecture Notes in Computer Science)
Da: Mispah books, Redhill, SURRE, Regno Unito
Valutazione del venditore 4 su 5 stelle
Paperback. Condizione: Like New. Like New. book. Codice articolo ERICA78735402052766
Compra usato
EUR 112,91
Spedizione EUR 28,85
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili