Towards automated synthesis of data mining programs
KDD '99 Proceedings of the fifth ACM SIGKDD international conference on Knowledge discovery and data mining
Design Wizards and Visual Programming Environments for GenVoca Generators
IEEE Transactions on Software Engineering
Will Domain-Specific Code Synthesis Become a Silver Bullet?
IEEE Intelligent Systems
Fully Automatic Adaptation of Software Components Based on Semantic Specifications
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Applications of Structural Synthesis of Programs
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Design Wizards and Visual Programming Environments for Generators
ICSR '98 Proceedings of the 5th International Conference on Software Reuse
Formal approaches to systems analysis using UML: an overview
Advanced topics in database research vol. 1
Automating Traceability for Generated Software Artifacts
Proceedings of the 19th IEEE international conference on Automated software engineering
Combining Proof Plans with Partial Order Planning for Imperative Program Synthesis
Automated Software Engineering
Describing Knowledge Architectures
Proceedings of the 2006 conference on Information Modelling and Knowledge Bases XVII
A survey of automated deduction
Artificial intelligence today
Derivational software engineering
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
Bugs, moles and skeletons: symbolic reasoning for software development
IJCAR'10 Proceedings of the 5th international conference on Automated Reasoning
Pushouts in software architecture design
Proceedings of the 11th International Conference on Generative Programming and Component Engineering
Hi-index | 0.00 |