J. Parets-Llorca

Using predicate temporal logic and coloured Petri nets to specifying integrity restrictions in the structural evolution of temporal active systems

M.J. Rodriguez-Fortiz, J. Parets-Llorca, 2000, Proceedings International Symposium on Principles of Software Evolution.

Software evolution. What kind of evolution

J. Parets-Llorca, J. J. Torres-Carbonell, 2001 .

A Software Development Tool for Evolutionary Prototyping of Information Systems

J. Parets-Llorca, Jesús Torres, P. Paderewski, .