Artículos relacionados a Modelling Systems: Practical Tools and Techniques in...
Sinopsis
This book provides a remarkable new introduction to software modelling using VDM. Based on the new ISO Standard version of the VDM Specification Language, it breaks new ground by combining training with tool support suitable for a PC Windows platform. This allows the reader to develop software models, check their syntax- and type-correctness and to execute and test them.
"Sinopsis" puede pertenecer a otra edición de este libro.
Críticas
"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
Reseña del editor
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.
- EditorialCambridge University Press
- Año de publicación1998
- ISBN 10 0521623480
- ISBN 13 9780521623483
- EncuadernaciónTapa blanda
- IdiomaInglés
- Número de páginas288
EUR 4,90
EUR 5,93 gastos de envío desde Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envíoComprar nuevo
Ver este artículo
EUR 50,76
EUR 3,57 gastos de envío en Estados Unidos de America
Destinos, gastos y plazos de envíoOtras ediciones populares con el mismo título
Resultados de la búsqueda para Modelling Systems: Practical Tools and Techniques in...
Imagen de archivo
Modelling Systems: Practical Tools and Techniques in Software Development
Librería: AwesomeBooks, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Very Good. Modelling Systems: Practical Tools and Techniques in Software Development This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping. Nº de ref. del artículo: 7719-9780521623483
Gastos de envío:
EUR 5,93
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 1 disponibles
Imagen de archivo
Modelling Systems: Practical Tools and Techniques in Software Development
Librería: Bahamut Media, Reading, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Very Good. This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping. Nº de ref. del artículo: 6545-9780521623483
Gastos de envío:
EUR 8,30
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 1 disponibles
Imagen de archivo
Modelling Systems: Practical Tools and Techniques in Software Development
Publicado por
Cambridge University Press, 1998
ISBN 10: 0521623480
ISBN 13: 9780521623483
Antiguo o usado
Tapa blanda
Librería: Phatpocket Limited, Waltham Abbey, HERTS, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: Good. CD Missing. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, and may have sticker on cover, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions. Nº de ref. del artículo: Z1-G-012-01563
Gastos de envío:
EUR 12,65
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 1 disponibles
Imagen de archivo
Modelling Systems
Publicado por
Cambridge University Press CUP, 1998
ISBN 10: 0521623480
ISBN 13: 9780521623483
Nuevo
Tapa blanda
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. pp. 288. Nº de ref. del artículo: 26271023
Cantidad disponible: 1 disponibles
Imagen de archivo
Modelling Systems
Publicado por
Cambridge University Press, 1998
ISBN 10: 0521623480
ISBN 13: 9780521623483
Nuevo
Tapa blanda
Librería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. pp. 288 25 Illus. Nº de ref. del artículo: 7576944
Gastos de envío:
EUR 7,73
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 1 disponibles
Imagen de archivo
Modelling Systems
Publicado por
Cambridge University Press, 1998
ISBN 10: 0521623480
ISBN 13: 9780521623483
Nuevo
Tapa blanda
Librería: Biblios, Frankfurt am main, HESSE, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: New. pp. 288. Nº de ref. del artículo: 18271013
Gastos de envío:
EUR 9,95
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 1 disponibles
Imagen de archivo
Modelling Systems: Practical Tools and Techniques in Software Development
Publicado por
Cambridge University Press, 1998
ISBN 10: 0521623480
ISBN 13: 9780521623483
Antiguo o usado
Paperback
Librería: dsmbooks, Liverpool, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
Paperback. Condición: Like New. Like New. book. Nº de ref. del artículo: D7F7-3-M-0521623480-6
Gastos de envío:
EUR 29,73
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 1 disponibles