1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.SE2024★ 1 cited
A Graphics Function Standard Specification Validator
Steven D. Fraser, Peter P. Silvester
A validation methodology is proposed and implemented for natural language software specifications of standard graphics functions. Checks are made for consistency, completeness, and…
cs.SE2024
An Interactive Empirical Approach to the Validation of Software Package Specifications
S. D. Fraser, P. P. Silvester
The objective of this research is the development of a practical system to manipulate and validate software package specifications. The validation process developed is based on con…