Personal Health Records: New Means to Safely Handle Health Data? : THE MOVE TOWARD ELECTRONIC HEALTH RECORDSCARRION SENOR, Inmaculada; FERNANDEZ ALEMAN, José Luis; TOVAL, Ambrosio et al.Computer (Long Beach, CA). 2012, Vol 45, Num 11, pp 27-33, issn 0018-9162, 7 p.Article

An empirical study of the nesting level of composite states within UML statechart diagramsCRUZ-LEMUS, José A; GENERO, Marcela; PIATTINI, Mario et al.Lecture notes in computer science. 2005, pp 12-22, issn 0302-9743, isbn 3-540-29395-7, 1Vol, 11 p.Conference Paper

Mutation TestingREALES, Pedro; POLO, Macario; FERNANDEZ-ALEMAN, José Luis et al.IEEE software. 2014, Vol 31, Num 3, pp 30-35, issn 0740-7459, 6 p.Article

Integration and transformation of UML modelsARAUJO, Joao; WHITTLE, Jonathan; TOVAL, Ambrosio et al.Lecture notes in computer science. 2002, pp 184-191, issn 0302-9743, isbn 3-540-00233-2, 8 p.Conference Paper

Towards use case and conceptual models through business modelingGARCIA MOLINA, J; ORTIN, M. José; MOROS, Begona et al.Lecture notes in computer science. 2000, pp 281-294, issn 0302-9743, isbn 3-540-41072-4Conference Paper

Requirements Engineering ToolsCARRILLO DE GEA, Juan M; NICOLAS, Joaquin; FERNANDEZ ALEMAN, Jose L et al.IEEE software. 2011, Vol 28, Num 4, pp 86-91, issn 0740-7459, 6 p.Article