Limitation and Possibilities of Automation on the Way from Intention → Program

Authors:
Victor Malyshkin;Yuri Zagorulko
Affiliations:
Supercomputer Software Department (SSD), Institute of Computational Mathematics and Mathematical Geophysics, Russian Academy of Sciences, 630090, Novosibirsk, Russia, malysh@ssd.sscc.ru, http://ss ...;AI Laboratory, A.P. Ershov Institute of Informatics Systems, Russian Academy of Sciences, 630090, Novosibirsk, Russia, zagor@iis.nsk.su, http://www.iis.nsk.su
Venue:
Proceedings of the 2005 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the fourth SoMeT_W05
Year:
2005

Citing 4
Cited 2

Logical foundations of artificial intelligence

Logical foundations of artificial intelligence
Formal ontology, conceptual analysis and knowledge representation

International Journal of Human-Computer Studies - Special issue: the role of formal ontology in the information technology
Knowledge level modelling: concepts and terminology

The Knowledge Engineering Review
Synthesis: Dreams ? Programs

IEEE Transactions on Software Engineering

How to Create the Magic Wand?Currently Implementable Formulation of the Problem

Proceedings of the 2006 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the fifth SoMeT_06
Magic Wand Approach to Representation of Personal Technologies

Proceedings of the 2010 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the 9th SoMeT_10

Quantified Score

Hi-index	0.00

Visualization

Abstract

The paper is devoted to the discussion of the limitations and possibilities of the automation of the process of program construction from an informal specification.