DocumentCode
1566188
Title
INTEGRAL-an integrated framework for distributed software validation and verification
Author
Chang, Carl K. ; Song, Cheng-Chung ; Chang, Young-Fu
Author_Institution
Dept. of Electr. Eng. & Comput. Sci., Illinois Univ., Chicago, IL, USA
fYear
1988
Firstpage
301
Lastpage
310
Abstract
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
Keywords
distributed processing; program verification; software tools; INTEGRAL; distributed software validation; extended modified Petri net model; integrated framework; software development paradigm; software life cycle; software model; verification; Bars; Computer architecture; Computer industry; Design methodology; Fires; Formal specifications; Modems; Software performance; Software prototyping; Software systems;
fLanguage
English
Publisher
ieee
Conference_Titel
Distributed Computing Systems in the 1990s, 1988. Proceedings., Workshop on the Future Trends of
Print_ISBN
0-8186-0897-8
Type
conf
DOI
10.1109/FTDCS.1988.26711
Filename
26711
Link To Document