Modelling systems: practical tools and techniques in software development

Type Book

Rate 0.0 /5

'Modelling Systems' 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.

Details

Files

Reviews

Download

Title Statements

Full title :Modelling systems : practical tools and techniques in software development / John Fitzgerald and Peter Gorm Larsen.

Summary

Edition Statements

Publication Date:2009.
Edition:2nd ed

Publication Statements

Publisher(s):Cambridge University Press
Place of Publication:Cambridge
Language:eng
Publication Date:2009.

The Physical Object

Description:1 online resource (xvi, 288 pages) : : illustrations

Edition Identifiers

ISBN:9780511651007, 0511651007, 9780511579431, 0511579438, 9786612391330, 6612391332
oclc:ocn772457427
LC Classification:QA76.76.D47
Dewey Decimal:004

Constructing a model -- VDMTools lite -- Describing system properties using logical expressions -- The elements of a formal model -- Sets -- Sequences -- Mappings -- Recursive structures -- Validating models -- State-based modelling -- Large-scale modelling -- Using VDM in practice -- Appendix A. Language guide -- Appendix B. Solutions to exercises.

Subjects

Computer software -- Development COMPUTERS -- Computer Literacy COMPUTERS -- Computer Science COMPUTERS -- Data Processing COMPUTERS -- Hardware COMPUTERS -- Information Technology COMPUTERS -- Machine Theory COMPUTERS -- Reference Electronic books