This book constitutes the refereed proceedings of the 7th International Conference of B Users, B 2007, held in Besancon, France in January 2007.

The 30 revised full papers presented together with 4 invited contributions were carefully reviewed and selected from numerous submissions. The topics of interest to the conference included: industrial applications and case studies using B, integration of model-based specification methods in the software development lifecycle, derivation of hardware-software architecture from model-based specifications, expressing and validating requirements through formal models, in particular verifying security policies, theoretical issues in formal development, model-based software testing, tools supporting the B method, development by composition of specifications, validation of assembly of COTS by model-based specification methods, B extensions and/or standardization.

This book is ideal for Tomcat administrators and folks who want to configure Tomcat. Author Matthew Moodie describes configuration files, as well as administration features like security, auto-deployment, remote deployment, and data sources. Moodie gets right to the point, and teaches readers how to use Tomcat.

Zope is a powerful Python web application platform for rapidly and collaboratively developing complex web applications. With version 3, Zope has been rebuilt on top of a Component Architecture that combines the best ideas from modern web platforms. This new edition details all the changes and new features in Zope 3. It also makes it easier to get started with Zope, incorporating input and suggestions from Zope 3 experts and newcomers alike. In addition, the book addresses the needs of Zope 2 developers who want to use Zope 3 features as they are backported into the Zope 2 platform.

All Flex applications look the samea blue-gray background and silver-skinned componentsright? That doesn't have to be the case, though. This book shows you how to ensure that your Flex 2 and 3 projects stand out from the crowd and provide your users with an application that is both visually stunning and beautifully functional.

Flex Builder, coupled with the Adobe Creative Suite (CS3), is a powerful combination, providing all the tools you need to create compelling, vibrant interfaces. This book guides you through creating applications with Flex Builder, designing layouts in Fireworks, creating custom skins for your components in Photoshop and Illustrator, and using CSS to enhance the appearance of your rich Internet applications (RIAs).

You'll learn how to efficiently use and style states, enabling you to switch between "pages," thus adding real depth to your applications. You'll also learn how to build web forms that are intuitive to use, helping your users provide the information you're after.

Your Flex applications no longer have to be contained within a web browser windowAdobe Integrated Runtime (AIR) enables the creation of desktop applications. This book explores giving an AIR application a truly custom shape and style, leaving the rectangular form that defines most applications far, far behind.

Flex isn't just for programmers; it's time for designers to take back RIAs and show what that "R" really stands for. The Internet is not just about collecting datait's about visual communication and giving people a rich user experience, and that's what designers do best.

Discover how JRuby on Rails can be used to create web applications faster and more efficiently while still taking advantage of the vast power of the Java platform.

Ruby on Rails is proving itself to be one of the most efficient and powerful agile web development application frameworks available and has had a profound influence on the Java community. The JRuby project offers Java developers the best of two worlds: the flexibility of Ruby on Rails coupled with the enterprise-level power and maturity of the Java platform.

JRuby core developer Ola Bini covers everything you need to know to take full advantage of what JRuby has to offer, including: Full coverage on how to use JRuby to create web applications faster and more efficiently, while continuing to take advantage of the vast power of the Java platform Several real-world projects that illustrate the crucial specifics you need to know about the interaction of Java and Ruby Helpful, practical instruction and discussion on how web applications can be deployed using a variety of popular servers such as Apache and Mongrel What you'll learn Create a Rails application that uses JDBC to talk to legacy databasesUse Java Management Extensions (JMX) to more effectively manage your applicationDeploy a Rails application within a Java Enterprise web container (Tomcat)Create interoperable applications involving EJBs and Rails-driven web servicesSecurely integrate XML processing into your Ruby applicationsBuild cutting-edge Web 2.0 web sites using Rails, Prototype, and script.aculo.us to provide a pleasing user experienceBuild four important projects: Store, CMS, Admin tool, and a web library project Who this book is for

You'll get the most from this book if you have medium-to-advanced skills in Java web development, with a little Ruby experience, and are interested in taking Web development to the next level, both in terms of speed and features and in interoperability with existing infrastructure. Table of Contents Introduction Getting Started Introduction to Rails Store Administration A Database-Driven Shop Java Integration A Rails CMS Content Rendering A JRuby Enterprise Bean An EJB-Backed Rails Application Deployment Web Services with JRuby JRuby and Message-Oriented Systems The LibLib Rails Application Coda: Next Steps

Beginning Java SE 6 Platform: From Novice to Professional steers you through the maze of Java Standard Edition (SE) 6 features. The first chapter sets the stage by introducing Java SE 6 in terms of its name change, themes, an overview, and a sampling of new features. It also briefly discusses the first two Java SE 6 updates.

The remaining nine chapters organize features into the following categories: core libraries, GUI toolkits: AWT, GUI toolkits: Swing, internationalization, Java Database Connectivity, monitoring and management, networking, scripting, and security and web services. While exploring these chapters, you will encounter a variety of useful and interesting topics: introducing a new locale with its own currency, creating a new JConsole plugin, creating a scripted JEditorPane component, invoking and communicating with JavaFX Script and JRuby scripts from a Java application that interacts with the Scripting API, signing an arbitrary XML document and validating a signed document's XML signature, and accessing an existing web service are examples.

With a few exceptions, each of chapters 2 through 10 alphabetically organizes its topics for convenient access. Furthermore, all 10 chapters end with a Test Your Understanding section that provides questions and exercises to help you reinforce your understanding of what you have read.

Additional features are covered in the first three appendices. The first appendix introduces you to annotation types for annotation processors, Common Annotations 1.0, and several tables that conveniently organize additional annotation types that are new to Java SE 6. The second appendix explores changes made to various Java tools. For example, the Java compiler tool now supports annotation processingyou'll learn how to take advantage of this capability by writing your own annotation processor. Another example: you'll learn how to interact with the commandline script shell. The third appendix looks at a variety of performance enhancements, ranging from a fix for the grayrect problem to singlethreaded rendering.

The second-to-last appendix provides answers and code to all of the questions and exercises in the various Test Your Understanding sections. The final appendix anticipates Java SE 7 by looking at features most likely to make the cut, including closures, the Java Module System, and the Swing Application Framework.

By the time you finish this book, you will have mastered most of what's new and improved in Java SE 6. Although a few features, such as multiple gradient paints and an indepth look at StAX are not covered, you will find a growing list of articles devoted to these additional topics on the author's website (JavaJeff.mb.ca). Follow the links at the bottom of the website's Articles page. Table of Contents Introducing Java SE 6 Core Libraries GUI Toolkits: AWT GUI Toolkits: Swing Internationalization Java Database Connectivity Monitoring and Management Networking Scripting Security and Web Services

Since the emergence of Google Maps 12 months ago, Ajax programming techniques have become one of the hottest topics in the programming arena. Foundations of ASP.NET AJAX (written by Laurence Moroney the author of Apress successful Foundations of Atlas) gives you a detailed grounding in how ASP.NET AJAX works. It takes you swiftly through the basic principles of Ajax, then deep into the heart of the technology, where every namespace is discussed and every function considered. By the end of the book, youll know all the essentials to confidently produce cutting-edge ASP.NET AJAX applications swiftly and professionally. You will not need any reference beyond this book.

Want to take Ruby to the limit? Looking for new, powerful, and creative ideas that will take Ruby beyond Rails and web programming? If you're comfortable with Ruby, you'll be itching to go furtherapply Practical Ruby Projects: Ideas for the Eclectic Programmer and become a master of advanced Ruby techniques.

Rubyist Topher Cyll brings several imaginative projects to this book, ranging from making generative music, animations, and turnbased games to implementing simulations, algorithms, and even an implementation of Lisp

Art, music, theory, and gamesthis book has it all. Best of all, it's all done with Ruby.

Each chapter, in addition to making you say CoolI hadn't thought of that before, looks at solving tricky development problems, enforces best practices, and encourages creative thinking. You'll be building your own exciting, imaginative ruby projects in no time.Create imaginative and innovative Ruby programming projectsLearn how to solve tricky development problems, be guided by best practices, and be inspired to think creativelyDon't waste time on the basicsit's assumed you know the fundamentals of Ruby already What you'll learn How to set up Ruby on Windows, Mac OSX, and Linux How to create UIs with RubyCocoa How to create a Lisp implementation in Ruby How to create generative music and turnbased adventure games in Ruby How to model things and create algorithms in Ruby Several more Ruby best practices and programming techniques that will save you hours of programming time Who this book is for

This book is for anyone who has mastered the basics of Ruby and wants to learn advanced Ruby techniques. Table of Contents Introduction Making Music with Ruby Animating Ruby 4 Pocket Change: Simulating Coin Systems with Ruby Turn-Based Strategy in Ruby RubyCocoa Genetic Algorithms in Ruby Implementing Lisp in Ruby Parsing in Ruby

Microsoft Silverlight allows you to create rich multimedia interfaces with the power and flexibility of Flash, but with the extensibility and the great tools that .NET offers. With Silverlight and ASP.NET Revealed, you'll learn to use Microsoft's Silverlight technology in conjunction with ASP.NET and Visual Studio 2008 (codename Orcas). You will ultimately incorporate Silverlight into an ASP.NET web site and use the ASP.NET controls that render Silverlight content. But you'll also get the basics of Silverlight, too, making this book a must-read for any web developer curious about Silverlight. What you'll learnWho this book is for

Silverlight and ASP.NET Revealed assumes a deep knowledge of ASP.NET, but no knowledge of Silverlight. Table of Contents Understanding Silverlight Creating a Silverlight Project Silverlight Essentials Silverlight and ASP.NET Drawing in 2D Animation

Pro ASP.NET for SQL Server: High Performance Data Access for Web Developers explains how to use ASP.NET 2.0 and SQL Server 2005 most efficiently together. It covers all crucial performance issues and illustrates optimal techniques with enterprise-quality development.

Performance is always an issue, and optimizing database access is one of the most daunting performance challenges facing web developers. With Brennan Stehling as your guide, you'll explore the many overlaps of web and database technologies, including configuration, programming, performance tuning, and deployment. You'll learn how to make high-performance database access not just a goal, but a reality. What you'll learn Discover what impedes ASP.NET 2.0 access to SQL Server 2005 and how to make web applications and databases work blindingly fast togetherLearn to make the subtle choices between DataSets, DataReaders, and DataObjects, to simplify code and maximize performanceOptimize data-bound controls and create your ownSee when a custom database provider is advisable and how to build oneUnderstand how to monitor and measure web/database performanceLearn to build, deploy, and configure enterprise-level web applications against SQL Server 2005 Who this book is for

Anyone involved in .NET web development will find this book invaluable. Whether you're struggling just to handle traffic or scaling up to meet demand, you'll find all the tools, tips, and techniques you need for high-performance web access to databases. If you want to build enterprise-level web database applications 100% of the time, this book will tell--and show--you how to do it.

This book gives the most up-to-date picture of the topic-XML support in the most modern web browsers, creating XML-driven applications using the most versions of web standards and server-side languages, including CSS 2.1/3, DOM, XSLT and XPath 2, PHP 5, ASP.NET 2, and many more. The book shows that you can give the reader all they need to know to hit the ground running, without making them trawl through hundreds of pages of syntax. The book also provides an introduction to Ajax-style programming, which is an essential topic for modern web developers to understand. XML is core to Ajax, so an understanding of it is essential when learning how to program Ajax functionality. This book therefore provides a great stepping stone for readers wishing to take this path.

ZK is the most popular open source SourceForge Ajax web framework that enables rich user interface for web applications with no JavaScript and little programming. This firstPress book will cover the following: Shows you how to use this simplest Ajax framework to write real-world responsive web applications Covers ZK's more than 70 XUL and 80 XHTML rich GUI components Authoritatively written by cofounder/lead of the ZK project What you'll learn Perform Ajax development without the use of JavaScript. Write your first ZK framework--based application: Hello World Augmenting with Eclipse IDE, build a more dynamic, responsive Hello World application. Use ZK's more than 70 XUL and 80 XHTML rich GUI components. Explore megacomponents for Google Maps and more. Build a real-world application such as a pet store by using ZK in the presentation tier and beyond. Integrate and use ZK with other frameworks like Hibernate. Who is this book for? Web application designers and programmers who wish to implement rich Ajax web applications in the simplest way.

"Beginning ASP.NET 2.0 Databases: From Novice to Professional" is a comprehensive introduction to connecting a website to many different data sourcesnot just databases. You'll learn how to build a relational database, use SQL to communicate with it, and leverage both in your web applications.

You'll also learn about the new features of ADO.NET and ASP.NET in .NET 2.0. The authors cover mission-critical issues, such as design, transactions, error handling, optimization, and scalability. They examine SQL Server, Jet, and MySQL databases, and highlight the differences among them.

This comprehensive resource is packed with information about 2.0 beta improvements and building database-driven websites. You will obtain practical solutions, learn multiple routes to achieve success, and examine a handy case study to wrap up core content.

"Beginning ASP.NET 2.0 in C# 2005: From Novice to Professional" steers you through the maze of ASP.NET web programming concepts. You will learn language and theory simultaneously, mastering the core techniques necessary to develop good coding practices and enhance your skill set.

This book provides thorough coverage of ASP.NET, guiding you from beginning to advanced techniques, such as querying databases from within a web page and performance-tuning your site. You'll find tips for best practices and comprehensive discussions of key database and XML principles.

The book also emphasizes the invaluable coding techniques of object orientation and code-behind, which will enable you to build real-world websites instead of just scraping by with simplified coding practices. By the time you finish this book, you will have mastered the core techniques essential to professional ASP.NET developers.

Hardcore JFC (previously announced as Mastering the Java Foundation Classes) is a comprehensive guide to the functionality and practical use of the Java Foundation Classes (JFC). It presents intermediate and advanced techniques for exploiting the power and flexibility of JFC and the Swing component set. With a strong focus on fundamentals and pragmatic applications, the author shows how JFC and Swing can add tremendous value to Java applications. Several concrete illustrations reveal how to enhance the JFC architecture, such as leveraging the Model/View/Controller paradigm, customizing and developing new components, and techniques for creating look-and-feel user interface classes. Thousands of lines of effective, well-constructed and reusable example code demonstrate important design and development issues. Any Java professional will find this book to be a vital reference.

Best selling author, Paul Sanghera, offers cohesive, concise, yet comprehensive coverage of all the topics included in the Sun Certified Programmer for Java 5 exam (CX 310-055). With a laser sharp focus on the exam objectives, the "Study Guide" goes beyond just being an "exam cram." The material is presented in a logical learning sequence: a section builds upon previous sections and a chapter on previous chapters. All concepts, simple and complex, are defined and explained when they appear the first time. There is no hopping from topic to topic and no technical jargon without explanation. No prior knowledge of Java programming is assumed. The single most difficult aspect of this exam is to read and understand the code in the exam questions in a limited amount of time. To help you get fluent and comfortable with the code, the book offers complete runnable code examples distributed over all the chapters and a codewalk quicklet feature at the end of each chapter.

Although the primary purpose of the book is to help you pass the SCJP exam, it will also serve as a good reference after the exam.

Special features include Hundreds of questions modeled after the real exam with fully explained answers. A complete practice exam with questions modeled after the real exam and fully explained answers. Hundreds of complete runnable code examples, explained in the book, that you can download and experiment with. This is a code-intensive exam. The Codewalk Quicklet feature based on the process-based codewalk philosophy to prepare you for efficient response to the code-based questions in the exam. The Exam Quick Prep feature which recaps all the important points for the last hour of preparationbefore taking the exam. Useful information and analysis for the programmers who are considering updating the J2SE 1.4 certification to J2SE 5.

A distinguishing feature of this book is that it explains handling payments via PayPal, DataCash, and VeriSign Payflow Pro. Topics include an online catalogue and shopping cart, product searching and recommendation, and checkout/payment functionality. By the end of the book, readers will have created a fully-functioning e-commerce site, allowing them to sell merchandise and accept money from customers.

Ajax burst onto the Web development scene by offering highly interactive, desktop-like Web applications that can be deployed through any modern Web browser without the need for special plug-ins. Ajax is built on existing Web technologies such as JavaScript, HTML, and CSS, and it is used in conjunction with your favorite server-side language. Foundations of Ajax explains how to combine these technologies effectively to implement Ajax into your new or existing Web applications. Like you, we are developers who are in the trenches, tasked with building Web-enabled applications that provide real value to our customers. As the Web continues to grow, the demand for more expressive and engaging interfaces will continue to increase. Much of the early hype surrounding Ajax centered on its use by Internet powerhouses such as Google and Amazon.

Do you want to learn about Microsoft's ASP and use it via Dreamweaver 8 to add the power of a database to your website? Use dynamic web forms to exchange data between you and your users? Build complete web applications? This book shows you how to do all that and more. Dreamweaver 8 takes a lot of the hard work out of performing tasks such as integrating a database into your website, but it can't do everything. That's why this book not only shows you how to use all of Dreamweaver's functions, but also shows you how the underlying code functions, so you can then work around Dreamweaver's shortcomings. There's no attempt to turn you into a code guru, but you'll come away with sufficient knowledge of basic ASP to have the confidence to dive into the Dreamweaver code and tweak it to your own requirements. The emphasis is exclusively on ASP, so you don't waste any time on information that's not relevant to what you want to do. Omar and Rob first take you through the latest version of Dreamweaver, and how ASP fits into it, then look in-depth at setting up your work environment &emdash; installing ASP, Access (and SQL Server), and the IIS web server, making sure they are all working together, and setting up a new web site via Dreamweaver. They then get to work, using several tutorials and real world examples, covering topics such as ASP Essentials (knowing what ASP code looks like, ) working with forms, designing and implementing effective databases using Access and SQL Server, debugging and troubleshooting, and creating dynamic navigation, login, and search functionality. In this book, you'll learn: How to install and configure a testing environment using ASP, IIS, Dreamweaver 8, and SQLServer or Access The fundamentals of the ASP language and good database design How to use all the Dreamweaver 8 ASP server behaviors The ins and outs of exchanging data between your users and your database using dynamic web forms How to build complete ASP web applications, including a photo gallery and a blog Summary of Contents: Chapter 1: Dreamweaver and Dynamic Sites Chapter 2: The Dreamweaver Environment Chapter 3: A First Taste of ASP Chapter 4: Databases Chapter 5: Working with Forms Chapter 6: Building a Random Quote Generator Chapter 7: Completing the Quotes Administration System Chapter 8: Restricting Access Chapter 9: Creating a Blog Chapter 10: Image Gallery

60-80% of Java developers require only simple Java Web applications. For these advanced, specialized users, the optimal deployment tool for simple Java-based Web applications is the open source Tomcat Web application server, which has graduated from Jakarta to become a topline Apache project, Apache Tomcat. Pro Apache Tomcat 6 fills an important need in the very large, very under-served Tomcat tech market. Unlike beginner manuals, this book wastes no time on Java or JSP introductions, and discusses JSP and Java code minimally. Instead, it gets right to the point and teaches you to use the newest Tomcat, version 6.

AWS Lambda helps to quickly and easily build and run applications on the AWS cloud that automatically run code in response to events. AWS Lambda in Action is an example-driven tutorial that teaches readers how to build applications that use an event-driven approach on the back end. By the end of this book, readers will be ready to use AWS Lambda to create applications that take advantage of the high availability, security, performance, and scalability of AWS. Key Features: Example-driven tutorials Solid introduction to security Teaches readers to create applications in AWS Readers will have basic knowledge of JavaScript. Most examples are provided in JavaScript and Python. No prior experience with AWS needed. About the Technology: AWS Lambda is different from a traditional approach based on physical or virtual servers: you only need to give your logic, grouped in functions, and the service itself takes care of executing the functions if and when required, managing the software stack used by the runtime you chose, the availability of the platform, and the scalability of the infrastructure in order to sustain the throughput of the invocations.

This is the most up-to-date book on JavaScript available, covering current standards, techniques, and practices. It provides all you need to know to hit the ground running, without making you trawl through hundreds of pages of syntax. The book contains multiple chapters on Ajax and DOM Scripting, which are two of the hottest web development and design tools available today. Using a pragmatic and thorough approach, the book ensures that even the most novice JavaScript programmers will become familiar and comfortable using the tools presented.

* No other book covers how to integrate Flash and ASP.NET, except the old friends of ED Flash.net book. Yet there is much demand for information on how to integrate Flash with dynamic server-side functionality. * Covers the latest versions of Flash and ASP.NET (2.0). * Written so that Flash and ASP.NET users can learn equally well from the book. * Includes several fully working example applications.

Pro NetBeans aims to publish on the NetBeans Java IDE, a market that is now under-represented in the marketplace, unlike the near saturation of Eclipse books. Specifically, this book aims to be first to market on the new NetBeans 5.5 Java IDE, based on the relatively new Java EE 5 platform and J2SE 5. It discusses real life case studies and directly relates the material to topics the reader can quickly understand. The book is intended for Java developers of varying skill who may or may not be familiar with Netbeans IDE or Java IDEs in general. Netbeans IDE is an amazing tool for rapidly developing Java applications.

EJB 3.0 has made huge advances in ease of development, and its drastically simplified programming model has been widely acclaimed. Targeted at Java and J2EE developers both with and without prior EJB experience, "Beginning EJB 3 Application Development" takes readers through the details of the EJB 3.0 architecture, and shows how EJB can be used to develop powerful, standards-based backend business logic. With 12 years of combined EJB experience, the authors offer many practical insights into the entire EJB architecture and cover all areas of the EJB 3.0 specification.

With Java and SQL under your belt, this book will teach you EJB 3 from the ground up. It provides a complete and practical roadmap to EJB 3 architecture and programming. And it covers upgrade issues that you'll encounter when migrating from EJB 2.1 to EJB 3.0, so it's highly relevant if you're already an EJB developer.