Executable Specifications

Download Executable Specifications full books in PDF, epub, and Kindle. Read online Executable Specifications ebook anywhere anytime directly on your device. Fast Download speed and no annoying ads. We cannot guarantee that every ebooks is available!

Executable Specifications with Scrum

Author : Mario Cardinal
Publisher : Addison-Wesley
ISBN 13 : 0132776510
Total Pages : 243 pages
Book Rating : 4.1/5 (327 download)

DOWNLOAD NOW!

Book Synopsis Executable Specifications with Scrum by : Mario Cardinal

Download or read book Executable Specifications with Scrum written by Mario Cardinal and published by Addison-Wesley. This book was released on 2013-07-11 with total page 243 pages. Available in PDF, EPUB and Kindle. Book excerpt: Most books about specifications still assume that requirements can be known up front and won’t change much during your project. In today’s “real world,” however, you must specify and build software in the face of high and continuing uncertainty. Scrum and other agile methods have evolved to reflect this reality. Now, there’s a complete guide to specifying software in agile environments when prerequisites are unclear, requirements are difficult to grasp, and anything about your project could change. Long-time agile coach and enterprise architect Mario Cardinal shows how to create executable specifications and use them to test software behavior against requirements. Cardinal shows how to trawl requirements incrementally, step-by-step, using a vision-centric and emergent iterative practice that is designed for agility. Writing for analysts, architects, developers, and managers, Cardinal makes a strong case for the iterative discovery of requirements. Then, he moves from theory to practice, fully explaining the technical mechanisms and empirical techniques you need to gain full value from executable specifications. You’ll learn to connect specifications with software under construction, link requirements to architecture, and automate requirements verification within the Scrum framework. Above all, Cardinal will help you solve the paramount challenge of software development: not only to solve the problem right, but also to solve the right problem. You will learn how to • Establish more effective agile roles for analysts and architects • Integrate and simplify the best techniques from FIT, ATDD, and BDD • Identify “core certainties” on which your project team should rely to ensure requirements discovery • Manage uncertainty by discovering stakeholder desires through short feedback loops • Specify as you go while writing small chunks of requirements • Use storyboarding and paper prototyping to improve conversations with stakeholders • Express stakeholder desires that are requirements with user stories • Refine your user stories, and plan more effective Scrum sprints • Confirm user stories by scripting behaviors with scenarios • Transform scenarios into automated tests that easily confirm your software’s expected behavior as designs emerge and specifications evolve • Ensure higher-quality software by specifying nonfunctional requirements

Specification by Example

Author : Gojko Adzic
Publisher : Simon and Schuster
ISBN 13 : 1638351368
Total Pages : 346 pages
Book Rating : 4.6/5 (383 download)

DOWNLOAD NOW!

Book Synopsis Specification by Example by : Gojko Adzic

Download or read book Specification by Example written by Gojko Adzic and published by Simon and Schuster. This book was released on 2011-06-02 with total page 346 pages. Available in PDF, EPUB and Kindle. Book excerpt: Summary Specification by Example is an emerging practice for creating software based on realistic examples, bridging the communication gap between business stakeholders and the dev teams building the software. In this book, author Gojko Adzic distills interviews with successful teams worldwide, sharing how they specify, develop, and deliver software, without defects, in short iterative delivery cycles. About the Technology Specification by Example is a collaborative method for specifying requirements and tests. Seven patterns, fully explored in this book, are key to making the method effective. The method has four main benefits: it produces living, reliable documentation; it defines expectations clearly and makes validation efficient; it reduces rework; and, above all, it assures delivery teams and business stakeholders that the software that's built is right for its purpose. About the Book This book distills from the experience of leading teams worldwide effective ways to specify, test, and deliver software in short, iterative delivery cycles. Case studies in this book range from small web startups to large financial institutions, working in many processes including XP, Scrum, and Kanban. This book is written for developers, testers, analysts, and business people working together to build great software. Purchase of the print book comes with an offer of a free PDF, ePub, and Kindle eBook from Manning. Also available is all code from the book. What's Inside Common process patterns How to avoid bad practices Fitting SBE in your process 50+ case studies =============================================== Table of Contents Part 1 Getting started Part 2 Key process patterns Part 3 Case studies Key benefits Key process patterns Living documentation Initiating the changes Deriving scope from goals Specifying collaboratively Illustrating using examples Refining the specification Automating validation without changing specifications Validating frequently Evolving a documentation system uSwitch RainStor Iowa Student Loan Sabre Airline Solutions ePlan Services Songkick Concluding thoughts

Writing Great Specifications

Author : Kamil Nicieja
Publisher : Simon and Schuster
ISBN 13 : 1638353905
Total Pages : 449 pages
Book Rating : 4.6/5 (383 download)

DOWNLOAD NOW!

Book Synopsis Writing Great Specifications by : Kamil Nicieja

Download or read book Writing Great Specifications written by Kamil Nicieja and published by Simon and Schuster. This book was released on 2017-10-25 with total page 449 pages. Available in PDF, EPUB and Kindle. Book excerpt: Summary Writing Great Specifications is an example-rich tutorial that teaches you how to write good Gherkin specification documents that take advantage of the benefits of specification by example. Foreword written by Gojko Adzic. Purchase of the print book includes a free eBook in PDF, Kindle, and ePub formats from Manning Publications. About the Technology The clearest way to communicate a software specification is to provide examples of how it should work. Turning these story-based descriptions into a well-organized dev plan is another matter. Gherkin is a human-friendly, jargon-free language for documenting a suite of examples as an executable specification. It fosters efficient collaboration between business and dev teams, and it's an excellent foundation for the specification by example (SBE) process. About the Book Writing Great Specifications teaches you how to capture executable software designs in Gherkin following the SBE method. Written for both developers and non-technical team members, this practical book starts with collecting individual feature stories and organizing them into a full, testable spec. You'll learn to choose the best scenarios, write them in a way that anyone can understand, and ensure they can be easily updated by anyone.management. What's Inside Reading and writing Gherkin Designing story-based test cases Team Collaboration Managing a suite of Gherkin documents About the Reader Primarily written for developers and architects, this book is accessible to any member of a software design team. About the Author Kamil Nicieja is a seasoned engineer, architect, and project manager with deep expertise in Gherkin and SBE. Table of contents Introduction to specification by example and Gherkin PART 1 - WRITING EXECUTABLE SPECIFICATIONS WITH EXAMPLES The specification layer and the automation layer Mastering the Given-When-Then template The basics of scenario outlines Choosing examples for scenario outlines The life cycle of executable specifications Living documentation PART 2 - MANAGING SPECIFICATION SUITES Organizing scenarios into a specification suite Refactoring features into abilities and business needs Building a domain-driven specification suite Managing large projects with bounded contexts

Safety-Critical Automotive Systems

Author : Juan R Pimentel
Publisher : SAE International
ISBN 13 : 076809710X
Total Pages : 393 pages
Book Rating : 4.7/5 (68 download)

DOWNLOAD NOW!

Book Synopsis Safety-Critical Automotive Systems by : Juan R Pimentel

Download or read book Safety-Critical Automotive Systems written by Juan R Pimentel and published by SAE International. This book was released on 2006-08-01 with total page 393 pages. Available in PDF, EPUB and Kindle. Book excerpt: Focusing on the vehicle's most important subsystems, this book features an introduction by the editor and 40 SAE technical papers from 2001-2006. The papers are organized in the following sections, which parallel the steps to be followed while building a complete final system: Introduction to Safety-Critical Automotive Systems Safety Process and Standards Requirements, Specifications, and Analysis Architectural and Design Methods and Techniques Prototyping and Target Implementation Testing, Verifications, and Validation Methods

Reuse Methodology Manual for System-On-A-Chip Designs

Author : Pierre Bricaud
Publisher : Springer Science & Business Media
ISBN 13 : 1475728875
Total Pages : 232 pages
Book Rating : 4.4/5 (757 download)

DOWNLOAD NOW!

Book Synopsis Reuse Methodology Manual for System-On-A-Chip Designs by : Pierre Bricaud

Download or read book Reuse Methodology Manual for System-On-A-Chip Designs written by Pierre Bricaud and published by Springer Science & Business Media. This book was released on 2013-03-09 with total page 232 pages. Available in PDF, EPUB and Kindle. Book excerpt: Silicon technology now allows us to build chips consisting of tens of millions of transistors. This technology promises new levels of system integration onto a single chip, but also presents significant challenges to the chip designer. As a result, many ASIC developers and silicon vendors are re-examining their design methodologies, searching for ways to make effective use of the huge numbers of gates now available. These designers see current design tools and methodologies as inadequate for developing million-gate ASICs from scratch. There is considerable pressure to keep design team size and design schedules constant while design complexities grow. Tools are not providing the productivity gains required to keep pace with the increasing gate counts available from deep submicron technology. Design reuse - the use of pre-designed and pre-verified cores - is the most promising opportunity to bridge the gap between available gate-count and designer productivity. Reuse Methodology Manual for System-On-A-Chip Designs outlines an effective methodology for creating reusable designs for use in a System-on-a-Chip (SoC) design methodology. Silicon and tool technologies move so quickly that no single methodology can provide a permanent solution to this highly dynamic problem. Instead, this manual is an attempt to capture and incrementally improve on current best practices in the industry, and to give a coherent, integrated view of the design process. From the Foreword `Synopsys and Mentor Graphics have joined forces to help make IP reuse a reality. One of the goals of our Design Reuse Partnership is to develop, demonstrate, and document a reuse-based design methodology that works. The Reuse Manual (RMM) is the result of this effort.' Aart J. de Geus, Synopsys, Inc. Walden C. Rhines, Mentor Graphics Corporation

BDD in Action, Second Edition

Author : John Ferguson Smart
Publisher : Simon and Schuster
ISBN 13 : 1638350957
Total Pages : 486 pages
Book Rating : 4.6/5 (383 download)

DOWNLOAD NOW!

Book Synopsis BDD in Action, Second Edition by : John Ferguson Smart

Download or read book BDD in Action, Second Edition written by John Ferguson Smart and published by Simon and Schuster. This book was released on 2023-06-20 with total page 486 pages. Available in PDF, EPUB and Kindle. Book excerpt: Deliver software that does what it’s supposed to do! Behavior-Driven Development guides your software projects to success with collaboration, communication techniques, and concrete requirements you can turn into automated tests. In BDD in Action, Second Edition you’ll learn how to: Implement and improve BDD practices Prioritize features from business goals Facilitate an example mapping session Write automated acceptance tests Scale up your automated acceptance tests Deliver accurate reporting and documentation Around half of all software projects fail to deliver on requirements. Behavior-Driven Development (BDD) helps make sure that yours isn’t one of them. Behavior-Driven Development in Action, Second Edition teaches you how to ensure that everyone involved in a software project—from developers to non-technical stakeholders—are in agreement on goals and objectives. It lays out the communication skills, collaborative practices, and useful automation tools that will let you seamlessly succeed with BDD. Now in its second edition, this revised bestseller has been extensively updated with new techniques for incorporating BDD into large-scale and enterprise development practices such as Agile and DevOps. Foreword by Daniel Terhorst-North. About the Technology Behavior-Driven Development is a collaborative software design technique that organizes examples of an application’s desired behavior into a concrete, testable specification. Because the BDD process gathers input from all areas of an organization, it maximizes the likelihood your software will satisfy both end users and business stakeholders. The established collaboration practices and automation strategies in this book will help you maximize the benefits of BDD for your dev team and your business clients. About the Book In BDD in Action, Second Edition, you’ll learn to seamlessly integrate BDD into your existing development process. This thoroughly revised new edition now shows how to integrate BDD with DevOps and large-scale Agile systems. Practical examples introduce cross-functional team communication skills, leading a successful requirements analysis, and how to set up automated acceptance criteria. What’s Inside How BDD positively affects teamwork, dynamics, and collaboration with stakeholders Help teams discover and analyze requirements, uncover assumptions, and reduce risks Make acceptance, integration, and unit testing more effective Automate reporting and living documentation to improve transparency About the Reader For all development teams. No experience with BDD required. Examples in Java, JavaScript, and TypeScript can be easily expressed in your chosen language. About the Author John Ferguson Smart is the creator of the Serenity BDD framework and founder of the Serenity Dojo training school. Jan Molak is the author of the Serenity/JS testing framework, Jenkins Build Monitor, and other CD and testing tools.

Requirements and Testing

Author : Subramaniam Ganesan
Publisher : SAE International
ISBN 13 : 076809674X
Total Pages : 119 pages
Book Rating : 4.7/5 (68 download)

DOWNLOAD NOW!

Book Synopsis Requirements and Testing by : Subramaniam Ganesan

Download or read book Requirements and Testing written by Subramaniam Ganesan and published by SAE International. This book was released on 2010-11-29 with total page 119 pages. Available in PDF, EPUB and Kindle. Book excerpt: Automotive systems engineering addresses the system throughout its life cycle, including requirement, specification, design, implementation, verification and validation of systems, modeling, simulation, testing, manufacturing, operation and maintenance. This book - the second in a series of four volumes on this subject - features 11 papers, published between 2000-2010, that address the challenges and importance of requirements and testing in systems engineering, stressing the use of advanced tools and approaches. Topics covered include: Creating correct requirements Requirement analysis Document management Development Management Architecture for military vehicles

Model-Based Engineering for Complex Electronic Systems

Author : Peter Wilson
Publisher : Newnes
ISBN 13 : 012385086X
Total Pages : 534 pages
Book Rating : 4.1/5 (238 download)

DOWNLOAD NOW!

Book Synopsis Model-Based Engineering for Complex Electronic Systems by : Peter Wilson

Download or read book Model-Based Engineering for Complex Electronic Systems written by Peter Wilson and published by Newnes. This book was released on 2013-03-13 with total page 534 pages. Available in PDF, EPUB and Kindle. Book excerpt: In the electronics industry today consumer demand for devices with hyper-connectivity and mobility has resulted in the development of a complete system on a chip (SoC). Using the old 'rule of thumb' design methods of the past is no longer feasible for these new complex electronic systems. To develop highly successful systems that meet the requirements and quality expectations of customers, engineers now need to use a rigorous, model-based approach in their designs. This book provides the definitive guide to the techniques, methods and technologies for electronic systems engineers, embedded systems engineers, and hardware and software engineers to carry out model- based electronic system design, as well as for students of IC systems design. Based on the authors' considerable industrial experience, the book shows how to implement the methods in the context of integrated circuit design flows. - Complete guide to methods, techniques and technologies of model-based engineering design for developing robust electronic systems - Written by world experts in model-based design who have considerable industrial experience - Shows how to adopt the methods using numerous industrial examples in the context of integrated circuit design

FME '93: Industrial-Strength Formal Methods

Author : Jim Woodcock
Publisher : Springer Science & Business Media
ISBN 13 : 9783540566625
Total Pages : 712 pages
Book Rating : 4.5/5 (666 download)

DOWNLOAD NOW!

Book Synopsis FME '93: Industrial-Strength Formal Methods by : Jim Woodcock

Download or read book FME '93: Industrial-Strength Formal Methods written by Jim Woodcock and published by Springer Science & Business Media. This book was released on 1993 with total page 712 pages. Available in PDF, EPUB and Kindle. Book excerpt: The last few years have borne witness to a remarkable diversity of formal methods, with applications to sequential and concurrent software, to real-time and reactive systems, and to hardware design. In that time, many theoretical problems have been tackled and solved, and many continue to be worked upon. Yet it is by the suitability of their industrial application and the extent of their usage that formal methods will ultimately be judged. This volume presents the proceedings of the first international symposium of Formal Methods Europe, FME'93. The symposium focuses on the application of industrial-strength formal methods. Authors address the difficulties of scaling their techniques up to industrial-sized problems, and their suitability in the workplace, and discuss techniques that are formal (that is, they have a mathematical basis) and that are industrially applicable. The volume has four parts: - Invited lectures, containing a lecture by Cliff B. Jones and a lecture by Antonio Cau and Willem-Paul de Roever; - Industrial usage reports, containing 6 reports; - Papers, containing 32 selected and refereedpapers; - Tool descriptions, containing 11 descriptions.

BDD in Action

Author : John Smart
Publisher : Simon and Schuster
ISBN 13 : 1638353212
Total Pages : 563 pages
Book Rating : 4.6/5 (383 download)

DOWNLOAD NOW!

Book Synopsis BDD in Action by : John Smart

Download or read book BDD in Action written by John Smart and published by Simon and Schuster. This book was released on 2014-09-29 with total page 563 pages. Available in PDF, EPUB and Kindle. Book excerpt: Summary BDD in Action teaches you the Behavior-Driven Development model and shows you how to integrate it into your existing development process. First you'll learn how to apply BDD to requirements analysis to define features that focus your development efforts on underlying business goals. Then, you'll discover how to automate acceptance criteria and use tests to guide and report on the development process. Along the way, you'll apply BDD principles at the coding level to write more maintainable and better documented code. Purchase of the print book includes a free eBook in PDF, Kindle, and ePub formats from Manning Publications. About the Technology You can't write good software if you don't understand what it's supposed to do. Behavior-Driven Development (BDD) encourages teams to use conversation and concrete examples to build up a shared understanding of how an application should work and which features really matter. With an emerging body of best practices and sophisticated new tools that assist in requirement analysis and test automation, BDD has become a hot, mainstream practice. About the Book BDD in Action teaches you BDD principles and practices and shows you how to integrate them into your existing development process, no matter what language you use. First, you'll apply BDD to requirements analysis so you can focus your development efforts on underlying business goals. Then, you'll discover how to automate acceptance criteria and use tests to guide and report on the development process. Along the way, you'll apply BDD principles at the coding level to write more maintainable and better documented code. No prior experience with BDD is required. What's Inside BDD theory and practice How BDD will affect your team BDD for acceptance, integration, and unit testing Examples in Java, .NET, JavaScript, and more Reporting and living documentation About the Author John Ferguson Smart is a specialist in BDD, automated testing, and software lifecycle development optimization. Table of Contents PART 1: FIRST STEPS Building software that makes a difference BDD—the whirlwind tour PART 2: WHAT DO I WANT? DEFINING REQUIREMENTS USING BDD Understanding the business goals: Feature Injection and related techniques Defining and illustrating features From examples to executable specifications Automating the scenarios PART 3: HOW DO I BUILD IT? CODING THE BDD WAY From executable specifications to rock-solid automated acceptance tests Automating acceptance criteria for the UI layer Automating acceptance criteria for non-UI requirements BDD and unit testing PART 4: TAKING BDD FURTHER Living Documentation: reporting and project management BDD in the build process

Design and Analysis of Algorithms:

Author : Parag Himanshu Dave
Publisher : Pearson Education India
ISBN 13 : 8131740560
Total Pages : 834 pages
Book Rating : 4.1/5 (317 download)

DOWNLOAD NOW!

Book Synopsis Design and Analysis of Algorithms: by : Parag Himanshu Dave

Download or read book Design and Analysis of Algorithms: written by Parag Himanshu Dave and published by Pearson Education India. This book was released on 1900 with total page 834 pages. Available in PDF, EPUB and Kindle. Book excerpt: Design and Analysis of Algorithms is the outcome of teaching, research and consultancy done by the authors over more than two decades. All aspects pertaining to algorithm design and algorithm analysis have been discussed over the chapters.

System Specification & Design Languages

Author : Eugenio Villar
Publisher : Springer Science & Business Media
ISBN 13 : 0306487349
Total Pages : 336 pages
Book Rating : 4.3/5 (64 download)

DOWNLOAD NOW!

Book Synopsis System Specification & Design Languages by : Eugenio Villar

Download or read book System Specification & Design Languages written by Eugenio Villar and published by Springer Science & Business Media. This book was released on 2007-05-08 with total page 336 pages. Available in PDF, EPUB and Kindle. Book excerpt: In this fourth book in the CHDL Series, a selection of the best papers presented in FDL'02 is published. System Specification and Design Languages contains outstanding research contributions in the four areas mentioned above. So, The Analog and Mixed-Signal system design contributions cover the new methodological approaches like AMS behavioral specification, mixed-signal modeling and simulation, AMS reuse and MEMs design using the new modeling languages such as VHDL-AMS, Verilog-AMS, Modelica and analog-mixed signal extensions to SystemC. UML is the de-facto standard for SW development covering the early development stages of requirement analysis and system specification. The UML-based system specification and design contributions address latest results on hot-topic areas such as system profiling, performance analysis and UML application to complex, HW/SW embedded systems and SoC design.C/C++-for HW/SW systems design is entering standard industrial design flows. Selected papers cover system modeling, system verification and SW generation. The papers from the Specification Formalisms for Proven design workshop present formal methods for system modeling and design, semantic integrity and formal languages such as ALPHA, HANDLE and B.

Formal Verification of Object-Oriented Software

Author : Bernhard Beckert
Publisher : Springer Science & Business Media
ISBN 13 : 3642180698
Total Pages : 207 pages
Book Rating : 4.6/5 (421 download)

DOWNLOAD NOW!

Book Synopsis Formal Verification of Object-Oriented Software by : Bernhard Beckert

Download or read book Formal Verification of Object-Oriented Software written by Bernhard Beckert and published by Springer Science & Business Media. This book was released on 2011-01-14 with total page 207 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2010, held in Paris, France, in June 2010 - organised by COST Action IC0701. The 11 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 21 submissions. Formal software verification has outgrown the area of academic case studies, and industry is showing serious interest. The logical next goal is the verification of industrial software products. Most programming languages used in industrial practice are object-oriented, e.g. Java, C++, or C#. FoVeOOS 2010 aimed to foster collaboration and interactions among researchers in this area.

Taxonomies for the Development and Verification of Digital Systems

Author : Brian Bailey
Publisher : Springer Science & Business Media
ISBN 13 : 0387240217
Total Pages : 195 pages
Book Rating : 4.3/5 (872 download)

DOWNLOAD NOW!

Book Synopsis Taxonomies for the Development and Verification of Digital Systems by : Brian Bailey

Download or read book Taxonomies for the Development and Verification of Digital Systems written by Brian Bailey and published by Springer Science & Business Media. This book was released on 2005-12-05 with total page 195 pages. Available in PDF, EPUB and Kindle. Book excerpt: Thorough set of definitions for the terms and models used in the creation, refinement, and verification of complex systems from the conceptual level down to its implementation Considering both the hardware and software components of the system Also covers the emerging area of platform-based design Provides both knowledge of models and terms, and understanding of these models and how they are used.

Software Product Lines: Going Beyond

Author : Jan Bosch
Publisher : Springer
ISBN 13 : 3642155790
Total Pages : 549 pages
Book Rating : 4.6/5 (421 download)

DOWNLOAD NOW!

Book Synopsis Software Product Lines: Going Beyond by : Jan Bosch

Download or read book Software Product Lines: Going Beyond written by Jan Bosch and published by Springer. This book was released on 2010-09-08 with total page 549 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume constitutes the refereed proceedings of the 14th International Software Product Line Conference, SPLC 2010, held on Jeju Island, South Korea, in September 2010.

Tests and Proofs

Author : Catherine Dubois
Publisher : Springer
ISBN 13 : 3319929941
Total Pages : 193 pages
Book Rating : 4.3/5 (199 download)

DOWNLOAD NOW!

Book Synopsis Tests and Proofs by : Catherine Dubois

Download or read book Tests and Proofs written by Catherine Dubois and published by Springer. This book was released on 2018-06-18 with total page 193 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 12th International Conference on Tests and Proofs, TAP 2018, held as part of STAF 2018, in Toulouse, France, in June 2018. The 8 regular papers, 2 short papers, 1 invited paper and 1 invited tutorial presented in this volume were carefully reviewed and selected from 18 submissions. The TAP conference promotes research in verification and formal methods that targets the interplay of proofs and testing: the advancement of techniques of each kind and their combination, with the ultimate goal of improving software and system dependability.

Logic Program Synthesis and Transformation

Author : John P. Gallagher
Publisher : Springer Science & Business Media
ISBN 13 : 9783540627180
Total Pages : 344 pages
Book Rating : 4.6/5 (271 download)

DOWNLOAD NOW!

Book Synopsis Logic Program Synthesis and Transformation by : John P. Gallagher

Download or read book Logic Program Synthesis and Transformation written by John P. Gallagher and published by Springer Science & Business Media. This book was released on 1997-03-12 with total page 344 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the strictly refereed post-workshop proceedings of the Sixth International Workshop on Logic Program Synthesis and Transformation, LOPSTR'96, held on board a ship sailing from Stockholm to Helsinki, in August 1996. The 17 revised full papers were carefully selected from a total of initially 27 submissions. The topics covered range over the areas of synthesis of programs from specifications, verification, transformation, specialization, and analysis of programs, and the use of program schemata in program development.