From program languages to software languages
Journal of Systems and Software - Special issue on artificial and computational intelligence for decisions, control, and automation in engineering and industrial applications
An Agenda for Specifying Software Components with Complex Data Models
SAFECOMP '98 Proceedings of the 17th International Conference on Computer Safety, Reliability and Security
An Open Environment for the Integration of Hetereogenous Modelling Techniques and Tools
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
Encoding temporal logics in executable Z: a case study for the ZETA system
LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
Hi-index | 0.01 |