1# Library to Find Best eBook for Read
Author : Eduardo Casais
Release : 1993
Genre :
Kind : eBook
Book Rating : /5 ( reviews)
Book Synopsis The Process of Formal Object-oriented Software Development by : Eduardo Casais
Download or read book The Process of Formal Object-oriented Software Development written by Eduardo Casais. This book was released on 1993. Available in PDF, EPUB and Kindle. Book excerpt:
Author : Kevin Lano
Release : 2012-12-06
Genre : Computers
Kind : eBook
Book Rating : 731/5 ( reviews)
Book Synopsis Formal Object-Oriented Development by : Kevin Lano
Download or read book Formal Object-Oriented Development written by Kevin Lano. This book was released on 2012-12-06. Available in PDF, EPUB and Kindle. Book excerpt: Formal Object-Oriented Development provides a comprehensive overview of the use of formal object-oriented methods; it covers how and where they should be introduced into the development process, how they can be introduced selectively for critical parts of an application, and how to incorporate them effectively into existing deveopmental practices. The text is extensively illustrated, both with tutorial and self-assessment excercises and with examples of industrial applications from the reactive systems domain. This book will be of interest to academic and industrial researchers, software engineering practitioners and consultants, and will also provide invaluable reading material for students learning Z++ and VDM++.
Author : Shaoying Liu
Release : 2013-03-09
Genre : Computers
Kind : eBook
Book Rating : 874/5 ( reviews)
Book Synopsis Formal Engineering for Industrial Software Development by : Shaoying Liu
Download or read book Formal Engineering for Industrial Software Development written by Shaoying Liu. This book was released on 2013-03-09. Available in PDF, EPUB and Kindle. Book excerpt: In any serious engineering discipline, it would be unthinkable to construct a large system without having a precise notion of what is to be built and without verifying how the system is expected to function. Software engineering is no different in this respect. Formal methods involve the use of mathematical notation and calculus in software development; such methods are difficult to apply to large-scale systems with practical constraints (e.g., limited developer skills, time and budget restrictions, changing requirements). Here Liu claims that formal engineering methods may bridge this gap. He advocates the incorporation of mathematical notation into the software engineering process, thus substantially improving the rigor, comprehensibility and effectiveness of the methods commonly used in industry. This book provides an introduction to the SOFL (Structured Object-Oriented Formal Language) method that was designed and industry-tested by the author. Written in a style suitable for lecture courses or for use by professionals, there are numerous exercises and a significant real-world case study, so the readers are provided with all the knowledge and examples needed to successfully apply the method in their own projects.
Author : IBM Object-oriented Technology Center
Release : 1997
Genre : Computers
Kind : eBook
Book Rating : /5 ( reviews)
Book Synopsis Developing Object-oriented Software by : IBM Object-oriented Technology Center
Download or read book Developing Object-oriented Software written by IBM Object-oriented Technology Center. This book was released on 1997. Available in PDF, EPUB and Kindle. Book excerpt: This book walks developers through every step of the object-oriented development process, showing how to tailor and document the development process that is ideal for their organizations.This book shows how to tailor your own object-oriented development process -- a process that delivers software more effectively and virtually documents itself. It presents new techniques for requirements gathering, performing initial object-oriented analysis, transitioning to object-oriented design from procedural environments, implementing a design, and validating the results. It includes comprehensive templates and examples for each phase of the lifecycle. It also presents a detailed case study of a complete project, with example workbook and work products.All object-oriented developers, regardless of the languages and environments they utilize.
Author : Alexander Knapp
Release : 2000
Genre :
Kind : eBook
Book Rating : /5 ( reviews)
Book Synopsis A Formal Approach to Object Oriented Software Engineering by : Alexander Knapp
Download or read book A Formal Approach to Object Oriented Software Engineering written by Alexander Knapp. This book was released on 2000. Available in PDF, EPUB and Kindle. Book excerpt:
