A requirements modeling language and its logic
Information Systems
On the structure of structure-oriented editors for different applications
SDE 2 Proceedings of the second ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
ICSE '87 Proceedings of the 9th international conference on Software Engineering
An architecture for intelligent assistance in software development
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Foundations for the Arcadia environment architecture
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
A plan-based intelligent assistant that supports the software development
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Extended programming in the large in a software development environment
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Describing and acting process models with PML
ISPW '88 Proceedings of the 4th international software process workshop on Representing and enacting the software process
Systematic Development of Formal Software Process Models
ESEC '89 Proceedings of the 2nd European Software Engineering Conference
Graph Grammar Engineering: A Software Specification Method
Proceedings of the 3rd International Workshop on Graph-Grammars and Their Application to Computer Science
Concepts and implementation of a rule-based process engine
ICSE '92 Proceedings of the 14th international conference on Software engineering
The SMART approach for software process engineering
ICSE '94 Proceedings of the 16th international conference on Software engineering
Flexible and Reliable Process Model Properties: An Integrated Approach
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
Hi-index | 0.01 |