default search action
BibTeX records: Michael Jastram
@article{DBLP:journals/stt/Jastram22, author = {Michael Jastram}, title = {Mit {KI} die Komplexit{\"{a}}t der Produktentwicklung beherrschen}, journal = {Softwaretechnik-Trends}, volume = {42}, number = {3}, pages = {9--12}, year = {2022}, url = {https://fb-swt.gi.de/fileadmin/FB/SWT/Softwaretechnik-Trends/Verzeichnis/Band\_42\_Heft\_3/KI-Komplexitaet-Jastram.pdf}, timestamp = {Tue, 12 Mar 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/stt/Jastram22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/HallerstedeJL14, author = {Stefan Hallerstede and Michael Jastram and Lukas Ladenberger}, title = {A method and tool for tracing requirements into specifications}, journal = {Sci. Comput. Program.}, volume = {82}, pages = {2--21}, year = {2014}, url = {https://doi.org/10.1016/j.scico.2013.03.008}, doi = {10.1016/J.SCICO.2013.03.008}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/HallerstedeJL14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/stt/Jastram13, author = {Michael Jastram}, title = {Integration von Anforderungen mit dem Eclipse Requirements Modeling Framework}, journal = {Softwaretechnik-Trends}, volume = {33}, number = {1}, year = {2013}, url = {http://pi.informatik.uni-siegen.de/stt/33\_1/01\_Fachgruppenberichte/RE\_FG-Treffen/09\_jastram.pdf}, timestamp = {Tue, 23 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/stt/Jastram13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/sp/13/Jastram13, author = {Michael Jastram}, editor = {Walid Maalej and Anil Kumar Thurimella}, title = {The Eclipse Requirements Modeling Framework}, booktitle = {Managing Requirements Knowledge}, pages = {353--372}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-34419-0\_16}, doi = {10.1007/978-3-642-34419-0\_16}, timestamp = {Tue, 27 Jun 2017 18:23:02 +0200}, biburl = {https://dblp.org/rec/books/sp/13/Jastram13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@phdthesis{DBLP:phd/dnb/Jastram12, author = {Michael Jastram}, title = {The ProR Approach: Traceability of Requirements and System Descriptions}, school = {Heinrich Heine University D{\"{u}}sseldorf}, year = {2012}, url = {http://docserv.uni-duesseldorf.de/servlets/DocumentServlet?id=21882}, urn = {urn:nbn:de:hbz:061-20120731-090843-5}, timestamp = {Sat, 17 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/phd/dnb/Jastram12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/software/EbertJ12, author = {Christof Ebert and Michael Jastram}, title = {ReqIF: Seamless Requirements Interchange Format between Business Partners}, journal = {{IEEE} Softw.}, volume = {29}, number = {5}, pages = {82--87}, year = {2012}, url = {https://doi.org/10.1109/MS.2012.121}, doi = {10.1109/MS.2012.121}, timestamp = {Mon, 08 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/software/EbertJ12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eceasst/JastramHL11, author = {Michael Jastram and Stefan Hallerstede and Lukas Ladenberger}, title = {Mixing Formal and Informal Model Elements for Tracing Requirements}, journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.}, volume = {46}, year = {2011}, url = {https://doi.org/10.14279/tuj.eceasst.46.685}, doi = {10.14279/TUJ.ECEASST.46.685}, timestamp = {Tue, 25 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eceasst/JastramHL11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/spe/BendispostoFJLW11, author = {Jens Bendisposto and Fabian Fritz and Michael Jastram and Michael Leuschel and Ingo Weigelt}, title = {Developing Camille, a text editor for Rodin}, journal = {Softw. Pract. Exp.}, volume = {41}, number = {2}, pages = {189--198}, year = {2011}, url = {https://doi.org/10.1002/spe.1016}, doi = {10.1002/SPE.1016}, timestamp = {Thu, 09 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/spe/BendispostoFJLW11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/stt/Jastram11, author = {Michael Jastram}, title = {ProR - Eine Softwareplattform f{\"{u}}r Requirements Engineering}, journal = {Softwaretechnik-Trends}, volume = {31}, number = {1}, year = {2011}, url = {http://pi.informatik.uni-siegen.de/stt/31\_1/01\_Fachgruppenberichte/RE/ProR.pdf}, timestamp = {Tue, 23 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/stt/Jastram11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mbees/GrafJ11, author = {Andreas Graf and Michael Jastram}, editor = {Holger Giese and Michaela Huhn and Jan Phillips and Bernhard Sch{\"{a}}tz}, title = {Requirements, Tracability and DSLs in Eclipse with the Requirements Interchange Format (RIF/ReqIF)}, booktitle = {Dagstuhl-Workshop {MBEES:} Modellbasierte Entwicklung eingebetteter Systeme VII, Schloss Dagstuhl, Germany, 2011, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme}, pages = {147--156}, publisher = {fortiss GmbH, M{\"{u}}nchen}, year = {2011}, timestamp = {Thu, 12 Mar 2020 11:39:36 +0100}, biburl = {https://dblp.org/rec/conf/mbees/GrafJ11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vstte/JastramHLR10, author = {Michael Jastram and Stefan Hallerstede and Michael Leuschel and Aryldo G. Russo}, editor = {Gary T. Leavens and Peter W. O'Hearn and Sriram K. Rajamani}, title = {An Approach of Requirements Tracing in Formal Refinement}, booktitle = {Verified Software: Theories, Tools, Experiments, Third International Conference, {VSTTE} 2010, Edinburgh, UK, August 16-19, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6217}, pages = {97--111}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15057-9\_7}, doi = {10.1007/978-3-642-15057-9\_7}, timestamp = {Tue, 14 May 2019 10:00:49 +0200}, biburl = {https://dblp.org/rec/conf/vstte/JastramHLR10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.