Textbook on software modelling that comes with a CD providing tool support.
"Sinopsis" puede pertenecer a otra edición de este libro.
"This pleasant book is easy to read and convincing...a must for everyone who has to design a system and is dissatisfied with the empirical approach that led to the Year 2000 bug...an excellent introduction to a scientific approach to system design." Computing Reviews
Software is pervasive, error-prone, expensive to develop and, as an engineering medium, extraordinarily seductive. Some of the major challenges in software development lie not so much in the details of design but in gaining confidence that the software under development will actually meet its requirements. This book provides an insight into established techniques which help developers to overcome the complexity of software development by constructing models of software systems in early design stages. The analysis and testing of models allows feedback before an expensive commitment is made to detailed design and coding. Aimed at software developers in industry and university students on software engineering courses, the text provides a remarkable new introduction to modelling using a leading technology: ISO Standard VDM-SL. The text breaks new ground by combining training in modelling techniques with commercial-strength tool support on a PC Windows platform. Teaching is done by example with modelling techniques being introduced through a series of studies derived from industrial applications. At each stage the main components of the modelling technology are introduced as they are needed. The tool included with the book allows readers to check their understanding by developing their own models, validating them by syntax- and type-checking, execution and testing. The authors, who are leading authorities on the use of modelling techniques in software development, have based the book on successful material from industrial and university training courses given in North America, Europe and Asia.
"Sobre este título" puede pertenecer a otra edición de este libro.
EUR 64,49 gastos de envío desde Estados Unidos de America a España
Destinos, gastos y plazos de envíoLibrería: Bookstore Brengelman, Cincinnati, OH, Estados Unidos de America
Hardcover. Condición: As New. Hardcover without DJ, CD included. Nº de ref. del artículo: 390200
Cantidad disponible: 1 disponibles
Librería: Buchpark, Trebbin, Alemania
Condición: Sehr gut. Zustand: Sehr gut | Seiten: 288 | Sprache: Englisch | Produktart: Bücher. Nº de ref. del artículo: 38628212/202
Cantidad disponible: 2 disponibles
Librería: Books Puddle, New York, NY, Estados Unidos de America
Condición: Used. pp. 288. Nº de ref. del artículo: 262105753
Cantidad disponible: 1 disponibles
Librería: Majestic Books, Hounslow, Reino Unido
Condición: Used. pp. 288 25 Illus. Nº de ref. del artículo: 5742150
Cantidad disponible: 1 disponibles
Librería: Biblios, Frankfurt am main, HESSE, Alemania
Condición: Used. pp. 288. Nº de ref. del artículo: 182105747
Cantidad disponible: 1 disponibles