Industrial integration of graphical and formal specifications

Authors:
Jim Armstrong
Affiliations:
-
Venue:
Journal of Systems and Software - Special issue on formal methods technology transfer
Year:
1998

Modeling statecharts and activitycharts as signal equations

ACM Transactions on Software Engineering and Methodology (TOSEM)
Real-Time Logic Revisited

FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
Formal interactive systems analysis and usability inspection methods: two incompatible worlds?

DSV-IS'00 Proceedings of the 7th international conference on Design, specification, and verification of interactive systems

Hi-index	0.00