Abstract | ||
---|---|---|
This paper introduces the inference validity problem, a software-engineering concern that manifests in and complicates the pre-trial process of discovery in litigation. The problem is related to the requirements validation problem in traditional software engineering, but with stricter constraints on stakeholder communication and potentially severe liability risks on the part of software, engineers who are retained as expert witnesses. We propose an approach, based on the use of formal methods and traceability, to enable software engineers to avoid this problem, thereby increasing the quality of written opinions while mitigating the risk of liability. |
Year | DOI | Venue |
---|---|---|
2009 | 10.1109/ICSE-COMPANION.2009.5071007 | 2009 31ST INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, COMPANION VOLUME |
Keywords | Field | DocType |
law,software engineering,formal method,information security,materials,computer science,privacy,construction industry,software quality,databases | Requirements validation,Systems engineering,Stakeholder,Inference,Computer science,Liability,Software,Construction industry,Formal methods,Traceability | Conference |
ISSN | Citations | PageRank |
0270-5257 | 3 | 0.39 |
References | Authors | |
2 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Kurt Stirewalt | 1 | 312 | 30.24 |
Laura K. Dillon | 2 | 497 | 70.70 |
Eileen Kraemer | 3 | 550 | 65.47 |