A Formal Description Technology: Graphics E-LOTOS
暂无分享,去创建一个
[1] Tommaso Bolognesi,et al. Tableau methods to describe strong bisimilarity on LOTOS processes involving pure interleaving and enabling , 1994, FORTE.
[2] Luciano Baresi,et al. Introducing Formal Specification Methods in Industrial Practice , 1997, Proceedings of the (19th) International Conference on Software Engineering.
[3] Betty H. C. Cheng,et al. Formalizing and Integrating the Dynamic Model within OMT , 1997, Proceedings of the (19th) International Conference on Software Engineering.
[4] Alexandre Petrenko,et al. Protocol testing: review of methods and relevance for software testing , 1994, ISSTA '94.
[5] Dieter Hogrefe,et al. The CCITT-Specification and Description Language SDL , 1989, Comput. Networks.
[6] Guy Leduc,et al. An Introduction to ET-LOTOS for the Description of Time-Sensitive Systems , 1997, Comput. Networks ISDN Syst..
[7] T. Y. Cheung,et al. UO-GLOTOS: A Syntax/System for Representing, Editing and Translating Graphical LOTOS , 1989, FORTE.
[8] Stanislaw Budkowski,et al. An Introduction to Estelle: A Specification Language for Distributed Systems , 1987, Comput. Networks.
[9] Jean-Pierre Jacquot,et al. Early Specification of User-Interfaces: Toward a Formal Approach , 1997, Proceedings of the (19th) International Conference on Software Engineering.
[10] William Roberts Mallgren. Formal Specification of Interactive Graphics Programming Languages , 1983 .