A cookbook for using the model-view controller user interface paradigm in Smalltalk-80
Journal of Object-Oriented Programming
Specification, analysis and refinement of interactive processes
Formal methods in human-computer interaction
Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
Designing the user interface (2nd ed.): strategies for effective human-computer interaction
Designing the user interface (2nd ed.): strategies for effective human-computer interaction
The IFAD VDM-SL toolbox: a practical approach to formal specifications
ACM SIGPLAN Notices
Using Z: specification, refinement, and proof
Using Z: specification, refinement, and proof
Some Conservative Stopping Rules for the Operational Testing of Safety-Critical Software
IEEE Transactions on Software Engineering
Comparing Approaches to Data Reification
FME '94 Proceedings of the Second International Symposium of Formal Methods Europe on Industrial Benefit of Formal Methods
SAFECOMP '99 Proceedings of the 18th International Conference on Computer Computer Safety, Reliability and Security
| Hi-index | 0.00 |