A Practical Theory of Reactive Systems
A man may imagine he understands something, but still not understand anything in the way that he ought to. (Paul of Tarsus, ...
Continue reading
Advances in Smaltalk
This book constitutes the thoroughly refereed post-proceedings of the 14th International Smalltalk Conference.
Continue reading
Advances in Smaltalk
This book constitutes the thoroughly refereed post-proceedings of the 14th International Smalltalk Conference.
Continue reading
Building Spring 2 Enterprise Applications
This book covers the first steps of using Spring while discussing the relevant technologies that Spring can be integrated ...
Continue reading
Coordination Models and Languages (vol. # 3454)
This book constitutes the refereed proceedings of the 7th International Conference on Coordination Models and Languages, ...
Continue reading
ECOOP 2005 - Object-Oriented Programming
The 19th Annual Meeting of the European Conference on Object-Oriented Programming—ECOOP 2005—took place during the last ...
Continue reading
ECOOP 2006 - Object-Oriented Programming
This book constitutes the refereed proceedings of the 20th European Conference on Object-Oriented Programming, ECOOP 2006, ...
Continue reading
ECOOP 2007 – Object-Oriented Programming
This book contains sections on runtime implementation, empirical studies, programs and predicates, language design, inheritance ...
Continue reading
ECOOP 2007 – Object-Oriented Programming
This book contains sections on runtime implementation, empirical studies, programs and predicates, language design, inheritance ...
Continue reading
Foundations of AOP for J2EE Development
Foundations of AOP for J2EE Development covers a relatively new programming paradigm: aspect-oriented programming, or AOP. ...
Continue reading
Generative and Transformational Techniques in Software Engineering
This tutorial book presents an augmented selection of material presented at the International Summer School on Generative ...
Continue reading
Google Guice: Agile Lightweight Dependency Injection Framework
Guice (pronounced “Juice”) is the Jolt Award-winning, 100% Java icing on the cake of Java dependency injection. Unlike ...
Continue reading
Middleware 2007
This book constitutes the refereed proceedings of the ACM/IFIP/USENIX 8th International Middleware Conference 2007, held ...
Continue reading
Middleware 2008 : ACM/IFIP/USENIX 9th International Middleware Conference Leuven, Belgium, December 1-5, 2008 Proceedings
This book constitutes the refereed proceedings of the ACM/IFIP/USENIX 9th International Middleware Conference 2008, held ...
Continue reading
On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS
Constitutes the proceedings of the 5 confederated international conferences on Cooperative Information Systems, Distributed ...
Continue reading
On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS
This two-volume set LNCS 4803/4804 constitutes the refereed proceedings of the five confederated international conferences ...
Continue reading
On the Move to Meaningful Internet Systems: OTM 2008 : OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008, Monterrey, Mexico, November 9-14, 2008, Proceedings, Part I
This two-volume set LNCS 5331/5332 constitutes the refereed proceedings of the five confederated international conferences ...
Continue reading
On the Move to Meaningful Internet Systems: OTM 2008 : OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008, Monterrey, Mexico, November 9-14, 2008, Proceedings, Part II
This two-volume set LNCS 5331/5332 constitutes the refereed proceedings of the five confederated international conferences ...
Continue reading
Processes, Terms and Cycles: Steps on the Road to Infinity
Dedicated to Jan Willem Klop, this volume comprises a total of 23 scientific papers by his close friends and colleagues. ...
Continue reading
Runtime Verification
Runtime verification is a recent direction in formal methods research, which is complementary to such well-established formal ...
Continue reading
