Title
A collaborative environment for independent verification and validation of software
Abstract
The collaborative approach to product development is becoming increasingly recognized as a key to improve the productivity of the participating team members. However, in practice, its realization is hindered by the lack of computing environments to support collaborative work. The set of basic transactions needed in a collaborative setting consists of a variety of activities: look up, communicate, compute, decide, negotiate, and archive. We discuss a generic architecture for a collaborative environment. We discuss the application of the same generic architecture to the software domain: to develop an environment for independent verification and validation (IV&V) of software. The benefits of the collaborative approach are: early diagnosis of problems, improvement in efficiency and team performance, and consequently cost savings. This will be especially beneficial for IV&V of large software systems. We illustrate the collaborative environment using an example of a software that performs set operations on polygons
Year
DOI
Venue
1994
10.1109/ENABL.1994.330500
WETICE
Keywords
Field
DocType
groupware,program testing,program verification,software engineering,collaborative environment,collaborative work,cost savings,generic architecture,large software systems,polygons,product development,set operations,software validation,software verification,team performance,software performance,application software,software systems,productivity,verification and validation,collaboration,collaborative software,computer architecture
Verification and validation,Software engineering,Computer science,Collaborative software,Software system,Software performance testing,Software,Software verification and validation,Application software,Software verification
Conference
Citations 
PageRank 
References 
1
0.40
1
Authors
8
Name
Order
Citations
PageRank
raghu r karinthi13817.53
K. Srinivas24815.63
Sumitra Reddy312328.83
Ramana Reddy4388.22
Calin Cascaval51446122.48
walter jackson610.40
srinivasan venkatraman710.40
honglan zheng810.40