Language Prototyping

Language prototyping provides a means to generate language implementations automatically from high-level language definitions. This volume presents an algebraic specification approach to language prototyping, and is centered around the ASF+SDF formalism and Meta-Environment. The volume is an integrated collection of articles covering a number of case studies, and includes several chapters proposing new techniques for deriving advanced language implementations. The accompanying software is freely available.

Prototyping is an approach used in evolutionary system development. In this book, the authors show which forms of prototyping can be employed to tackle which problems. They take a look at the tools used in everyday software development with a view to determining their suitability for prototyping, and attempt to elucidate prototyping as a methodological concept. Part I of the book looks at prototyping as an approach for constructing and evaluating models. Traditional approaches and phase-oriented life cycle plans are discussed. Prototyping overcomes fundamental problems associated with life cycle plans. The authors present their own concept of evolutionary system development. Part II shows to what extent technical support of evolutionary system development is possible. Various tools for supporting prototyping are discussed and prospective trends are indicated. Criteria are listed to help the reader choose between the various development environments currently available or likely to become available in the near future. Case studies are used to illustrate how prototype construction can be integrated in software projects.

This book is intended for anyone who plans, designs and implements software systems, for anyone who is involved with quality assurance, and hence for anyone who is interested in the practicability of modern concepts, methods and tools in the software development process. The book aims at software engineers and at students with specialized interests in the area of software engineering. The reader is expected to be familiar with the fundamental concepts of software engineering. In writing the book, the authors tap years of experience in industrial projects and research work in the development of methods and tools that support the software development process. Perhaps now more than ever, the buzzword "software crisis" serves to alert us that software systems are often error-prone, that significant diffi culties arise in mastering complexity in the production of software systems, and that the acceptance and adequacy of software products is significantly lower than is the case with other technical products. The following goals have been suggested for the improvement of the software development process: • exact fulfillment of user requirements • increased reliability and robustness • greater modularity of both the development process and the product • simple and adequate operation, i. e. , better ergonomics • easy maintainability and extensibility • cost-effective portability • increased reusability of software components • reduced costs for production, operation and maintenance VI Preface Research and development work in the area of software engineering has in creased dramatically in recent years.

This monograph describes an innovative prototyping framework for data and knowledge intensive systems. The proposed approach will prove especially useful for advanced and research-oriented projects that aim to develop a traditional database perspective into fully-fledged advanced database approaches and knowledge engineering technologies. The book is organised in two parts. The first part, comprising chapters 1 to 4, provides an introduction to the concept of prototyping, to database and knowledge-based technologies, and to the main issues involved in the integration of data and knowledge engineering. The second part, comprising chapters 5 to 12, illustrates the proposed approach in technical detail. Audience: This volume will be of interest to researchers in the field of databases and knowledge engineering in general, and for software designers and knowledge engineers who aim to expand their expertise in data and knowledge intensive systems.

Learn Game Design, Prototyping, and Programming with Today’s Leading Tools: Unity™ and C# Award-winning game designer and professor Jeremy Gibson has spent the last decade teaching game design and working as an independent game developer. Over the years, his most successful students have always been those who effectively combined game design theory, concrete rapid-prototyping practices, and programming skills. Introduction to Game Design, Prototyping, and Development is the first time that all three of these disciplines have been brought together into a single book. It is a distillation of everything that Gibson has learned teaching hundreds of game designers and developers in his years at the #1 university games program in North America. It fully integrates the disciplines of game design and computer programming and helps you master the crucial practice of iterative prototyping using Unity. As the top game engine for cross-platform game development, Unity allows you to write a game once and deliver it to everything from Windows, OS X, and Linux applications to webpages and all of the most popular mobile platforms. If you want to develop games, you need strong experience with modern best practices and professional tools. There’s no substitute. There’s no shortcut. But you can get what you need in this book. COVERAGE INCLUDES In-depth tutorials for eight different game prototypes Developing new game design concepts Moving quickly from design concepts to working digital prototypes Improving your designs through rapid iteration Playtesting your games and interpreting the feedback that you receive Tuning games to get the right “game balance” and “game feel” Developing with Unity, today’s best engine for independent game development Learning C# the right way Using Agile and Scrum to efficiently organize your game design and development process Debugging your game code Getting into the highly competitive, fast-changing game industry

Effective Prototyping for Software Makers is a practical, informative resource that will help anyone—whether or not one has artistic talent, access to special tools, or programming ability—to use good prototyping style, methods, and tools to build prototypes and manage for effective prototyping. This book features a prototyping process with guidelines, templates, and worksheets; overviews and step-by-step guides for nine common prototyping techniques; an introduction with step-by-step guidelines to a variety of prototyping tools that do not require advanced artistic skills; templates and other resources used in the book available on the Web for reuse; clearly-explained concepts and guidelines; and full-color illustrations and examples from a wide variety of prototyping processes, methods, and tools. This book is an ideal resource for usability professionals and interaction designers; software developers, web application designers, web designers, information architects, information and industrial designers. * A prototyping process with guidelines, templates, and worksheets; * Overviews and step-by-step guides for 9 common prototyping techniques; * An introduction with step-by-step guidelines to a variety of prototyping tools that do not require advanced artistic skills; * Templates and other resources used in the book available on the Web for reuse; * Clearly-explained concepts and guidelines; * Full-color illustrations, and examples from a wide variety of prototyping processes, methods, and tools. * www.mkp.com/prototyping

Language prototyping provides a means to generate language implementations automatically from high-level language definitions. This volume presents an algebraic specification approach to language prototyping, and is centered around the ASF+SDF formalism and Meta-Environment. The volume is an integrated collection of articles covering a number of case studies, and includes several chapters proposing new techniques for deriving advanced language implementations. The accompanying software is freely available. Contents: PrefaceAn Overview of ASF+SDFThe Static Semantics of PascalA Kernel Object-Oriented LanguageTypechecking with Modular Error HandlingMulti-Level SpecificationsIncremental TypecheckingOrigin Tracking and Its ApplicationsSecond-Order Term Rewriting Specification of Static Semantics: An ExerciseOrigin Tracking for Higher-Order Term Rewriting Systems Readership: Software practitioners, graduate students and researchers in computer science. keywords:

"This conference will focus on the user-oriented development of information systems. Against a background of recent concepts for the implementation of distributed systems based on workstation computers, various communicational, organizational and social issues gain increasing importance in the construct ion of computer based information systems. There is an urgent need to integrate end-users and other affected groups into the development process. New strategies for system development are thus needed. " This was the beginning of the Call for Papers to the Working Conference on Prototyping. Working in the fields of user-oriented software construct ion and the analysis of communication problems between developers and users we, that is the GMD team involved in this conference and in preparing its Proceedings, sooner or later came across various new concepts to overcome the problems sketched above. Concepts focusing on the quick construct ion of an operative system such as "rapid prototyping" or concepts aiming at the human and organizational side of the development process such as "Systemeering". Even on a second look, the multitude of different approaches, terms and tools still caused confusion. But despite the differences every concept seemed to have something to do with "Prototyping". This, however, proved to be of little help to us, because the term "Prototyping" itself turned out to be quite "fuzzy". In this obviously confused situation we decided that it was time for a working con ference.