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.
FREE Two-Day Shipping for students on millions of items. Learn more |
Book Description
Product Details
Would you like to update product info or give feedback on images?
|
Customer Reviews
|
There are no customer reviews yet.
|
|||
|
Video reviews
|
Inside This Book
(learn more)
First Sentence:
The sudden death of Arrmando in February devastated his many friends and colleagues around the world. Read the first page Key Phrases - Statistically Improbable Phrases (SIPs): (learn more)
fold append, symbolic transition graphs, datatype refinement, hypothetical posit, neighbourhood logic, fork algebras, classification arrow, verifying compiler, wide area network applications, duration calculus, graph synchronization, timed bisimulation, specification phenomena, duration invariants, requirement phenomena, progress algebra, reachability algorithm, combining decision procedures, simple type system, transaction scheme, engineering artefact, confidence conditions, tom maibaum, universal charts, theoretical symbols Key Phrases - Capitalized Phrases (CAPs): (learn more)
Dang Van Hung, Zhou Chaochen, Springer-Verlag Berlin Heidelberg, Chris George, International Conference, Springer Verlag, Michael Jackson, Well-Founded Software Development Methods, Emilio Tuosto, Prentice Hall, Tom Maibaum, Tomasz Janowski, Variable Abstraction, Equality Propagation, Gianluigi Ferrari, Jayadev Misra, Markus Kaltenbach, Egidio Astesiano, Graph-Based Models of Internetworking Systems, Totally Functional Approach, Combination Theorem, Dines Bjorner, Manfred Broy, Maura Cerioli, Ugo Montanari New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Back Cover | Surprise Me!
The sudden death of Arrmando in February devastated his many friends and colleagues around the world. Read the first page Key Phrases - Statistically Improbable Phrases (SIPs): (learn more)
fold append, symbolic transition graphs, datatype refinement, hypothetical posit, neighbourhood logic, fork algebras, classification arrow, verifying compiler, wide area network applications, duration calculus, graph synchronization, timed bisimulation, specification phenomena, duration invariants, requirement phenomena, progress algebra, reachability algorithm, combining decision procedures, simple type system, transaction scheme, engineering artefact, confidence conditions, tom maibaum, universal charts, theoretical symbols Key Phrases - Capitalized Phrases (CAPs): (learn more)
Dang Van Hung, Zhou Chaochen, Springer-Verlag Berlin Heidelberg, Chris George, International Conference, Springer Verlag, Michael Jackson, Well-Founded Software Development Methods, Emilio Tuosto, Prentice Hall, Tom Maibaum, Tomasz Janowski, Variable Abstraction, Equality Propagation, Gianluigi Ferrari, Jayadev Misra, Markus Kaltenbach, Egidio Astesiano, Graph-Based Models of Internetworking Systems, Totally Functional Approach, Combination Theorem, Dines Bjorner, Manfred Broy, Maura Cerioli, Ugo Montanari New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Back Cover | Surprise Me!
Books on Related Topics
(learn more)
|
Tag this product(What's this?)Think of a tag as a keyword or label you consider is strongly related to this product.
Tags will help all customers organize and find favorite items. |
Sell a Digital Version of This Book in the Kindle Store
If you are a publisher or author and hold the digital rights to a book, you can sell a digital version of it in our Kindle Store.
Learn more
Customer Discussions
|
This product's forum
Active discussions in related forums
Search Customer Discussions
|
Related forums
|
Listmania!
So You'd Like to...
Look for Similar Items by Category
- Books > Computers & Technology > Computer Science > Software Engineering > Methodology
- Books > Computers & Technology > Programming > Languages & Tools
- Books > Computers & Technology > Programming > Software Design, Testing & Engineering > Software Development
- Books > New & Used Textbooks > Computer Science > Programming Languages
- Books > New & Used Textbooks > Computer Science > Software Design & Engineering
- Books > New & Used Textbooks > Science & Mathematics > Mathematics
- Books > Science & Math > Mathematics
