The sequence modeling method based on ECC in developing program specifications

DOI10.1007/BF02948736MaRDI QIDQ1964365zbMATH OpenOpenAlexFDO

Authors Jiamei Cai

Publication date 13 June 2000

Published in Journal of Computer Science and Technology (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf02948736

zbMATH Keywords

extended calculus of construction

Mathematics Subject Classification ID

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

Recommendations

• Specification and verification challenges for sequential object-oriented programs
• Publication:3789046
• Publication:4209092
• Applying string-rewriting to sequence-based specification
• Communicating Sequential Processes. The First 25 Years

Cites work

• On the complexity of propositional knowledge base revision, updates, and counterfactuals

This page was built for publication: The sequence modeling method based on ECC in developing program specifications

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