letzer push

Literatur/quellen.bib

@@ -5,7 +5,7 @@
  address = {Bonn},
  publisher = {{Rheinwerk Verlag}},
  isbn = {9783836292245},
- pages = {311--333}
+ pages = {201--203, 311--333}
 }
 @article{conway.1968,
   title={How do committees invent},
@@ -50,4 +50,40 @@
   number={3},
   pages={14-16},
   keywords={Production;Servers;Monitoring;Software;Green products;Marine vehicles;Multimedia communication;continuous integration;continuous delivery;testing},
-  doi={10.1109/MS.2014.58}}
+  doi={10.1109/MS.2014.58}
+  }
+@book{refactoring.2020,
+ author = {Fowler, Martin},
+ year = {2020},
+ edition={2},
+ title = {Refactoring - Wie Sie das Design bestehender Software verbessern},
+ address = {Frechen},
+ publisher = {{mitp Verlags GmbH \& Co. KG}},
+ isbn = {9783958459410},
+ pages = {80--90}
+}
+@InProceedings{modernIDEs.2022,
+author="Alizadehsani, Zakieh
+and Gomez, Enrique Goyenechea
+and Ghaemi, Hadi
+and Gonz{\'a}lez, Sara Rodr{\'i}guez
+and Jordan, Jaume
+and Fern{\'a}ndez, Alberto
+and P{\'e}rez-Lancho, Bel{\'e}n",
+editor="Corchado, Juan M.
+and Trabelsi, Saber",
+title="Modern Integrated Development Environment (IDEs)",
+booktitle="Sustainable Smart Cities and Territories",
+year="2022",
+publisher="Springer International Publishing",
+address="Cham",
+pages="274--288",
+isbn="978-3-030-78901-5"
+}
+@online{glinz2004formale,
+  title={Formale Verifikation},
+  author={Glinz, Martin},
+  year={2004},
+  url = {https://files.ifi.uzh.ch/rerg/amadeus/teaching/courses/kvse_ss05/kapitel_04.pdf},
+  urldate = {2024-07-01}
+}