Search Results - automation programming—program synthesis~
-
1
LMSGENERATOR: Multi-target learning management system generator based on generative programming and component engineering
ISBN: 1467322261, 9781467322263Published: IEEE 01.07.2012Published in 2012 International Conference on Education and e-Learning Innovations (01.07.2012)“… Key technologies for automating program development are Generative Programming for program synthesis, Component Engineering for modularity…”
Get full text
Conference Proceeding -
2
Synthesis of mathematical-modeling software
ISSN: 0740-7459, 1937-4194Published: Los Alamitos IEEE 01.05.1993Published in IEEE software (01.05.1993)“… The synthesis process is divided into phases of refinement that attempt to duplicate the users' problem-solving processes in the design, implementation, and evolution states of mathematical modeling…”
Get full text
Journal Article -
3
Program synthesis: an automationist's view
ISBN: 9780818619090, 0818619090Published: IEEE Comput. Soc. Press 1989Published in Digest of papers : intellectual leverage (1989)“… He examines the work that has been done as well as some current projects. In doing this he looks at trends in program synthesis…”
Get full text
Conference Proceeding -
4
FPGA implementation of PLC programs using automated high-level synthesis tools
ISBN: 1424416655, 9781424416653ISSN: 2163-5137Published: IEEE 01.06.2008Published in 2008 IEEE International Symposium on Industrial Electronics (01.06.2008)“…Although the performance of traditional PLC technology is adequate for the majority of industrial automation and control tasks, there exist a number of demanding applications, which need more powerful alternatives…”
Get full text
Conference Proceeding

