Program synthesis from formal requirements specifications using APTS

DOI10.1023/A:1023072104553zbMath1038.68080OpenAlexW2161216820MaRDI QIDQ1404293

Constance L. Heitmeyer, Elizabeth I. Leonard

Publication date: 21 August 2003

Published in: Higher-Order and Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1023072104553

zbMATH Keywords

program transformationcode generationformal specificationsSCRAPTScode synthesisrequirements specifications

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Related Items (2)

Modelling timed reactive systems from natural-language requirements ⋮ APTS

Uses Software

• SCR

This page was built for publication: Program synthesis from formal requirements specifications using APTS