Automatic program development using PIA-CASE tool
ACM SIGSMALL/PC Notes
Beyond definition/use: architectural interconnection
IDL '94 Proceedings of the workshop on Interface definition languages
The operational versus the conventional approach to software development
Communications of the ACM
Operational specification languages
ACM '83 Proceedings of the 1983 annual conference on Computers : Extending the human resource
Incremental Software Development Method Based on Abstract Interpretation
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
Maintenance productivity: observations based on an experience in a large system environment
CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: software engineering - Volume 1
Efficient symbolic computation of process expressions
Science of Computer Programming
Problem frames and software engineering
Information and Software Technology
JSD = Δ CSP ⊕ TLZ: a case study
Methods'96 Proceedings of the 1996 international conference on Methods Integration
| Hi-index | 0.02 |