Share

Formal Object-Oriented Development

2012-12-06 Computers
Download Formal Object-Oriented Development PDF Online Free

Author :
Release : 2012-12-06
Genre : Computers
Kind : eBook
Book Rating : 731/5 ( reviews)

GET EBOOK


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++.

The Process of Formal Object-oriented Software Development

1993
Download The Process of Formal Object-oriented Software Development PDF Online Free

Author :
Release : 1993
Genre :
Kind : eBook
Book Rating : /5 ( reviews)

GET EBOOK


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:

SDL

1997 Computers
Download SDL PDF Online Free

Author :
Release : 1997
Genre : Computers
Kind : eBook
Book Rating : /5 ( reviews)

GET EBOOK


Book Synopsis SDL by : Jan Ellsberger

Download or read book SDL written by Jan Ellsberger. This book was released on 1997. Available in PDF, EPUB and Kindle. Book excerpt: SDL 92 is the recognized international standard language for designing and specifying telecommunications systems, and is increasingly also used for RAD, real-time, interactive applications. This is the first complete introduction and reference to SDL for both novices and experienced system engineers. The book begins with an overview of basic SDL concepts, structure and syntax. It introduces SDL abstract data types, the SDL interpretation model, and shows how to specify protocols with SDL. All professional systems engineers, programmers and students of system development working in telecommunications, real-time, interactive and distributed systems.

On the Development and Use of a Formal Object Oriented Methodology Based on an Application Case Study

2002
Download On the Development and Use of a Formal Object Oriented Methodology Based on an Application Case Study PDF Online Free

Author :
Release : 2002
Genre :
Kind : eBook
Book Rating : /5 ( reviews)

GET EBOOK


Book Synopsis On the Development and Use of a Formal Object Oriented Methodology Based on an Application Case Study by : Mojgan Kowsari

Download or read book On the Development and Use of a Formal Object Oriented Methodology Based on an Application Case Study written by Mojgan Kowsari. This book was released on 2002. Available in PDF, EPUB and Kindle. Book excerpt:

Formal Object-oriented Specification Using Object-Z

2000 Object-oriented programming (Computer science)
Download Formal Object-oriented Specification Using Object-Z PDF Online Free

Author :
Release : 2000
Genre : Object-oriented programming (Computer science)
Kind : eBook
Book Rating : 239/5 ( reviews)

GET EBOOK


Book Synopsis Formal Object-oriented Specification Using Object-Z by : Roger Duke

Download or read book Formal Object-oriented Specification Using Object-Z written by Roger Duke. This book was released on 2000. Available in PDF, EPUB and Kindle. Book excerpt: This text presents techniques for the precise description of software or systems using the object-oriented formal specification language, Object Z. It includes numerous and varied case studies to illustrate the techniques and language of object-oriented formal specification and illustrates the key role of formal specification in formal verification and in implementation. Although primarily intended for safety-critical or complex software development, formal specification also has wide application in hardware or general system description.

You may also like...