Computer system reliability and nuclear war
Communications of the ACM
A knowledge-based problem-specific program generator
ACM SIGPLAN Notices
Formal models of stepwise refinements of programs
ACM Computing Surveys (CSUR)
Artificial intelligence and software engineering
ICSE '87 Proceedings of the 9th international conference on Software Engineering
A field study of the software design process for large systems
Communications of the ACM
Understanding and Controlling Software Costs
IEEE Transactions on Software Engineering
Automatic programming for streams II: transformational implementation
ICSE '88 Proceedings of the 10th international conference on Software engineering
Software CAD: A Revolutionary Approach
IEEE Transactions on Software Engineering
ICSE '89 Proceedings of the 11th international conference on Software engineering
Domain analysis: from art form to engineering discipline
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
The requirements apprentice: an initial scenario
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Development Life Cycle of Computer Networks: The Executable Model Approach
IEEE Transactions on Software Engineering
Resourceful systems for fault tolerance, reliability, and safety
ACM Computing Surveys (CSUR)
An object-oriented software application architecture
ICSE '90 Proceedings of the 12th international conference on Software engineering
The Requirements Apprentice: Automated Assistance for Requirements Acquisition
IEEE Transactions on Software Engineering
Toward a design apprentice: supporting reuse and evolution in software design
ACM SIGSOFT Software Engineering Notes
Semi-Automatic Program Construction from Specifications Using Library Modules
IEEE Transactions on Software Engineering
Supporting Systems Development by Capturing Deliberations During Requirements Engineering
IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
Integration of domain analysis and analogical approach for software reuse
SAC '93 Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice
BITS: a smartcard protected operating system
Communications of the ACM
A taxonomy of software development methods
Communications of the ACM
SSR '95 Proceedings of the 1995 Symposium on Software reusability
Domain modeling for software engineering
ICSE '91 Proceedings of the 13th international conference on Software engineering
Rapid prototyping of microprocessor-based systems
ICCAD '93 Proceedings of the 1993 IEEE/ACM international conference on Computer-aided design
ANSS '92 Proceedings of the 25th annual symposium on Simulation
WSC '87 Proceedings of the 19th conference on Winter simulation
Extending requirement specifications using analogy
Proceedings of the 22nd international conference on Software engineering
Knowledge-Based Automation of a Design Method for Concurrent Systems
IEEE Transactions on Software Engineering
Automatic Programming for End Users: The TOAD System
IEEE Transactions on Knowledge and Data Engineering
IEEE Expert: Intelligent Systems and Their Applications
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
Feature-Oriented Engineering of PBX Software
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
Addressing requirements issues within a conceptual modeling environment
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Context-sensitive domain-independent algorithm composition and selection
Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation
CYPRESS-Soar: a case study in search and learning in algorithm design
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
Domain specific model-based development of software for programmable logic controllers
Computers in Industry
Automatic programming for sequence control
IAAI'92 Proceedings of the fourth conference on Innovative applications of artificial intelligence
A domain-specific modeling language for scientific data composition and interoperability
Proceedings of the 48th Annual Southeast Regional Conference
The simulation automation system (SAS); concepts, implementation, and results
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Hi-index | 0.06 |
Domain knowledge is crucial to an automatic programming system and the interaction between domain knowledge and programming at the current time. The NIX project at Schlumberger-Doll Research has been investigating this issue in the context of two application domains related to oil well logging. Based on these experiments we have developed a framework for domain-specific automatic programming. Within the framework, programming is modeled in terms of two activities, formalization and implementation, each of which transforms descriptions of the program as it proceeds through intermediate states of development. The activities and transformations may be used to characterize the interaction of programming knowledge and domain knowledge in an automatic programming system.