Author:
Navarre David,Dragicevic Pierre,Palanque Philippe,Bastide Rémi,Schyn Amélie
Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. Bass, L., Little, R., Pellegrino, R., Reed, S., Seacord, R., Sheppard, S., Szezur, M.R.: The Arch Model: Seeheim Revisited. In: User Interface Developpers’ Workshop. Version 1.0 (1991)
2. Lecture Notes in Computer Science;R. Bastide,1995
3. Bastide, R., Palanque, P., Le Duc, H., Muńoz, J.: Integrating Rendering Specifications into a Formalism for the Design of Interactive Systems. In: Proceedings of the 5th Eurographics Workshop on Design, Specification and Verification of Interactive systems DSV-IS 1998, Springer, Heidelberg (1998)
4. Bastide, R., Sy, O., Palanque, P., Navarre, D.: Formal specification of CORBA services: experience and lessons learned. In: ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2000), ACM SIGPLAN Notices, Minneapolis, Minnesota USA, vol. 35 (10), pp. 105–117. ACM Press, New York (2000)
5. Berry, G.: The Esterel v5 language primer. Technical report (April 1999), http://www-sop.inria.fr/meije/esterel/doc/main-papers.html
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Supporting the Analysis of Safety Critical User Interfaces;ACM Transactions on Computer-Human Interaction;2020-10-05