Java and the Java Virtual Machine: Definition, Verification, Validation 2001st Edition by Robert F. Stärk (PDF)

Description

The origin of this book goes back to the Dagstuhl seminar on Logic for System Engineering, organized during the first week of March 1997 by S. Jiihnichen, J. Loeckx, and M. Wirsing. During that seminar, after Egon Borger’s talk on How to Use Abstract State Machines in Software Engineering, Wolfram Schulte, at the time a research assistant at the University of Ulm, Germany, questioned whether ASMs provide anything special as a scientifically well­ founded and rigorous yet simple and industrially viable framework for high­ level design and analysis of complex systems, and for natural refinements of models to executable code. Wolfram Schulte argued, referring to his work with K. Achatz on A Formal Object-Oriented Method Inspired by Fusion and Object-Z [1], that with current techniques of functional programming and of axiomatic specification, one can achieve the same result. An intensive and long debate arose from this discussion. At the end of the week, it led Egon Borger to propose a collaboration on a real-life specification project of Wolfram Schulte’s choice, as a comparative field test of purely functional­ declarative methods and of their enhancement within an integrated abstract state-based operational (ASM) approach. After some hesitation, in May 1997 Wolfram Schulte accepted the offer and chose as the theme a high-level specification of Java and of the Java Virtual Machine.

User’s Reviews

Reviews from Amazon users which were colected at the time this book was published on the website:

⭐this book is hard to understand, advise you to select a book that is more detailed and explanatory

⭐The pattern of decomposing the Java language into smaller subsets that build upon each other to build up a definition of the overall language is quite intriguing and also allows the topic to build on itself steadily without diverging into too many areas all at once. While the end result is not a 100% coverage of the Java language, it is fairly complete.

⭐It just shows an implementation for an old Java specification (I think JDK1 or JDK1.1) in a weird language called ASM. This ASM is simply a glorified programming language, even not one of the most advanced: haskell, for instance, is much more clearer. You /could/ think about it as a model for java but then it would be useless because of its intricacies and its gigantic size.

⭐This is by far the most sophisticated software book since the Cold War. Without the Soviets to keep western engineers and scientists on their toes, IT is a alot of marketing buzzwords.These are real scientists…a breath a fresh air.

⭐

Keywords

Free Download Java and the Java Virtual Machine: Definition, Verification, Validation 2001st Edition in PDF format
Java and the Java Virtual Machine: Definition, Verification, Validation 2001st Edition PDF Free Download
Download Java and the Java Virtual Machine: Definition, Verification, Validation 2001st Edition 2001 PDF Free
Java and the Java Virtual Machine: Definition, Verification, Validation 2001st Edition 2001 PDF Free Download
Download Java and the Java Virtual Machine: Definition, Verification, Validation 2001st Edition PDF
Free Download Ebook Java and the Java Virtual Machine: Definition, Verification, Validation 2001st Edition