الصفحة 7
الصفحة 7
Foundation Flex for Developers : Data-Driven Applications with PHP, ASP.NET, ColdFusion, and LCDS
Flex is a very powerful and versatile technology for creating web application front-ends. But what every good web application needs is a robust data source, be it XML, or a database. Flex is very adaptable in terms of connecting to data sources, and that is the main focus of this book. In Foundation Flex for Developers, author Sas Jacobs assumes that you've got the basics of Flex down already, and explores in detail how to create professional data-centric Flex 2 and Flex 3 applications. In the first half of the book, she starts off with a brief exploration of Flex and ActionScript 3.0, before looking at application essentials in detail—creating custom components, user and web browser interactions, binding, formatting, and validating data, debugging, and more. In the second half of the book, the focus is on connecting Flex to data sources, and covers XML, LiveCycle Data Services, PHP, ASP.NET, and ColdFusion in detail, via a series of step-by-step case studies.
Foundation Flex for Designers
All Flex applications look the same—a blue-gray background and silver-skinned components—right? 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).
Foundation Flash CS3 Video
Video is one of the most exciting features on today's Internet, with widespread adoption being made possible by advances in bandwidth and software. But simply streaming video clips to Web users is only the tip of the iceberg! Flash CS3 offers a whole host of advanced video features, allowing you to create breathtaking user experiences. And this book, the second edition of the critically-acclaimed Foundation Flash 8 Video, shows you how to make the most of video in Flash CS3. The authors start with the basics of creating video ready for use on the web using popular applications such as Windows Movie Maker and iMovie, creating FLV (Flash video) using both Flash and other applications such as Sorenson Squeeze, and importing that video into Flash.
Foundation Expression Blend 2 : Building applications in WPF and silverlight
This book shows you how to take full advantage of Blend's interface, together with and Silverlight's vastly improved designer-developer workflow, guiding you through every step of development from downloading and installing of the development environment through creating finished, functional projects. You'll learn how to create simple drawing applications with the InkCanvas, make tabbed and scrollable interfaces, as well as build fully featured media players, photo galleries, and interactive 3D designs. Each chapter discusses major WPF and Silverlight features, provides a hands-on tutorial, and explains how that feature is implemented in the real world. In the end, you will have a collection of impressive WPF and Silverlight applications that can be added to your portfolio.
Foundation ActionScript 3.0 with Flash CS3 and Flex
If you want to create exciting dynamic web sites that will amaze your online audience, then the Flash platform is a great way to go, with it's many features, including powerful graphical and sound and video capabilities. To really harness the power of Flash though, you need to make use of ActionScript to provide dynamic effects, enable user interaction, and manipulate data. ActionScript 3.0, the Flash Platform's scripting language, offers a lot of new and powerful features. ActionScript is now a full-fledged programming language, with complete object-oriented capabilities, improved event handling, sound and video support, drawing capabilities, support for regular expressions, and much more. This book covers all the essential techniques from the ground up, allowing you to get up and running quickly and easily. Starting with the fundamentals, you'll learn about using ActionScript objects, manipulating sound and video, and harnessing the power of regular expressions and XML.
Formal Techniques for Networked and Distributed Systems - FORTE 2008 ; 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings
This book constitutes the refereed proceedings of the 28th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2008, held in Tokyo, Japan, in June 2008 co-located with TestCom/FATES 2008.The 19 revised full papers and 1 revised short paper presented together with 1 invited talk were carefully reviewed and selected from 44 submissions. The papers cover new approaches, concepts and experience in the application of formal methods for the specification and verification of distributed systems and applications.
Formal techniques for distributed objects, components, and systems ; 40th IFIP WG 6.1 International conference, FORTE 2020, Held as Part of the 15th International Federated Conference on distributed computing techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings
This book constitutes the proceedings of the 40th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2020, held in Valletta, Malta, in June 2020, as part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020.*
Formal Models of Communicating Systems : Languages, Automata, and Monadic Second-Order Logic
This book studies the relationship between automata and monadic second-order logic, focusing on classes of automata that describe the concurrent behavior of distributed systems.
Formal Modeling and Analysis of Timed Systems ; 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings
This book constitutes the refereed proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2008, held in Saint Malo, France, September 2008.The 17 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 37 submissions. The papers are organized in topical sections on extensions of timed automata and semantics; timed games and logic; case studies; model-checking of probabilistic systems; verification and test; timed petri nets.
Formal Methods in Systems Biology ; 1st International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008. Proceedings
This book constitutes the refereed proceedings of the First International Workshop on Formal Methods in Systems Biology, FMSB 2008, held in Cambridge, UK, in June, 2008.The 9 revised full papers presented were carefully reviewed and selected from the workshop lectures that all were invited contributions. The purpose of this meeting was to identify techniques for the specification, development and verification of biological models. It also focused on the design of tools to execute and analyze biological models that can significantly advance our understanding of biological systems.
Formal Methods for Open Object-Based Distributed Systems ; 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings
This book constitutes the refereed proceedings of the 10th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2008, held in Oslo, Norway, in June 2008.The 14 revised full papers presented together with 1 invited lecture were carefully reviewed and selected from 35 submissions. The papers cover topcics such as semantics of object-oriented programming; formal techniques for specification, analysis, and refinement; model checking; theorem proving and deductive verification.
Formal Methods for Industrial Critical Systems ; 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers
This book constitutes the thoroughly refereed post-workshop proceedings of the 12th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2007, held in Berlin, Germany, in July 2007 - colocated with CAV 2007, the 19th International Conference on Computer Aided Verification.
Formal Methods for Computational Systems Biology ; 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures
This volume presents the set of papers accompanying the lectures of the eighth International School on Formal Methods for the Design of Computer, Com- nication, and Software Systems (SFM). This series of schools addresses the use of formal methods in computer science asaprominent approach to theri gorousdesign of computer, communication, and software systems. The main aim of the SFM series is to ofer a good spectrum of current research in foundations as well as applications of formal methods, which can be of help for graduate students and young researchers who intend to approach the feld.
Formal Methods for Components and Objects ; Vol. 4111 ; 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures
This book presents 19 revised invited keynote lectures and revised tutorial lectures given by top-researchers at the 4th International Symposium on Formal Methods for Components and Objects, FMCO 2005, held in Amsterdam, Netherlands, in November 2005. The book provides a unique combination of ideas on software engineering and formal methods that reflect the current interest in the application or development of formal methods for large scale software systems such as component-based systems and object systems.
Formal Methods for Components and Objects ; Vol. 3657 ; 3rd International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures
This book presents revised tutorial lectures given by invited speakers at the Third International Symposium on Formal Methods for Components and Objects, FMCO 2004, held in Leiden, The Netherlands, in November 2004. The 14 revised lectures by leading researchers present a comprehensive account of the potential of formal methods applied to large and complex software systems such as component-based systems and object systems. The book provides an unique combination of ideas on software engineering and formal methods that reflect the expanding body of knowledge on modern software systems.
Formal Methods for Components and Objects ; 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures
Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design.This book presents 12 revised papers submitted after the symposium by the speakers of each of the following European IST projects: the IST-FP6 project Mobius, developing the technology for establishing trust and security for the next generation of global computers; the IST-FP6 project SelfMan on self management for large-scale distributed systems based on structured overlay networks and components
Formal Methods for Components and Objects ; 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures
The book provides a unique combination of ideas on software engineering and formal methods that reflect the current interest in the application or development of formal methods for large scale software systems.
Formal Methods and Testing : An Outcome of the FORTEST Network, Revised Selected Papers
This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network - formed as a network established under UK EPSRC funding that investigated the relationships between formal (and semi-formal) methods and software testing - now being a subject group of two BCS Special Interest Groups: Formal Aspects of Computing Science (BCS FACS) and Special Interest Group in Software Testing (BCS SIGIST).
Formal Methods and Software Engineering; 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007, Proceedings
This book constitutes the refereed proceedings of the 9th International Conference on Formal Engineering Methods, ICFEM 2007, held in Boca Raton, Florida, USA, November 14-15, 2007. The papers address all current issues in formal methods and their applications in software engineering.
Formal Methods and Software Engineering ; Vol. 4260 ; 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings
This book constitutes the refereed proceedings of the 8th International Conference on Formal Engineering Methods, ICFEM 2006, held in Macao, China, in November 2006. The papers address all current issues in formal methods and their applications in software engineering.
