Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
Formal Software Development

Buy
Formal Software Development, 9780333992814 (0333992814), Palgrave Macmillan, 2003
This book is intended for final-year undergraduate and postgraduate computing students specializing in the field of software engineering. The text concentrates on the challenges that high integrity software development poses, and how formal methods can help meet these challenges.

Formal methods have long been advocated for the development of high integrity software. However, these methods are often perceived as being difficult to learn and apply. In particular, the step from formal specification to code is often left uncovered in text books. Without this, however, it is the authors’ experience that students tend to view such methods as purely academic tasks, divorced from the realities of the software development process. So, as well as providing a thorough introduction to the use of a formal method, we motivate the student by demonstrating the development of programs from formal specifications.

When formal program development is covered in many other text books, it tends to be in the context of proof obligations. We have found that students have greatest difficulty with this area – and in addition it is hard, in a text book, to demonstrate the complete formal development of a working application. In recent years, however, a lightweight approach to formal methods has been put forward. This approach places far less emphasis on the discharge of proof obligations and instead advocates the use of run-time assertions to ensure the integrity of final code. It is the lightweight approach we adopt in this book.

The formal method we have chosen is VDM (the Vienna Development Method). This is one of the most mature and widely used formal methods, with an internationally recognized standard. The implementation language we have chosen is Java – oneof the most common programming languages taught at universities. While we assume no previous knowledge of VDM, we do assume that the reader is familiar with the basics of programming in Java. The UML notation is also used to informally specify classes. Most readers should be familiar with this notation, but a brief overview is provided.
(HTML tags aren't allowed.)

Sams Teach Yourself iPad 2 in 10 Minutes (2nd Edition)
Sams Teach Yourself iPad 2 in 10 Minutes (2nd Edition)

The iPad 2 and the original iPad, taken together, are the biggest thing to hit computing in years. Drawing on the best of Apple’s iPhone and iPod touch products, and Apple’s Macintosh personal computers, while introducing a whole new way of seeing and interacting with information, the two new devices have grabbed the...

Elastix Unified Communications Server Cookbook
Elastix Unified Communications Server Cookbook

More than 140 real-life, hands-on recipes and tips to install, deploy, administer, and maintain any VoIP/Unified Communications solution based on Elastix

About This Book

  • Enable a full cost-effective unified communications server solution
  • Go from a single server configuration to a...
Bureaucratic Landscapes: Interagency Cooperation and the Preservation of Biodiversity
Bureaucratic Landscapes: Interagency Cooperation and the Preservation of Biodiversity

Political scientists have long been concerned about the tension between institutional fragmentation and policy coordination in the United States bureaucracy. The literature is rife with examples of agencies competing with each other or asserting their independence, while cooperation is relatively rare. This is of particular importance in...


Designing the iPhone User Experience: A User-Centered Approach to Sketching and Prototyping iPhone Apps
Designing the iPhone User Experience: A User-Centered Approach to Sketching and Prototyping iPhone Apps

Given the fiercely competitive state of the iPhone app landscape, it has become increasingly challenging for app designers and developers to differentiate their apps. The days are long gone when it was possible to crank out an app over the weekend and refine it after receiving a few not so flattering user reviews....

Water-Related Death Investigation: Practical Methods and Forensic Applications
Water-Related Death Investigation: Practical Methods and Forensic Applications

All too often, police called to the scene of a water-related death may consider it an accidental drowning before they even arrive. But the investigation of these types of deaths requires the same careful and thorough documentation as in other potentially non-natural deaths and these efforts must be carried through all stages of investigation....

Pro Silverlight 4 in C#
Pro Silverlight 4 in C#

Silverlight 4 is Microsoft's cross-browser technology for creating rich user experiences on the Web. Like its predecessor, Silverlight 3, it rides atop the .NET framework for maximum ease of use and coding efficiency. The new technology carries forward much of the work that has been done before and augments it in many important respects,...

©2021 LearnIT (support@pdfchm.net) - Privacy Policy