Specification and refinement of discrete timing properties in Event-B MR Sarshogh, M Butler Electronic Communications of the EASST 46, 2012 | 62* | 2012 |
A method and tool for tracing requirements into specifications S Hallerstede, M Jastram, L Ladenberger Science of Computer Programming 82, 2-21, 2014 | 56 | 2014 |
Rodin User's Handbook: Covers Rodin v. 2.8 M Jastram, PM Butler CreateSpace Independent Publishing Platform, 2014 | 45 | 2014 |
An approach of requirements tracing in formal refinement M Jastram, S Hallerstede, M Leuschel, AG Russo Verified Software: Theories, Tools, Experiments: Third International …, 2010 | 39 | 2010 |
ReqIF: Seamless requirements interchange format between business partners C Ebert, M Jastram IEEE software 29 (5), 82-87, 2012 | 32 | 2012 |
ProR, an open source platform for requirements engineering based on RIF M Jastram | 28 | 2010 |
Developing Camille, a text editor for Rodin J Bendisposto, F Fritz, M Jastram, M Leuschel, I Weigelt Software: Practice and Experience 41 (2), 189-198, 2011 | 14 | 2011 |
The pror approach: Traceability of requirements and system descriptions M Jastram CreateSpace, 2012 | 12 | 2012 |
ReqIF–the new requirements standard and its open source implementation Eclipse RMF M Jastram, A Graf Commercial Vehicle Technology Symposium, 2012 | 9 | 2012 |
Requirement traceability in Topcased with the requirements interchange format (RIF/ReqIF) M Jastram, A Graf | 8 | 2011 |
Mapping Requirements to B models M Jastram, M Leuschel, J Bendisposto, A Russo Jr DEPLOY Deliverable, 2009 | 8 | 2009 |
Requirements, traceability and DSLs in Eclipse with the requirements interchange format (RIF/ReqIF) M Jastram, A Graf fortiss GmbH, München, 2011 | 6 | 2011 |
How the REQIF standard for requirements exchange disrupts the tool market M Jastram Requir Eng Mag. https://remagaz ine. ireb. org/artic les/open-up. Accessed 13, 2019 | 5 | 2019 |
AR: Mapping requirements to B models M Jastram, M Leuschel, J Bendisposto Jr DEPLOY Deliverable-Unpublished manuscript, 2009 | 5 | 2009 |
Validating Wireless Congestion Control and Realiability Protocols using ProB and Rodin J Bendisposto, M Jastram, M Leuschel, C Lochert, B Scheuermann, ... FMWS 2008: Workshop on Formal Methods for Wireless Systems, 2008 | 5 | 2008 |
Requirements modeling framework M Jastram, A Graf Eclipse Magazin 6, 2011 | 3 | 2011 |
Eclipse rich client platform: Entwicklung von erweiterbaren Anwendungen mit RCP H Sippel, J Bendisposto, M Jastram Entwickler. Press, 2008 | 3 | 2008 |
The Eclipse Requirements Modeling Framework M Jastram Managing requirements knowledge, 353-372, 2013 | 2 | 2013 |
Inspection and feature extraction of marine propellers MO Jastram Massachusetts Institute of Technology, 1996 | 2 | 1996 |
ReqIF Studio: Requirements Engineering Platform Based on Eclipse M Jastram CreateSpace Independent Publishing Platform, 2017 | 1 | 2017 |