ПО НАПРАВЛЕНИЮ К УПРАВЛЯЕМОМУ СИНТЕЗУ ПРОГРАММ
Ключевые слова:
управляемый синтез, представление знаний предметной области, целевая деятельность, конструктивные элементы, синтаксис менеджераАннотация
В статье рассмотрен синтезатор программного обеспечения, который извлекает семантику из спецификации заказчика, переводит её в машинно-читаемую форму и создаёт новое программное обеспечение на основе готовых к использованию фрагментов кода.
Библиографические ссылки
Abramovich, A. “Domain knowledge representation”. Wuhan University, 2009.
Роspelov, D. Мodels of Human Communication: Dialogue with Computer. // International Journal of General Systems. – 1986. – Vol. 12, – №4. – P. 333–338.
Поспелов Д. А. Электронная вычислительная техника. Сборник статей. Вып. 3. – М.: Радио и связь, 1989. – С. 4–20.
Поспелов Д. А. Десять «горячих точек» в исследованиях по искусственному интеллекту. // Интеллектуальные системы (МГУ). – 1996. – Т. 1, вып. 1–4. – C. 47–56.
Lezama, Armando Solar. Program Synthesis by Sketching, Technical Report No. UCB/EECS-2008-177, http://www.eecs. berkeley.edu/Pubs/TechRpts/2008/EECS-2008- 177.html.
Biermann, A. Automatic Programming. In Encyclopedia of Artificial Intelligence. 2nd edition. – New York: John Wiley&Sons, 1992.
Liu, H., Lieberman, H. Metafor: Visualizing Stories as Code, http://larifari.org/ writing/IUI2005-Metafor.pdf.
Liu, H., Lieberman, H. Toward a Programmatic Semantics of Natural Language. Proceedings of the 20th IEEE Symposium on Visual Languages and Human-Centric
Computing. IEEE Computer Society Press, 2004. http://larifari.org/writing/CHI2005- NLInterfaces.pdf.
Fisher, B., Schumann, J. Automated Synthesis of Statistical Data Analysis Programs, Proc. SDP’02: Workshop Science Data Processing, Greenbelt, MD, Feb. 26–28, 2002.
Fischer, B., Pressburger, T., Rosu, G., Schumann, J. The AutoBayes Program Synthesis System – System Description, Proc. CALCULEMUS 2001: 9th Symp. on
the Integration of Symbolic Computation and Mechanized Reasoning, Siena, Italy, Jun. 21–22, 2001.
Fischer, B., Schumann, J. AutoBayes: A System for the Synthesis of Data Analysis Programs, Proc. NIPS 2000: Workshop on Software Support for Bayesian Analysis Systems, Breckenridge, CO, Dec. 1, 2000.
Buntine, W., Fischer, B., Pressburger, T. Towards Automated Synthesis of Data Mining Programs, Proc. KDD’99: 5th ACM Int’l Conf. on Knowledge Discovery and Data Mining, SanDiego, CA, Aug. 15–18, 1999.
Fischer, B., Pressburger, T., Rosu, G., Schumann, J. The AutoBayes Program Synthesis System-System Description, RIACS / zCode IC,
NASA Ames Research Center, M/S 269-2.
Whittle, J. and others. Amphion/NAV: Deductive Synthesis of State Estimation Software. ASE Group: NASA, http://ti.arc.nasa.
gov/m/tech/rse/publications/papers/ASE01/final.pdf.
Manna, Z., Waldinger, R. Fundamentals of Deductive Program Transactions on Software Engineering. – 1992. – Vol. 18(8). – P. 674–704.
Smith, Douglas R. A Problem Reduction Approach to Program Synthesis. http://dli.iiit. ac.in/ijcai/IJCAI-83-VOL-1/PDF/005.pdf.
Демьянков В. З. Понимание как интерпретирующая деятельность. // Вопросы языкознания. – 1983. – №6. – С. 58–67.
Lezama, Armando Solar. Program Synthesis By Sketching, EECS Department, University of California, Berkeley, Technical Report No. UCB/EECS-2008-177, December
, 2008. http://www.eecs.berkeley.edu/Pubs/
TechRpts/2008/EECS-2008-177.pdf.
Korukhova, Yulia S. Automation of Program Synthesis from Logic-Based Specifications in the Deductive Tableau, Lomonosov Moscow State University.
Abramovich, A. Need Language knowledge representation platform, Wuhan University, 2009.
Abramovich, A. Need Language, COLLIN, 2010.
Abramovich, A. Towards a Global Platform of Human Experience, SDPS, 2010.
Abramovich, A. Towards Linked Needs, ICSC, 2010.