All-purpose | Everything Else

Validated Designs For Object-oriented Systems

by John Fitzgerald

2021-01-08 09:14:03

Compare Price
Object-oriented design methods are commonplace in computing systems development, but are often dismissed as ''boxes & arrows''. If systems developers are to gain full advantage from such methods, they should be able to achieve designs that are no... Read more

Object-oriented design methods are commonplace in computing systems development, but are often dismissed as ''boxes & arrows''. If systems developers are to gain full advantage from such methods, they should be able to achieve designs that are not merely the subject of heated argument, but can be improved by careful, rigorous & machine-supported analysis.

This book describes an object-oriented design approach that combines the benefits of abstract modelling with the analytic power of formal methods, to give designs that can be rigorously validated & assured with automated support.

Aimed at software architects, designers & developers as well as computer scientists, no prior knowledge of formal methods is assumed. The elements of functional modelling are introduced using numerous examples & exercises, industrial case studies & experience reports. Industry-strength tools support the text. Go to www.vdmbook.com to download free-of-charge VDMTools Lite, which gives the possibility to try out examples from the book

Less

Book Details

File size9.25 X 6.1 X 0 in
Print pages404
PublisherSpringer-Verlag/Sci-Tech/Trade
Publication date February 3, 2005
LanguageEnglish
ISBN9781852338817
autor-image
John Fitzgerald
Author
...

Compare Prices

Store Availability Book Format Condition Price
Indigo Books & Music In Stock Buy CAD 134.30
Indigo Books & Music In Stock Hard Cover Hard Cover Buy CAD 120.95
Indigo Books & MusicIn Stock
Format
Condition
Buy CAD 134.30
Indigo Books & MusicIn Stock
Format
Hard Cover
Condition
Hard Cover
Buy CAD 120.95
Available Discount
No Discount available

Related Books

View All
${ornaments[Math.floor(Math.random()*ornaments.length)]}
You Be You: Detox Your Life, Crush Your Limitations, and Own Your Awesome
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
We Are Not Friends (You Are Not Small)
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
Clean & Lean: 30 Days, 30 Foods, a New You!
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
Diary of an Awesome Friendly Kid: Rowley Jefferson's Journal
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
Made for Me
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
The Book Club
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
Secrets Between Us: An absolutely gripping psychological thriller
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
Twinkle, Twinkle, Little Star (Indestructibles Series)
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
The Pout-Pout Fish
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
House of Shadows: An Enthralling Historical Mystery
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
Life Will Be the Death of Me: ...And You Too!
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
The Wonderful Things You Will Be
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
Commander in Cheat: How Golf Explains Trump
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
Feed Your Best Friend Better: Easy, Nutritious Meals and Treats for Dogs
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
There Was an Old Lady Who Swallowed a Chick!
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
American Moonshot: John F. Kennedy and the Great Space Race
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
The Secret Wife: A captivating story of romance, passion and mystery
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
The Silent Woman (Cat Carlisle, Book 1)
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
Hurricane Season
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
Can't Make This Stuff Up!: Finding the Upside to Life's Downs
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
Falter: Has the Human Game Begun to Play Itself Out?
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
Row, Row, Row Your Boat (Indestructibles Series)
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
Going to School
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
Trillion Dollar Coach: The Leadership Playbook of Silicon Valley's Bill Campbell
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
Good Night, Little Blue Truck
☆ ☆ ☆ ☆ ☆

Join us and get access to all
your favourite books

Sign up for free and start exploring thousands of eBooks today.

Sign up for free

Stay in touch.

© 2026 AMPLE READS