Finite state modelling in program development
Proceedings of the international conference on Reliable software
Role-based exploration of object-oriented programs
Proceedings of the 24th International Conference on Software Engineering
An algorithm to support code-skeleton generation for concurrent systems
ICSE '81 Proceedings of the 5th international conference on Software engineering
The use of a Module Interconnection Language in the SARA system design methodology
ICSE '79 Proceedings of the 4th international conference on Software engineering
Behavior modelling during software design
ICSE '78 Proceedings of the 3rd international conference on Software engineering
Languages for representing software specifications and designs
ACM SIGSOFT Software Engineering Notes
Abstracts in software engineering: part 6
ACM SIGSOFT Software Engineering Notes
An approach to software system modelling and analysis
Computer Languages
Hi-index | 0.00 |
We describe the underlying philosophy, the system organization and the design language of the Design Realization Evaluation And Modelling system, a prototype of a system being developed to aid software system designers.