Formal Requirement Engineering with Xtext and ProR
•Transferir como KEY, PDF•
2 gostaram•1,204 visualizações
A briefly introduction of formal requirements engineering with Eclipse based tooling like Xtext and ProR.
Recomendados
Mais conteúdo relacionado
Destaque
Destaque (10)
Semelhante a Formal Requirement Engineering with Xtext and ProR
Semelhante a Formal Requirement Engineering with Xtext and ProR (20)
Mais de Lars Martin
Mais de Lars Martin (7)
Formal Requirement Engineering with Xtext and ProR
- 1. Formal Requirement Specification with Xtext & ProR Breaking 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.org Xtext - http://www.eclipse.org/Xtext Formal Requirement Specification with Xtext & ProR - Eclipse Indigo DemoCamp Dresden - 21.06.2011 - @LarsMartinLE
- 14. Eclipse - http://www.eclipse.org Xtext - http://www.eclipse.org/Xtext ProR - http://www.pror.org Formal Requirement Specification with Xtext & ProR - Eclipse Indigo DemoCamp Dresden - 21.06.2011 - @LarsMartinLE
- 15. Eclipse - http://www.eclipse.org Xtext - http://www.eclipse.org/Xtext ProR - http://www.pror.org Yakindu - http://www.yakindu.org Formal Requirement Specification with Xtext & ProR - Eclipse Indigo DemoCamp Dresden - 21.06.2011 - @LarsMartinLE
- 16. Eclipse - http://www.eclipse.org Xtext - http://www.eclipse.org/Xtext ProR - http://www.pror.org Yakindu - http://www.yakindu.org Papyrus - http://www.eclipse.org/papyrus Formal Requirement Specification with Xtext & ProR - Eclipse Indigo DemoCamp Dresden - 21.06.2011 - @LarsMartinLE
- 17. Eclipse - http://www.eclipse.org Xtext - http://www.eclipse.org/Xtext ProR - http://www.pror.org Yakindu - http://www.yakindu.org Papyrus - http://www.eclipse.org/papyrus Verde - www.itea-verde.org Formal Requirement Specification with Xtext & ProR - Eclipse Indigo DemoCamp Dresden - 21.06.2011 - @LarsMartinLE
- 18. Questions? Lars Martin Senior Consultant @LarsMartinLE Formal Requirement Specification with Xtext & ProR - Eclipse Indigo DemoCamp Dresden - 21.06.2011 - @LarsMartinLE
Notas do Editor
- \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