EEMCS

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,838 ***

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. 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,838 ***