Books about Executables from Amazon.com

This book offers insight into a revolution in software development that will ultimately lead to automatic executable code generation directly from model specifications. Using the most widely adopted software modelling language, UML, it demonstrates the way to build robust specifications based on OMG's Model Driven Architecture (MDA). Chapters then describe the steps needed to move directly to executable code using Executable UML (XUML). The volume will be a useful reference for professionals concerned with the future of software development for medium- and large-scale projects..
Price: $72.41 [Notify me when price goes down.]

Using Executable UML (xUML), developers can build UML models that can not only be unambiguously interpreted by human readers, but can be tested and validated through actual execution, and ultimately translated directly and completely to target code. This technology offers immense potential for accelerating development projects, enhancing reliability, and reducing cost. In this book, two of the field's leading experts introduce every facet of xUML. The authors introduce Executable UML's goals, premises, and features; then drill down to explain its key elements. Along the way, readers will discover exactly how to use xUML to create software systems that can be tested even before they are coded, enabling far greater reliability at significantly lower expense. For all developers, analysts, and project managers seeking to improve software reliability, time-to-market, and value. This book will be especially valuable to real-time programmers, and to thousands of programmers who have used Shlaer-Mellor methodologies..
Price: $11.28 [Notify me when price goes down.]

In software requirements engineering, there have been very few attempts to automate the translation of a requirements document from a natural language (NL) to one of the formal-specification languages. One of the major reasons for this challenge comes from the ambiguity of the NL requirements documentation. To make a smooth transition from NL requirements to one of the formal-specification languages, a specification that can mediate these two domains of different formalism levels is required. We use Two-Level Grammar, the most NL-like specification language to construct a bridge between an NL requirements specification and a formal-specification. In addition, Contextual Natural Language Processing is employed to overcome the challenges of the ambiguity in NL. The systematic structure of Extensible Markup Language assists the automation by representing NL specifications with an improved organization, as well as explicit domain-specific knowledge. The result is a formal representation of the informal requirements in NL for prototyping and even for implementation, promoting rapid prototyping and reusability of requirements documents..
Price: $75.24 [Notify me when price goes down.]