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

DOI10.1093/LOGCOM/EXAD030MaRDI QIDQ6636670FDOQ6636670

Authors: Georgios V. Pitsiladis, Petros Stefaneas 

Publication date: 12 November 2024

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

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

Mathematics Subject Classification ID

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

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)