A Formal Method for Testing Client/server Applications

A Formal Method for Testing Client/server Applications
Author :
Publisher :
Total Pages : 152
Release :
ISBN-10 : OCLC:40728836
ISBN-13 :
Rating : 4/5 ( Downloads)
DOWNLOAD EBOOK
Book Synopsis A Formal Method for Testing Client/server Applications by : Arturo Suarez

Download or read book A Formal Method for Testing Client/server Applications written by Arturo Suarez and published by . This book was released on 1998 with total page 152 pages. Available in PDF, EPUB and Kindle. Book excerpt:


A Formal Method for Testing Client/server Applications Related Books

A Formal Method for Testing Client/server Applications
Language: en
Pages: 152

A Formal Method for Testing Client/server Applications

Authors: Arturo Suarez
Categories: Client/server computing
Type: BOOK - Published: 1998 - Publisher:

DOWNLOAD EBOOK

Formal Methods and Testing
Language: en
Pages: 379

Formal Methods and Testing

Authors: Robert M. Hierons
Categories: Computers
Type: BOOK - Published: 2008-04-13 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network - formed as a network established un
Testing Client/server Applications
Language: en
Pages: 346

Testing Client/server Applications

Authors: Patricia Goglia
Categories: Computers
Type: BOOK - Published: 1993 - Publisher: QED Information Sciences

DOWNLOAD EBOOK

A detailed plan designed specifically to test client/server applications. This book defines the tasks and deliverables in all phases of system testing. The auth
Formal Methods and Software Engineering
Language: en
Pages: 770

Formal Methods and Software Engineering

Authors: Karin Breitman
Categories: Computers
Type: BOOK - Published: 2009-11-18 - Publisher: Springer

DOWNLOAD EBOOK

Formal methods for development of computer systems have been extensively studied over the years. A range of semantic theories, speci?cation languages, design te
Formal Methods for Industrial Critical Systems
Language: en
Pages: 256

Formal Methods for Industrial Critical Systems

Authors: Stefania Gnesi
Categories: Computers
Type: BOOK - Published: 2012-11-27 - Publisher: John Wiley & Sons

DOWNLOAD EBOOK

Today, formal methods are widely recognized as an essential step in the design process of industrial safety-critical systems. In its more general definition, th