Arrays and pointers considered harmful
ACM SIGPLAN Notices
An overview of the ISO/VDM-SL standard
ACM SIGPLAN Notices
Understanding the differences between VDM and Z
ACM SIGSOFT Software Engineering Notes
Exercises for teaching logic in a formal methods course: formalizing ERDs
SIGCSE '99 The proceedings of the thirtieth SIGCSE technical symposium on Computer science education
Software quality by administration
Software Quality Control
A Survey of Languages for Specifying Dynamics: A Knowledge Engineering Perspective
IEEE Transactions on Knowledge and Data Engineering
ADVcharts: a graphical specification for abstract data views
CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: software engineering - Volume 1
Management of software engineering
International Journal of Computer Applications in Technology
Information and Software Technology
Social interaction regulation in virtual web environments using the Social Theatres model
Journal of Network and Computer Applications
| Hi-index | 0.00 |