Validated Designs for Object-oriented Systems
来源:互联网 发布:数据草堂 编辑:程序博客网 时间:2024/05/21 20:59
版权声明:原创作品,允许转载,转载时请务必以超链接形式标明文章原始出版、作者信息和本声明。否则将追究法律责任。http://blog.csdn.net/topmvp - topmvp
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
http://rapidshare.com/files/53313883/1852338814.zip
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
http://rapidshare.com/files/53313883/1852338814.zip
- Validated Designs for Object-oriented Systems
- Object-Oriented PHP for Beginners
- Objective-C——面向对象设计——OOD(Object Oriented Designs)
- Object-Oriented ActionScript For Flash 8
- A Laboratory For Teaching Object-Oriented Thinking
- Design Patterns For Object-Oriented JavaScript
- Object Oriented Basics(homework for 03)
- Conclusion for Inheritance and Object Oriented Design
- object-oriented&procedure-oriented
- ADO.NET for the Object-Oriented Programmer – Part One
- The Commercial Case For Object Oriented Software Development
- db4object - the object oriented database not only for embedded
- Coursera课程Python for everyone:Quiz: Object Oriented Programming
- Conclusion for Designs and Declarations
- Methodologies and Software Engineering for Agent Systems: The Agent-Oriented Software Engineering Ha
- Object-Oriented Game Design
- Object-Oriented Web Engineering
- Understanding Object Oriented Programming
- Professional Visual Studio 2005
- 指针数组和数组指针
- Beginning Ajax with ASP.NET
- 统计文本中各个字符出现的次数
- Microsoft Windows Server 2003 Insider Solutions
- Validated Designs for Object-oriented Systems
- Interference Analysis and Reduction for Wireless Systems
- BPEL Cookbook: Best Practices for SOA-based integration and composite applications development
- 将字符串形式输入的比特串转换为相应的十六进制表示的函数
- Practical .NET for Financial Markets
- Ubuntu Linux for Non-Geeks: A Pain-Free, Project-Based, Get-Things-Done Guidebook
- 让web应用实现无刷新数据交互-基于AjaxControlToolkit
- 百度“有啊”真的不是一个好名字
- GRUB基本使用介绍