he Laboratory on Foundations and Tools for Software Engineering (LaFHIS) is at the Department of Computing, Faculty of Science, University of Buenos Aires. Our broad interest is in the use of automated techniques to support analysis of software engineering artefacts including requirements, design and code. It is in that general area were we aim to conduct leading-edge research and technology transfer to support effective engineering methods, tools and environments for the development of composite, heterogeneous and complex software-intensive systems.