A knowledge-based problem-specific program generator
ACM SIGPLAN Notices
The partial metrics system: modeling the stepwise refinement process using partial metrics
Communications of the ACM
PHRAN-SPAN: a natural language interface for system specifications
DAC '87 Proceedings of the 24th ACM/IEEE Design Automation Conference
An architecture for intelligent assistance in software development
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Artificial intelligence and software engineering
ICSE '87 Proceedings of the 9th international conference on Software Engineering
A system for parallel programming
ICSE '87 Proceedings of the 9th international conference on Software Engineering
ACM '87 Proceedings of the 1987 Fall Joint Computer Conference on Exploring technology: today and tomorrow
A Language and System for the Construction and Tuning of Parallel Programs
IEEE Transactions on Software Engineering
Understanding and Controlling Software Costs
IEEE Transactions on Software Engineering
Description for a Tool Specifying and Prototyping Concurrent Programs
IEEE Transactions on Software Engineering
ICSE '88 Proceedings of the 10th international conference on Software engineering
Deriving specifications from requirements
ICSE '88 Proceedings of the 10th international conference on Software engineering
Automatic programming for streams II: transformational implementation
ICSE '88 Proceedings of the 10th international conference on Software engineering
Incremental dynamic semantics for language-based programming environments
ACM Transactions on Programming Languages and Systems (TOPLAS)
Software CAD: A Revolutionary Approach
IEEE Transactions on Software Engineering
The USC system factory project
ACM SIGSOFT Software Engineering Notes
A model for the reuse of software design information
ICSE '89 Proceedings of the 11th international conference on Software engineering
A process-oriented approach to configuration management
ICSE '89 Proceedings of the 11th international conference on Software engineering
Constructing a dialogic framework for software development
ISPW '88 Proceedings of the 4th international software process workshop on Representing and enacting the software process
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Scaling up: a research agenda for software engineering
Communications of the ACM
Resourceful systems for fault tolerance, reliability, and safety
ACM Computing Surveys (CSUR)
The Evolving Philosophers Problem: Dynamic Change Management
IEEE Transactions on Software Engineering
A multi-formalism specification environment
SDE 4 Proceedings of the fourth ACM SIGSOFT symposium on Software development environments
Adding relational abstraction to programming languages
Conference proceedings on Formal methods in software development
Software process a` la algebra: OBJ for OBJ
ICSE '90 Proceedings of the 12th international conference on Software engineering
An Executable Language for Modeling Simple Behavior
IEEE Transactions on Software Engineering
Temporal Logic-Based Deadlock Analysis for Ada
IEEE Transactions on Software Engineering
Communications of the ACM
Representing and using nonfunctional requirements: a process-oriented approach
IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
Supporting Systems Development by Capturing Deliberations During Requirements Engineering
IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
ACM Computing Surveys (CSUR)
Communications of the ACM - Special issue on analysis and modeling in software development
Toward tools to support the Gries/Dijkstra design process
ACM SIGSOFT Software Engineering Notes
A methodology for high-level software specification construction
ACM SIGSOFT Software Engineering Notes
A general explanation component for conceptual modeling in CASE environments
ACM Transactions on Information Systems (TOIS)
IEEE Transactions on Software Engineering - Special issue: best papers of the sixth international workshop on Petri nets and performance models (PNPM'95)
Building, modifying and using component generators
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Software Reuse by Specialization of Generic Procedures through Views
IEEE Transactions on Software Engineering
Managing performance requirements for information systems
Proceedings of the 1st international workshop on Software and performance
Understanding and exploring formal specifications
Annals of Software Engineering - Special issue on software engineering education
Experiments with typing in process modeling
ISPW '90 Proceedings of the 5th international software process workshop on Experience with software process models
The methodology roles in the realization of a model development environment
WSC '88 Proceedings of the 20th conference on Winter simulation
Software engineerng applied to discrete event simulations
WSC '86 Proceedings of the 18th conference on Winter simulation
Design Wizards and Visual Programming Environments for GenVoca Generators
IEEE Transactions on Software Engineering
Management of Performance Requirements for Information Systems
IEEE Transactions on Software Engineering
DMS: program transformations for practical scalable software evolution
Proceedings of the International Workshop on Principles of Software Evolution
Towards quality requirements via animated formal specifications
Annals of Software Engineering
Tools for producing formal specifications: a view of current architectures and future directions
Annals of Software Engineering
Requirements and Specification Exemplars
Automated Software Engineering
Automated Software Engineering
A situational approach to design strategies
Software Quality Control
IEEE Software
Automatic Programming for End Users: The TOAD System
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
Planning by Transformational Synthesis
IEEE Expert: Intelligent Systems and Their Applications
A New Level of Language Generation Technology: Capabilities and Possibilities
IEEE Expert: Intelligent Systems and Their Applications
Representing and Using Nonfunctional Requirements: A Process-Oriented Approach
IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
Using Transformations in Specification-Based Prototyping
IEEE Transactions on Software Engineering
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
Achievements and Prospects of Program Synthesis
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Attempto Controlled English - Not Just Another Logic Specification Language
LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation
Design Wizards and Visual Programming Environments for Generators
ICSR '98 Proceedings of the 5th International Conference on Software Reuse
Flexible, dynamic user interfaces for Web-delivered training
AVI '96 Proceedings of the workshop on Advanced visual interfaces
DMS®: Program Transformations for Practical Scalable Software Evolution
Proceedings of the 26th International Conference on Software Engineering
Experiences Integrating and Scaling a Performance Test Bed Generator with an Open Source CASE Tool
Proceedings of the 19th IEEE international conference on Automated software engineering
Context-sensitive domain-independent algorithm composition and selection
Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation
Formal methods for embedded distributed systems
Case study: Re-engineering C++ component models via automatic program transformation
Information and Software Technology
Innovations in Natural Language Document Processing for Requirements Engineering
Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs
Computer aided software design via inference and constraint propagation
Integrated Computer-Aided Engineering - Selected papers from the IEEE Conference on Information Reuse and Integration (IRI), July 13-15, 2008
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
Integrating declarative knowledge programming styles and tools in a structured object AI environment
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
Understanding system specifications written in natural language
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 2
Why haven't we automated programming
Proceedings of the FSE/SDP workshop on Future of software engineering research
Generation of geometric programs specified by diagrams
Proceedings of the 10th ACM international conference on Generative programming and component engineering
A tutorial on feature oriented programming and the AHEAD tool suite
GTTSE'05 Proceedings of the 2005 international conference on Generative and Transformational Techniques in Software Engineering
Automated runtime validation of software architecture design
ICDCIT'05 Proceedings of the Second international conference on Distributed Computing and Internet Technology
Reverse engineering and reusing COBOL programs: a program transformation approach
IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods
Advances in Software 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
A classification and rationalization of model-based software development
Software and Systems Modeling (SoSyM)
Freedom through constraints: User-oriented architectural design
Advanced Engineering Informatics
| Hi-index | 0.05 |
Automatic programming consists not only of an automatic compiler, but also some means of acquiring the high-level specification to be compiled, some means of determining that it is the intended specification, and some (interactive) means of translating this high-level specification into a lower-level one which can be automatically compiled.