Program synthesis from formal requirements specifications using APTS
Keywords for this software
References in zbMATH (referenced in 4 articles , 1 standard article )
Showing results 1 to 4 of 4.
- Carvalho, Gustavo; Cavalcanti, Ana; Sampaio, Augusto: Modelling timed reactive systems from natural-language requirements (2016)
- Bunder, M.W.; Dekkers, W.J.M.: Equivalences between pure type systems and systems of illative combinatory logic (2005)
- Sheu, Jiuh-Biing: A fuzzy clustering approach to real-time demand-responsive bus dispatching control (2005)
- Leonard, Elizabeth I.; Heitmeyer, Constance L.: Program synthesis from formal requirements specifications using APTS (2003)