Automatic verification of finite-state concurrent systems using temporal logic specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Software engineering (3rd ed.): a practitioner's approach
Software engineering (3rd ed.): a practitioner's approach
HDM—a model-based approach to hypertext application design
ACM Transactions on Information Systems (TOIS)
The Dexter hypertext reference model
Communications of the ACM
RMM: a methodology for structured hypermedia design
Communications of the ACM
The object-oriented hypermedia design model
Communications of the ACM
Systematic hypermedia application design with OOHDM
Proceedings of the the seventh ACM conference on Hypertext
Add one egg, a cup of milk, and stir: single source documentation for today
SIGDOC '97 Proceedings of the 15th annual international conference on Computer documentation
Computer Networks
Hi-index | 0.00 |