A 15 Year Perspective on Automatic Programming
IEEE Transactions on Software Engineering - Special issue on artificial intelligence and software engineering
Software processes are software too
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
Pgraphite: an experiment in persistent typed object management
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
OROS: toward a type model for software development environments
OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
Specification-level interoperability
Communications of the ACM - Special issue on software engineering
Preliminary Report on the OROS Type Model
Preliminary Report on the OROS Type Model
Hi-index | 0.00 |
Much of our recent work has been predicated on the hypothesis that extensive use of typing will be an important aspect of creating and using process models. In particular, we have been actively investigating type models specifically tailored for use in software environment and process model definition. We recently used class projects in two different software engineering courses as preliminary experiments on the efficacy of typing in creating process models. In this paper we sketch our type model work, describe the experiments and offer a brief assessment of the results.