A method of generating program specification from description of human activities

DOI10.1007/3-540-39963-1_19MaRDI QIDQ2766924zbMATH OpenFDO

Authors Shuhei Kawasaki, Setsuo Ohsuga

Publication date 28 January 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-39963-1_19

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Learning and adaptive systems in artificial intelligence (68T05) Computing methodologies and applications (68U99)

Recommendations

• scientific article; zbMATH DE number 3911678
• Automatic programming: A tutorial on formal methodologies
• Model based program specification and program generation - in a case of vehicle-engine control system design
• A new modeling scheme for problem solving and automatic programming
• scientific article; zbMATH DE number 1241638

Cited in

(3)

• A new modeling scheme for problem solving and automatic programming
• scientific article; zbMATH DE number 1241638 (Why is no real title available?)
• Model based program specification and program generation - in a case of vehicle-engine control system design

This page was built for publication: A method of generating program specification from description of human activities

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