INTEGRAL-an integrated framework for distributed software validation and verification

A prototype validation and verification (V&V) system, called INTEGRAL, is presented that provides comprehensive and homogeneous analysis capabilities for the development and maintenance of distributed systems. The underlying software model supporting various V&V activities in INTEGRAL, calle...

Full description

Saved in:
Bibliographic Details
Published inWorkshop on the Future Trends of Distributed Computing Systems in the 1990s: Proceedings pp. 301 - 310
Main Authors Chang, C.K., Song, C.-C., Chang, Y.-F.
Format Conference Proceeding
LanguageEnglish
Published IEEE Comput. Soc. Press 1988
Subjects
Bars
Computer architecture
Computer industry
Design methodology
Fires
Formal specifications
Modems
Software performance
Software prototyping
Software systems
Online AccessGet full text
ISBN9780818608971
0818608978
DOI10.1109/FTDCS.1988.26711

Cover

More Information
Summary:A prototype validation and verification (V&V) system, called INTEGRAL, is presented that provides comprehensive and homogeneous analysis capabilities for the development and maintenance of distributed systems. The underlying software model supporting various V&V activities in INTEGRAL, called the extended modified Petri net model is applicable to the descriptions of both products and processes at various levels of the software life cycle. The goal of this research is to demonstrate the availability and applicability of a Petri-net-based software development paradigm supported by INTEGRAL.< >
ISBN:9780818608971
0818608978
DOI:10.1109/FTDCS.1988.26711