scientific article; zbMATH DE number 2013601

zbMath1028.68535MaRDI QIDQ4436991

Nazareno Aguirre, Theodosis Dimitrakos, Thomas S. E. Maibaum, J. C. Bicarregui

Publication date: 4 December 2003

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

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

zbMATH Keywords

object orientationdynamic reconfigurationmodularisationStructuring mechanisms

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication: