EEMCS EPrints Service

Education

Research

Prospective Students

Jobs

Publications

Intranet (internal)

Nederlands

Contact

Sitemap

Organisation

Classification: SE-Q: Quality Modelling and Verification

Home Policy Brochure Browse Search User Area Contact Help

2011

de Roo, A.J. and Sözer, H. and Akşit, M. (2011) Runtime Verification of Domain-Specific Models of Physical Characteristics in Control Software. In: Fifth IEEE International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2011, 27-29 Jun 2011, Jeju Island, Korea. pp. 41-50. IEEE Computer Society. ISBN 978-0-7695-4453-3

2010

van den Broek, P.M. (2010) Optimization of Product Instantiation using Integer Programming. In: Proceedings of the 14th International Software Product Line Conference, Volume 2, 14 Sep 2010, Jeju Island, South Korea. pp. 107-111. Lancaster University, Lancaster, UK. ISBN 978-1-86220-274-0

van den Broek, P.M. and Galvao Lourenco da Silva, I. and Noppen, J.A.R. (2010) Merging Feature Models. In: 14th International Software Product Line Conference, Volume 2, 14 Sep 2010, Jeju Island, South Korea. pp. 83-89. Lancaster University, Lancaster, UK. ISBN 978-1-86220-274-0

2008

van den Broek, P.M. and Galvao Lourenco da Silva, I. and Noppen, J.A.R. (2008) Elimination of Constraints from Feature Trees. In: Proceedings of the 12th International Software Product Line Conference, 12 Sept 2008, Limerick, Ireland. pp. 227-232. Lero International Science Centre, University of Limerick, Ireland. ISBN 978-1-905952-06-9

Göknil, A. and Kurtev, I. and van den Berg, K.G. (2008) A Metamodeling Approach for Reasoning about Requirements. In: 4th European Conference Model Driven Architecture - Foundations and Applications, ECMDA-FA 2008, 9-13 June 2008, Berlin, Germany. pp. 310-325. Lecture Notes in Computer Science 5095. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-69095-5

2007

van den Berg, K.G. and Conejero, J.M. and Hernández, J. (2007) Analysis of Crosscutting in Early Software Development Phases Based on Traceability. In: Transactions on Aspect-Oriented Software Development III. Lecture Notes in Computer Science 4620. Springer Verlag, Berlin, pp. 73-104. ISSN 0302-9743 ISBN 978-3-540-75161-8

Conejero, J.M. and Hernández, J. and Jurado, E. and van den Berg, K.G. (2007) Crosscutting, what is and what is not? A Formal definition based on a Crosscutting Pattern. Technical Report TR28/07, University of Extremadura, Spain, Extremadura. ISSN not assigned