The Programmer's Apprentice: A Session with KBEmacs
IEEE Transactions on Software Engineering - Special issue on artificial intelligence and software engineering
Report on a knowledge-based software assistant
Readings in artificial intelligence and software engineering
Static Analysis-based program evolution support in the common lisp framework
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
Constructing Specifications by Combining Parallel Elaborations
IEEE Transactions on Software Engineering
Detecting interference when merging specification evolutions
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
A proposed perspective shift: viewing specification design as a planning problem
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
Integrating multiple specifications using domain goals
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Addressing software reuse through knowledge-based design
Software reusability
Program developments: formal explanations of implementations
Communications of the ACM
The GRAPPLE Plan Formalism
Communications of the ACM
Program Concept Recognition and Transformation
IEEE Transactions on Software Engineering - Special issue on software maintenance
Creating abstract superclasses by refactoring
CSC '93 Proceedings of the 1993 ACM conference on Computer science
EVA: A Flexible Programming Method for Evolving Systems
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Knowledge-Based Software Architectures: Acquisition, Specification, and Verification
IEEE Transactions on Knowledge and Data Engineering
Using Transformations in Specification-Based Prototyping
IEEE Transactions on Software Engineering
O-O Requirements Analysis: an Agent Perspective
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
A "Coming and Going" Approach to Specification Construction: A Scenario
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
Event-Based Traceability for Managing Evolutionary Change
IEEE Transactions on Software Engineering
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
Generating and Evaluating Choices for Fixing Inconsistencies in UML Design Models
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
| Hi-index | 0.02 |