Some notes on putting formal specifications to productive use

DOI10.1016/0167-6423(82)90004-1zbMath0491.68012OpenAlexW2039314417MaRDI QIDQ1167530

Jim Horning, J. V. Guttag, Jeannette M. Wing

Publication date: 1982

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0167-6423(82)90004-1

zbMATH Keywords

program development

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05)

Related Items

Essential concepts of algebraic specification and program development ⋮ Modeling and visualizing object-oriented programs with Codecharts