@proceedings {7780,
	title = {First International Workshop on Human Factors in Modeling (HuFaMo 2015) @ MODELS 2015 - Preface},
	journal = {First International Workshop on Human Factors in Modeling (HuFaMo 2015) @ MODELS 2015},
	year = {2015},
	month = {28 Sep.},
	address = {Ottawa, Canada},
	url = {http://ceur-ws.org/Vol-1522/},
	author = {St{\"o}rrle, Harald and Chaudron, Michel R. V. and Amaral, Vasco and Goul{\~a}o, Miguel}
}
@conference {3408,
	title = {A Framework to Evaluate Complexity and Completeness of KAOS Goal Models},
	booktitle = {25th International Conference on Advanced Information Systems Engineering, CAiSE 2013},
	year = {2013},
	month = {17-21 Jun.},
	address = {Valencia, Spain},
	abstract = {<p>Goal-Oriented Requirements Engineering (GORE) approaches have been developed to facilitate the requirements engineers work by, for example, providing abstraction mechanisms to help eliciting and modeling requirements. One of the well-established GORE approaches is KAOS. Nevertheless, in large-scale systems building KAOS models may result in incomplete and/or complex goal models, which are difficult to understand and change. This may lead to an increase in costs of product development and evolution. Thus, for large-scale systems, the effective management of complexity and completeness of goal<br />
models is vital. In this paper, we propose a metrics framework for supporting the quantitative assessment of complexity and completeness of KAOS goal models. Those metrics are formally specified, implemented and incorporated in a KAOS modeling tool. We validate the metrics with a set of real-world case studies and discuss the identified recurring modeling practices. </p>
},
	url = {http://dx.doi.org/10.1007/978-3-642-38709-8_36},
	attachments = {https://docentes.fct.unl.pt/sites/default/files/mgoul/files/espadagoulaoaraujocaise2013.pdf},
	author = {Espada, Patr{\'\i}cia and Goul{\~a}o, Miguel and Ara{\'u}jo, Jo{\~a}o}
}
@conference {Goulao2005QoSA,
	title = {Formal Definition of Metrics upon the CORBA Component Model},
	booktitle = {First International Conference on the Quality of Software Architectures (QoSA{\textquoteright}2005), and Proceedings of the Second International conference on Software Quality},
	volume = {3712},
	year = {2005},
	note = {n/a},
	pages = {88-105},
	publisher = {Springer},
	organization = {Springer},
	address = {Erfurt, Germany},
	abstract = {n/a},
	author = {Goul{\~a}o, Miguel and Abreu, Fernando Brito},
	editor = {Reussner, Ralf and Mayer, Johannes and Stafford, Judith A. and Overhage, Sven and Becker, Steffen and Schroeder, Patrick J.}
}
@conference {Goulao2004MPEC,
	title = {Formalizing Metrics for COTS},
	booktitle = {International Workshop on Models and Processess for the Evaluation of COTS Components (MPEC 2004) at ICSE 2004},
	year = {2004},
	note = {n/a},
	pages = {37-40},
	publisher = {IEE},
	organization = {IEE},
	address = {Edimburgh, Scotland},
	abstract = {n/a},
	author = {Goul{\~a}o, Miguel and Abreu, Fernando Brito},
	editor = {Dubois, Eric and Franch, Xavier}
}
@conference {Goulao2002QAOOSE,
	title = {From Objects to Components - A Quantitative Experiment},
	booktitle = {6th International Workshop on Quantitative Approaches in Object-Oriented Software Engineering QAOOSE{\textquoteright}2002},
	year = {2002},
	note = {n/a},
	address = {M{\'a}laga, Spain},
	abstract = {n/a},
	author = {Goul{\~a}o, Miguel and Abreu, Fernando Brito},
	editor = {Piattini, Mario and Abreu, Fernando Brito and Sahraoui, Houari and Poels, Geert}
}
