eBooks Categories
.Net 3D
Certification CISCO
CSS Data Mining
DB2 Flash
Game Programming Google
Graphic Hacking
HTML iPhone/iPod
Java JavaScript
Linux Mac
Marketing Mobile
MS Office MySQL
Network Oracle
Perl Photoshop
PHP Python
Ruby on Rails SEO/SEM
SharePoint Six Sigma
Software Engineer Spring
SQL Server Testing
UML Visual Basic
Web Design Website
Windows XML

 Our Link
RSS for download free ebook RSS
Sitemap for download free ebook Sitemap , eBooks Link
Add your Link Add your Link

 Top eBook Website
Classified Ads Classified Ads
USA Classified Ads USA Classified Ads
Motorcycle Ratings Motorcycle Ratings
Cool eBook Library Cool eBook Library
Many eBook for Free Many eBook for Free

Formal Software Development

Software Engineer Ebooks » Formal Software Development

Ebooks category Software Engineer   , eBook Downloads [1463]

eBooks free download

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 formalmethods 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 one of 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.

Free eBooks Formal-Software-Development

 Download this eBook
File size 1.18 MB

Free eBook Review Download ebook free Formal Software Development

other eBook in Software Engineer

Free eBooks Download Project Management: A Systems Approach to Planning Scheduling and Controlling
"Project Management: A Systems Approach to Planning Scheduling and Controlling"
Free eBooks Download Dynamic Enterprise Architecture
"Dynamic Enterprise Architecture"
Free eBooks Download First Steps: Developing BizTalk Applications
"First Steps: Developing BizTalk Applications"
Free eBooks Download Head First Software Development
"Head First Software Development"
Free eBooks Download Beginning Algorithms
"Beginning Algorithms"
Search eBooks:

Reply for This eBook » Comment, Report a Dead Link, Suggestion

Name (required)

E-Mail (will not be published) (required)