Publication:4809153
From MaRDI portal
zbMath1045.68531MaRDI QIDQ4809153
Rob Miller, Alessandra Russo, Bashar Nuseibeh, Jeff Kramer
Publication date: 12 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2401/24010022.htm
68N17: Logic programming
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
Verification from Declarative Specifications Using Logic Programming, \(\mathcal M\)odular-\(\mathcal E\) and the role of elaboration tolerance in solving the qualification problem, Using abduction and induction for operational requirements elaboration
Uses Software