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

(5)

• Modular structuring of VDM specifications in VVSL
• scientific article; zbMATH DE number 1104388 (Why is no real title available?)
• scientific article; zbMATH DE number 1368952 (Why is no real title available?)
• A model inference system for generic specification with application to code sharing
• On the Modularization Theorem for logical specifications

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)