Axiomatic approach to Software Metrication through Program Decomposition

DOI10.1093/comjnl/29.4.330zbMath0595.68021OpenAlexW2100479995MaRDI QIDQ3727365

R. W. Whitty, Norman Fenton

Publication date: 1986

Published in: The Computer Journal (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/comjnl/29.4.330

zbMATH Keywords

engineering of softwaresoftware complexity metricsSoftware metrication

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of software (68N99)

This page was built for publication: Axiomatic approach to Software Metrication through Program Decomposition