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

EEMCS EPrints Service

Editor: Rumpe, B.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 8.


Amighi, A. and Darabi, S. and Blom, S.C.C. and Huisman, M. (2015) Specification and verification of atomic operations in GPGPU programs. In: Proceedings of the 13th International Conference on Software Engineering and Formal Methods (SEFM 2015), 7-11 Sep 2015, York, UK. pp. 69-83. Lecture Notes in Computer Science 9276. Springer International Publishing. ISSN 0302-9743 ISBN 978-3-319-22968-3


Grigoriev, A. and van Loon, J. and Uetz, M.J. (2010) On the complexity of the highway pricing problem. In: SOFSEM 2010: Theory and Practice of Computer Science, 36th Conference on Current Trends in Theory and Practice of Computer Science, 23-29 Jan, 2010, Špindleruv Mlýn, Czech Republic. pp. 465-476. Lecture Notes in Computer Science 5901. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-11265-2


Jansen, D.N. (2002) Probabilistic UML statecharts for specification and verification: a case study. In: Critical systems development with UML: proceedings of the UML'02 workshop, Leipzig, Germany. pp. 121-131. Technical Report TUM-I0208. Technische Universität München.


Dijkman, R.M. and Ferreira Pires, L. and Joosten, S.M.M. (2001) Calculating with concepts: A technique for the development of business process support. In: Practical UML-based Rigorous Development Methods - Countering or Integrating the eXtremists (pUML 2001), 1 Oct 2001, Toronto, Canada. pp. 87-98. LNI 7. GI. ISBN 3-88579-335-0


Reggio, G. and Wieringa, R.J. (1999) Thirty one problems in the semantics of UML 1.3 dynamics. In: OOPSLA 99: Workshop on Rigorous Modeling and Analysis with the UML: Challenges and Limitations, 1-5 Nov 1999, Denver, Colorado, USA. ISBN not assigned
Wieringa, R.J. (1999) Embedding object-oriented design in system engineering. In: Behavioral Specifications of Businesses and Systems. Kluwer International Series in Engineering & Computer Science 523. Springer, Berlin/Heidelberg, Germany, pp. 287-310. ISBN 0792386299


Wieringa, R.J. and Broersen, J.M. (1998) A Minimal Transition System Semantics for Lightweight Class and Behavior Diagrams. In: Proceedings ICSE Workshop om Precise Semantics for Software Modeling Techniques, 20 April 1998, Kyoto, Japan. pp. 129-151. Technische Universitat Munchen TUM-I9803. ISBN not assigned
Wieringa, R.J. (1998) Postmodern Software Design with NYAM: Not Yet Another Method. In: International Workshop on Requirements Targeting Software and Systems Engineering (RTSE), 12-14 October 1997, Bernried, Germany. pp. 69-94. Lecture Notes in Computer Science 1526. Springer. ISBN 978-3-540-65309-7

This list was generated on Mon May 29 05:14:27 CEST 2017.