The automated refinement of a requirements domain theory

DOI10.1023/A:1008793523863zbMath1034.68639MaRDI QIDQ1857309

T. L. McCluskey, M. M. West

Publication date: 17 February 2003

Published in: Automated Software Engineering (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1008793523863

zbMATH Keywords

requirements domain theory; theory refinement

Mathematics Subject Classification ID

68T05: Learning and adaptive systems in artificial intelligence

68U99: Computing methodologies and applications

68N17: Logic programming