Industrial deployment of system engineering methods providing high dependability and productivity


Items where Subject is "Tool developments > Other"

Up a level
Export as [feed] Atom [feed] EPP RSS 2.0 [feed] RSS 1.0 [feed] RSS 2.0
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 Sun Apr 30 07:49:08 2017 BST.

Deploy-Project - All right reserved