Home > Publications
Home University of Twente
Prospective Students
Intranet (internal)

EEMCS EPrints Service

Classification: CR-D.2.1
Home Policy Brochure Browse Search User Area Contact Help


Ionita, D. and Bullee, J.H. and Wieringa, R.J. (2014) Argumentation-Based Security Requirements Elicitation: The Next Round. In: Proceedings of the 2014 IEEE 1st International Workshop on Evolving Security and Privacy Requirements Engineering (ESPRE), 25 August 2014, Karlskrona, Sweden. pp. 7-12. IEEE Computer Society. ISBN 978-1-4799-6340-9


Teka, A. and Condori-Fernández, N. and Kurtev, I. and Quartel, D.A.C. and Engelsman, W. (2012) Change impact analysis of indirect goal relations: comparison of NFR and TROPOS approaches based on industrial case study. In: Model-Driven Requirements Engineering Workshop (MoDRE 2012), 24 Sep 2012, Chicago, USA. pp. 58-67. IEEE Computer Society. ISBN 978-1-4673-4387-9


Bergstra, J.A. and van de Pol, J.C. (2011) A Calculus for Four-Valued Sequential Logic. Theoretical computer science, 412 (28). pp. 3122-3128. ISSN 0304-3975 *** ISI Impact 0,643 ***
Göknil, A. (2011) Traceability of Requirements and Software Architecture for Change Management. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 11-192 ISBN 978-90-365-3175-7
Marincic, J. and Mader, A.H. and Wieringa, R.J. (2011) Validation of Embedded System Verification Models. In: Proceedings of Model-Driven Requirements Engineering Workshop (MoDRE), 29 Aug 2011, Trento, Italy. pp. 48-54. IEEE Computer Society. ISBN 978-1-4577-0957-9


Ponisio, M.L. and Sikkel, K. and Vermeulen, E. and Poort, E. and van Megen, I. (2008) Structures to Effectively Share Architectural Knowledge. In: Proceedings of IASTED International Conference on Software Engineering as part of the 26th IASTED International Multi-Conference on Applied Informatics, 12-14 Feb 2008, Innsbruck, Austria. pp. 192-199. ACTA Press. ISBN 978-0-88986-715-4


Chitchyan, R. and Rashid, A. and Moreira, A.M. and Araujo, J. and Clements, P. and Baniassad, E. and Tekinerdogan, B. (2007) Early Aspects at ICSE 2007: Workshop on Aspect-Oriented Requirements Engineering and Architecture Design. In: Workshop on Aspect-Oriented Requirements Engineering and Architecture Design, 21 May 2007, Minneapolis. pp. 127-128. IEEE Computer Society. ISBN 0-7695-2892-9


Vissers, C.A. and Scollo, G. and van Sinderen, M.J. and Brinksma, H. (1991) Specification styles in distributed systems design and verification. Theoretical Computer Science, 89 (1). pp. 179-206. ISSN 0304-3975 *** ISI Impact 0,643 ***