Spring has made a remarkable rise since its conception in 2002. Users find Spring the ideal framework to build their applications in J2EE environments. Beginning Spring 2 is the first and only Spring-authorized book that takes you through the first steps of using Spring, and requires no prior J2EE experience. It discusses relevant integrated technologies that you should be aware of, and illustrates how Spring makes using them easier. The book teaches the correct usage of Spring in applications, and lowers the learning curve on J2EE standards. It covers useful features of Spring without delving too far into complicated features. The authors take advantage of less complex alternatives whenever possible, and shows how Spring can make you more productive in complicated environments where J2EE technologies need to be applied. The book covers the complete Spring web tools portfolio and deals with persistence and transaction management. It also introduces 3-tier application design and how to test these designs.

In recent years, much work has been put into creating programming languages that embody a blend of many of the most admired characteristics of their predecessors. One such language is D, which provides developers with the speed of languages such as C and C++ combined with the power and flexibility of languages such as Ruby and Python.

Learn to Tango with D introduces you to the powerful D language, with special attention given to the Tango software library. A concise yet thorough overview of the language's syntax and features is presented, followed by an introduction to Tango, the popular general-purpose library you'll find invaluable when building your D applications.

Authored by prominent D developers Kris Bell, Lars Ivar Igesund, Sean Kelly, and Michael Parker, this book supplies not only the knowledge required to begin building your own D applications, but also the insight these authors have acquired due to their extensive experience working with and participating in the development of the D language. What you'll learn Gain a solid understanding of the D programming language and the companion Tango library. How to leverage the open source Tango library to build robust cross-platform applications. Why the combination of D and Tango can be the best option for your next application. Who is this book for?

Programmers wishing to learn more about the D language and the Tango library.

This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Runtime Verification, RV 2007, held in Vancouver, Canada, in August 2007 as satellite workshop of AoSD 2007, the International Conference on Aspect-Oriented Software Development.

The 16 revised full papers presented together with 1 invited paper were carefully selected from 29 initial submissions. The subject covers several technical fields such as specification languages and logics, aspect oriented languages with trace predicates, program instrumentation in general, program guidance in general, combining static and dynamic analysis, and dynamic program analysis. There are 7 papers that focus on aspect-oriented programming followed by 9 papers which place emphasis on core runtime verification.

The growing complexity of modern software systems increases the di?culty of ensuring the overall dependability of software-intensive systems. Complexity of environments, in which systems operate, high dependability requirements that systems have to meet, as well as the complexity of infrastructures on which they rely make system design a true engineering challenge. Mastering system complexity requires design techniques that support clear thinking and rigorous validation and veri?cation. Formal design methods help to achieve this. Coping with complexity also requires architectures that are t- erant of faults and of unpredictable changes in environment. This issue can be addressed by fault-tolerant design techniques. Therefore, there is a clear need of methods enabling rigorous modelling and development of complex fault-tolerant systems. This bookaddressessuchacuteissues indevelopingfault-tolerantsystemsas: - Veri?cation and re?nement of fault-tolerant systems - Integrated approaches to developing fault-tolerant systems - Formal foundations for error detection, error recovery, exception and fault handling - Abstractions, styles and patterns for rigorousdevelopment of fault tolerance - Fault-tolerant software architectures - Development and application of tools supporting rigorous design of depe- able systems - Integrated platforms for developing dependable systems - Rigorous approaches to speci?cation and design of fault tolerance in novel computing systems TheeditorsofthisbookwereinvolvedintheEU(FP-6)projectRODIN(R- orous Open Development Environment for Complex Systems), which brought together researchers from the fault tolerance and formal methods communi- 1 ties. In 2007 RODIN organized the MeMoT workshop held in conjunction with the Integrated Formal Methods 2007 Conference at Oxford University.

This book constitutes the thoroughly refereed post-workshop proceedings of the 5th Workshop on Model Checking and Artificial Intelligence, MOCHART 2008, held in Patras, Greece, in July 2008 as a satellite event of ECAI 2008, the 18th biannual European conference on Artificial Intelligence.

The 9 revised full workshop papers presented together with 2 invited lectures have gone through two rounds of reviewing and improvement and were carefully selected for inclusion in the book. The workshop covers all ideas, research, experiments and tools that relate to both MC and AI fields.

Assuming readers have a basic familiarity with C or C++, Frantisek Franek describes the techniques, methods and tools available to develop effective memory usage. The overwhelming majority of "bugs" and crashes in computer programming stem from problems of memory access, allocation, or deallocation. Such memory related errors are notoriously difficult to resolve. Moreover, the role that memory plays in C and C++ programming is a subject often overlooked in courses and in books. Most professional programmers learn about it entirely through actual experience of the problems it causes.

This book constitutes the refereed proceedings of the 5th Asian Symposium on Programming Languages and Systems, APLAS 2007, held in Singapore, in November/December 2007.

The 25 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 84 submissions. The symposium addresses all issues in programming languages and systems - ranging from foundational to practical issues. The papers focus on topics such as semantics, logics, foundational theory, type systems, language design, program analysis, optimization, transformation, software security, safety, verification, compiler systems, interpreters, abstract machines, domain-specific languages and systems, as well as programming tools and environments.

The best way to learn Rails is by creating a variety of applications with it.

You already know the basics of Rails, and you're familiar with the exciting features and benefits associated with using this Rubybased framework. You're now at the point where you need to gain firsthand experience with Rails by thoroughly exploring the features and building several different types of web applications.

Eldon Alameda takes a focused approach to guiding you through the creation of multiple real-world examples that are designed to get your hands dirty with the core features of Rails, while providing you with the valuable experience of creating real Rails applications.

Projects you'll work on include creating a simple blog with an external API, constructing a workout tracker with a RESTful interface and graphs, and converting an existing PHP site to Rails while adding an advanced JavaScript interface. As an added bonus, the final project makes use of the edge version of Rails as you build an application that utilizes Active Resource, which provides an opportunity to explore the various changes and features that will be included with Rails 2.0. Each project is designed to provide you with the necessary information and tools to give you a running start at solving that problem yourself, and each project includes a number of additional ideas and exercises for ways that you can extend each application to fit your own needs. What you'll learn Implementing caching options Developing applications the RESTful way Adding graphs to your Rails application Connecting to a legacy database Building generators to automate installation of common files Building an XML-RPC API into your Rails applications Who this book is for

This book is for anyone who has gone beyond the basics of Rails and wants to learn higher-level Rails techniques. It is also useful for those experienced in other disciplines (such as Java and PHP) who want to learn Rails.

This book constitutes the refereed proceedings of the 18th International Conference on Compiler Construction, CC 2009, held in York, UK, in March 2009 as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software.

Following a very thorough review process, 18 full research papers were selected from 72 submissions. Topics covered include traditional compiler construction, compiler analyses, runtime systems and tools, programming tools, techniques for specific domains, and the design and implementation of novel language constructs.

"Pro Active Record" helps you take advantage of the full power of your database engine from within your Ruby programs and Rails applications. ActiveRecord, part of the magic that makes the Rails framework so powerful and easy to use, is the model element of the Rails Model-View-Controller framework. It's an object-relational mapping library enabling you to interact with databases from both Ruby and Rails applications.

Because ActiveRecord is configured with default assumptions that mesh perfectly with the Rails framework, Rails developers often find they hardly need think about it at all. However, if you are developing in Ruby without Rails, or are deploying against legacy databases designed without Rails in mind, or you just want to take advantage of database-specific features such as large objects and stored procedures, you need the in-depth knowledge of ActiveRecord found in this book.

In "Pro Active Record," authors Kevin Marshall, Chad Pytel, and Jon Yurek walk you through every step from the basics of getting and installing the ActiveRecord library to working with legacy schema to using features specific to each of todays most popular database engines, including Oracle, MS SQL, MySQL, and more You'll come to a deep understanding of ActiveRecord that will enable you to truly exploit all that Ruby, Rails, and your chosen database platform have to offer. Table of Contents Introducing Active Record Active Record and SQL Setting Up Your Database Core Features of Active Record Bonus Features Active Record Testing and Debugging Working with Legacy Schema Active Record and the Real World

This volume constitutes the proceedings of the 21st International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2008), which was held during August 18-21, 2008 in Montreal, Canada. TPHOLs covers all aspects of theorem proving in higher order logics as well as related topics in theorem proving and veri?cation. There were 40 papers submitted to TPHOLs 2008 in the full research c- egory, each of which was refereed by at least four reviewers selected by the ProgramCommittee. Of these submissions, 17 researchpapers and 1 proofpearl were accepted for presentation at the conference and publication in this v- ume. In keeping with longstanding tradition, TPHOLs 2008 also o?ered a venue for the presentation of emerging trends, where researchers invited discussion by means of a brief introductory talk and then discussed their work at a poster session. A supplementary proceedings volume was published as a 2008 technical report of Concordia University. The organizersaregratefulto MichaelGordonand StevenMiller for agreeing togiveinvitedtalksatTPHOLs2008.Aspartofthecelebrationofthe20yearsof TPHOLs, TPHOLs 2008 invited tool developers and expert users to give special tool presentations of the most representative theorem provers in higher order logics. The following speakers kindly accepted our invitation and we aregrateful tothem: YvesBertot(Coq), MattKaufmann(ACL2), SamOwre(PVS), Konrad Slind (HOL), and Makarius Wenzel (Isabel

This book not only teaches the necessary skill set to become a proficient Ruby on Rails developer, it also explains the theory needed for the developer to explore and learn on their own. The reader will not be burdened by yet another set of "hello world" and other mundane examples. In this text they will learn Ruby on Rails by creating real world projects; a task manager, RSS aggregator, a community manager similar to MySpace.com, and an Amazon based store. While the book covers the basics for beginners, it also offers more advanced tools, including Ajax and a detailed discussion of ActiveRecord and ActionPack.

The refereed post-proceedings of the International Workshop of the Types Working Group are presented in this volume. The 17 papers address all current issues in formal reasoning and computer programming based on type theory, including languages and computerized tools for reasoning; applications in several domains, such as analysis of programming languages; certified software; formalization of mathematics; and mathematics education.

This book will teach you how to build hand-crafted web pages the Web Standardistas way: using well-structured XHTML for content and CSS for presentation.

By embracing a web standards approach, you will hold the key to creating web sites that not only look great in all modern browsers, but also are accessible to a wide variety of audiences across a range of platformsfrom those browsing on everyday computers, to those accessing the Web on the latest emerging mobile devices.

Even if you're an absolute beginner in web design, this book will teach you how to build future-proof web pages the right way using easy-to-master tools which are, in most cases, free. Through 14 easy-to-follow chapters, we introduce you to the fundamentals of contemporary web design practice. Step by step we'll assemble well-structured XHTML webpages, which we'll then style using handcrafted CSS.

By the end of the book, you'll have a firm knowledge of the essentials of web design: everything you need to know to move forward in your lifelong journey as a Web Standardista.

To equip you on this noble quest, we've included enjoyable practical assignments at the end of each chapter. Embracing these challenges will not only teach you how to create great looking web sites that are the envy of your peers, but also equip you with an unrivaled knowledge of monkeys that journeyed to space and apes that starred in the moviesthe real stars of this book.

On completion of this book not only will you be able to create well-crafted web sites, but you will have earned the badge of a Web Standardista, proving your worth as a good citizen of the Web.

Conceptual modeling has long been recognized as the primary means to enable so- ware development in information systems and data engineering. Conceptual modeling provides languages, methods and tools to understand and represent the application domain; to elicit, conceptualize and formalize system requirements and user needs; to communicate systems designs to all stakeholders; and to formally verify and validate systems design on high levels of abstraction. The International Conference on Conceptual Modeling provides a premiere forum for presenting and discussing current research and applications in which the major emphasis is on conceptual modeling. Topics of interest span the entire spectrum of conceptual modeling including research and practice in areas such as theories of concepts and ontologies underlying conceptual modeling, methods and tools for - veloping and communicating conceptual models, and techniques for transforming conceptual models into effective implementations. The scientific program of ER 2008 featured several activities running in parallel. The core activity was the presentation of the 33 research papers published in this volume, which were selected by a large Program Committee (PC) Co-chaired by Qing Li, Stefano Spaccapietra and Eric Yu. We thank the PC Co-chairs, the PC members and the additional referees for the hard work done, often within a short time. Thanks are also due to Moira Norrie from ETH Zurich, Oscar Pastor from the Universitat Politecnica de Valencia, and Amit Sheth from the Wright State Univ- sity for accepting our invitation to present keynotes."

This volume contains papers presented at the 5th International Conference on ModelingDecisionsforArti?cialIntelligence(MDAI2008), heldinSabadell, C- alonia, Spain, October 30-31. This conference followed MDAI 2004 (Barcelona, Catalonia, Spain), MDAI 2005 (Tsukuba, Japan), MDAI 2007 (Tarragona, C- alonia, Spain), and MDAI 2008 (Kitakyushu, Japan) with proceedings also p- lished in the LNAI series (Vols. 3131, 3558, 3885, and 4617). The aim of this conference was to provide a forum for researchers to d- cuss the theory and tools for modeling decisions, as well as applications that encompass decision-making processes and information-fusion techniques. The organizers received 43 papers from 15 di?erent countries, from Asia, Europe, andAmerica,19ofwhicharepublishedinthis volume.Eachsubmission received at least two reviews from the Program Committee and a few external reviewers. We would like to express our gratitude to them for their work. The plenary talks presented at the conference are also included in this volume. TheconferencewassupportedbytheIIIA-CSIC, theUNESCOChairinData Privacy, theJapanSocietyforFuzzyTheoryandIntelligentInformatics(SOFT), the Catalan Association for Arti?cial Intelligence (ACIA), the European So- ety for Fuzzy Logic and Technology (EUSFLAT), the Spanish MEC (ARES - CONSOLIDER INGENIO 2010 CSD2007-00004), and the City of Sabadell. July 2008 Vicen, c Torra Yasuo Narukawa Organization General Chair Vicen, c Torra, IIIA-CSIC, Catalonia, Spain Program Chairs Vicen, c Torra, IIIA-CSIC, Catalonia, Spain Yasuo Narukawa, Toho Gakuen, Japan Advisory Board L. Godo, J. Kacprzyk, S. Miyamoto, M. Sugeno, R. R. Yager Program Committee G. Beliakov, U. Bodenhofer, T. Calvo, J. Domingo-Ferrer, J. Dujmovic, B. H. Far, M. Grabisch, E. Herrera-Viedma, J. Herranz, K. Hirota, M. Inuiguchi,

th The 13 edition of the International Conference on Reliable Software Technologies (Ada-Europe 2008) marked its arrival in Italy by selecting the splendid venue of Venice. It did so after having been hosted twice in Switzerland, Spain and the UK (Montreux for its inauguration in 1996 and Geneva in 2007; Santander in 1999 and Palma de Mallorca in 2004; London in 1997 and York in 2005), and having visited Sweden (Uppsala, 1998), Germany (Potsdam, 2000), Belgium (Leuven, 2001), Austria (Vienna, 2002), France (Toulouse, 2003) and Portugal (Porto, 2006). It was certainly high time that the conference came to Italy! The conference series, which is run and sponsored by Ada-Europe, chooses its yearly venue following two driving criteria: to celebrate the activity of one of its national member societies in a particular country, and/or to facilitate the formation, or the growth, of a national community around all aspects of reliable software technologies. The success of this year's conference, beside the richness of its technical and social program, will thus be measured by its lasting effects. We can only hope that the latter will be as good and vast as the former! Owing to the absence of a national society associated with Ada-Europe in Italy, the organization of the conference was technically sustained by selected members of the Board of Ada-Europe, its governing body, with some invaluable local support.

Maude is a language and system based on rewriting logic. In this comprehensive account, you'll discover how Maude and its formal tool environment can be used in three mutually reinforcing ways: as a declarative programming language, as an executable formal specification language, and as a formal verification system. Examples used throughout the book illustrate key concepts, features, and the many practical uses of Maude.

This book constitutes the refereed proceedings of the 11th European Conference on Logics in Artificial Intelligence, JELIA 2008, held in Dresden, Germany, Liverpool, in September/October 2008.

The 32 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 98 submissions. The papers cover a broad range of topics including belief revision, description logics, non-monotonic reasoning, multi-agent systems, probabilistic logic, and temporal logic.

This book constitutes the refereed proceedings of the Second International Conference on Scalable Uncertainty Management, SUM 2008, held in Naples, Italy, in Oktober 2008.

The 27 revised full papers presented together with the extended abstracts of 3 invited talks/tutorials were carefully reviewed and selected from 42 submissions. The papers address artificial intelligence researchers, database researchers, and practitioners to demonstrate theoretical techniques required to manage the uncertainty that arises in large scale real world applications and to cope with large volumes of uncertainty and inconsistency in databases, the Web, the semantic Web, and artificial intelligence in general.

Jean-Pierre Jouannaud has deeply influenced, and is still influencing, research in Informatics, through the many important results he has produced in various research fields and through the generations of scholars he has educated. He has played a leading role in field of rewriting and its technology, advancing the research areas of unification, rewriting and completion modulo, conditional rewriting, termination proofs, modular properties, and automated proofs by induction in rewrite theories. Following his strong interest for algebraic specification languages and their efficient implementation, Jean-Pierre Jouannaud has contributed to the design, semantics and implementation of OBJ2 and has recently augmented the Maude rewriting logic system with an essential feature: membership equational logic. He was a member of the CNU (National University Council) and a member of the CNRS national committee. He is now heading with great success the computer science laboratory at the Ecole Polytechnique thus showing his exceptional qualities as a research team manager and supervisor of students.

This Festschrift volume, published to honor Jean-Pierre Jouannaud on his 60th Birthday on May 12, 2007, includes 13 refereed papers by leading researchers, current and former colleagues, who congregated at a celebratory symposium held in Cachan near Paris, France, on June 21-22, 2007. The papers are grouped in thematic sections on Rewriting Foundations, Proof and Computation, and a final section entitled Towards Safety and Security.

This amply illustrated book is about building some of Leonardo da Vinci's most famous inventions with LEGO's breathtaking robot technology, the LEGO MINDSTORMS NXT. In this book, you will revive such fascinating devices as the flying machine, the aerial screw, the revolving bridge, the double leaf spring catapult, and the armored carfive centuries after their creation by the great Renaissance engineer. Using some of the most advanced programming environments for the NXT, you will make robots that work, move, and respond the way Leonardo intended his original inventions to do 500 years ago.

By engineering the LEGO models contained in this, book you will not only become acquainted with the MINDSTORMS NXT technology, but also with strategies to build advanced robots with NXT and to program them using different state-of-the-art NXT programming languages such as NXT-G, NXC, RobotC, pbLua, and leJOS NXJ.

For all five robots, historical background information is provided. Detailed high-quality step-by-step building instructions, as well as an elaborate guide for each single program enable both the inexperienced LEGO user as well as the NXT aficionado to become acquainted with the art of producing marvelous NXT creations and make use of many sophisticated features of the NXT.

This book will unleash the creative powers that slumber in everyone and combine them with the pure joy of playing. But beware: you might be surprised by the stupendous results this combination is apt to spawn.

"Practical Rails Social Networking Sites" shows you the complete development cycle of a social networking community web site. The project develops first as a simple content management system, after which author Alan Bradburne progressively adds features in order to build a full Web 2.0-enabled community-based social networking site using Ruby on Rails.

You will learn how to make the best use of the Ruby on Rails framework within a large project and how to implement and adapt features specific to a community. The book offers practical advice and tips for developing and testing, along with guidance on how to take your site live, as well as optimize and maintain it.

The book also explores how to integrate with other community sites such as Flickr and Google Maps, and how to make good use of Rails Ajax features. You will also learn how to optimize and adapt your site to work well on mobile browsers.

Ruby has set the world on fire, proving itself a serious challenger to Perl and Python in all spheres. In particular, more and more people are discovering that Ruby's flexibility, superb feature set, and gentle learning curve make it a natural choice for system administration tasks, from the humblest server to the largest enterprise deployment.

Within the pages of Practical Ruby for System Administration, you'll learn the Ruby way to construct files, tap into clouds of data, build domain-specific languages, perform network traffic analysis, and more.

Based on author Andre Ben Hamou 's own experiences working as a system administrator, this book will help you pick up practical tips on Ruby coding style, learn how to analyze and improve script performance, and make use of no-nonsense advice on scripting workflow, including testing and documentation.

Above all, you'll come to appreciate the sheer power of Ruby and the hundreds of benefits it offers for system administration.This book places equal emphasis on fundamental Ruby concepts as well as practical how-tos. It uses examples from other languages to ease the transition to Ruby. The book is concise, entertaining, and informativeunlike many books aimed at system administrators, which can be overly long and stodgy.

This volume contains the papers presented at the 9th European Conference on Case-Based Reasoning (ECCBR 2008). Case-based reasoning (CBR) is an arti?cial intelligence approach whereby new problems are solved by remembering, adapting and reusing solutions to a previously solved, similar problem. The collection of previously solved problems andtheirassociatedsolutionsisstoredinthecasebase. Neworadaptedsolutions are learned and updated in the case base as needed. In remembrance of the First European Workshop on Case-Based Reasoning, which took place 15 years ago at the European Academy Otzenhausen, not far from Trier, this year's conference was especially devoted to the past, present, and future of case-based reasoning. ECCBR and the International Conference on Case-Based Reasoning (IC- CBR) alternate every year. ECCBR 2008 followed a series of seven successful European workshops previously held in Otzenhausen, Germany (1993), Ch- tilly, France (1994), Lausanne, Switzerland (1996), Dublin, Ireland (1998), and Trento, Italy (2000), and three European conferences in Aberdeen, UK (2002), ] Madrid, Spain (2004), and Olu ]deniz/Fethiye, Turkey (2006). The International Conferences on Case-Based Reasoning (ICCBR) were previously held in Ses- bra, Portugal (1995), Providence, Rhode Island, USA (1997), Seeon, Germany (1999), Vancouver, Canada (2001), Trondheim, Norway (2003), Chicago, USA (2005), and Belfast, Northern Ireland (2007). These meetings have a history of attracting ?rst-class European and international researchers and practiti- ers. The proceedings of the ECCBR and ICCBR conferences are published by Springer in their LNAI series."