Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 7. 2010
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
2002
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.
2001
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
1999
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
1998
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 Thu May 24 07:59:57 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||