A logical framework to model software development by multiple agents following a common specification

DOI10.1093/LOGCOM/EXAD030MaRDI QIDQ6636670FDO

Authors Georgios V. Pitsiladis, Petros Stefaneas

Publication date 12 November 2024

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Logic in computer science (03B70)

Recommendations

• Program development in constructive type theory
• A logic for schema-based program development
• scientific article; zbMATH DE number 512959
• A category-theoretical approach to logic program development
• Publication:4934624

This page was built for publication: A logical framework to model software development by multiple agents following a common specification

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