Model based program specification and program generation - in a case of vehicle-engine control system design

DOI10.1007/3-540-45408-X_7MaRDI QIDQ4535387zbMATH OpenFDO

Authors Setsuo Ohsuga, Shunsuke Chigusa, Katsuyuki Sugaya

Publication date 16 June 2002

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2112/21120056

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Computing methodologies and applications (68U99)

Recommendations

• Generative programming for embedded systems
• A method of generating program specification from description of human activities
• scientific article; zbMATH DE number 1475692
• scientific article; zbMATH DE number 4084990
• Automatic programming: A tutorial on formal methodologies

Cited in

(8)

• A new modeling scheme for problem solving and automatic programming
• The language-centric program generator models: 3L paradigm
• A method of generating program specification from description of human activities
• Composition of Model Programs
• Automatic PLC software generator with a natural interface
• Generation of efficient programs for solving maximum multi-marking problems
• Usage scenarios for an automated model compiler
• Interactions model and code generation for J2ME applications

This page was built for publication: Model based program specification and program generation - in a case of vehicle-engine control system design

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