S. M. Easterbrook1965 · 4 obras en el catálogoObrasFFormal methods of V&V of partial specificationsFormal methods of V&V of partial specificationsLLearning from inconsistencyLearning from inconsistencyTThe role of independent V&V in upstream software developmentThe role of independent V&V in upstream software development processesEExperiences using lightweight formal methods for requirementExperiences using lightweight formal methods for requirements modeling
TThe role of independent V&V in upstream software developmentThe role of independent V&V in upstream software development processes
EExperiences using lightweight formal methods for requirementExperiences using lightweight formal methods for requirements modeling