Data types, parameters and type checking
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Pilot: A software engineering case study
ICSE '79 Proceedings of the 4th international conference on Software engineering
The impact of mesa on system design
ICSE '79 Proceedings of the 4th international conference on Software engineering
The design of an integrated support software system
SIGPLAN '82 Proceedings of the 1982 SIGPLAN symposium on Compiler construction
Design, implementation, and evaluation of a Revision Control System
ICSE '82 Proceedings of the 6th international conference on Software engineering
A retrospective on the development of Star
ICSE '82 Proceedings of the 6th international conference on Software engineering
The representation of families of software systems.
The representation of families of software systems.
Controlling large software development in a distributed environment
Controlling large software development in a distributed environment
SIGPLAN '86 Proceedings of the 1986 SIGPLAN symposium on Compiler construction
Configuration management in BiiN SMS
ICSE '89 Proceedings of the 11th international conference on Software engineering
A mechanism for environment integration
ACM Transactions on Programming Languages and Systems (TOPLAS)
An object-oriented model of software configuration management
SCM '91 Proceedings of the 3rd international workshop on Software configuration management
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Abstracting dependencies between software configuration items
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Version models for software configuration management
ACM Computing Surveys (CSUR)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Implementing remote procedure calls
ACM Transactions on Computer Systems (TOCS)
PODC '84 Proceedings of the third annual ACM symposium on Principles of distributed computing
Organizing software in a distributed environment
Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems
Computer-Aided Software Engineering in a distributed workstation environment
SDE 1 Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Software configuration management in an object oriented database
COOTS'95 Proceedings of the USENIX Conference on Object-Oriented Technologies on USENIX Conference on Object-Oriented Technologies (COOTS)
Hi-index | 0.00 |
Assembling a large system from its component elements is not a simple task. An adequate notation for specifying this task must reflect the system structure, accommodate many configurations of the system and many versions as it develops, and be a suitable input to the many tools that support software development. The language described here applies the ideas of λ-abstraction, hierarchical naming and type-checking to this problem. Some preliminary experience with its use is also given.