A Six-valued Logic to Reason about Uncertainty and Inconsistency in Requirements Specifications期刊界 All Journals 搜尽天下杂志传播学术成果专业期刊搜索期刊信息化学术搜索

A Six-valued Logic to Reason about Uncertainty and Inconsistency in Requirements Specifications

Authors:	Garcia-Duque Jorge; Lopez-Nores Martin; Pazos-Arias Jose J; Fernandez-Vilas Ana; Diaz-Redondo Rebeca P; Gil-Solla Alberto; Blanco-Fernandez Yolanda; Ramos-Cabrer Manuel

Affiliation:	Department of Telematics Engineering, University of Vigo, Spain. Email: jgd{at}det.uvigo.es, mlnores{at}det.uvigo.es, jose{at}det.uvigo.es, avilas{at}det.uvigo.es, rebeca{at}det.uvigo.es, agil{at}det.uvigo.es, yolanda{at}det.uvigo.es, mramos{at}det.uvigo.es

Abstract:

Keywords:
本文献已被 Oxford 等数据库收录！