Analysis of concurrent software by cooperative application of static and dynamic techniques
Proc. of a symposium on Software validation: inspection-testing-verification-alternatives
Programming expert systems in OPS5: an introduction to rule-based programming
Programming expert systems in OPS5: an introduction to rule-based programming
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
Software processes are software too
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Process models, process programs, programming support
ICSE '87 Proceedings of the 9th international conference on Software Engineering
On building software process models under the lamppost
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
Software evolution management: an integrated discipline for managing software
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Tailoring the software process to project goals and environments
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Design and test of distributed applications
ICSE '88 Proceedings of the 10th international conference on Software engineering
Software process modeling: a behavioral approach
ICSE '88 Proceedings of the 10th international conference on Software engineering
Validating the TAME resource data model
ICSE '88 Proceedings of the 10th international conference on Software engineering
Applying process programming to the model
ISPW '88 Proceedings of the 4th international software process workshop on Representing and enacting the software process
Automated support for the enactment of rigorously described software processes
ISPW '88 Proceedings of the 4th international software process workshop on Representing and enacting the software process
Describing and acting process models with PML
ISPW '88 Proceedings of the 4th international software process workshop on Representing and enacting the software process
Environment modeling and activity management in Genesis
Proceedings of the second conference on Software development tools, techniques, and alternatives
Active design reviews: principles and practices
ICSE '85 Proceedings of the 8th international conference on Software engineering
Software development process audits—a general procedure
ICSE '85 Proceedings of the 8th international conference on Software engineering
ACM Computing Surveys (CSUR)
Validation, Verification, and Testing of Computer Software
ACM Computing Surveys (CSUR)
The Cornell program synthesizer: a syntax-directed programming environment
Communications of the ACM
Fragtypes: A Basis for Programming Environments
IEEE Transactions on Software Engineering
Providing Customized Assistance for Software Lifecycle Approaches
IEEE Transactions on Software Engineering
Systematic Development of Formal Software Process Models
ESEC '89 Proceedings of the 2nd European Software Engineering Conference
Software process enactment in Oikos
SDE 4 Proceedings of the fourth ACM SIGSOFT symposium on Software development environments
DAIDA: an environment for evolving information systems
ACM Transactions on Information Systems (TOIS)
Process and measurement support in SEEs
ACM SIGSOFT Software Engineering Notes
ICSE '91 Proceedings of the 13th international conference on Software engineering
The SMART approach for software process engineering
ICSE '94 Proceedings of the 16th international conference on Software engineering
Engineering Software Design Processes to Guide Process Execution
IEEE Transactions on Software Engineering
The IBM-McGill project on software process
CASCON '91 Proceedings of the 1991 conference of the Centre for Advanced Studies on Collaborative research
Hi-index | 0.00 |