Windows Workflow Foundation is part of a bundle of new products that update .NET 2.0 into .NET 3.0. This book is one of the first to cover this important addition to .NET, and aims to provide the reader with a solid grounding in how workflows are implemented, executed, maintained and customized. By comprehensively covering WF from setup through implementation to customization readers are given a 'one stop' grounding in the subject. Given the importance of this technology release, the fact that WF is a free add-on, and the book's broad appeal, it will be useful to almost all existing or migrating .NET 2.0 developers.

The Machas come a long way, and OS X Lion is thebest version yet of Apple's desktop and laptop operating system. Stable, powerful, and versatile, the Mac allows you to do everyday tasks with ease. Taking Your OS X Lionto the Max walks you through the awesomefeatures and apps standard on theMac and the new OS X 10.7 Lion to help you become a true power user.You'll discover keyboard shortcuts and gestures to help save timewhether you're on a iMac, Mac mini, Macbook Pro, Air, or other Mac computer. In terms of apps, you'll learn about iLife, iCal, Mail, Mac App Store, Safari, Address Book and more. You'll see how to use amazing built-in applications like Time Machine, Photo Booth, and Front Row. Also, you'll learn how connectto your other Apple devices like iPhone or iPad, Apple TV and more.You'll sync, work and play remotely, file and screen share, make your Mac secure, or even make your Mac a Windows PC. What you'll learn Fully leverage the newest OS X desktop operating system Features and apps that are standard to OS X Keyboard shortcuts Gestures that help you save time Use built in OS X apps like Time Machine, Photo Booth and Front Row Download and fully utilize the Mac App Store Configure and network your Mac Connect to your iPhone, iPod touch, iPad and more Who this book is for

This book is for those who want or need to take full advantage of all of the features of their Mac--whether it's a desktop or laptop. Table of Contents Finder Basics File Management Mac App Store Managing Your Data: AutoSave and Versions Controlling your Mac Controlling your Mac: Mission Control, Dashboard Built-in-apps: Mail Built-in-apps: iCal and Address Book Browsing the Web with Safari Communicating in Real-Time with iChat and FaceTime System Preferences Lion Server

So you have your brand new Mac, or perhaps you've upgraded to Lion on an existing desktop or laptop. Now whatOS X Lion Made Simple will guide you through all of the new features of Lion, as well as provide a thorough tour of the features and applications that are OS X standards. You'll discover how to make the most of features like Spotlight, Stacks, and Air Drop, and you'll see how to get the newest version of Mail working exactly the way you want it to. What you'll learn A look at a day in the life of a Mac user New features in OS X Lion How to work with documents in Lion How to work with photo and video files Finding the fun in your iLife Customizing your Lion environment Who this book is for

Whether you are new to Macs or just to Lion, this book will give you exactly what you need to make the most of OS X Lion. Table of Contents You and Your Lion Getting Around in Lion Lion Applications and Shortcuts Making iWork Work Using the Mac App Store Finding Life in iLife Games and Other Essential Utilities It's a Jungle in Here: Safari and the Internet Mail and Other Ways to Say Hello Keeping Things Safe: Time Machine and Security Automating Tasks and Customizing Lion

Have you ever spent hours coding workflow for your applications? If so, the new Microsoft Windows Workflow Foundation (WF) technology will make your life easier. "Foundations of WF: An Introduction to Windows Workflow Foundation" introduces you to using Visual Studio 2005 and the Windows Workflow Foundation (part of Windows Vista) to create workflow packages. The book begins by giving you an overview of Windows Workflow Foundation. Then it introduces and shows examples of the various types of workflow that can be created.

You'll discover the power of WF. You'll learn about all the prebuild activities you can include in your workflow, along with how to create your own activities. WF is fully extensible and allows you an unlimited number of options for your workflow. You'll also learn how to use workflow activities to retrieve data, and finally, how to tie an ASP.NET application with a workflow built in WF.

This book, unlike most of the Microsoft WF samples, has code in both Visual Basic .NET and C#. All the examplesand there are manyhave VB .NET code, and many have the accompanying C# code. This book will allow you to begin creating new workflow applications easily in either VB .NET or C#. Each chapter includes an introduction to one or more activities that make up WF, along with examples of how to use each activity. Many chapters include a final section providing a real world example (a purchase order system). This book will have you using WF to create workflow applications with VB .NET or C# in a short amount of time.

Today's .NET developers are intrigued by what the iPhone and iPad apps landscape has to offer. Admit it: you're one of them. Apple's App Store has hundreds of thousands of apps, and yours can be among them. iPhone and iPad app development using the iOS software development kit is one of the most appealing environments available for mobile technology. Migrating to iPhone and iPad for .NET Developers helps .NET programmers get started creating iPhone and iPad apps using the iOS software development kit. Start with a crash course on development using iOS. Then, find out whether you want to use Xcode instead of Visual Studio, and prepare yourself for the migration from C# to Objective-C You'll learn how your existing .NET skills can map most efficiently to the iOS development environment. Next, you'll really get coding with Objective-C and the iOS software development kit. You'll build your skills and enhance your apps with visually appealing, dynamic user interfaces and pushing/pulling data from a database though events and more. Discover the wonders of the Cocoa library, and learn new ways to do things you already know like the back of your hand in the .NET environment. Nearing the finish line, you'll build your first complete iPhone or iPad app, and extend your iPhone app features - for example, by using third-party libraries. Once you have created that first iPhone or iPad app, we'll walk you through making it available on the App Store. Migrating to iPhone and iPad for .NET Developers even offers tips on how to market your apps to new customers. When you finish reading Migrating to iPhone and iPad for .NET Developers, you'll be an iOS apps developer as well as a .NET developer, in today's competitive and fun mobile landscape What you'll learn * How to efficiently and quickly migrate your skills from .NET to Apple iOS for iPhone, iPad and iPod touch * How to set up and start coding with the iOS software development kit, Xcode and other Apple iOS and Mac tools * How to enhance your app with a dynamic user interface * How to store and retrieve data and configure your apps * How to de-bug and test your apps in the iOS environment * How to publish your first app on Apple's App Store Who this book is for If you're a Windows or .NET programmer who wants to get into iPhone or iPad apps development for the very first time, this book is for you Table of Contents * Get Set Up: Development on Apple's Tools and Platforms * Jump In: A Crash Course on Development Using the iOS SDK * Understand Your Options: Using Third-Party Solutions and MonoTouch * Going Deeper: .NET, Objective-C and the iOS SDK * Get to Work: Creating Your First Application * Build Your Skills: Enhancing Your Application with a Dynamic User Interface * Get the Data: Storing and Retrieving Data & Configuring Your Applications * Extend Your Apps: Extending Your iOS Application with Third Party Libraries * Get Published: Testing, Deploying and Distributing Your Applications * Extend Your Skills: Advanced Features A. Completing the Lunar Lander Application

This book will give you a thorough grounding in the principal and supporting tools and technologies that make up the Xcode developer tools suite. Apple has provided a comprehensive collection of developer tools, and this is the first book to examine the complete Apple programming environment for both Mac OS X and iPhone.Comprehensive coverage of all the Xcode developer tools Additional coverage of useful third-party development tools Not just a survey of features, but a serious examination of the complete development process for Mac OS X and iPhone applications What you'll learn The book is holistic, providing a comprehensive sweep across the available development tools. The book is structured, taking a logical and progressive journey from the basics to a firm understanding of the purposes, benefits, and limitations of each component of Xcode's developer tools. The tone is friendly and accessiblewe wouldn't have it any other way. The book fills a nichethere is no other single book that focuses on this collection of developer tools. Who this book is for

All Mac OS X and iPhone developers who want to develop applications more efficiently by taking advantage of all the tools Apple offers in its Xcode suite, as well as many indispensable third-party tools. Table of Contents Introducing Xcode Tools for Mac OS X and the iPhone Introducing the Xcode Workspace 9 Interface Builder Core iPhone Tools Frameworks in Xcode Model-View-Controller in Xcode Debugging Your Xcode Projects Xcode Documentation Developing an Application Source-Code Management with Subversion Unit Testing in Xcode Monitoring, Analysis, and Performance Tools Support Tools for the Busy Developer Usability and Accessibility Packaging and Distribution

Windows Presentation Foundation is a cutting-edge presentation framework for creating high-fidelity applications for Windows Vista and Windows XP. WPF is a composite technology with a noteworthy graphics engine that gives you more control over your applications screen output than has ever been possible in Windows before. New control frameworks and a new XML-based markup language, XAML, complete the core WPF package. On top of this, WPF can be linked to the new Microsoft Expression Suite to simplify the creation of your user interfaces, and it can be linked to .NET 2.0 to handle complex business logic.

"Foundations of WPF: An Introduction to Windows Presentation Foundation" teaches you everything you need to get started with the technology, and is broken into three parts. The first introduces and contextualizes the WPF technology; the second part dives deeper into the facets of the technology that are of immediate and valuable use in developing applications; the last part offers you the real-world perspective you need to be productive in the community and customer base. In summary, this book: Explains how WPF interoperates with myriad new ancillary and support technologies being released by Microsoft (XAML, WCF, WinFX, and the Expression Design Suite) Gets you up and running, building applications for the new Windows Vista as quickly as possible Separates design and implementation to make life easier from a business and development perspective

The Small-to-Medium Enterprise (SME) marketplace is the least supported of all businesses with regards to Information Technology. These are not home users (for whom there is an extremely supportive publishing industry) and they are not large enterprise customers who have a dedicated set of 'expert' publishing companies producing professional guides for every conceivable piece of IT. This is where this book comes in. It gives a no-nonsense insight into exactly what to do with Microsoft's Small Business Server, making it easy for the SME owner to set up and configure a fully operational IT infrastructure with no hassle.

Microsoft Operations Manager (MOM) allows administrators to troubleshoot - and prevent - problems in Microsoft server networks. The text offers everything from a review of MOM 2005 architecture and internals to planning and deployment guidelines, advanced troubleshooting, and integration with popular management frameworks like Tivoli. Appendices include custom upgrade guides. The approach is strictly practical and real-world, based on the authors' own experience. The book is written for an audience familiar with MOM but not expert at administering it. The solutions and troubleshooting tips are concise, and to the point. The chapters are standalone and can be referenced in any order.

Mac OS X Snow Leopard for Power Users: Advanced Capabilities and Techniques is for Mac OS X users who want to go beyond the obvious, the standard, and the easy. If want to dig deeper into Mac OS X and maximize your skills and productivity using the world's slickest and most elegant operating system, then this is the book for you. Written by Scott Granneman, an experienced teacher, developer, and consultant, Mac OS X for Power Users helps you push Mac OS X to the max, unveiling advanced techniques and options that you may have not known even existed. Create custom workflows and apps with Automator, run Windows programs and even Windows itself without dual-booting, and sync data on your hard drive, on your phone, and in the cloud-learn all of these techniques and more. This is not a book that talks down to you; Mac OS X for Power Users is an essential book for experienced Mac users who are smart enough to know there is more to be known, and are ready to become power users.

Prepare for the future of Microsoft automation with this no-nonsense guide

Windows PowerShell 2 is the scripting language that enables automation within the Windows operating system. Packed with powerful new features, this latest version is complex, and "Windows PowerShell 2 For Dummies" is the perfect guide to help system administrators get up to speed.

Written by a Microsoft MVP with direct access to the program managers and developers, this book covers every new feature of Windows PowerShell 2 in a friendly, easy-to-follow format.Windows PowerShell 2 is the updated scripting language that enables system administrators to automate Windows operating systemsSystem administrators with limited scripting experience will find this book helps them learn the fundamentals of Windows PowerShell 2 quickly and easilyTranslates the jargon and complex syntax of Windows PowerShell 2 Covers script debugging improvements, the ability to invoke commands remotely, and the new user interfaceUses real-world applications to clarify the theory, fundamentals, and techniques of the scripting languageWritten by a Microsoft MVP with direct access to the developers of Windows PowerShell 2

"Windows PowerShell 2 For Dummies" makes this tool easily accessible to administrators of every experience level.

Innovations are adopted when users integrate them in meaningful ways into existing social practices. Histories of major technological innovations show that often the creative initiative of users and user communities becomes the determining factor in the evolution of particular innovations. The evolutionary routes of the telephone, the Internet, the World Wide Web, email, and the Linux operating system all took their developers by surprise. Articulation of these technologies as meaningful products and systems was made possible by innovative users and unintended resources. Iterative and interactive models have replaced the traditional linear model of innovation during the last decade. Yet, heroic innovators and entrepreneurs, unambiguous functionality of products, and a focus on the up-stream aspects of innovation still underlie much discussion on innovation, intellectual property rights, technology policy, and product development. Coherent conceptual, theoretical and practical conclusions from research on knowledge creation, theory of learning, history of technology, and the social basis of innovative change have rarely been made. This book argues that innovation is about creating meaning; that it is inherently social; and is grounded in existing social practices. To understand the social basis of innovation and technology development we have to move beyond the traditional product-centric view on innovations. Integrating concepts from several disciplinary perspectives and detailed analyses of the evolution of Internet-related innovations, including packet-switched computer networks, World Wide Web, and the Linux open source operating system, the book develops foundations for a new theoretical and practical understanding of innovation. For example, it shows that innovative development can occur in two qualitatively different ways, one based on evolving specialization and the other based on recombination of existing socially produced resources. The expanding communication and collaboration networks have increased the importance of the recombinatory mode making mobility of resources, sociotechnical translation mechanisms, and meaning creation in communities of practice increasingly important for innovation research and product development.

With Leopard, Apple has unleashed the greatest version of Mac OS X yet, and David Pogue is back with another meticulous Missing Manual to cover the operating system with a wealth of detail. The new Mac OS X 10.5, better known as Leopard, is faster than its predecessors, but nothing's too fast for Pogue and this Missing Manual. It's just one of reasons this is the most popular computer book of all time. Mac OS X: The Missing Manual, Leopard Edition is the authoritative book for Mac users of all technical levels and experience. If you're new to the Mac, this book gives you a crystal-clear, jargon-free introduction to the Dock, the Mac OS X folder structure, and the Mail application. There are also mini-manuals on iLife applications such as iMovie, iDVD, and iPhoto, and a tutorial for Safari, Mac's web browser. This Missing Manual is amusing and fun to read, but Pogue doesn't take his subject lightly. Which new Leopard features work well and which do not? What should you look for? What should you avoid? Mac OS X: The Missing Manual, Leopard Edition offers an objective and straightforward instruction for using: * Leopard's totally revamped Finder * Spaces to group your windows and organize your Mac tasks * Quick Look to view files before you open them * The Time Machine, Leopard's new backup feature * Spotlight to search for and find anything in your Mac * Front Row, a new way to enjoy music, photos, and videos * Enhanced Parental Controls that come with Leopard * Quick tips for setting up and configuring your Mac to make it your own There's something new on practically every page of this new edition, and David Pogue brings his celebrated wit and expertise to every one of them. Mac's brought a new cat to town and Mac OS X: The Missing Manual, Leopard Edition is a great new way to tame it.

Bringing together the results of more than 300 new design studies, an understanding of people, knowledge of hardware and software capabilities, and the author's practical experience gained from 45 years of work with display-based systems, this book addresses interface and screen design from the user's perspective. You will learn how to create an effective design methodology, design and organize screens and Web pages that encourage efficient comprehension and execution, and create screen icons and graphics that make displays easier and more comfortable to use.

Linux-based operating systems are extremely powerful and flexible, but unlocking that power and flexibility requires knowledge and understanding of how the systems work. "Tuning and Customizing a Linux System" goes beyond the mere basics of using and administrating Linux systemsit covers how the systems are "designed." Through detailed analyses of popular Linux distributions, real-world case studies, and example configurations and administration tasks, you will come away with a genuine mastery of Linux-based operating systems (as well as Unix-like systems in general).

"Tuning and Customizing a Linux System" is geared toward users of Linux systems who already know the basics but aren't yet gurus. The author fills in the gaps left by other books, creating a bridge from the basic "how to" to the plane of true mastery. You'll find detailed examples of what a Linux distribution actually consists of, and youll explore explore three popular distributions in detail, learning useful techniques along the way. This comprehensive guide provides you with a complete, practical understanding of what's going on under the covers.

Allgegenwartige, in den Hintergrund tretende Informationstechniken konnten den Menschen in allen Lebensbereichen bei der Arbeit, beim Einkaufen, beim Reisen und zu Hause unbemerkt und mitdenkend" unterstutzen. Eine solche Entwicklung bietet nicht nur die Vision, intellektuelle und physische Begrenzungen des Menschen zu uberwinden, sondern auch viele neue Herausforderungen fur bisherige Werte und Lebensweisen. Daher drangt sich die Frage auf, wie wir angesichts dieser Moglichkeiten kunftig leben wollen und wie wir die vor uns stehenden Entwicklungen beeinflussen konnen. Das Buch beschreibt diese Entwicklungen, ihre moglichen wirtschaftlichen und gesellschaftlichen Folgen sowie ihre Auswirkungen auf das Weltbild und das Selbstbild der Menschen und es analysiert die Moglichkeiten, diese Entwicklungen gestaltend zu beeinflussen."

The full transcript of Software Diagnostics Services (former Memory Dump Analysis Services) training with 12 step-by-step exercises. Learn how to analyse app crashes and freezes, navigate through process core memory dump space and diagnose corruption, memory leaks, CPU spikes, blocked threads, deadlocks, wait chains, and much more. We use a unique and innovative pattern-driven analysis approach to speed up the learning curve. The training consists of practical step-by-step exercises using GDB and LLDB debuggers highlighting more than 30 memory analysis patterns diagnosed in 64-bit process core memory dumps. The training also includes source code of modelling applications written in Xcode environment, a catalogue of relevant patterns from Software Diagnostics Institute, and an overview of relevant similarities and differences between Windows and Mac OS X user space memory dump analysis useful for engineers with Wintel background. Audience: Software technical support and escalation engineers, system administrators, software developers, security professionals and quality assurance engineers.

Evolve your traditional intranet platform into a next-generation digital workspace with this comprehensive book. Through in-depth coverage of strategies, methods, and case studies, you will learn how to design and build an employee experience platform (EXP) for improved employee productivity, engagement, and collaboration. In Build a Next-Generation Digital Workplace, author Shailesh Kumar Shivakumar takes you through the advantages of EXPs and shows you how to successfully implement one in your organization. This book provides extensive coverage of topics such as EXP design, user experience, content strategy, integration, EXP development, collaboration, and EXP governance. Real-world case studies are also presented to explore practical applications. Employee experience platforms play a vital role in engaging, empowering, and retaining the employees of an organization. Next-generation workplaces demand constant innovation and responsiveness, and this book readies you to fulfill that need with an employee experience platform. You will: Understand key design elements of EXP, including the visual design, EXP strategy, EXP transformation themes, information architecture, and navigation design. Gain insights into end-to-end EXP topics needed to successfully design, implement, and maintain next-generation digital workplace platforms. Study methods used in the EXP lifecycle, such as requirements and design, development, governance, and maintenance Execute the main steps involved in digital transformation of legacy intranet platforms to EXP. Discover emerging trends in digital workplace such as gamification, machine-led operations model and maintenance model, employee-centric design (including persona based design and employee journey mapping), cloud transformation, and design transformation. Comprehend proven methods for legacy Intranet modernization, collaboration, solution validation, migration, and more. Who This Book Is For Digital enthusiasts, web developers, digital architects, program managers, and more.

Ten minibooks in one get you thoroughly caught up on Windows 8.1! With new improvements and changes, Windows 8.1 offers a refreshed user interface, better integration between the new and traditional Windows interfaces, and more. This updated top-selling guide is what you need to get up to speed on everything Windows 8.1. Nine minibooks in one cover such essential topics as navigating the new Start Screen, understanding Windows 8.1 apps, securing Windows 8.1, and much more. Take the guesswork out of Windows 8.1 from day one with this complete, all-in-one resource. * Helps you get up to speed on the Windows 8.1 operating system, including its Start Screen, which is a feature sure to please traditional Windows users * Provides top-notch guidance from trusted and well-known Windows expert and author Woody Leonhard * Covers Windows 8.1 inside and out, including how to customize the Start screen, manage apps, and control privacy * Delves into core Windows 8.1 apps such as e-mail, people, and SkyDrive * Shows you how to connect online, add hardware, back up and update, and secure Windows 8.1 Discover new improvements, old favorites, and everything in between with Windows 8.1 All-in-One For Dummies.

Find out about TCP/IP-based network attack methods and threats to Windows NT/2000 computers and the preventive measures you can use to protect your infrastructure.
Bulletproofing TCP/IP-based Windows NT/2000 Networks details the use of router access lists, firewalls, virus scanners and encryption. It includes examples of the configuration of hardware and software to prevent or minimize the effect of a wide range of communications-based attacks against TCP/IP networks and Windows NT/2000 hosts connected to such networks.

• Covers how TCP/IP operates and how TCP/IP attacks occur.
• Detailed coverage on how to secure both TCP/IP networks and the Windows NT/2000 host on such networks against different attack methods.
• Describes a new attack method, 'script-form attack', which could cause a company financial problems, and its prevention.
• Uses practical real-world examples of methods used to block potential attacks.

Whether you use a standalone Unix system, routinely provide administrative support for a larger shared system, or just want an understanding of basic administrative functions, Essential System Administration is for you. This comprehensive and invaluable book combines the author's years of practical experience with technical expertise to help you manage Unix systems as productively and painlessly as possible.

The Most Useful Tutorial and Reference, with Hundreds of High-Quality Examples for Every Popular Linux Distribution "First Sobell taught people how to use Linux . . . now he teaches you the power of Linux. A must-have book for anyone who wants to take Linux to the next level." -Jon "maddog" Hall, Executive Director, Linux International Discover the Power of Linux--Covers macOS, too! Learn from hundreds of realistic, high-quality examples, and become a true command-line guru Covers MariaDB, DNF, and Python 3 300+ page reference section covers 102 utilities, including macOS commands For use with all popular versions of Linux, including Ubuntu, (TM) Fedora, (TM) openSUSE, (TM) Red Hat, (R) Debian, Mageia, Mint, Arch, CentOS, and macOS Linux is today's dominant Internet server platform. System administrators and Web developers need deep Linux fluency, including expert knowledge of shells and the command line. This is the only guide with everything you need to achieve that level of Linux mastery. Renowned Linux expert Mark Sobell has brought together comprehensive, insightful guidance on the tools sysadmins, developers, and power users need most, and has created an outstanding day-to-day reference, updated with assistance from new coauthor Matthew Helmke. This title is 100 percent distribution and release agnostic. Packed with hundreds of high-quality, realistic examples, it presents Linux from the ground up: the clearest explanations and most useful information about everything from filesystems to shells, editors to utilities, and programming tools to regular expressions. Use a Mac? You'll find coverage of the macOS command line, including macOS-only tools and utilities that other Linux/UNIX titles ignore. A Practical Guide to Linux (R) Commands, Editors, and Shell Programming, Fourth Edition, is the only guide to deliver A MariaDB chapter to get you started with this ubiquitous relational database management system (RDBMS) A masterful introduction to Python for system administrators and power users In-depth coverage of the bash and tcsh shells, including a complete discussion of environment, inheritance, and process locality, plus coverage of basic and advanced shell programming Practical explanations of core utilities, from aspell to xargs, including printf and sshfs/curlftpfs, PLUS macOS-specific utilities from ditto to SetFile Expert guidance on automating remote backups using rsync Dozens of system security tips, including step-by-step walkthroughs of implementing secure communications using ssh and scp Tips and tricks for customizing the shell, including step values, sequence expressions, the eval builtin, and implicit command-line continuation High-productivity editing techniques using vim and emacs A comprehensive, 300-plus-page command reference section covering 102 utilities, including find, grep, sort, and tar Instructions for updating systems using apt-get and dnf And much more, including coverage of BitTorrent, gawk, sed, find, sort, bzip2, and regular expressions

This is the first book designed to help Windows developers decide not only which technologies to use but also how to use them. It teaches them to combine the wide variety of technologies that make up Windows DNA into effective solutions for their own enterprise application requirements. The author makes use of his long consulting experience in the client-server world to describe "best practices" that apply to building Windows DNA applications.

This book is the formal proceedings of the Eurographics Workshop on Design, Specifi cation and Verification ofInteractive Systems, DSV-IS'99, which was held at the Uni versity of Minho, Braga, Portugal from June 2 to June 4, 1999. The previous events of this series were held at Pisa, Toulouse, Namur, Granada, and Abingdon; the theme this year was "Engaging the Mind by Enriching the Senses," emphasising the importance of the interface in making interaction both effective and enjoyable. Presentations and discussions covered topics that included specification methods and their use in design, model-based tool support, task and dialogue models, distributed col laboration, and models for VR input. As in previous years, there was a strong emphasis on formal representations and modelling techniques, and their use in understanding in teraction and informing the design of artefacts. However, the aim of the workshop is to encourage an exchange of views within a broad community, and other approaches, in particular tool support for model-based design, were also represented. This book includes the papers of the two invited speakers (one as an abstract only), the fourteen full papers accepted for publication, two shorter position papers, and the reports from the working group discussions. The format of the workshop aimed to mix formal paper presentations with informal discussion sessions, with the two invited talks setting the tone for the meeting."