Michael Jastram

Learn More
Formal modeling of computing systems yields models that are intended to be correct with respect to the requirements that have been formalized. The complexity of typical computing systems can be addressed by formal refinement introducing all the necessary details piecemeal. We report on preliminary results that we have obtained for tracing informal(More)
Requirements engineering (RE) is a crucial aspect in systems development and is the area of ongoing research and process improvement. However, unlike in modelling, there has been no established standard that activities could converge on. In recent years, the emerging Requirements Interchange Format (RIF/ReqIF) gained more and more visibility in industry,(More)
Tracing between informal requirements and formal models is challenging. A method for such tracing should permit to deal efficiently with changes to both the requirements and the model. A particular challenge is posed by the persisting interplay of formal and informal elements. In this paper, we describe an incremental approach to requirements validation and(More)
Motivation Gute Werkzeugunterstützung ist ein wichtiger Aspekt im Requirements Engineering. Es gibt zwar ein breites kommerzielles Angebot, aber wenige offene Lösungen. ProR 1 [1] ist eine OpenSource Software zum Arbeiten mit natürlichsprachigen Anforderungen. Es basiert auf dem Requirements Interchange Format (RIF), womit wir die Interoperabilität mit(More)
Motivation Das Requirements Modeling Framework (RMF) ist ein Projekt der Eclipse Foundation, das das Arbeiten mit dem Internationalen ReqIF-Format zum Austausch von Anforderungen ermöglicht. In diesem Artikel zei-gen wir, wie mit Hilfe von diesem Framework Elemen-te des Systementwicklungsprozesses zusammengeführt und integriert werden können. Einleitung(More)
  • 1