scientific article; zbMATH DE number 2090517

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (3)

Using abduction and induction for operational requirements elaboration ⋮ \(\mathcal M\)odular-\(\mathcal E\) and the role of elaboration tolerance in solving the qualification problem ⋮ Verification from Declarative Specifications Using Logic Programming

Uses Software

• SPIN
• PVS

This page was built for publication: