Your SlideShare is downloading. ×
0
Formal Requirement Engineering with Xtext and ProR
Formal Requirement Engineering with Xtext and ProR
Formal Requirement Engineering with Xtext and ProR
Formal Requirement Engineering with Xtext and ProR
Formal Requirement Engineering with Xtext and ProR
Formal Requirement Engineering with Xtext and ProR
Formal Requirement Engineering with Xtext and ProR
Formal Requirement Engineering with Xtext and ProR
Formal Requirement Engineering with Xtext and ProR
Formal Requirement Engineering with Xtext and ProR
Formal Requirement Engineering with Xtext and ProR
Formal Requirement Engineering with Xtext and ProR
Formal Requirement Engineering with Xtext and ProR
Formal Requirement Engineering with Xtext and ProR
Formal Requirement Engineering with Xtext and ProR
Formal Requirement Engineering with Xtext and ProR
Formal Requirement Engineering with Xtext and ProR
Formal Requirement Engineering with Xtext and ProR
Upcoming SlideShare
Loading in...5
×

Thanks for flagging this SlideShare!

Oops! An error has occurred.

×
Saving this for later? Get the SlideShare app to save on your phone or tablet. Read anywhere, anytime – even offline.
Text the download link to your phone
Standard text messaging rates apply

Formal Requirement Engineering with Xtext and ProR

1,559

Published on

A briefly introduction of formal requirements engineering with Eclipse based tooling like Xtext and ProR.

A briefly introduction of formal requirements engineering with Eclipse based tooling like Xtext and ProR.

0 Comments
0 Likes
Statistics
Notes
  • Be the first to comment

  • Be the first to like this

No Downloads
Views
Total Views
1,559
On Slideshare
0
From Embeds
0
Number of Embeds
0
Actions
Shares
0
Downloads
15
Comments
0
Likes
0
Embeds 0
No embeds

Report content
Flagged as inappropriate Flag as inappropriate
Flag as inappropriate

Select your reason for flagging this presentation as inappropriate.

Cancel
No notes for slide
  • \n
  • - SysML oder RIF\n- RIF ist spezialisiert auf Requirements\n- XML Schema basiertes Austauschformat für Requirements\n- standardisiert durch OMG - ReqIF\n- MKS, IBM Doors\n- Ecore Model entwickelt\n- massgeblich vorangetrieben durch itemis\n- VERDE Projekt\n
  • - SysML oder RIF\n- RIF ist spezialisiert auf Requirements\n- XML Schema basiertes Austauschformat für Requirements\n- standardisiert durch OMG - ReqIF\n- MKS, IBM Doors\n- Ecore Model entwickelt\n- massgeblich vorangetrieben durch itemis\n- VERDE Projekt\n
  • - SysML oder RIF\n- RIF ist spezialisiert auf Requirements\n- XML Schema basiertes Austauschformat für Requirements\n- standardisiert durch OMG - ReqIF\n- MKS, IBM Doors\n- Ecore Model entwickelt\n- massgeblich vorangetrieben durch itemis\n- VERDE Projekt\n
  • - entwickelt an der Universität Düsseldorf\n- in Zusammenarbeit mit itemis\n- nutzt den RIF/ReqIF Core\n- Xtext Integration !!!!\n
  • - Cross Relationship Manager\n- Bestandteil der Yakindu Entwicklung\n- Requirement Tracing Tool\n- Tracepoint Provider\n- aktuelle Implementierungen: ProR, Papyrus UML, Yakindu Statechart, Yakindu Damos, Eclipse Project Explorer, Textfile\n\n
  • - Cross Relationship Manager\n- Bestandteil der Yakindu Entwicklung\n- Requirement Tracing Tool\n- Tracepoint Provider\n- aktuelle Implementierungen: ProR, Papyrus UML, Yakindu Statechart, Yakindu Damos, Eclipse Project Explorer, Textfile\n\n
  • \n
  • \n
  • - Yakindu: Statechart Tools, Damos\n\n
  • - Yakindu: Statechart Tools, Damos\n\n
  • - Yakindu: Statechart Tools, Damos\n\n
  • - Yakindu: Statechart Tools, Damos\n\n
  • - Yakindu: Statechart Tools, Damos\n\n
  • - Yakindu: Statechart Tools, Damos\n\n
  • \n
  • Transcript

    • 1. Formal Requirement Specification with Xtext & ProRBreaking the myth: formal requirement specification made easy with Eclipse based tooling Eclipse Indigo DemoCamp Dresden 21.06.2011 @LarsMartinLE
    • 2. RIF/ReqIF- OMG- Ecore Model - RIF 1.1a - RIF 1.2 - ReqIF beta2- XML Export- EPL / Proposal Formal Requirement Specification with Xtext & ProR - Eclipse Indigo DemoCamp Dresden - 21.06.2011 - @LarsMartinLE
    • 3. RIF/ReqIF- OMG- Ecore Model - RIF 1.1a - RIF 1.2 - ReqIF beta2- XML Export- EPL / Proposal Formal Requirement Specification with Xtext & ProR - Eclipse Indigo DemoCamp Dresden - 21.06.2011 - @LarsMartinLE
    • 4. RIF/ReqIF- OMG- Ecore Model - RIF 1.1a - RIF 1.2 - ReqIF beta2- XML Export- EPL / Proposal Formal Requirement Specification with Xtext & ProR - Eclipse Indigo DemoCamp Dresden - 21.06.2011 - @LarsMartinLE
    • 5. RIF/ReqIF- OMG- Ecore Model - RIF 1.1a - RIF 1.2 - ReqIF beta2- XML Export- EPL / Proposal Formal Requirement Specification with Xtext & ProR - Eclipse Indigo DemoCamp Dresden - 21.06.2011 - @LarsMartinLE
    • 6. RIF/ReqIF UI - ProR Formal Requirement Specification with Xtext & ProR - Eclipse Indigo DemoCamp Dresden - 21.06.2011 - @LarsMartinLE
    • 7. CReMa- Editor- Explorer- EPL- Loose Coupling- EMF Serialization Formal Requirement Specification with Xtext & ProR - Eclipse Indigo DemoCamp Dresden - 21.06.2011 - @LarsMartinLE
    • 8. CReMa- Editor- Explorer- EPL- Loose Coupling- EMF Serialization Formal Requirement Specification with Xtext & ProR - Eclipse Indigo DemoCamp Dresden - 21.06.2011 - @LarsMartinLE
    • 9. CReMa- Editor- Explorer- EPL- Loose Coupling- EMF Serialization Formal Requirement Specification with Xtext & ProR - Eclipse Indigo DemoCamp Dresden - 21.06.2011 - @LarsMartinLE
    • 10. Formal Requirement Specification with Xtext & ProR - Eclipse Indigo DemoCamp Dresden - 21.06.2011 - @LarsMartinLE
    • 11. Formal Requirement Specification with Xtext & ProR - Eclipse Indigo DemoCamp Dresden - 21.06.2011 - @LarsMartinLE
    • 12. Eclipse - http://www.eclipse.org Formal Requirement Specification with Xtext & ProR - Eclipse Indigo DemoCamp Dresden - 21.06.2011 - @LarsMartinLE
    • 13. Eclipse - http://www.eclipse.orgXtext - http://www.eclipse.org/Xtext Formal Requirement Specification with Xtext & ProR - Eclipse Indigo DemoCamp Dresden - 21.06.2011 - @LarsMartinLE
    • 14. Eclipse - http://www.eclipse.orgXtext - http://www.eclipse.org/XtextProR - http://www.pror.org Formal Requirement Specification with Xtext & ProR - Eclipse Indigo DemoCamp Dresden - 21.06.2011 - @LarsMartinLE
    • 15. Eclipse - http://www.eclipse.orgXtext - http://www.eclipse.org/XtextProR - http://www.pror.orgYakindu - http://www.yakindu.org Formal Requirement Specification with Xtext & ProR - Eclipse Indigo DemoCamp Dresden - 21.06.2011 - @LarsMartinLE
    • 16. Eclipse - http://www.eclipse.orgXtext - http://www.eclipse.org/XtextProR - http://www.pror.orgYakindu - http://www.yakindu.orgPapyrus - http://www.eclipse.org/papyrus Formal Requirement Specification with Xtext & ProR - Eclipse Indigo DemoCamp Dresden - 21.06.2011 - @LarsMartinLE
    • 17. Eclipse - http://www.eclipse.orgXtext - http://www.eclipse.org/XtextProR - http://www.pror.orgYakindu - http://www.yakindu.orgPapyrus - http://www.eclipse.org/papyrusVerde - www.itea-verde.org Formal Requirement Specification with Xtext & ProR - Eclipse Indigo DemoCamp Dresden - 21.06.2011 - @LarsMartinLE
    • 18. Questions? Lars Martin Senior Consultant @LarsMartinLEFormal Requirement Specification with Xtext & ProR - Eclipse Indigo DemoCamp Dresden - 21.06.2011 - @LarsMartinLE

    ×