Home // PATTERNS 2011, The Third International Conferences on Pervasive Patterns and Applications // View article

Practical Math and Simulation in Software Design

Authors:
Jerry Overton

Keywords: Software Design Pattern, Practical Formal Method, POAD Theory

Abstract:
Formal verification of a software design is often much more costly than producing the design itself; and formal methods usually have limited use in real-world software design. In this work, we propose cost-effective methods – based on software design patterns – of applying mathematics and simulation to real-world software designs.

Pages: 72 to 77

Copyright: Copyright (c) IARIA, 2011

Publication date: September 25, 2011

Published in: conference

ISSN: 2308-3557

ISBN: 978-1-61208-158-8

Location: Rome, Italy

Dates: from September 25, 2011 to September 30, 2011