Author:
Baresi Luciano,Pezzè Mauro
Publisher
Springer Berlin Heidelberg
Reference31 articles.
1. ARTIS s.r.l., Torino, Italy. Artifex 3.1-Tutorial, 1994.
2. L. Baresi. Formal Customization of Graphical Notations. PhD thesis, Dipartimento di Elettronica e Informazione-Politecnico di Milano, 1997. in Italian.
3. L. Baresi, A. Orso, and M. Pezzè. Introducing Formal Methods in Industrial Practice. In Proceedings of the 20th International Conference on Software Engineering, pages 56–66. ACM Press, 1997.
4. L. Baresi, M. Di Paola, A. Gargiulo, and M. Pezzè. LEMMA: A Language for an Easy Medical Models Analysis. In Proceedings of IEEE Computer Based Medical Systems 97, 1997. To appear.
5. L. Baresi and M. Pezzè. Towards Formalizing Structured Analysis. ACM Transactions on Software Engineering and Methodology, 7(1), jan 1998.
Cited by
31 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献