J. Artur Serrano

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1999

3 J. Artur Serrano: Formal Specifications of Software Design Methods. IWFM 1999

1998

2 EE J. Artur Serrano, Ray Welland: VC^t - a formal language for the specification of diagrammatic modelling techniques. Information & Software Technology 40(9): 463-474 (1998)

1995

1 EE J. Artur Serrano: The Use of Semantic Constraints on Diagram Editors. VL 1995: 211-216

1999
3		J. Artur Serrano: Formal Specifications of Software Design Methods. IWFM 1999
1998
2	EE	J. Artur Serrano, Ray Welland: VC^t - a formal language for the specification of diagrammatic modelling techniques. Information & Software Technology 40(9): 463-474 (1998)
1995
1	EE	J. Artur Serrano: The Use of Semantic Constraints on Diagram Editors. VL 1995: 211-216

Coauthor Index

1 Ray Welland [2]