ALF formal

Perseil, Isabelle

doi:10.1007/s11334-011-0168-x

Cited by 5 publications

(1 citation statement)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Similarly, Genero et al [69] suggest that more work is needed on model quality assessment. More precisely, Perseil [132] also points out that additional work remains to be done to verify Alf specifications. These overall goals are aligned with the purpose of this thesis.…”

Section: Problem Statementmentioning

confidence: 99%

Lightweight and static verification of UML executable models

Planas

Cabot

Gómez

2016

Computer Languages, Systems & Structures

View full text Add to dashboard Cite

A la meva família, per acompanyar-me en aquest camí.A dissertation presented by Elena Planas Hortal in partial fulfillment of the requirements for the degree of Doctor per la Universitat Politècnica de Catalunya Barcelona, February 10, 2013 Agraïments Doing a PhD thesis is a lonely task that cannot be carried out alone. AnonymAquesta tesiés el resultat d'uns quants anys de feina, durant els quals he rebut el suport, tan professional com personal, de moltes persones. Aquests agraïments són per tots vosaltres.En primer lloc, vull donar les gràcies als meus directors de tesi, al Dr. Jordi Cabot i a la Dra. Cristina Gómez, per donar-me l'oportunitat de treballar i aprendre al seu costat. Al Jordi, moltes gràcies per aportar una visió clara i resolutiva dels problemes, pels seus consells precisos que sempre m'han resultat moltútils i per la seva disponibilitat des de qualsevol lloc del món. A la Cristina, moltes gràcies pel seu rigor científic i grau d'exigència, i també per la seva proximitat, dedicació i interès constant. A tots dos, moltes gràcies per la vostra orientació i suport que m'han permès arribar fins aquí.Moltíssimes gràcies a totes les persones que han col.laborat directament amb el desenvolupament d'aquesta tesi. Un agraïment molt especial al David Sánchez, per haver-me ajudat amb la implementació de la tesi, però sobretot pel seu entusiasme en tot moment. També a l'Esther Guerra i al Juan de Lara, per permetre'm ampliar la visió del meu propi treball aplicant-lo a d'altres camps.També vull donar les gràcies als examinadors d'aquesta tesi: el Dr. Antoni Olivé i a la Dra. Ruth Raventós, de la Universitat Politècnica de Catalunya (UPC), al Dr. Robert Clarisó, de la Universitat Oberta de Catalunya (UOC), al Dr. Vicente Pelechano, de la Universitat Politècnica de València (UPV) i al Dr. Manuel Wimmer, de la Vienna University of Technology (TUWien) per acceptar formar part del tribunal. També, als revisors externs que van llegir una versió prèvia d'aquesta tesi i em van fer arribar els seus suggeriments per millorar-la.A tots els meus companys del Grup de Modelització Conceptual (GMC): Gràcies pels vostres comentaris i consells al llarg del desenvolupament d'aquesta tesi. Un agraïment especial a l'Antonio Villegas i al David Aguilera, per proporcionar-me la plantilla d'aquesta tesi i resoldre els meus dubtes de L A T E X amb una rapidesa increïble.A tots els companys i amics dels estudis d'Informàtica, Multimèdia i Telecomunicació de la UOC. Al Josep Prieto, per donar-me totes les facilitats per poder acabar aquesta tesi. Al Santi Caballé i a l'Elena Rodríguez, per haver-se fet càrrec de les meves assignatures mentre jo he estat redactant aquest document. Als meus companys de despatx, el David Bañeres i el Jordi Conesa, pels moments compartits al llarg de tots aquests anys. A l'Àgata Lapedriza, l'Àngels Rius, i tants d'altres, per formar part del meu dia dia.A very special acknowledgment (in english) to all my dutch collegues from the Software Engineering and Technology group (SET) at the Eindhoven Unive...

show abstract

Section: Problem Statementmentioning

confidence: 99%