A knowledge-based problem-specific program generator
ACM SIGPLAN Notices
Formal models of stepwise refinements of programs
ACM Computing Surveys (CSUR)
Efficient interpretation of synchronizable series expressions
SIGPLAN '87 Papers of the Symposium on Interpreters and interpretive techniques
Artificial intelligence and software engineering
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Program Translation Via Abstraction and Reimplementation
IEEE Transactions on Software Engineering
Managing knowledge about information system evolution
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
Understanding and Controlling Software Costs
IEEE Transactions on Software Engineering
A review of automated debugging systems: knowledge, strategies and techniques
ICSE '88 Proceedings of the 10th international conference on Software engineering
ICSE '88 Proceedings of the 10th international conference on Software engineering
Constructing Specifications by Combining Parallel Elaborations
IEEE Transactions on Software Engineering
A plan-based intelligent assistant that supports the software development
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Transformational derivation of programs using the focus system
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Software CAD: A Revolutionary Approach
IEEE Transactions on Software Engineering
The USC system factory project
ACM SIGSOFT Software Engineering Notes
A system for example-based programming
CHI '89 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Requirements for CASE tools in early software reuse
ACM SIGSOFT Software Engineering Notes
A knowledge-base environment for the development of software parts composition systems
ICSE '89 Proceedings of the 11th international conference on Software engineering
An object-oriented software application architecture
ICSE '90 Proceedings of the 12th international conference on Software engineering
Building an evolution transformation library
ICSE '90 Proceedings of the 12th international conference on Software engineering
The Requirements Apprentice: Automated Assistance for Requirements Acquisition
IEEE Transactions on Software Engineering
ICAIL '91 Proceedings of the 3rd international conference on Artificial intelligence and law
Seven Layers of Knowledge Representation and Reasoning in Support of Software Development
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
ACM Computing Surveys (CSUR)
Commitment-Based Software Development
IEEE Transactions on Software Engineering
A transformational approach to generating application-specific environments
SDE 5 Proceedings of the fifth ACM SIGSOFT symposium on Software development environments
Program Concept Recognition and Transformation
IEEE Transactions on Software Engineering - Special issue on software maintenance
Simulating reactive systems by deduction
ACM Transactions on Software Engineering and Methodology (TOSEM)
The impact of machine learning on expert systems
CSC '93 Proceedings of the 1993 ACM conference on Computer science
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Knowledge-Based Approach to the Analysis of Loops
IEEE Transactions on Software Engineering
Object oriented simulation tools necessary for a flexible batch process management architecture
WSC '91 Proceedings of the 23rd conference on Winter simulation
Designing scripts to guide users in modifying knowledge-based systems
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
Precedent-based manipulation of VLSI structures
DAC '86 Proceedings of the 23rd ACM/IEEE Design Automation Conference
Plan Realization for Complex Command Interaction in the UNIX Help Domain
Artificial Intelligence Review - special issue on intelligent help systems for Unix part II: planning and knowledge representation
A survey of software reuse libraries
Annals of Software Engineering
Automatic Programming for End Users: The TOAD System
IEEE Transactions on Knowledge and Data Engineering
Knowledge-Based Support for Rapid Software Prototyping
IEEE Expert: Intelligent Systems and Their Applications
KBRA: A New Paradigm for Requirements Engineering
IEEE Expert: Intelligent Systems and Their Applications
Using the new common Lisp pretty printer
ACM SIGPLAN Lisp Pointers
Computer science apprenticeship: creating support for intermediate computer science students
ICLS '96 Proceedings of the 1996 international conference on Learning sciences
Integrated Computer-Aided Engineering
Program derivation using analogy
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
Software engineering: an emerging discipline
IBM Systems Journal
Integration of descriptors for software component retrieval
KSEM'07 Proceedings of the 2nd international conference on Knowledge science, engineering and management
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
A script-based approach to modifying knowledge bases
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Hi-index | 0.00 |
The Knowledge-Based Editor in Emacs (KBEmacs) is the current demonstration system implemented as part of the Programmer's Apprentice project. KBEmacs is capable of acting as a semiexpert assistant to a person who is writing a program-taking over some parts of the programming task. Using KBEmacs, it is possible to construct a program by issuing a series of high level comnmands. This series of commands can be as much as an order of magnitude shorter than the program it describes.