Structuring of specification modules (extended)

MaRDI QIDQ1650328zbMATH OpenFDO

Authors Răzvan Diaconescu

Publication date 3 July 2018

Published in Computer Science Journal of Moldova (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International

Full work available at URL http://www.math.md/publications/csjm/issues/v23-n2/11954/

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 3956412
• scientific article; zbMATH DE number 3862416
• scientific article; zbMATH DE number 1368952
• scientific article; zbMATH DE number 3980454
• Toward formal development of programs from algebraic specifications: Parameterisation revisited

Cited in

(2)

• Modular structuring of VDM specifications in VVSL
• A model inference system for generic specification with application to code sharing

This page was built for publication: Structuring of specification modules (extended)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1650328)