Artificial intelligence and software engineering
ICSE '87 Proceedings of the 9th international conference on Software Engineering
A knowledge-based manager for software engineering projects
IEA/AIE '88 Proceedings of the 1st international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 1
Automatic programming for streams II: transformational implementation
ICSE '88 Proceedings of the 10th international conference on Software engineering
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
ELF: a tool for automatic synthesis of custom physical CAD software
DAC '89 Proceedings of the 26th ACM/IEEE Design Automation Conference
LCD-reification: a formal method for developing Prolog programs
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Telos: representing knowledge about information systems
ACM Transactions on Information Systems (TOIS)
Editorial: Knowledge Representation and Reasoning in Software Engineering
IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
Knowledge Representation and Reasoning in a Software Synthesis Architecture
IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
Negotiated Interfaces for Software Reuse
IEEE Transactions on Software Engineering
Toward tools to support the Gries/Dijkstra design process
ACM SIGSOFT Software Engineering Notes
The deductive synthesis of database transactions
ACM Transactions on Database Systems (TODS)
CSC '91 Proceedings of the 19th annual conference on Computer Science
Planning by Transformational Synthesis
IEEE Expert: Intelligent Systems and Their Applications
IEEE Expert: Intelligent Systems and Their Applications
Using Transformations in Specification-Based Prototyping
IEEE Transactions on Software Engineering
Creation of Views for Reuse of Software with Different Data Representations
IEEE Transactions on Software Engineering
DESCARTES: An Automatic Programming System for Algorithmically Simple Programs
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
Ontology-Driven Information Systems: Past, Present and Future
Proceedings of the 2008 conference on Formal Ontology in Information Systems: Proceedings of the Fifth International Conference (FOIS 2008)
| Hi-index | 0.00 |