IEEE Transactions on Software Engineering
Real theorem provers deserve real user-interfaces
SDE 5 Proceedings of the fifth ACM SIGSOFT symposium on Software development environments
Using KIDS as a tool support for VDM
Proceedings of the 18th international conference on Software engineering
IEEE Transactions on Software Engineering - Special issue: best papers of the sixth international workshop on Petri nets and performance models (PNPM'95)
Systems, interactions, and macrotheory
ACM Transactions on Computer-Human Interaction (TOCHI) - Special issue on human-computer interaction in the new millennium, Part 2
Specification and Animation of a Bank Transfer using KIDS/VDM
Automated Software Engineering
Partial Functions in a Total Setting
Journal of Automated Reasoning
The CARE toolset for developing verified programs from formal specifications
SAST '96 Proceedings of the Proceedings of the Fourth International Symposium on Assessment of Software Tools (SAST '96)
Refinement, Decomposition, and Instantiation of Discrete Models: Application to Event-B
Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05
Reasoning about programs via operational semantics: requirements for a support system
Automated Software Engineering
Human-Computer Interaction
Reflections on, and Predictions for, Support Systems for the Development of Programs
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
A formal basis for modelling process and task management aspects of user interface design
FAC-FA'96 Proceedings of the 1996 BCS-FACS conference on Formal Aspects of the Human Computer Interface
A tool for developing correct programs by refinement
FAC-RW'96 Proceedings of the BCS-FACS 7th conference on Refinement
A tactic language for reasoning about Z specifications
3FACS'98 Proceedings of the 3rd BCS-FACS conference on Northern Formal Methods
Refinement, Decomposition, and Instantiation of Discrete Models: Application to Event-B
Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05
Theories of Programming and Formal Methods
| Hi-index | 0.00 |