scientific article; zbMATH DE number 2090153

zbMath1064.68529MaRDI QIDQ4808846

Ana Cavalcanti, David A. Naumann

Publication date: 12 August 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2391/23910471.htm

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

zbMATH Keywords

object-orientationdata refinementprogram analysis and verificationsoundness of simulation

Mathematics Subject Classification ID

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

Related Items (5)

Angelic nondeterminism in the unifying theories of programming ⋮ On assertion-based encapsulation for object invariants and simulations ⋮ Observational purity and encapsulation ⋮ Refactoring and representation independence for class hierarchies ⋮ Sound refactorings

This page was built for publication: