Publications of J Artur Vale Serrano

Indicators for Benefit Estimation of Hospital Reorganizations

J. Artur Serrano. Poster published in proceedings of “Tromsø Telemedicine Conference TTeC’2004, June 2004, Tromsø, Norway.

Sistema de Informação de Apoio à Comunicação entre Instituições Particulares de Solidariedade Social e o Centro Distrital de Solidariedade e Segurança Social

António José da Silva, J Artur Vale Serrano. Published in proceedings of "1º Congresso Nacional da Administração Pública: Os Vectores de Mudança”, Centro de Congressos da AIP Junqueira Alcântara, 10 /11 November, 2003, Lisbon.

Metodologia de Introdução das Tecnologias da Informação e da Comunicação nas IPSS: “Best Institution Practice

 F.L. Romão, N.P. Rocha, J.A.V. Serrano, C. Ventura, Published  in journal "Electrónica e Telecomunicações", Departamento de Electrónica e Telecomunicações da Universidade de Aveiro, Portugal, Vol.3, Nº7, Set. 2002, pp. 589-598, ISSN: 1645-0493.

 Modelling the hospital into the future with UML

 Isabel A. Cruz, António Gramaxo Silva, J. Artur V. Serrano, João Paulo Cunha, Ilídio Oliveira, Pedro Soares. Published  in journal "International Journal of Healthcare Technology and Management", Volume 4, Nos. 3/4, 2002

Modelling the Hospital into the future with UML

Isabel A. Cruz, António Gramaxo Silva, J Artur Vale Serrano. Published  in proceedings of  “1st International Conference on Management of Healthcare and Medical Technology, The Hospital of the Future”, Twente University, The Netherlands, 22nd –24th April 2001.

TEAM-HOS - Novas Tecnologias da Informação e Comunicação nos Hospitais da Europa

J Artur Vale Serrano, Isabel Cruz, Pedro Daniel Soares. Published in journal “Tecnologias de Saúde”, pp. 50-61, January/February, 2001.

A Novel Methodology for World-best Teamwork in Hospitals

J. Artur Vale Serrano, Uwe Kirchhoff. Published in book “E-business, Key Issues, Applications and Technologies”, pp.859-865. Edited by Brian Standford-Smith and Paul T. Kidd, IOS Press, ISBN 1 58603 089 2, 2000.

Linguagens Visuais para Aplicações Médicas

Nuno Carvalho, Rui Couto, J. Artur Vale Serrano. Published in journal "Electrónica e Telecomunicações", Departamento de Electrónica e Telecomunicações da Universidade de Aveiro, Vol.2, Nº7, June, 2000 (in Portuguese with abstract in English).

Construção de um compilador de JAVA para a linguagem formal VCt.

Eduardo Jorge Oliveira, J. Artur Vale Serrano. Published in journal "Electrónica e Telecomunicações", Departamento de Electrónica e Telecomunicações da Universidade de Aveiro, Vol.2, Nº6, pp. 733-738, September, 1999 (in Portuguese with abstract in English).

Formal Specifications of Software Design

J Artur Vale Serrano. Published in proceedings of "IWFM’99 - 3rd Irish Workshop in Formal Methods", National University of Ireland, Galway, 1st - 2nd July, 1999.

Specifying Semantic Constraints for a Healthcare Scheduler

J Artur Vale Serrano, Marta Jacinto, João Paulo Cunha. Published in proceedings of "ICEIS’99 - International Conference on Enterprise Information Systems", Setúbal, Portugal, 1999.

VCt - A Formal Language for the Specification of Diagrammatic Modelling Techniques

Serrano, J. Artur and Welland, Ray. Published in journal "Information and Software Technology", Elsevier Science, Nº40, pp. 463-474, 1998.

Automatic Generation of Software Design Tools Supporting Semantics of Modelling Techniques

Serrano, J. Artur, Ph.D. Thesis (abstract), Universtity of Glasgow, United Kingdom, June, 1997.

The Use of Semantic Constraints on Diagram Editors

Serrano, J. Artur. In proceedings of "VL'95 11th International IEEE Symposium on Visual Languages", Darmstadt, Germany, 5-6 September 1995.

The Utilisation of Semantic Information to Bring Conceptual Modelling Closer to Application Domain Experts

Serrano, J. Artur. In proceedings of the Second Doctoral Consortium at "CAiSE'95 Advanced Information Systems Engineering", Jyvaskyla, Finland, 12-13 June 1995.

On the Semantics of Visual Objects

Serrano, J. Artur and Cooper, Richard. In ancillary proceedings of "HCI'94 People and Computers", University of Glasgow, Scotland, UK, 23-26 August 1994.

Reports

A Tutorial for the VCT Formal Specification Language

Serrano, J. Artur and Welland, Ray. Internal Report TR-1997-24, University of Glasgow, Scotland, UK, August 1997.

Complete VCT Specifications of Modelling Techniques

Serrano, J. Artur and Welland, Ray. Internal Report TR-1997-23, University of Glasgow, Scotland, UK, August 1997.

The Graph Tool

Serrano, J. Artur. Internal Report TR-1997-22, University of Glasgow, Scotland, UK, August 1997.

User Interfaces to Data Modelling Systems

Serrano, J. Artur. Internal Report, University of Glasgow, Scotland, UK, June 1994.

If you would like more information on the documents above, please do not hesitate to contact me. My email address is serrano@inesca.pt.


Back to my home page