BibTeX records: Michael Jastram

download as .bib file

@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}
}