Number of items at this level: 10.
Hoang, Thai Son and Itoh, Shinji and Oyama, Kyohei and Miyazaki, Kunihiko and Kuruma, Hironobu and Sato, Naoto
(2015)
Validating the Consistency of Specification Rules.
Technical Report.
N/A.
(Unpublished)
Dinca, Ionut and Ipate, Florentin and Mierla, Laurentiu and Stefanescu, Alin
(2012)
Learn and Test for Event-B - a Rodin Plugin.
In: ABZ'12 Conference, June 19-21, 2012, Pisa, Italy.
Dinca, Ionut
(2011)
Multi-Objective Test Suite Optimization for Event-B Models.
In: ICIEIS'11, Springer CCIS Series vol. 251 , 11-14 November 2011, Malaysia.
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)
Savicks, Vitaly and Snook, Colin and Butler, Michael
(2009)
Animation of UML-B State-machines.
In: Rodin workshop, 2009, Dusseldorf.
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 Wed Jan 17 07:49:19 2018 GMT.
