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.

"Pro JavaScript Techniques" is the ultimate JavaScript book for the modern web developer. It provides everything you need to know about modern JavaScript, and shows what JavaScript can do for your web sites. This book doesn't waste any time looking at things you already know, like basic syntax and structures.

Expert web developer and author John Resig concentrates on fundamental, vital topicswhat modern JavaScripting is (and isnt), the current state of browser support, and pitfalls to be wary of. The book is organized into four sections: Modern JavaScript development using JavaScript the object-oriented way, creating reusable code, plus testing and debugging DOM scripting updating content and styles, plus events, and effect and event libraries How Ajax works, overcoming problems, and using libraries to speed up development of Ajax applications The future of JavaScript looking at cutting edge topics like JSON, HTML5, and more

All concepts are backed up by real-world examples and case studies, and John provides numerous reusable functions and classes to save you time in your development. There are also up-to-date reference appendixes for the DOM, events, browser support (including IE7), and frameworks, so you can look up specific details quickly and easily.

Why another HTML book? Well, there are a lot of basic HTML guides out there, and a lot are quite outdated. This book is differenta "it is aimed at web designers and developers who have already mastered the basics of HTML and web design, but want to take their markup further, making it leaner and more semantically rich, for a more efficient, more usable/accessible web site.

HTML Mastery does all that and more, showing all of the HTML tags available, including less commonly used ones, where and how to use them, and clever styling and scripting techniques that can be employed to take advantage of them on your web site.

In addition, the book also looks at some of the advanced semantic tools that look to further improve the usability and semantic value of your sitesa "an entire chapter is devoted to Microformats, and a nod is given to XHTML 2.0 and Web Applications 1.0a "web standards of the future.

Cascading Style Sheets (CSS) are one of the most important technologies on the web today. They give web developers the power to style their web sites so those sites are usable, compact, good looking, consistently displayable, and quick and efficient to change if so desired.

There are many books out there on CSS, but "Beginning CSS Web Development" is differentit doesn't waste time discussing theory, and it delves straight into the practical matter. It provides you with what you need to know, faster. It is also completely up to date, covering the most modern CSS standards and design techniques.

In addition to the essential CSS basics, this book covers advanced techniques like accessibility, hacks, and filters. The book concludes with a case study, and features a CSS reference section that allows you to look up required syntax as quickly as possible.

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.

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.

Any programmer working in a dynamically typed language will tell you how hard it is to scale that language to more lines of code and to more engineers. That's why Facebook, Google, and Microsoft invented gradual static type layers for their dynamically typed JavaScript and Python code. TypeScript is one such type layer, and does something unique among them: it makes programming fun with its powerful, modern, static type system. With this book, programmers who understand JavaScript at an intermediate level will learn how to master the TypeScript language. You'll understand how TypeScript can help you get rid of bugs in your code, scale your code across 10x more engineers, and make programming fun again.

Pro XML Development with Java Technology has been written to help you, the professional Java developer who needs a practical hands-on guide to marrying these technologies together effectively. There are a lot of books out there, but none really explore the combination deeply, and they are largely theoretical. The main objective here was to consolidate the theory and practice of XML and Java technologies in a single, up-to-date source, that is firmly grounded in underlying XML concepts, and can be consulted time and again to rapidly speed up enterprise application development It covers all the essential XML topics, including XML Schemas, addressing of XML documents through XPath, transformation of XML documents using XSLT stylesheets, storage and retrieval of XML content in native XML and relational databases, web applications based on Ajax, and SOAP/HTTP and WSDL based Web Services.

If you're a Java developer already versed in Ajax-style programming, and you want to take your knowledge to the next level, then this is the book for you. Practical Ajax Projects with Java Technology provides the ultimate learn-by-example experience, featuring seven complete example applications for you to learn from and then adapt for use in your own projects. During each application, the author will lead you through the planning, design, and implementation stages. The book begins with a few quick chapters to recap Ajax basics and build up a complete development environment, and then moves on to the applications. The seven applications are diverse: an auto-complete application, an Ajax game, a two-way chat application, a webmail client, an RSS aggregator, an online calendaring/scheduling system, and a Flickr-style photo gallery application.

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.

Written by acclaimed Java industry expert Zukowski, this is the first book that covers the latest updates and additions to Java 6 SE. It also details new APIs like JDBC 4, multi-Java scripting language support, annotation refinement, and much more.

"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.

"Ajax and REST Recipes: A Problem-Solution Approach" will serve all of your Ajax needs, by providing adaptable solutions for common tasks you'll want to implement on web sites using the next generation of Ajax and REST techniques. As a JavaScript developer, your time is precious, so you'll want to solve problems that present themselves in your work as quickly as possible. You can pick up the code provided in this book, adapt it, or plug it straight into your own applications.

The book mainly focuses on illustrating and explaining how to build applications that use JavaScript, Ajax, and REST Web Services, along with some user interface issues. Specifically, the following topics are covered: implementing JavaScript unit tests, explaining the intent of dynamic languages, Web Services and service-oriented architecture (SOA), defining and implementing contracts using REST, understanding why JavaScript functions have state; implementing JavaScript "Generics," which are a mixture between real Generics and a replacement algorithm, using code blocks, using functions to make decisions, understanding the difference of JavaScript code that behaves like a value type or a reference type, implementing proxies, delegates, mixins, and overloaded functions, implementing a complete Ajax and Web Service architecture, defining a Web Service using REST, handling large or slow or real-time data sets, implementing shopping cart type architectures, and solving the back button problem using Ajax.

Having read this book, you will have learned to modularize your web application by decoupling the client from the server. The decoupling allows a client developer to focus on writing the best JavaScript and Ajax code, and a server developer to write the best business and data objects.

This book explores Apache Geronimo, the open source lightweight J2EE/Java EE 5 Web application server. Geronimo's GBeans enable one to deploy sophisticated server-side enterprise Java applications and perform special enterprise-level Java development for transactional support. This title is a must-have because it is one of the first to cover Apache Geronimo in such detail.

"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.

EJB 3.0 sets a precedent. It has made huge advances in ease of development, and its drastically simplified programming model has been widely acclaimed.

-->Mike Keith-->, EJB 3.0 co-specification lead, and -->Merrick Schinariol-->, reviewer of EJB 3.0, offer unparalleled insight and expertise on the EJB 3.0 persistence specification, in this definitive guide to EJB 3.0 persistence technology. Expect full coverage and examination of the EJB 3.0 spec from these expert authors, including: The EntityManager API The new features of EJB Query Language (EJB QL) Basic and advanced object-relational mapping Advanced topics like concurrency, locking, inheritance, and polymorphism

Assuming a basic knowledge of Java, SQL, JDBC, and some J2EE experience, Keith and -->Schinariol--> will teach you EJB 3.0 persistence from the ground up. After reading it, you will have an in-depth understanding of the EJB 3.0 persistence API and how to use it in your applications.

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.

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

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.

"Beginning POJOs" introduces you to open source lightweight web development using Plain Old Java Objects (POJOs) and the tools and frameworks that enable this. Tier by tier, this book guides you through the construction of complex but lightweight enterprise Java-based web applications. Such applications are centered around several major open source lightweight frameworks, including Spring, Hibernate, Tapestry, and JBoss (including the new lightweight JBoss Seam).

Additional support comes from the most successful and prevalent open-source tools: Eclipse and Ant, and the increasingly popular TestNG. This book is ideal if you're new to open source and lightweight Java. You'll learn how to build a complete enterprise Java-based web application from scratch, and how to integrate the different open source frameworks to achieve this goal. You'll also learn techniques for rapidly developing such applications.

"Pro JSF and Ajax" shows you how to leverage the full potential of JavaServer Faces (JSF) and Ajax. This is not an entry-level tutorial, but a book about building Ajax-enabled JSF components for sophisticated, enterprise-level rich Internet applications. Written by JSF experts and verified by established community figures including Adam Winer (member of the JSF Expert Group, Java Champion), Kito D. Mann (JSFCentral.com and JSF in Action), and Matthias Wessendorf (MyFaces), this JSF 5-compatible book provides reliable and groundbreaking JSF components to help you exploit the power of JSF in your Java web applications.

This book provides a blueprint for building custom JSFuser interfacecomponents and shows how to leverage the best browser technologies, such as Ajax, Mozilla XUL and Microsoft HTC, to deliver rich Internet applications.

This book covers standard best practices for behavioral and renderer-specific component classes, renderers, events and event listeners, and JSP tag handlers for each. It also covers advanced techniques such as dynamic content type negotiation, JAR-based resource delivery, and dynamic render kit selection.

Foreword

"Does the world really and truly need another JavaServer Faces book?

I was fairly well convinced the answer could only be a resounding 'no ' After all, there's a good half dozen books out in stores today, by a whole host of web luminaries, and I've even personally helped as a technical reviewer on half of those. So what more could really be said on the subject?

But when I thought about this a bit more, it became clear that all of these books only go so far. They'll show you how to use what JSF gives you out of the box, throw you a bone for writing your own components and renderers, maybe even a bit more. But none that I've seen get to the heart of why JSF is really and truly cool and important technology; they make JSF look like YAMVCF (Yet Another Model-View-Controller Framework) for HTMLmore powerful here and there, easier to use in many places, a bit harder to use in others, but really nothing major. And certainly nothing that takes us beyond the dull basics of building ordinary-looking web applications.

This book goes a lot further. It'll cover the basics, of course, and show you how to build components, but then it keeps going: on to AJAX, on to HTC, on to XULand how you can wrap this alphabet soup up underneath the heart of JSF, its component model, and how you can leverage it to finally develop web applications that don't need radical re-architecting every time the winds of client technologies blow in a different direction. Along the way, you'll learn a wide array of open source toolkits that make web magic practical even when you're not a Javascript guru.

So, heck, I'm convinced. The world does need another JSF book."

Adam Winer, Architect, ADF Faces, JSF Expert Group Member, and Java Champion. (From the Foreword) Table of Contents The Foundation of JSF: Components Defining the Date Field Component Defining the Deck Component Using Rich Internet Technologies Loading Resources with Weblets Ajax Enabling the Deck Component Ajax Enabling the Date Field Component Providing Mozilla XUL Renderers Providing Microsoft HTC Renderers Switching RenderKits Dynamically

* 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.

RuleML 2005 was the ?rst international conference on rules and rule markup languages for the Semantic Web, held in conjunction with the International Semantic Web C- ference (ISWC) at Galway, Ireland. With the success of the RuleML workshop series came the need for extended research and applications topics organized in a conference format. RuleML 2005 also accommodated the ?rst Workshop on OWL: Experiences and Directions. Rules are widely recognized to be a major part of the frontier of the Semantic Web, and critical to the early adoption and applications of knowledge-based techniques in- business, especially enterprise integration and B2B e-commerce. This includes kno- edge representation (KR) theory and algorithms; markup languages based on such KR; engines, translators, and other tools; relationships to standardization efforts; and, not least, applications. Interest and activity in the area of rules for the Semantic Web has grown rapidly over the last ?ve years. The RuleML 2005 Conference was aimed to be this year's premiere scienti?c conference on the topic. It continued in topic, leadership, and collaboration with the previous series of three highly successful annual inter- tional workshops (RuleML 2004, RuleML 2003 and RuleML 2002). The theme for RuleML 2005 was rule languages for reactive and proactive rules, complex event p- cessing, and event-driven rules, to support the emergence of Semantic Web applications. Special highlights of the RuleML 2005 conference included the keynote address by Sir Tim Berners- Lee, Director of W3C.

The primary goal of this book is to demonstrate Visual Web Developer 2005 Expresss effectiveness when developing applications. The secondary goal is to examine how coding best-practices can be applied with this new product. "Beginning Visual Web Developer 2005 Express" provides a rigorous overview of the application: how it operates, how it compares to the other versions of Visual Studio .NET 2005 now available, and the best way to use it.

The authors demonstrate techniques and concepts that you need to build working ASP.NET 2.0 applications. They use real applications based on VWDs Personal Web Starter Kit. They also compare and contrast VWD and VS .NET, and discuss how to overcome difficulties when moving from one to the other. The books practical and goal-oriented discussion helps you maximize VWD Express as quickly as possible. This book does not assume any prior coding knowledge, so hobbyists and students alike will be able to glean valuable information from it.

You already know how crucial certification is within the Java community. "SCJD Exam with J2SE 5, Second Edition" is a valuable guide to prepare for the exam.

This book has been updated for the new Java version, J2SE 5.0, and works its way through a project with requirements and structure similar to the project you'll encounter in the exam. Upon reading this book, you'll become intimately familiar with key concepts, challenges, and pitfalls that the exam is likely to test you on. Table of Contents Introduction Project Analysis and Design Project Overview Threading The DvdDatabase Class Networking with RMI Networking with Sockets The Graphical User Interfaces