Programming in MODULA-2 (3rd corrected ed.)
Programming in MODULA-2 (3rd corrected ed.)
Software construction using typed fragments
Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT) on Formal Methods and Software, Vol.2: Colloquium on Software Engineering (CSE)
The Cornell program synthesizer: a syntax-directed programming environment
Communications of the ACM
Program development by stepwise refinement
Communications of the ACM
Graphical program development with PECAN program development systems
SDE 1 Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Viewing a programming environment as a single tool
SDE 1 Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
COPE: A Cooperative Programming Environment
COPE: A Cooperative Programming Environment
Creation of hierarchic text with a computer display
Creation of hierarchic text with a computer display
BCPL: The Language and its Compiler
BCPL: The Language and its Compiler
View-based tool integration in database-centered environment
SIGSMALL '90 Proceedings of the 1990 ACM SIGSMALL/PC symposium on Small systems
Prism = methodology + process-oriented environment
ICSE '90 Proceedings of the 12th international conference on Software engineering
Cotools: a tool composition mechanism for object-based environments
CSC '90 Proceedings of the 1990 ACM annual conference on Cooperation
Prism-Methodology and Process-Oriented Environment
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
View-based tool integration in database-centered environments
ACM SIGSMALL/PC Notes
| Hi-index | 0.00 |
The author introduces a novel basis for programming environments that encourages development of software in fragments of various types, called fragtypes. Fragtypes range from a simple expression type to a complete subsystem type. As a result, they are suited to the development of software in an enlarged scope that includes both programming in the small and programming in the large. The author shows how proposed operations on fragtypes can achieve unusual effects on the software development process. Fragtypes and their associated construction rules form the basis of the programming environment MUPE-2, which is currently under development at McGill University. The target and theimplementation language of this environment is the programming language Modula-2.