This volume presents the proceedings of the Second International Symposium of Formal Methods Europe, held in Barcelona, Spain in October 1994.
Besides two invited papers and seven industrial usage reports, there are 32 full papers selected from some 150 submissions. The industrial usage reports describe practical experiences in a variety of areas including security systems and railway signalling. The subjects of the research papers include refinement, proof, process modelling, specification of programming languages, model checking, real-time aspects, and the combination of formal and systematic methods; these contributions advance the foundations of formal methods and demonstrate their practical value.

This comprehensive guide shows you how to master the most important changes to Java since it was first released. Generics and the greatly expanded collection libraries have tremendously increased the power of Java 5 and Java 6. But they have also confused many developers who haven't known how to take advantage of these new features. "Java Generics and Collections" covers everything from the most basic uses of generics to the strangest corner cases. It teaches you everything you need to know about the collections libraries, so you'll always know which collection is appropriate for any given task, and how to use it. Topics covered include: Fundamentals of generics: type parameters and generic methods; Other new features: boxing and unboxing, foreach loops, varargs; Subtyping and wildcards; Evolution not revolution: generic libraries with legacy clients and generic clients with legacy libraries; Generics and reflection; Design patterns for generics; Sets, Queues, Lists, Maps, and their implementations; Concurrent programming and thread safety with collections; ane Performance implications of different collections. Generics and the new collection libraries they inspired take Java to a new level. If you want to take your software development practice to a new level, this book is essential reading.

Learn to effectively use Lambda expressions to take full advantage of performance improvements provided by today's multicore hardware

"Mastering Lambdas: Java Programming in a Multicore World" provides you with a complete grounding in the theory of Lambda expressions, and the rationale for their introduction and use in practice. This Oracle Press guide reviews a simple Java code fragment iterated over a collection, poses different challenges, then delves into the fundamentals of syntax and basic use. The book recommends best practices for adding Lambda expressions to an existing library and explores the changing Collections Framework. You will walk away with a comprehensive understanding of how to implement Lambdas and a solid rationale for the why. Provides complete grounding in the theory and practice of Lambda expressions Author runs a popular tutorial site in collaboration with Oracle's development team, lambdafaq.org, focused on the new language features in Java Covers the fundamental mind shift, theory and syntax basics behind new Lambda expressions - more than just the how-to