Publication:4738326
From MaRDI portal
zbMath1059.68540MaRDI QIDQ4738326
Julian Bradfield, Juliana Küster-Filipe, Perdita Stevens
Publication date: 11 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2306/23060203.htm
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
Model Checking of Extended OCL Constraints on UML Models in SOCLe, Modelling concurrent interactions, Invariant-driven specifications in Maude