A highly integrated tool set for program development support
SIGSMALL '88 Proceedings of the 1988 ACM SIGSMALL/PC symposium on ACTES
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
Toward special-purpose program verification
Conference proceedings on Formal methods in software development
On designing intelligent hypertext systems for information management in software engineering
HYPERTEXT '87 Proceedings of the ACM conference on Hypertext
XCELL: a cellular, graphical factory modelling system
WSC '86 Proceedings of the 18th conference on Winter simulation
Integrated Environments for Formally Well-Founded Design and Simulation of Concurrent Systems
IEEE Transactions on Software Engineering
Hi-index | 0.00 |