Automatic Program Generation from Formal Specifications using APTS

Automatic Program Development ◽

10.1007/978-1-4020-6585-9_10 ◽

2008 ◽

pp. 93-113 ◽

Cited By ~ 4

Author(s):

Elizabeth I. Leonard ◽

Constance L. Heitmeyer

Keyword(s):

Formal Specifications ◽

Program Generation ◽

Automatic Program

Download Full-text

Automatic program generation for welding robots from CAD

2016 IEEE International Conference on Advanced Intelligent Mechatronics (AIM) ◽

10.1109/aim.2016.7576827 ◽

2016 ◽

Cited By ~ 6

Author(s):

Nathan Larkin ◽

Andrew Short ◽

Zengxi Pan ◽

Stephen van Duin

Keyword(s):

Program Generation ◽

Automatic Program

Download Full-text

HCDM/GSDS — A design environment for real-time software with automatic program generation

Lecture Notes in Computer Science - ESEC '89 ◽

10.1007/3-540-51635-2_47 ◽

1989 ◽

pp. 324-335

Author(s):

Michael Fastenbauer ◽

Heinz Saria

Keyword(s):

Real Time ◽

Design Environment ◽

Program Generation ◽

Automatic Program

Download Full-text

Automatic program generation for processing a high level relational-like query language

Proceedings of the 1979 annual conference on - ACM 79 ◽

10.1145/800177.810033 ◽

1979 ◽

Author(s):

A. Timothy Maness ◽

Sue M. Dintelman ◽

Mark H. Skolnick

Keyword(s):

Query Language ◽

Program Generation ◽

Automatic Program ◽

High Level

Download Full-text

Automatic program generation using sequent calculus

Proceedings of the 1992 ACM annual conference on Communications - CSC '92 ◽

10.1145/131214.131224 ◽

1992 ◽

Cited By ~ 1

Author(s):

Talal Maghrabi ◽

Forouzan Golshani

Keyword(s):

Sequent Calculus ◽

Program Generation ◽

Automatic Program

Download Full-text

An Approach to Test Program Generation Based on Formal Specifications of Caching and Address Translation Mechanisms

Proceedings of the Institute for System Programming of RAS ◽

10.15514/ispras-2015-27(3)-9 ◽

2015 ◽

pp. 125-138 ◽

Cited By ~ 1

Author(s):

A. Kamkin ◽

A. Protsenko ◽

A. Tatarnikov

Keyword(s):

Formal Specifications ◽

Test Program ◽

Program Generation ◽

Address Translation

Download Full-text

Input-Output Conditions for Automatic Program Generation Using Petri Nets

Knowledge-Based and Intelligent Information and Engineering Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-23851-2_31 ◽

2011 ◽

pp. 296-305

Author(s):

Masahiro Osogami ◽

Teruya Yamanishi ◽

Katsuji Uosaki

Keyword(s):

Petri Nets ◽

Input Output ◽

Program Generation ◽

Automatic Program

Download Full-text

Automatic program generation for PC-based sequence control problems

Journal of Manufacturing Systems ◽

10.1016/0278-6125(91)90013-r ◽

1991 ◽

Vol 10 (2) ◽

pp. 109-120 ◽

Cited By ~ 2

Author(s):

N.U. Gunasena ◽

E.A. Lehtihet

Keyword(s):

Control Problems ◽

Program Generation ◽

Automatic Program

Download Full-text

Automatic program generation for PC-based sequence control problems

Journal of Manufacturing Systems ◽

10.1016/0278-6125(93)90231-h ◽

1993 ◽

Vol 12 (1) ◽

pp. 77

Keyword(s):

Control Problems ◽

Program Generation ◽

Automatic Program

Download Full-text

Introduction to the Special Issue on Automatic Program Generation for Embedded Systems

Science of Computer Programming ◽

10.1016/j.scico.2011.11.001 ◽

2012 ◽

Vol 77 (2) ◽

pp. 81-82 ◽

Cited By ~ 1

Author(s):

Kevin Hammond ◽

Paul H.J. Kelly

Keyword(s):

Embedded Systems ◽

Special Issue ◽

Program Generation ◽

Automatic Program

Download Full-text

Distributed measurement and control system based on microcontrollers with automatic program generation

Sensors and Actuators A Physical ◽

10.1016/s0924-4247(01)00526-x ◽

2001 ◽

Vol 90 (3) ◽

pp. 215-221 ◽

Cited By ~ 11

Author(s):

Miodrag Bolic ◽

Vujo Drndarevic ◽

Branko Samardzic

Keyword(s):

Control System ◽

Measurement And Control System ◽

Program Generation ◽

Automatic Program ◽

Distributed Measurement ◽

And Control ◽

Measurement And Control

Download Full-text