A 15 Year Perspective on Automatic Programming
IEEE Transactions on Software Engineering - Special issue on artificial intelligence and software engineering
The Programmer's Apprentice: A Session with KBEmacs
IEEE Transactions on Software Engineering - Special issue on artificial intelligence and software engineering
Programming with sets; an introduction to SETL
Programming with sets; an introduction to SETL
Describing Prolog by its interpretation and compilation
Communications of the ACM
Program Transformation Systems
ACM Computing Surveys (CSUR)
A Deductive Approach to Program Synthesis
ACM Transactions on Programming Languages and Systems (TOPLAS)
A field study of the software design process for large systems
Communications of the ACM
A model for the reuse of software design information
ICSE '89 Proceedings of the 11th international conference on Software engineering
User-tailorable systems: pressing the issues with buttons
CHI '90 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Visual programming: perspectives and approaches
IBM Systems Journal
Models of Software Development Environments
IEEE Transactions on Software Engineering
Simple yet complete heuristics for transforming data flow diagrams into Booch style diagrams
ACM SIGAda Ada Letters
Supporting Systems Development by Capturing Deliberations During Requirements Engineering
IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
Supporting Software Designers with Integrated Domain-Oriented Design Environments
IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
Knowledge Representation and Reasoning in a Software Synthesis Architecture
IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
ACM Computing Surveys (CSUR)
Automating the Ada programming process: a domain-specific approach
TRI-Ada '93 Proceedings of the conference on TRI-Ada '93
SIGCPR '94 Proceedings of the 1994 computer personnel research conference on Reinventing IS : managing information technology in changing organizations: managing information technology in changing organizations
SSR '95 Proceedings of the 1995 Symposium on Software reusability
Visual programming: perspectives and approaches
IBM Systems Journal
Knowledge-Based Automation of a Design Method for Concurrent Systems
IEEE Transactions on Software Engineering
Towards a Formalism to Produce a Programmer Assistant CASE Tool
IEEE Transactions on Knowledge and Data Engineering
Guest Editor's Introduction: Interactions Between Expert Systems and Software Engineering
IEEE Expert: Intelligent Systems and Their Applications
Reusing Software: Issues and Research Directions
IEEE Transactions on Software Engineering
A Survey and a Categorization Scheme of Automatic Programming Systems
GCSE '99 Proceedings of the First International Symposium on Generative and Component-Based Software Engineering
Context-sensitive domain-independent algorithm composition and selection
Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation
ScriptEase: A generative/adaptive programming paradigm for game scripting
Science of Computer Programming
Coevolving programs and unit tests from their specification
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Evolutionary program induction directed by logic grammars
Evolutionary Computation
On the automation of fixing software bugs
Companion of the 30th international conference on Software engineering
Alchemy: transmuting base alloy specifications into implementations
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
A concurrent automatic programming system
Proceedings of the 46th Annual Southeast Regional Conference on XX
Towards an Operational Semantics for Alloy
FM '09 Proceedings of the 2nd World Congress on Formal Methods
Modified development process of component-based software engineering
ACM SIGSOFT Software Engineering Notes
Provability-based semantic interoperability via translation graphs
ER'07 Proceedings of the 2007 conference on Advances in conceptual modeling: foundations and applications
Provability-Based Semantic Interoperability for Information Sharing and Joint Reasoning
Proceedings of the 2010 conference on Ontologies and Semantic Technologies for Intelligence
Conceptual schema-centric development: a grand challenge for information systems research
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
Safety concerns regarding the use of visual programming in civilian avionics software
Proceedings of the 4th international ACM Sigsoft symposium on Architecting critical systems
Co-evolutionary automatic programming for software development
Information Sciences: an International Journal
| Hi-index | 4.12 |
The authors consider five common myths about automatic programming and expose the fallacies on which they rest. They attempt to provide an accurate picture of these systems in terms of what the user sees, how the system works, and what the system knows. They describe commercially available systems and discuss what is on the horizon.