IEEE Transactions on Software Engineering · 1991 · 241 citations · 18 references
EngineeringComputer ScienceSystems EngineeringKnowledge RepresentationRequirements EngineeringSyntaxPoint Of ViewRequirements AnalysisRequirements ModelingRequirements ValidationSoftware DesignHeuristicsPerspective ViewpointsSoftware Requirements SpecificationView Definition
A specific technique-viewpoint resolution-is proposed as a means of providing early validation of the requirements for a complex system, and some initial empirical evidence of the effectiveness of a semi-automated implementation of the technique is provided. The technique is based on the fact that software requirements can and should be elicited from different viewpoints, and that examination of the differences resulting from them can be used as a way of assisting in the early validation of requirements. A language for expressing views from different viewpoints and a set of analogy heuristics for performing a syntactically oriented analysis of views are proposed. This analysis of views is capable of differentiating between missing information and conflicting information, thus providing support for viewpoint resolution.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">></ETX>
18
Systematic software development using VDM
Sunil Vadera · Data Processing · 1986 · 1.1K citations
Computing, Systems Engineering, Requirements Engineering +11
Structured Systems Analysis: Tools and Techniques
Michael Jackson · The Computer Journal · 1980 · 375 citations · Full text
Computational approaches to analogical reasoning
Rogers Hall · Artificial Intelligence · 1989 · 223 citations