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, ...
Lee mas
Advances in Smaltalk
This book constitutes the thoroughly refereed post-proceedings of the 14th International Smalltalk Conference.
Lee mas
Advances in Smaltalk
This book constitutes the thoroughly refereed post-proceedings of the 14th International Smalltalk Conference.
Lee mas
Building Spring 2 Enterprise Applications
This book covers the first steps of using Spring while discussing the relevant technologies that Spring can be integrated ...
Lee mas
Coordination Models and Languages (vol. # 3454)
This book constitutes the refereed proceedings of the 7th International Conference on Coordination Models and Languages, ...
Lee mas
ECOOP 2005 - Object-Oriented Programming
The 19th Annual Meeting of the European Conference on Object-Oriented Programming—ECOOP 2005—took place during the last ...
Lee mas
ECOOP 2006 - Object-Oriented Programming
This book constitutes the refereed proceedings of the 20th European Conference on Object-Oriented Programming, ECOOP 2006, ...
Lee mas
ECOOP 2007 – Object-Oriented Programming
This book contains sections on runtime implementation, empirical studies, programs and predicates, language design, inheritance ...
Lee mas
ECOOP 2007 – Object-Oriented Programming
This book contains sections on runtime implementation, empirical studies, programs and predicates, language design, inheritance ...
Lee mas
Foundations of AOP for J2EE Development
Foundations of AOP for J2EE Development covers a relatively new programming paradigm: aspect-oriented programming, or AOP. ...
Lee mas
Generative and Transformational Techniques in Software Engineering
This tutorial book presents an augmented selection of material presented at the International Summer School on Generative ...
Lee mas
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 ...
Lee mas
Middleware 2007
This book constitutes the refereed proceedings of the ACM/IFIP/USENIX 8th International Middleware Conference 2007, held ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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. ...
Lee mas
Runtime Verification
Runtime verification is a recent direction in formal methods research, which is complementary to such well-established formal ...
Lee mas
