Number of items at this level: 6.
Jastram, Michael
(2011)
ProR - Eine Softwareplattform f"\ur Requirements Engineering.
Softwaretechnik-Trends, 31
(1).
Jastram, Michael and Graf, Andreas
(2011)
Requirements Modeling Framework.
Eclipse Magazin, 6.11
.
Dinca, Ionut and Stefanescu, Alin and Ipate, Florentin and Lefticaru, Raluca and Tudose, Cristina
(2011)
Test Data Generation for Event-B Models using Genetic Algorithms.
In: 2nd International Conference on Software Engineering and Computer Systems (ICSECS'11), June 27-29, 2011, Malaysia.
Fitzgerald, John S. and Larsen, Peter Gorm and Pierce, Ken G and Verhoef, Marcel and Wolff, Sune
(2010)
Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems.
In: Integrated Formal Methods iFM 2010, 11-14 october 2010, Nancy, France.
(In Press)
Samia, Mireille and Leuschel, Michael
(2009)
Pie Tree Visualization.
In:
Proceedings SEKE 2009.
Knowledge Systems Institute Graduate School, pp. 400-405.
Leuschel, Michael and Fontaine, Marc
(2008)
Probing the Depths of CSP-M: A New FDR-Compliant Validation Tool.
In:
Proceedings of ICFEM 2008.
Springer-Verlag, pp. 278-297.
This list was generated on Fri Feb 10 07:49:06 2012 GMT.
