Luis M. Alonso

Publication Activity (10 Years)

Years Active: 1989-2011
Publications (10 Years): 0

Publications

Luis M. Alonso, Pablo Rabanal, Ismael Rodríguez
A Preliminary General Testing Method Based on Genetic Algorithms. IWANN (2) (2011)
Oscar Díaz, Arantza Irastorza, Jesús Sánchez Cuadrado, Luis M. Alonso
From page-centric to portlet-centric Web development: Easing the transition using MDD. Inf. Softw. Technol. 50 (12) (2008)
Ricardo Pena, Luis M. Alonso
A Technique for Specifying and Refining TCSP Processes by Using Guards and Liveness Conditions. TAPSOFT (1993)
Luis M. Alonso
Using State Variables for the Specification and Verfication of TCSP Processes. PARLE (1993)
Luis M. Alonso, Ricardo Pena
Acceptance Automata: A Framework for Specifying and Verifying TCSP Parallel Systems. PARLE (2) (1991)
Ricardo Pena, Luis M. Alonso
Specification and Verification of TCSP Systems by Means of Partial Abstract Data Types. TAPSOFT, Vol.2 (1989)