Knowledge Representation and Reasoning in a Software Synthesis Architecture
IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
Comparing object-oriented analysis with knowledge acquisition
ACM SIGPLAN OOPS Messenger
A methodology for high-level software specification construction
ACM SIGSOFT Software Engineering Notes
Post-process feedback with and without attribute focusing: a comparative evaluation
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Automated Software Synthesis: An Application in Mechanical CAD
IEEE Transactions on Software Engineering
Searching for a Global Search Algorithm
Automated Software Engineering
Creation of Views for Reuse of Software with Different Data Representations
IEEE Transactions on Software Engineering
Inductive Synthesis of Functional Programs
AISC '02/Calculemus '02 Proceedings of the Joint International Conferences on Artificial Intelligence, Automated Reasoning, and Symbolic Computation
RAMASD: a semi-automatic method for designing agent organisations
The Knowledge Engineering Review
Encyclopedia of Computer Science
Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approach
The Journal of Machine Learning Research
Evaluating the adoption potential of design science efforts: The case of APSARA
Decision Support Systems
An introduction to inductive programming
Artificial Intelligence Review
Context free languages: an application to recursive programs analysis
MMACTEE'06 Proceedings of the 8th WSEAS international conference on Mathematical methods and computational techniques in electrical engineering
| Hi-index | 0.00 |