Search Results for Software - Narrowed by: SpringerLink (Online service) SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dSoftware$0026qf$003dAUTHOR$002509Author$002509SpringerLink$002b$002528Online$002bservice$002529$002509SpringerLink$002b$002528Online$002bservice$002529$0026pe$003dd$00253A$0026ps$003d300?dt=list 2024-12-28T20:30:38Z Software-Qualit&auml;t ent://SD_ILS/0/SD_ILS:337190 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Hoffmann, Dirk W. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(337190.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35700-8">http://dx.doi.org/10.1007/978-3-642-35700-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software-Qualit&auml;t ent://SD_ILS/0/SD_ILS:187576 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Hoffmann, Dirk W. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-76323-9">http://dx.doi.org/10.1007/978-3-540-76323-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Evolution ent://SD_ILS/0/SD_ILS:187615 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Mens, Tom. author.&#160;Demeyer, Serge. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-76440-3">http://dx.doi.org/10.1007/978-3-540-76440-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Architecture ent://SD_ILS/0/SD_ILS:187130 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Qin, Zheng. author.&#160;Zheng, Xiang. author.&#160;Xing, Jiankuan. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-74343-9">http://dx.doi.org/10.1007/978-3-540-74343-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Process Modeling ent://SD_ILS/0/SD_ILS:165037 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Acu&ntilde;a, Silvia T. editor.&#160;Juristo, Natalia. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b104986">http://dx.doi.org/10.1007/b104986</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Managed Software Evolution ent://SD_ILS/0/SD_ILS:484605 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Reussner, Ralf. editor.&#160;Goedicke, Michael. editor.&#160;Hasselbring, Wilhelm. editor.&#160;Vogel-Heuser, Birgit. editor.&#160;Keim, Jan. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-13499-0">https://doi.org/10.1007/978-3-030-13499-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Financial Software Engineering ent://SD_ILS/0/SD_ILS:483123 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Lano, Kevin. author.&#160;Haughton, Howard. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-14050-2">https://doi.org/10.1007/978-3-030-14050-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Continuous Software Engineering ent://SD_ILS/0/SD_ILS:487296 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Bosch, Jan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-11283-1">https://doi.org/10.1007/978-3-319-11283-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evolving Software Systems ent://SD_ILS/0/SD_ILS:487121 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Mens, Tom. editor.&#160;Serebrenik, Alexander. editor.&#160;Cleve, Anthony. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-45398-4">https://doi.org/10.1007/978-3-642-45398-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Essential Software Architecture ent://SD_ILS/0/SD_ILS:193958 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Gorton, Ian. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-19176-3">http://dx.doi.org/10.1007/978-3-642-19176-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Collaborative Software Engineering ent://SD_ILS/0/SD_ILS:191326 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Mistr&iacute;k, Ivan. editor.&#160;Grundy, John. editor.&#160;Hoek, Andr&eacute;. editor.&#160;Whitehead, Jim. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-10294-3">http://dx.doi.org/10.1007/978-3-642-10294-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agile Software Engineering ent://SD_ILS/0/SD_ILS:175757 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Hazzan, Orit. author.&#160;Dubinsky, Yael. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-84800-198-5">http://dx.doi.org/10.1007/978-1-84800-198-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> System Software Reliability ent://SD_ILS/0/SD_ILS:175367 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Pham, Hoang. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/1-84628-295-0">http://dx.doi.org/10.1007/1-84628-295-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agile Software Construction ent://SD_ILS/0/SD_ILS:175350 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Hunt, John. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/1-84628-262-4">http://dx.doi.org/10.1007/1-84628-262-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Essential Software Architecture ent://SD_ILS/0/SD_ILS:181836 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Gorton, Ian. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/3-540-28714-0">http://dx.doi.org/10.1007/3-540-28714-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Product Lines ent://SD_ILS/0/SD_ILS:183676 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;K&auml;k&ouml;la, Timo. editor.&#160;Duenas, Juan Carlos. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-33253-4">http://dx.doi.org/10.1007/978-3-540-33253-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Constructing Correct Software ent://SD_ILS/0/SD_ILS:175212 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Cooke, John. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b138515">http://dx.doi.org/10.1007/b138515</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Handbook of Software Engineering ent://SD_ILS/0/SD_ILS:484024 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Cha, Sungdeok. editor.&#160;Taylor, Richard N. editor.&#160;Kang, Kyochul. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-00262-6">https://doi.org/10.1007/978-3-030-00262-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamentals of Software Culture ent://SD_ILS/0/SD_ILS:399110 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Qin, Zheng. author.&#160;Zhang, Huidi. author.&#160;Qin, Xin. author.&#160;Xu, Kaiping. author.&#160;Dimitrov, Kouemo Ngayo Anatoli. author.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-13-0701-0">https://doi.org/10.1007/978-981-13-0701-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Validation of Evolving Software ent://SD_ILS/0/SD_ILS:518581 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Chockler, Hana. editor.&#160;Kroening, Daniel. editor.&#160;Mariani, Leonardo. editor.&#160;Sharygina, Natasha. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518581.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-10623-6">https://doi.org/10.1007/978-3-319-10623-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Green in Software Engineering ent://SD_ILS/0/SD_ILS:518426 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Calero, Coral. editor.&#160;Piattini, Mario. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518426.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-08581-4">https://doi.org/10.1007/978-3-319-08581-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Product Quality Control ent://SD_ILS/0/SD_ILS:334625 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Wagner, Stefan. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334625.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38571-1">http://dx.doi.org/10.1007/978-3-642-38571-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Implementing Software Defined Radio ent://SD_ILS/0/SD_ILS:330849 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Grayver, Eugene. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(330849.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-9332-8">http://dx.doi.org/10.1007/978-1-4419-9332-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Similarity and Classification ent://SD_ILS/0/SD_ILS:173499 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Cesare, Silvio. author.&#160;Xiang, Yang. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-2909-7">http://dx.doi.org/10.1007/978-1-4471-2909-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software and Network Engineering ent://SD_ILS/0/SD_ILS:196505 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Lee, Roger. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28670-4">http://dx.doi.org/10.1007/978-3-642-28670-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Experimentation in Software Engineering ent://SD_ILS/0/SD_ILS:196596 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Wohlin, Claes. author.&#160;Runeson, Per. author.&#160;H&ouml;st, Martin. author.&#160;Ohlsson, Magnus C. author.&#160;Regnell, Bj&ouml;rn. author.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29044-2">http://dx.doi.org/10.1007/978-3-642-29044-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software for Algebraic Geometry ent://SD_ILS/0/SD_ILS:167549 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Stillman, Michael. editor.&#160;Verschelde, Jan. editor.&#160;Takayama, Nobuki. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-78133-4">http://dx.doi.org/10.1007/978-0-387-78133-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Value-Based Software Engineering ent://SD_ILS/0/SD_ILS:181971 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Biffl, Stefan. editor.&#160;Aurum, Ayb&uuml;ke. editor.&#160;Boehm, Barry. editor.&#160;Erdogmus, Hakan. editor.&#160;Gr&uuml;nbacher, Paul. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/3-540-29263-2">http://dx.doi.org/10.1007/3-540-29263-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model-Driven Software Development ent://SD_ILS/0/SD_ILS:181802 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Beydeda, Sami. editor.&#160;Book, Matthias. editor.&#160;Gruhn, Volker. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/3-540-28554-7">http://dx.doi.org/10.1007/3-540-28554-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agile Software Engineering Skills ent://SD_ILS/0/SD_ILS:520305 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Bass, Julian Michael. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520305.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-05469-3">https://doi.org/10.1007/978-3-031-05469-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Introduction to Software Quality ent://SD_ILS/0/SD_ILS:487425 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;O&rsquo;Regan, Gerard. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-06106-1">https://doi.org/10.1007/978-3-319-06106-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Ontology-Driven Software Development ent://SD_ILS/0/SD_ILS:333408 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Pan, Jeff Z. editor.&#160;Staab, Steffen. editor.&#160;A&szlig;mann, Uwe. editor.&#160;Ebert, J&uuml;rgen. editor.&#160;Zhao, Yuting. editor.<br/>Preferred Shelf Number&#160;ONLINE(333408.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31226-7">http://dx.doi.org/10.1007/978-3-642-31226-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software and Systems Traceability ent://SD_ILS/0/SD_ILS:173397 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Cleland-Huang, Jane. editor.&#160;Gotel, Orlena. editor.&#160;Zisman, Andrea. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-2239-5">http://dx.doi.org/10.1007/978-1-4471-2239-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Specification of Software Systems ent://SD_ILS/0/SD_ILS:168476 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Alagar, V.S. author.&#160;Periyasamy, K. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-85729-277-3">http://dx.doi.org/10.1007/978-0-85729-277-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software-Entwicklung f&uuml;r Echtzeitsysteme ent://SD_ILS/0/SD_ILS:190052 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Benra, Juliane T. editor.&#160;Halang, Wolfgang A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-01596-0">http://dx.doi.org/10.1007/978-3-642-01596-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Rationale-Based Software Engineering ent://SD_ILS/0/SD_ILS:187921 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Burge, Janet E. author.&#160;Carroll, John M. author.&#160;McCall, Raymond. author.&#160;Mistrik, Ivan. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-77583-6">http://dx.doi.org/10.1007/978-3-540-77583-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Categories for Software Engineering ent://SD_ILS/0/SD_ILS:181067 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Fiadeiro, Jos&eacute; Luiz. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b138249">http://dx.doi.org/10.1007/b138249</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Process Definition and Management ent://SD_ILS/0/SD_ILS:195592 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;M&uuml;nch, J&uuml;rgen. author.&#160;Armbrust, Ove. author.&#160;Kowalczyk, Martin. author.&#160;Soto, Mart&iacute;n. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-24291-5">http://dx.doi.org/10.1007/978-3-642-24291-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Ecosystems Tooling and Analytics ent://SD_ILS/0/SD_ILS:520692 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Mens, Tom. editor.&#160;De Roover, Coen. editor.&#160;Cleve, Anthony. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520692.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-36060-2">https://doi.org/10.1007/978-3-031-36060-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Concise Guide to Software Testing ent://SD_ILS/0/SD_ILS:485710 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;O'Regan, Gerard. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-28494-7">https://doi.org/10.1007/978-3-030-28494-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Introduction to Software Design with Java ent://SD_ILS/0/SD_ILS:486330 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Robillard, Martin P. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-24094-3">https://doi.org/10.1007/978-3-030-24094-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering Proceedings of CSI 2015 ent://SD_ILS/0/SD_ILS:487359 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Hoda, M. N. editor.&#160;Chauhan, Naresh. editor.&#160;Quadri, S. M. K. editor.&#160;Srivastava, Praveen Ranjan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-10-8848-3">https://doi.org/10.1007/978-981-10-8848-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering Research, Management and Applications ent://SD_ILS/0/SD_ILS:400088 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Lee, Roger. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-61388-8">https://doi.org/10.1007/978-3-319-61388-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Modeling Companion for Software Practitioners ent://SD_ILS/0/SD_ILS:402757 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;B&ouml;rger, Egon. author.&#160;Raschke, Alexander. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-56641-1">https://doi.org/10.1007/978-3-662-56641-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Fault Prediction A Road Map ent://SD_ILS/0/SD_ILS:401387 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Kumar, Sandeep. author.&#160;Rathore, Santosh Singh. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-10-8715-8">https://doi.org/10.1007/978-981-10-8715-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Essence of Software Engineering ent://SD_ILS/0/SD_ILS:401506 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Gruhn, Volker. editor.&#160;Striemer, R&uuml;diger. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-73897-0">https://doi.org/10.1007/978-3-319-73897-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Quality Software Through Reuse and Integration ent://SD_ILS/0/SD_ILS:402648 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Rubin, Stuart H. editor.&#160;Bouabana-Tebibel, Thouraya. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-56157-8">https://doi.org/10.1007/978-3-319-56157-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Languages Syntax, Semantics, and Metaprogramming ent://SD_ILS/0/SD_ILS:401172 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;L&auml;mmel, Ralf. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-90800-7">https://doi.org/10.1007/978-3-319-90800-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Recommendation Systems in Software Engineering ent://SD_ILS/0/SD_ILS:488256 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Robillard, Martin P. editor.&#160;Maalej, Walid. editor.&#160;Walker, Robert J. editor.&#160;Zimmermann, Thomas. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-45135-5">https://doi.org/10.1007/978-3-642-45135-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Lean Software Development in Action ent://SD_ILS/0/SD_ILS:488415 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Janes, Andrea. author.&#160;Succi, Giancarlo. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-00503-9">https://doi.org/10.1007/978-3-642-00503-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering Research, Management and Applications ent://SD_ILS/0/SD_ILS:489349 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Lee, Roger. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-00948-3">https://doi.org/10.1007/978-3-319-00948-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Gr&ouml;bner Bases Statistics and Software Systems ent://SD_ILS/0/SD_ILS:335439 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Hibi, Takayuki. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335439.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-4-431-54574-3">http://dx.doi.org/10.1007/978-4-431-54574-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering: A Hands-On Approach ent://SD_ILS/0/SD_ILS:336486 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Lee, Roger Y. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(336486.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.2991/978-94-6239-006-5">http://dx.doi.org/10.2991/978-94-6239-006-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Projektorganisation und Management im Software Engineering ent://SD_ILS/0/SD_ILS:336947 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Broy, Manfred. author.&#160;Kuhrmann, Marco. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(336947.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29290-3">http://dx.doi.org/10.1007/978-3-642-29290-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Optimierungssysteme Modelle, Verfahren, Software, Anwendungen ent://SD_ILS/0/SD_ILS:337333 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Suhl, Leena. author.&#160;Mellouli, Ta&iuml;eb. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(337333.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38937-5">http://dx.doi.org/10.1007/978-3-642-38937-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Introduction to Software Process Improvement ent://SD_ILS/0/SD_ILS:168444 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;O'Regan, Gerard. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-85729-172-1">http://dx.doi.org/10.1007/978-0-85729-172-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Reliability Assessment with OR Applications ent://SD_ILS/0/SD_ILS:168454 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Kapur, P.K. author.&#160;Pham, Hoang. author.&#160;Gupta, A. author.&#160;Jha, P.C. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-85729-204-9">http://dx.doi.org/10.1007/978-0-85729-204-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Development and Professional Practice ent://SD_ILS/0/SD_ILS:171620 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Dooley, John. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4302-3802-7">http://dx.doi.org/10.1007/978-1-4302-3802-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Relating Software Requirements and Architectures ent://SD_ILS/0/SD_ILS:194556 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Avgeriou, Paris. editor.&#160;Grundy, John. editor.&#160;Hall, Jon G. editor.&#160;Lago, Patricia. editor.&#160;Mistr&iacute;k, Ivan. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-21001-3">http://dx.doi.org/10.1007/978-3-642-21001-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model-Based Software Performance Analysis ent://SD_ILS/0/SD_ILS:192394 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Cortellessa, Vittorio. author.&#160;Di Marco, Antinisca. author.&#160;Inverardi, Paola. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-13621-4">http://dx.doi.org/10.1007/978-3-642-13621-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software-Architektur kompakt &ndash; angemessen und zielorientiert ent://SD_ILS/0/SD_ILS:198823 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Starke, Gernot. author.&#160;Hruschka, Peter. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-8274-2835-6">http://dx.doi.org/10.1007/978-3-8274-2835-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Future of Software Engineering ent://SD_ILS/0/SD_ILS:192889 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Nanz, Sebastian. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15187-3">http://dx.doi.org/10.1007/978-3-642-15187-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Silverlight 4 Business Intelligence Software ent://SD_ILS/0/SD_ILS:171441 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Czernicki, Bart. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4302-3061-8">http://dx.doi.org/10.1007/978-1-4302-3061-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Open Source Software for Digital Forensics ent://SD_ILS/0/SD_ILS:172432 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Huebner, Ewa. editor.&#160;Zanero, Stefano. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-5803-7">http://dx.doi.org/10.1007/978-1-4419-5803-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Abnahme komplexer Software-Systeme Das Praxishandbuch ent://SD_ILS/0/SD_ILS:185414 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Osterhage, Wolfgang. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-68230-1">http://dx.doi.org/10.1007/978-3-540-68230-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering for Self-Adaptive Systems ent://SD_ILS/0/SD_ILS:190235 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Cheng, Betty H. C. editor.&#160;Lemos, Rog&eacute;rio. editor.&#160;Giese, Holger. editor.&#160;Inverardi, Paola. editor.&#160;Magee, Jeff. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02161-9">http://dx.doi.org/10.1007/978-3-642-02161-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Embedded Software Development with C ent://SD_ILS/0/SD_ILS:172012 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Qian, Kai. author.&#160;Den Haring, David. author.&#160;Cao, Li. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-0606-9">http://dx.doi.org/10.1007/978-1-4419-0606-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Guide to Graphics Software Tools ent://SD_ILS/0/SD_ILS:175848 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Chen, Jim X. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-84800-901-1">http://dx.doi.org/10.1007/978-1-84800-901-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Life Models in Software ent://SD_ILS/0/SD_ILS:175940 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Komosinski, Maciej. editor.&#160;Adamatzky, Andrew. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-84882-285-6">http://dx.doi.org/10.1007/978-1-84882-285-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Optimierungssysteme Modelle, Verfahren, Software, Anwendungen ent://SD_ILS/0/SD_ILS:190045 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Mellouli, Taieb. author.&#160;Suhl, Leena. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-01580-9">http://dx.doi.org/10.1007/978-3-642-01580-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hardware-dependent Software Principles and Practice ent://SD_ILS/0/SD_ILS:170535 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Ecker, Wolfgang. editor.&#160;M&uuml;ller, Wolfgang. editor.&#160;D&ouml;mer, Rainer. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4020-9436-1">http://dx.doi.org/10.1007/978-1-4020-9436-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software-Architektur kompakt &ndash; angemessen und zielorientiert ent://SD_ILS/0/SD_ILS:198699 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Starke, Gernot. author.&#160;Hruschka, Peter. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-8274-2205-7">http://dx.doi.org/10.1007/978-3-8274-2205-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software-Architektur Grundlagen &mdash; Konzepte &mdash; Praxis ent://SD_ILS/0/SD_ILS:198724 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Vogel, Oliver. author.&#160;Arnold, Ingo. author.&#160;Chughtai, Arif. author.&#160;Ihler, Edmund. author.&#160;Kehrer, Timo. author.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-8274-2267-5">http://dx.doi.org/10.1007/978-3-8274-2267-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering Research, Management and Applications ent://SD_ILS/0/SD_ILS:185989 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Lee, Roger. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-70561-1">http://dx.doi.org/10.1007/978-3-540-70561-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Guide to Advanced Empirical Software Engineering ent://SD_ILS/0/SD_ILS:175684 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Shull, Forrest. editor.&#160;Singer, Janice. editor.&#160;Sj&oslash;berg, Dag I. K. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-84800-044-5">http://dx.doi.org/10.1007/978-1-84800-044-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Elementary Logic For Software Development ent://SD_ILS/0/SD_ILS:175702 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Lover, Robert. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-84800-082-7">http://dx.doi.org/10.1007/978-1-84800-082-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Networked RFID Systems, Software and Services ent://SD_ILS/0/SD_ILS:175735 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Roussos, George. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-84800-153-4">http://dx.doi.org/10.1007/978-1-84800-153-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> A Concise Introduction to Software Engineering ent://SD_ILS/0/SD_ILS:175804 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Jalote, Pankaj. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-84800-302-6">http://dx.doi.org/10.1007/978-1-84800-302-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering Techniques: Design for Quality ent://SD_ILS/0/SD_ILS:166267 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Sacha, Krzysztof. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-39388-9">http://dx.doi.org/10.1007/978-0-387-39388-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering for Experimental Robotics ent://SD_ILS/0/SD_ILS:185661 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Brugali, Davide. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-68951-5">http://dx.doi.org/10.1007/978-3-540-68951-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> SOA? Serviceorientierung in Business und Software ent://SD_ILS/0/SD_ILS:186383 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Masak, Dieter. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-71872-7">http://dx.doi.org/10.1007/978-3-540-71872-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Measurement Establish &mdash; Extract &mdash; Evaluate &mdash; Execute ent://SD_ILS/0/SD_ILS:186335 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Ebert, Christof. author.&#160;Dumke, Reiner. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-71649-5">http://dx.doi.org/10.1007/978-3-540-71649-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Configuration Management Using Vesta ent://SD_ILS/0/SD_ILS:165766 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Heydon, Allan. author.&#160;Mann, Timothy. author.&#160;Levin, Roy. author.&#160;Yu, Yuan. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-30852-4">http://dx.doi.org/10.1007/978-0-387-30852-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software-Implemented Hardware Fault Tolerance ent://SD_ILS/0/SD_ILS:165890 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Goloubeva, Olga. author.&#160;Rebaudengo, Maurizio. author.&#160;Reorda, Matteo Sonza. author.&#160;Violante, Massimo. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/0-387-32937-4">http://dx.doi.org/10.1007/0-387-32937-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Interoperability of Enterprise Software and Applications ent://SD_ILS/0/SD_ILS:175277 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Konstantas, Dimitri. editor.&#160;Bourri&egrave;res, Jean-Paul. editor.&#160;L&eacute;onard, Michel. editor.&#160;Boudjlida, Nacer. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/1-84628-152-0">http://dx.doi.org/10.1007/1-84628-152-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Grid Computing: Software Environments and Tools ent://SD_ILS/0/SD_ILS:175389 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Cunha, Jos&eacute; C. editor.&#160;Rana, Omer F. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/1-84628-339-6">http://dx.doi.org/10.1007/1-84628-339-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical Approaches to Software Quality ent://SD_ILS/0/SD_ILS:175417 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;O'Regan, Gerard. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/1-84628-435-9">http://dx.doi.org/10.1007/1-84628-435-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Optimierungssysteme Modelle, Verfahren, Software, Anwendungen ent://SD_ILS/0/SD_ILS:181974 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Suhl, Leena. author.&#160;Mellouli, Ta&iuml;eb. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/3-540-29266-7">http://dx.doi.org/10.1007/3-540-29266-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Rationale Management in Software Engineering ent://SD_ILS/0/SD_ILS:182501 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Dutoit, Allen H. editor.&#160;McCall, Raymond. editor.&#160;Mistr&iacute;k, Ivan. editor.&#160;Paech, Barbara. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-30998-7">http://dx.doi.org/10.1007/978-3-540-30998-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering 1 Abstraction and Modelling ent://SD_ILS/0/SD_ILS:182582 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Bj&oslash;rner, Dines. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/3-540-31288-9">http://dx.doi.org/10.1007/3-540-31288-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Practical Software Factories in .NET ent://SD_ILS/0/SD_ILS:170886 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Lenz, Gunther. author.&#160;Wienands, Christoph. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4302-0181-6">http://dx.doi.org/10.1007/978-1-4302-0181-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Best Software Writing I ent://SD_ILS/0/SD_ILS:170743 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Spolsky, Joel. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4302-0038-3">http://dx.doi.org/10.1007/978-1-4302-0038-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Life Models in Software ent://SD_ILS/0/SD_ILS:175318 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Adamatzky, Andrew. editor.&#160;Komosinski, Maciej. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/1-84628-214-4">http://dx.doi.org/10.1007/1-84628-214-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Component-Based Software Testing with UML ent://SD_ILS/0/SD_ILS:180937 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Gross, Hans-Gerhard. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b138012">http://dx.doi.org/10.1007/b138012</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Engineering and Managing Software Requirements ent://SD_ILS/0/SD_ILS:181690 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Aurum, Ayb&uuml;ke. editor.&#160;Wohlin, Claes. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/3-540-28244-0">http://dx.doi.org/10.1007/3-540-28244-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Developing Statistical Software in Fortran 95 ent://SD_ILS/0/SD_ILS:165471 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Lemmon, David R. author.&#160;Schafer, Joseph L. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/0-387-28123-1">http://dx.doi.org/10.1007/0-387-28123-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> An Integrated Approach to Software Engineering ent://SD_ILS/0/SD_ILS:165473 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Jalote, Pankaj. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/0-387-28132-0">http://dx.doi.org/10.1007/0-387-28132-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Aspect-Oriented Software Development XII ent://SD_ILS/0/SD_ILS:519315 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Chiba, Shigeru. editor.&#160;Tanter, &Eacute;ric. editor.&#160;Ernst, Erik. editor.&#160;Hirschfeld, Robert. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519315.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-46734-3">https://doi.org/10.1007/978-3-662-46734-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Aspect-Oriented Software Development XI ent://SD_ILS/0/SD_ILS:489082 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Chiba, Shigeru. editor.&#160;Tanter, &Eacute;ric. editor.&#160;Bodden, Eric. editor.&#160;Maoz, Shahar. editor.&#160;Kienzle, J&ouml;rg. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-55099-7">https://doi.org/10.1007/978-3-642-55099-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Architecture Research Roadmaps from the Community ent://SD_ILS/0/SD_ILS:520604 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Pelliccione, Patrizio. editor.&#160;Kazman, Rick. editor.&#160;Weber, Ingo. editor.&#160;Liu, Anna. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520604.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-36847-9">https://doi.org/10.1007/978-3-031-36847-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Developing Sustainable and Energy-Efficient Software Systems ent://SD_ILS/0/SD_ILS:520659 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Kruglov, Artem. author.&#160;Succi, Giancarlo. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520659.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-11658-2">https://doi.org/10.1007/978-3-031-11658-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Product-Focused Software Process Improvement 20th International Conference, PROFES 2019, Barcelona, Spain, November 27&ndash;29, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483739 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Franch, Xavier. editor. (orcid)0000-0001-9733-8830&#160;M&auml;nnist&ouml;, Tomi. editor. (orcid)0000-0001-7470-5183&#160;Mart&iacute;nez-Fern&aacute;ndez, Silverio. editor. (orcid)0000-0001-9928-133X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-35333-9">https://doi.org/10.1007/978-3-030-35333-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Search-Based Software Engineering 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 &ndash; September 1, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483767 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Nejati, Shiva. editor.&#160;Gay, Gregory. editor. (orcid)0000-0001-6794-9585&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-27455-9">https://doi.org/10.1007/978-3-030-27455-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering for Resilient Systems 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483908 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Calinescu, Radu. editor. (orcid)0000-0002-2678-9260&#160;Di Giandomenico, Felicita. editor. (orcid)0000-0002-8760-7299&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-30856-8">https://doi.org/10.1007/978-3-030-30856-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Requirements Engineering: Foundation for Software Quality 25th International Working Conference, REFSQ 2019, Essen, Germany, March 18&ndash;21, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484184 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Knauss, Eric. editor. (orcid)0000-0002-6631-872X&#160;Goedicke, Michael. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-15538-4">https://doi.org/10.1007/978-3-030-15538-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Engineering Trustworthy Software Systems 4th International School, SETSS 2018, Chongqing, China, April 7&ndash;12, 2018, Tutorial Lectures ent://SD_ILS/0/SD_ILS:484616 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140&#160;Liu, Zhiming. editor. (orcid)0000-0001-9771-3071&#160;Zhang, Zili. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-17601-3">https://doi.org/10.1007/978-3-030-17601-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Architecture 13th European Conference, ECSA 2019, Paris, France, September 9&ndash;13, 2019, Proceedings ent://SD_ILS/0/SD_ILS:485728 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Bures, Tomas. editor.&#160;Duchien, Laurence. editor. (orcid)0000-0002-4517-5862&#160;Inverardi, Paola. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-29983-5">https://doi.org/10.1007/978-3-030-29983-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamentals of Software Engineering 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers ent://SD_ILS/0/SD_ILS:485980 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750&#160;Massink, Mieke. editor. (orcid)0000-0001-5089-002X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-31517-7">https://doi.org/10.1007/978-3-030-31517-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reuse in the Big Data Era 18th International Conference on Software and Systems Reuse, ICSR 2019, Cincinnati, OH, USA, June 26&ndash;28, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486615 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Peng, Xin. editor.&#160;Ampatzoglou, Apostolos. editor.&#160;Bhowmik, Tanmay. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-22888-0">https://doi.org/10.1007/978-3-030-22888-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment First International Workshop, DEVOPS 2018, Chateau de Villebrumier, France, March 5-6, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:483421 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Bruel, Jean-Michel. editor. (orcid)0000-0002-3653-0148&#160;Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948&#160;Meyer, Bertrand. editor. (orcid)0000-0002-5985-7434&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-06019-0">https://doi.org/10.1007/978-3-030-06019-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Technology: Methods and Tools 51st International Conference, TOOLS 2019, Innopolis, Russia, October 15&ndash;17, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483626 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948&#160;Bruel, Jean-Michel. editor. (orcid)0000-0002-3653-0148&#160;Meyer, Bertrand. editor. (orcid)0000-0002-5985-7434&#160;Petrenko, Alexander. editor. (orcid)0000-0001-7411-3831&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-29852-4">https://doi.org/10.1007/978-3-030-29852-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods and Software Engineering 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5&ndash;9, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484770 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Ait-Ameur, Yamine. editor. (orcid)0000-0003-4582-9712&#160;Qin, Shengchao. editor. (orcid)0000-0003-3028-8191&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-32409-4">https://doi.org/10.1007/978-3-030-32409-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Human-Centered Software Engineering 7th IFIP WG 13.2 International Working Conference, HCSE 2018, Sophia Antipolis, France, September 3&ndash;5, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:485054 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Bogdan, Cristian. editor. (orcid)0000-0001-7549-1797&#160;Kuusinen, Kati. editor. (orcid)0000-0003-3076-1356&#160;L&aacute;rusd&oacute;ttir, Marta Krist&iacute;n. editor.&#160;Palanque, Philippe. editor.&#160;Winckler, Marco. editor. (orcid)0000-0002-0756-6934<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-05909-5">https://doi.org/10.1007/978-3-030-05909-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Dependable Software Engineering. Theories, Tools, and Applications 5th International Symposium, SETTA 2019, Shanghai, China, November 27&ndash;29, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483548 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Guan, Nan. editor.&#160;Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926&#160;Sun, Jun. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-35540-1">https://doi.org/10.1007/978-3-030-35540-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Testing Software and Systems 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15&ndash;17, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486130 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Gaston, Christophe. editor. (orcid)0000-0001-6865-5108&#160;Kosmatov, Nikolai. editor. (orcid)0000-0003-1557-2813&#160;Le Gall, Pascale. editor. (orcid)0000-0002-8955-6835&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-31280-0">https://doi.org/10.1007/978-3-030-31280-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Testing Software and Systems 30th IFIP WG 6.1 International Conference, ICTSS 2018, C&aacute;diz, Spain, October 1-3, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399422 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Medina-Bulo, Inmaculada. editor.&#160;Merayo, Mercedes G. editor.&#160;Hierons, Robert. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-99927-2">https://doi.org/10.1007/978-3-319-99927-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Technologies: Applications and Foundations STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399903 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948&#160;Ober, Iulian. editor.&#160;Sala&uuml;n, Gwen. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-04771-9">https://doi.org/10.1007/978-3-030-04771-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Aspects of Component Software 15th International Conference, FACS 2018, Pohang, South Korea, October 10&ndash;12, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399964 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Bae, Kyungmin. editor. (orcid)0000-0002-6430-5175&#160;&Ouml;lveczky, Peter Csaba. editor. (orcid)0000-0002-0708-3721&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-02146-7">https://doi.org/10.1007/978-3-030-02146-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Synergies Between Knowledge Engineering and Software Engineering ent://SD_ILS/0/SD_ILS:400019 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Nalepa, Grzegorz J. editor.&#160;Baumeister, Joachim. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-64161-4">https://doi.org/10.1007/978-3-319-64161-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reliable Software Technologies &ndash; Ada-Europe 2018 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400146 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Casimiro, Ant&oacute;nio. editor. (orcid)0000-0002-5522-5739&#160;Ferreira, Pedro M. editor. (orcid)0000-0003-2369-0115&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-92432-8">https://doi.org/10.1007/978-3-319-92432-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> New Opportunities for Software Reuse 17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400151 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Capilla, Rafael. editor. (orcid)0000-0002-6943-1285&#160;Gallina, Barbara. editor. (orcid)0000-0002-6952-1053&#160;Cetina, Carlos. editor. (orcid)0000-0001-8542-5515&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-90421-4">https://doi.org/10.1007/978-3-319-90421-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Product-Focused Software Process Improvement 19th International Conference, PROFES 2018, Wolfsburg, Germany, November 28&ndash;30, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400547 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Kuhrmann, Marco. editor. (orcid)0000-0001-6101-8931&#160;Schneider, Kurt. editor.&#160;Pfahl, Dietmar. editor. (orcid)0000-0003-2400-501X&#160;Amasaki, Sousuke. editor.&#160;Ciolkowski, Marcus. editor. (orcid)0000-0001-8494-4794<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-03673-7">https://doi.org/10.1007/978-3-030-03673-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Search-Based Software Engineering 10th International Symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018, Proceedings ent://SD_ILS/0/SD_ILS:398985 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Colanzi, Thelma Elita. editor. (orcid)0000-0001-9761-1999&#160;McMinn, Phil. editor. (orcid)0000-0001-9137-7433&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-99241-9">https://doi.org/10.1007/978-3-319-99241-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Engineering Trustworthy Software Systems Third International School, SETSS 2017, Chongqing, China, April 17&ndash;22, 2017, Tutorial Lectures ent://SD_ILS/0/SD_ILS:400263 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140&#160;Liu, Zhiming. editor. (orcid)0000-0001-9771-3071&#160;Zhang, Zili. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-02928-9">https://doi.org/10.1007/978-3-030-02928-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Technologies: Applications and Foundations STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:401951 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Seidl, Martina. editor.&#160;Zschaler, Steffen. editor. (orcid)0000-0001-9062-6637&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-74730-9">https://doi.org/10.1007/978-3-319-74730-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Requirements Engineering: Foundation for Software Quality 24th International Working Conference, REFSQ 2018, Utrecht, The Netherlands, March 19-22, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401978 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Kamsties, Erik. editor. (orcid)0000-0002-7373-8466&#160;Horkoff, Jennifer. editor. (orcid)0000-0002-2019-5277&#160;Dalpiaz, Fabiano. editor. (orcid)0000-0003-4480-3887&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-77243-1">https://doi.org/10.1007/978-3-319-77243-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering and Formal Methods SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:402522 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Cerone, Antonio. editor. (orcid)0000-0003-2691-5279&#160;Roveri, Marco. editor. (orcid)0000-0001-9483-3940&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-74781-1">https://doi.org/10.1007/978-3-319-74781-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Analysis, Testing, and Evolution 8th International Conference, SATE 2018, Shenzhen, Guangdong, China, November 23&ndash;24, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399416 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Bu, Lei. editor. (orcid)0000-0003-0517-7801&#160;Xiong, Yingfei. editor. (orcid)0000-0001-8991-747X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-04272-1">https://doi.org/10.1007/978-3-030-04272-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods and Software Engineering 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399356 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Sun, Jing. editor.&#160;Sun, Meng. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-02450-5">https://doi.org/10.1007/978-3-030-02450-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Dependable Software Engineering. Theories, Tools, and Applications 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399485 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Feng, Xinyu. editor.&#160;M&uuml;ller-Olm, Markus. editor.&#160;Yang, Zijiang. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-99933-3">https://doi.org/10.1007/978-3-319-99933-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Verified Software. Theories, Tools, and Experiments 10th International Conference, VSTTE 2018, Oxford, UK, July 18&ndash;19, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399597 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Piskac, Ruzica. editor.&#160;R&uuml;mmer, Philipp. editor. (orcid)0000-0002-2733-7098&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-03592-1">https://doi.org/10.1007/978-3-030-03592-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> SafeScrum&reg; &ndash; Agile Development of Safety-Critical Software ent://SD_ILS/0/SD_ILS:399696 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Hanssen, Geir Kjetil. author.&#160;St&aring;lhane, Tor. author.&#160;Myklebust, Thor. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-99334-8">https://doi.org/10.1007/978-3-319-99334-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Architecture 12th European Conference on Software Architecture, ECSA 2018, Madrid, Spain, September 24&ndash;28, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399751 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Cuesta, Carlos E. editor. (orcid)0000-0003-0286-4219&#160;Garlan, David. editor. (orcid)0000-0002-6735-8301&#160;P&eacute;rez, Jennifer. editor. (orcid)0000-0003-3192-7995&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-00761-4">https://doi.org/10.1007/978-3-030-00761-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Machine Learning for Dynamic Software Analysis: Potentials and Limits International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers ent://SD_ILS/0/SD_ILS:400041 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Bennaceur, Amel. editor. (orcid)0000-0002-6124-9622&#160;H&auml;hnle, Reiner. editor. (orcid)0000-0001-8000-7613&#160;Meinke, Karl. editor. (orcid)0000-0002-9706-5008&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-96562-8">https://doi.org/10.1007/978-3-319-96562-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Shortest Path Solvers. From Software to Wetware ent://SD_ILS/0/SD_ILS:400887 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Adamatzky, Andrew. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-77510-4">https://doi.org/10.1007/978-3-319-77510-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamentals of Software Engineering 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers ent://SD_ILS/0/SD_ILS:519046 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Dastani, Mehdi. editor.&#160;Sirjani, Marjan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519046.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-24644-4">https://doi.org/10.1007/978-3-319-24644-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:519078 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Canal, Carlos. editor.&#160;Idani, Akram. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519078.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-15201-1">https://doi.org/10.1007/978-3-319-15201-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software, Services, and Systems Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering ent://SD_ILS/0/SD_ILS:519248 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;De Nicola, Rocco. editor.&#160;Hennicker, Rolf. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519248.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-15545-6">https://doi.org/10.1007/978-3-319-15545-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering for Resilient Systems 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings ent://SD_ILS/0/SD_ILS:519311 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Fantechi, Alessandro. editor.&#160;Pelliccione, Patrizio. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519311.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-23129-7">https://doi.org/10.1007/978-3-319-23129-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Product-Focused Software Process Improvement 16th International Conference, PROFES 2015, Bolzano, Italy, December 2-4, 2015, Proceedings ent://SD_ILS/0/SD_ILS:518832 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Abrahamsson, Pekka. editor.&#160;Corral, Luis. editor.&#160;Oivo, Markku. editor.&#160;Russo, Barbara. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518832.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-26844-6">https://doi.org/10.1007/978-3-319-26844-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings ent://SD_ILS/0/SD_ILS:518840 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Calinescu, Radu. editor.&#160;Rumpe, Bernhard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518840.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-22969-0">https://doi.org/10.1007/978-3-319-22969-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hardware and Software: Verification and Testing 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings ent://SD_ILS/0/SD_ILS:518849 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Piterman, Nir. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518849.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-26287-1">https://doi.org/10.1007/978-3-319-26287-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering for Collective Autonomic Systems The ASCENS Approach ent://SD_ILS/0/SD_ILS:518784 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Wirsing, Martin. editor.&#160;H&ouml;lzl, Matthias. editor.&#160;Koch, Nora. editor.&#160;Mayer, Philip. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518784.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-16310-9">https://doi.org/10.1007/978-3-319-16310-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Search-Based Software Engineering 7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015, Proceedings ent://SD_ILS/0/SD_ILS:518788 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Barros, M&aacute;rcio. editor.&#160;Labiche, Yvan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518788.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-22183-0">https://doi.org/10.1007/978-3-319-22183-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures ent://SD_ILS/0/SD_ILS:518828 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Meyer, Bertrand. editor.&#160;Nordio, Martin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518828.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-28406-4">https://doi.org/10.1007/978-3-319-28406-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods for Multicore Programming 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures ent://SD_ILS/0/SD_ILS:519008 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Bernardo, Marco. editor.&#160;Johnsen, Einar Broch. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519008.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-18941-3">https://doi.org/10.1007/978-3-319-18941-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Testing Software and Systems 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings ent://SD_ILS/0/SD_ILS:519127 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;El-Fakih, Khaled. editor.&#160;Barlas, Gerassimos. editor.&#160;Yevtushenko, Nina. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519127.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-25945-1">https://doi.org/10.1007/978-3-319-25945-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods and Software Engineering 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings ent://SD_ILS/0/SD_ILS:518970 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Butler, Michael. editor.&#160;Conchon, Sylvain. editor.&#160;Za&iuml;di, Fatiha. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518970.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-25423-4">https://doi.org/10.1007/978-3-319-25423-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Aspects of Component Software 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:519140 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Lanese, Ivan. editor.&#160;Madelaine, Eric. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519140.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-15317-9">https://doi.org/10.1007/978-3-319-15317-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Dependable Software Engineering: Theories, Tools, and Applications First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings ent://SD_ILS/0/SD_ILS:519111 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Li, Xuandong. editor.&#160;Liu, Zhiming. editor.&#160;Yi, Wang. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519111.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-25942-0">https://doi.org/10.1007/978-3-319-25942-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reliable Software Technologies - Ada-Europe 2015 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings ent://SD_ILS/0/SD_ILS:519019 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;de la Puente, Juan Antonio. editor.&#160;Vardanega, Tullio. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519019.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-19584-1">https://doi.org/10.1007/978-3-319-19584-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Requirements Engineering: Foundation for Software Quality 21st International Working Conference, REFSQ 2015, Essen, Germany, March 23-26, 2015. Proceedings ent://SD_ILS/0/SD_ILS:519025 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Fricker, Samuel A. editor.&#160;Schneider, Kurt. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519025.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-16101-3">https://doi.org/10.1007/978-3-319-16101-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Architecture 9th European Conference, ECSA 2015, Dubrovnik/Cavtat, Croatia, September 7-11, 2015. Proceedings ent://SD_ILS/0/SD_ILS:519351 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Weyns, Danny. editor.&#160;Mirandola, Raffaela. editor.&#160;Crnkovic, Ivica. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519351.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-23727-5">https://doi.org/10.1007/978-3-319-23727-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering and Formal Methods SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers ent://SD_ILS/0/SD_ILS:519205 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Bianculli, Domenico. editor.&#160;Calinescu, Radu. editor.&#160;Rumpe, Bernhard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519205.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-49224-6">https://doi.org/10.1007/978-3-662-49224-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:484531 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Giannakopoulou, Dimitra. editor.&#160;Kroening, Daniel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-12154-3">https://doi.org/10.1007/978-3-319-12154-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reliable Software Technologies &ndash; Ada-Europe 2014 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings ent://SD_ILS/0/SD_ILS:485597 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;George, Laurent. editor.&#160;Vardanega, Tullio. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-08311-7">https://doi.org/10.1007/978-3-319-08311-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Search-Based Software Engineering 6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485644 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Le Goues, Claire. editor.&#160;Yoo, Shin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-09940-8">https://doi.org/10.1007/978-3-319-09940-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Architecture 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485645 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Avgeriou, Paris. editor.&#160;Zdun, Uwe. editor. (orcid)0000-0002-6233-2591&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-09970-5">https://doi.org/10.1007/978-3-319-09970-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485667 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Giannakopoulou, Dimitra. editor.&#160;Sala&uuml;n, Gwen. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-10431-7">https://doi.org/10.1007/978-3-319-10431-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Reuse for Dynamic Systems in the Cloud and Beyond 14th International Conference on Software Reuse, ICSR 2015, Miami, FL, USA, January 4-6, 2015. Proceedings ent://SD_ILS/0/SD_ILS:487545 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Schaefer, Ina. editor.&#160;Stamelos, Ioannis. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-14130-5">https://doi.org/10.1007/978-3-319-14130-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Human-Centered Software Engineering 5th IFIP WG 13.2 International Conference, HCSE 2014, Paderborn, Germany, September 16-18, 2014. Proceedings ent://SD_ILS/0/SD_ILS:489284 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Sauer, Stefan. editor.&#160;Bogdan, Cristian. editor. (orcid)0000-0001-7549-1797&#160;Forbrig, Peter. editor.&#160;Bernhaupt, Regina. editor.&#160;Winckler, Marco. editor. (orcid)0000-0002-0756-6934<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-44811-3">https://doi.org/10.1007/978-3-662-44811-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485725 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Merz, Stephan. editor.&#160;Pang, Jun. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-11737-9">https://doi.org/10.1007/978-3-319-11737-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Project Management in a Changing World ent://SD_ILS/0/SD_ILS:487243 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Ruhe, G&uuml;nther. editor.&#160;Wohlin, Claes. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-55035-5">https://doi.org/10.1007/978-3-642-55035-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Verified Software: Theorie, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:487419 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Cohen, Ernie. editor.&#160;Rybalchenko, Andrey. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-54108-7">https://doi.org/10.1007/978-3-642-54108-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering and Formal Methods SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:487763 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Counsell, Steve. editor.&#160;N&uacute;&ntilde;ez, Manuel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-05032-4">https://doi.org/10.1007/978-3-319-05032-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures ent://SD_ILS/0/SD_ILS:489035 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Bernardo, Marco. editor.&#160;Damiani, Ferruccio. editor.&#160;Haehnle, Reiner. editor. (orcid)0000-0001-8000-7613&#160;Johnsen, Einar Broch. editor.&#160;Schaefer, Ina. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-07317-0">https://doi.org/10.1007/978-3-319-07317-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Requirements Engineering: Foundation for Software Quality 20th International Working Conference, REFSQ 2014, Essen, Germany, April 7-10, 2014, Proceedings ent://SD_ILS/0/SD_ILS:489124 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Salinesi, Camille. editor.&#160;van de Weerd, Inge. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-05843-6">https://doi.org/10.1007/978-3-319-05843-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Testing Software and Systems 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings ent://SD_ILS/0/SD_ILS:489402 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Merayo, Mercedes G. editor.&#160;Montes de Oca, Edgardo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-44857-1">https://doi.org/10.1007/978-3-662-44857-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hardware and Software: Verification and Testing 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings ent://SD_ILS/0/SD_ILS:489622 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Yahav, Eran. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-13338-6">https://doi.org/10.1007/978-3-319-13338-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Knowledge Cartography Software Tools and Mapping Techniques ent://SD_ILS/0/SD_ILS:484351 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Okada, Alexandra. editor.&#160;Buckingham Shum, Simon J. editor.&#160;Sherborne, Tony. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4471-6470-8">https://doi.org/10.1007/978-1-4471-6470-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Language Engineering 7th International Conference, SLE 2014, V&auml;ster&aring;s, Sweden, September 15-16, 2014. Proceedings ent://SD_ILS/0/SD_ILS:486822 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Combemale, Benoit. editor.&#160;Pearce, David. editor.&#160;Barais, Olivier. editor.&#160;Vinju, Jurgen. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-11245-9">https://doi.org/10.1007/978-3-319-11245-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Aspects of Component Software 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486854 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Fiadeiro, Jos&eacute; Luiz. editor.&#160;Liu, Zhiming. editor.&#160;Xue, Jinyun. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-07602-7">https://doi.org/10.1007/978-3-319-07602-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering for Resilient Systems 6th International Workshop, SERENE 2014, Budapest, Hungary, October 15-16, 2014. Proceedings ent://SD_ILS/0/SD_ILS:486915 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Majzik, Istv&aacute;n. editor.&#160;Vieira, Marco. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-12241-0">https://doi.org/10.1007/978-3-319-12241-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Product-Focused Software Process Improvement 15th International Conference, PROFES 2014, Helsinki, Finland, December 10-12, 2014, Proceedings ent://SD_ILS/0/SD_ILS:487100 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Jedlitschka, Andreas. editor.&#160;Kuvaja, Pasi. editor.&#160;Kuhrmann, Marco. editor.&#160;M&auml;nnist&ouml;, Tomi. editor.&#160;M&uuml;nch, J&uuml;rgen. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-13835-0">https://doi.org/10.1007/978-3-319-13835-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Data Analysis in Management with SPSS Software ent://SD_ILS/0/SD_ILS:335463 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Verma, J.P. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335463.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-81-322-0786-3">http://dx.doi.org/10.1007/978-81-322-0786-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Patterns kompakt Entwurfsmuster f&uuml;r effektive Software-Entwicklung ent://SD_ILS/0/SD_ILS:337114 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Eilebrecht, Karl. author.&#160;Starke, Gernot. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(337114.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34718-4">http://dx.doi.org/10.1007/978-3-642-34718-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Software Industry Economic Principles, Strategies, Perspectives ent://SD_ILS/0/SD_ILS:333443 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Buxmann, Peter. author.&#160;Diefenbach, Heiner. author.&#160;Hess, Thomas. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333443.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31510-7">http://dx.doi.org/10.1007/978-3-642-31510-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Energieeffiziente Antriebstechnologien Hybridisierung &ndash; Downsizing &ndash; Software und IT ent://SD_ILS/0/SD_ILS:337594 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Siebenpfeiffer, Wolfgang. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(337594.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-658-00790-4">http://dx.doi.org/10.1007/978-3-658-00790-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> A Practical Introduction to Hardware/Software Codesign ent://SD_ILS/0/SD_ILS:331370 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Schaumont, Patrick R. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(331370.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-3737-6">http://dx.doi.org/10.1007/978-1-4614-3737-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model-Driven Dependability Assessment of Software Systems ent://SD_ILS/0/SD_ILS:334812 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Bernardi, Simona. author.&#160;Merseguer, Jos&eacute;. author.&#160;Petriu, Dorina Corina. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334812.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39512-3">http://dx.doi.org/10.1007/978-3-642-39512-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software-Entwicklung f&uuml;r dynamische Portfolioallokation und Risikomanagement ent://SD_ILS/0/SD_ILS:337718 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Impekoven, Christoph. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(337718.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-658-01182-6">http://dx.doi.org/10.1007/978-3-658-01182-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Aspect-Oriented Software Development X ent://SD_ILS/0/SD_ILS:334333 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Leavens, Gary T. editor.&#160;Chiba, Shigeru. editor.&#160;Tanter, &Eacute;ric. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334333.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36964-3">http://dx.doi.org/10.1007/978-3-642-36964-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Anpassung von Open-Source-Software in Anwenderunternehmen ent://SD_ILS/0/SD_ILS:337922 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Ke&szlig;ler, Steffen. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(337922.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-658-01955-6">http://dx.doi.org/10.1007/978-3-658-01955-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering Research, Management and Applications 2012 ent://SD_ILS/0/SD_ILS:196893 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Lee, Roger. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30460-6">http://dx.doi.org/10.1007/978-3-642-30460-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering Research,Management and Applications 2011 ent://SD_ILS/0/SD_ILS:195270 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Lee, Roger. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-23202-2">http://dx.doi.org/10.1007/978-3-642-23202-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Improving Software Testing Technical and Organizational Developments ent://SD_ILS/0/SD_ILS:196203 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Majchrzak, Tim A. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-27464-0">http://dx.doi.org/10.1007/978-3-642-27464-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Games, Actions and Social Software Multidisciplinary Aspects ent://SD_ILS/0/SD_ILS:196670 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Eijck, Jan. editor.&#160;Verbrugge, Rineke. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29326-9">http://dx.doi.org/10.1007/978-3-642-29326-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Aspect-Oriented Software Development IX ent://SD_ILS/0/SD_ILS:197616 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Leavens, Gary T. editor.&#160;Chiba, Shigeru. editor.&#160;Haupt, Michael. editor.&#160;Ostermann, Klaus. editor.&#160;Wohlstadter, Eric. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35551-6">http://dx.doi.org/10.1007/978-3-642-35551-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Tools and Algorithms for Biological Systems ent://SD_ILS/0/SD_ILS:172757 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Arabnia, Hamid R. editor.&#160;Tran, Quoc-Nam. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-7046-6">http://dx.doi.org/10.1007/978-1-4419-7046-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Aspect-Oriented Software Development VIII ent://SD_ILS/0/SD_ILS:194895 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Katz, Shmuel. editor.&#160;Mezini, Mira. editor.&#160;Schwanninger, Christine. editor.&#160;Joosen, Wouter. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-22031-9">http://dx.doi.org/10.1007/978-3-642-22031-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Aufwandssch&auml;tzungen in der Software- und Systementwicklung kompakt ent://SD_ILS/0/SD_ILS:198806 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Hummel, Oliver. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-8274-2752-6">http://dx.doi.org/10.1007/978-3-8274-2752-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Clustering-Based Support for Software Architecture Restructuring ent://SD_ILS/0/SD_ILS:199182 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Streekmann, Niels. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-8348-8675-0">http://dx.doi.org/10.1007/978-3-8348-8675-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> A Practical Introduction to Hardware/Software Codesign ent://SD_ILS/0/SD_ILS:172481 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Schaumont, Patrick R. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-6000-9">http://dx.doi.org/10.1007/978-1-4419-6000-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Composing Software Components A Software-testing Perspective ent://SD_ILS/0/SD_ILS:172786 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Hamlet, Dick. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-7148-7">http://dx.doi.org/10.1007/978-1-4419-7148-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering Research, Management and Applications 2010 ent://SD_ILS/0/SD_ILS:192281 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Lee, Roger. editor.&#160;Ormandjieva, Olga. editor.&#160;Abran, Alain. editor.&#160;Constantinides, Constantinos. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-13273-5">http://dx.doi.org/10.1007/978-3-642-13273-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Patterns kompakt Entwurfsmuster f&uuml;r effektive Software-Entwicklung ent://SD_ILS/0/SD_ILS:198768 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Eilebrecht, Karl. author.&#160;Starke, Gernot. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-8274-2526-3">http://dx.doi.org/10.1007/978-3-8274-2526-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Digitale Hardware/Software-Systeme Spezifikation und Verifikation ent://SD_ILS/0/SD_ILS:191239 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Haubelt, Christian. author.&#160;Teich, J&uuml;rgen. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-05356-6">http://dx.doi.org/10.1007/978-3-642-05356-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Ocean Modelling Using Open-Source Software ent://SD_ILS/0/SD_ILS:191421 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;K&auml;mpf, Jochen. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-10610-1">http://dx.doi.org/10.1007/978-3-642-10610-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Eingebettete Systeme Systemgrundlagen und Entwicklung eingebetteter Software ent://SD_ILS/0/SD_ILS:199770 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Berns, Karsten. author.&#160;Bernd, Sch&uuml;rmann. author.&#160;Trapp, Mario. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-8348-9661-2">http://dx.doi.org/10.1007/978-3-8348-9661-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Usability Engineering kompakt Benutzbare Software gezielt entwickeln ent://SD_ILS/0/SD_ILS:198738 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Richter, Michael. author.&#160;Fl&uuml;ckiger, Markus D. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-8274-2329-0">http://dx.doi.org/10.1007/978-3-8274-2329-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Innovations in Computing Sciences and Software Engineering ent://SD_ILS/0/SD_ILS:205401 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Sobh, Tarek. editor.&#160;Elleithy, Khaled. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-90-481-9112-3">http://dx.doi.org/10.1007/978-90-481-9112-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Experience and Knowledge Management in Software Engineering ent://SD_ILS/0/SD_ILS:189551 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Schneider, Kurt. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-95880-2">http://dx.doi.org/10.1007/978-3-540-95880-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Aspect-Oriented Software Development V ent://SD_ILS/0/SD_ILS:190203 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Rashid, Awais. editor.&#160;Ossher, Harold. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02059-9">http://dx.doi.org/10.1007/978-3-642-02059-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering Research, Management and Applications 2009 ent://SD_ILS/0/SD_ILS:191272 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Lee, Roger. editor.&#160;Ishii, Naohiro. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-05441-9">http://dx.doi.org/10.1007/978-3-642-05441-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Architecture Knowledge Management Theory and Practice ent://SD_ILS/0/SD_ILS:190303 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Ali Babar, Muhammad. editor.&#160;Dings&oslash;yr, Torgeir. editor.&#160;Lago, Patricia. editor.&#160;van Vliet, Hans. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02374-3">http://dx.doi.org/10.1007/978-3-642-02374-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> An Approach to Modelling Software Evolution Processes ent://SD_ILS/0/SD_ILS:188443 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Li, Tong. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-79464-6">http://dx.doi.org/10.1007/978-3-540-79464-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Baseband Analog Circuits for Software Defined Radio ent://SD_ILS/0/SD_ILS:169848 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Giannini, Vito. author.&#160;Craninckx, Jan. author.&#160;Baschirotto, Andrea. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4020-6538-5">http://dx.doi.org/10.1007/978-1-4020-6538-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software for Data Analysis Programming with R ent://SD_ILS/0/SD_ILS:167311 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Chambers, John. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-75936-4">http://dx.doi.org/10.1007/978-0-387-75936-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Knowledge Cartography Software Tools and Mapping Techniques ent://SD_ILS/0/SD_ILS:175733 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Sherborne, Tony. editor.&#160;Buckingham Shum, Simon J. editor.&#160;Okada, Alexandra. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-84800-149-7">http://dx.doi.org/10.1007/978-1-84800-149-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Aspect-Oriented Software Development IV ent://SD_ILS/0/SD_ILS:187770 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Rashid, Awais. editor.&#160;Aksit, Mehmet. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-77042-8">http://dx.doi.org/10.1007/978-3-540-77042-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Digitale Hardware/Software-Systeme Synthese und Optimierung ent://SD_ILS/0/SD_ILS:184984 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Teich, J&uuml;rgen. author.&#160;Haubelt, Christian. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-46824-0">http://dx.doi.org/10.1007/978-3-540-46824-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Aspect-Oriented Software Development III ent://SD_ILS/0/SD_ILS:187349 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Rashid, Awais. editor.&#160;Aksit, Mehmet. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-75162-5">http://dx.doi.org/10.1007/978-3-540-75162-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Aspect-Oriented Software Development I ent://SD_ILS/0/SD_ILS:183575 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Rashid, Awais. editor.&#160;Aksit, Mehmet. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11687061">http://dx.doi.org/10.1007/11687061</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Ontologies for Software Engineering and Software Technology ent://SD_ILS/0/SD_ILS:184091 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Calero, Coral. editor.&#160;Ruiz, Francisco. editor.&#160;Piattini, Mario. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/3-540-34518-3">http://dx.doi.org/10.1007/3-540-34518-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Eric Sink on the Business of Software ent://SD_ILS/0/SD_ILS:170848 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Sink, Eric. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4302-0143-4">http://dx.doi.org/10.1007/978-1-4302-0143-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Aspect-Oriented Software Development II ent://SD_ILS/0/SD_ILS:185149 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Rashid, Awais. editor.&#160;Aksit, Mehmet. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11922827">http://dx.doi.org/10.1007/11922827</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Digital Synthesizers and Transmitters for Software Radio ent://SD_ILS/0/SD_ILS:168833 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Vankka, Jouko. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/1-4020-3195-5">http://dx.doi.org/10.1007/1-4020-3195-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Project Secrets Why Software Projects Fail ent://SD_ILS/0/SD_ILS:170760 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Stepanek, George. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4302-0055-0">http://dx.doi.org/10.1007/978-1-4302-0055-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Agent-Based Applications, Platforms and Development Kits ent://SD_ILS/0/SD_ILS:197862 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Unland, Rainer. editor.&#160;Calisti, Monique. editor.&#160;Klusch, Matthias. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b137512">http://dx.doi.org/10.1007/b137512</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Cost Estimation, Benchmarking, and Risk Assessment The Software Decision-Makers' Guide to Predictable Software Development ent://SD_ILS/0/SD_ILS:333358 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Trendowicz, Adam. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333358.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30764-5">http://dx.doi.org/10.1007/978-3-642-30764-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Technology Research Explained Design of Software, Architectures, Methods, and Technology in General ent://SD_ILS/0/SD_ILS:520280 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;St&oslash;len, Ketil. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520280.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-25817-6">https://doi.org/10.1007/978-3-031-25817-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Systems, Software and Services Process Improvement 30th European Conference, EuroSPI 2023, Grenoble, France, August 30 - September 1, 2023, Proceedings, Part I ent://SD_ILS/0/SD_ILS:520342 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Yilmaz, Murat. editor.&#160;Clarke, Paul. editor.&#160;Riel, Andreas. editor.&#160;Messnarz, Richard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520342.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-42307-9">https://doi.org/10.1007/978-3-031-42307-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Testing Automation Testability Evaluation, Refactoring, Test Data Generation and Fault Localization ent://SD_ILS/0/SD_ILS:520377 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Parsa, Saeed. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520377.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-22057-9">https://doi.org/10.1007/978-3-031-22057-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Viruses in all Dimensions How an Information Code Controls Viruses, Software and Microorganisms ent://SD_ILS/0/SD_ILS:520393 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Ball, Rafael. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520393.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-658-38826-3">https://doi.org/10.1007/978-3-658-38826-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model-Driven Engineering and Software Development 9th International Conference, MODELSWARD 2021, Virtual Event, February 8-10, 2021, and 10th International Conference, MODELSWARD 2022, Virtual Event, February 6-8, 2022, Revised Selected Papers ent://SD_ILS/0/SD_ILS:520444 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Pires, Lu&iacute;s Ferreira. editor.&#160;Hammoudi, Slimane. editor.&#160;Seidewitz, Edwin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520444.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-38821-7">https://doi.org/10.1007/978-3-031-38821-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Sensor Systems and Software 13th EAI International Conference, S-Cube 2022, Dalian, China, December 7-9, 2022, Proceedings ent://SD_ILS/0/SD_ILS:520457 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Karimi&nbsp;, Hamid Reza. editor.&#160;Wang, Ning. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520457.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-34899-0">https://doi.org/10.1007/978-3-031-34899-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Systems, Software and Services Process Improvement 30th European Conference, EuroSPI 2023, Grenoble, France, August 30 - September 1, 2023, Proceedings, Part II ent://SD_ILS/0/SD_ILS:520547 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Yilmaz, Murat. editor.&#160;Clarke, Paul. editor.&#160;Riel, Andreas. editor.&#160;Messnarz, Richard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520547.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-42310-9">https://doi.org/10.1007/978-3-031-42310-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical Foundations of Software Engineering A Practical Guide to Essentials ent://SD_ILS/0/SD_ILS:520574 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;O'Regan, Gerard. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520574.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-26212-8">https://doi.org/10.1007/978-3-031-26212-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Designing Modern Embedded Systems: Software, Hardware, and Applications 7th IFIP TC 10 International Embedded Systems Symposium, IESS 2022, Lippstadt, Germany, November 3-4, 2022, Proceedings ent://SD_ILS/0/SD_ILS:520586 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Henkler, Stefan. editor.&#160;Kreutz, M&aacute;rcio. editor.&#160;Wehrmeister, Marco A. editor.&#160;G&ouml;tz, Marcelo. editor.&#160;Rettberg, Achim. editor.<br/>Preferred Shelf Number&#160;XX(520586.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-34214-1">https://doi.org/10.1007/978-3-031-34214-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Business Modeling and Software Design 13th International Symposium, BMSD 2023, Utrecht, The Netherlands, July 3-5, 2023, Proceedings ent://SD_ILS/0/SD_ILS:520592 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Shishkov, Boris. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520592.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-36757-1">https://doi.org/10.1007/978-3-031-36757-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> UML-Based Software Product Line Engineering with SMarty ent://SD_ILS/0/SD_ILS:520695 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;OliveiraJr, Edson. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520695.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-18556-4">https://doi.org/10.1007/978-3-031-18556-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Development of Safety-Critical Systems Architecture and Software ent://SD_ILS/0/SD_ILS:520696 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Karmakar, Gopinath. author.&#160;Wakankar, Amol. author.&#160;Kabra, Ashutosh. author.&#160;Pandya, Paritosh. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520696.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-27901-0">https://doi.org/10.1007/978-3-031-27901-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part II ent://SD_ILS/0/SD_ILS:520840 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Sankaranarayanan, Sriram. editor.&#160;Sharygina, Natasha. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520840.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-30820-8">https://doi.org/10.1007/978-3-031-30820-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamental Approaches to Software Engineering 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings ent://SD_ILS/0/SD_ILS:520841 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Lambers, Leen. editor.&#160;Uchitel, Sebasti&aacute;n. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520841.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-30826-0">https://doi.org/10.1007/978-3-031-30826-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings ent://SD_ILS/0/SD_ILS:520842 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Kupferman, Orna. editor.&#160;Sobocinski, Pawel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520842.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-30829-1">https://doi.org/10.1007/978-3-031-30829-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model Checking Software 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings ent://SD_ILS/0/SD_ILS:520854 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Caltais, Georgiana. editor.&#160;Schilling, Christian. editor. (orcid)&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520854.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-32157-3">https://doi.org/10.1007/978-3-031-32157-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages and Systems 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings ent://SD_ILS/0/SD_ILS:520944 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Wies, Thomas. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520944.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-30044-8">https://doi.org/10.1007/978-3-031-30044-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theoretical Aspects of Software Engineering 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings ent://SD_ILS/0/SD_ILS:521004 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;David, Cristina. editor.&#160;Sun, Meng. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(521004.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-35257-7">https://doi.org/10.1007/978-3-031-35257-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamentals of Software Engineering 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers ent://SD_ILS/0/SD_ILS:521120 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Hojjat, Hossein. editor.&#160;&Aacute;brah&aacute;m, Erika. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(521120.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-42441-0">https://doi.org/10.1007/978-3-031-42441-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Composability, Comprehensibility and Correctness of Working Software 8th Summer School, CEFP 2019, Budapest, Hungary, June 17-21, 2019, Revised Selected Papers ent://SD_ILS/0/SD_ILS:521248 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Porkol&aacute;b, Zolt&aacute;n. editor.&#160;Zs&oacute;k, Vikt&oacute;ria. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(521248.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-42833-3">https://doi.org/10.1007/978-3-031-42833-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> A Review on Recent Echocardiographic Software Advancing the Field through the Emerging Science ent://SD_ILS/0/SD_ILS:521515 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Karvandi, Mersedeh. author.&#160;Ranjbar, Saeed. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(521515.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-29046-6">https://doi.org/10.1007/978-3-031-29046-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering and Formal Methods 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings ent://SD_ILS/0/SD_ILS:521275 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Ferreira, Carla. editor.&#160;Willemse, Tim A. C. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(521275.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-47115-5">https://doi.org/10.1007/978-3-031-47115-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agile Processes in Software Engineering and Extreme Programming 24th International Conference on Agile Software Development, XP 2023, Amsterdam, The Netherlands, June 13-16, 2023, Proceedings ent://SD_ILS/0/SD_ILS:520250 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Stettina, Christoph J. editor.&#160;Garbajosa, Juan. editor.&#160;Kruchten, Philippe. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520250.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-33976-9">https://doi.org/10.1007/978-3-031-33976-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part I ent://SD_ILS/0/SD_ILS:520843 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Sankaranarayanan, Sriram. editor.&#160;Sharygina, Natasha. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520843.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-30823-9">https://doi.org/10.1007/978-3-031-30823-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Architecture 17th European Conference, ECSA 2023, Istanbul, Turkey, September 18-22, 2023, Proceedings ent://SD_ILS/0/SD_ILS:521130 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Tekinerdogan, Bedir. editor.&#160;Trubiani, Catia. editor.&#160;Tibermacine, Chouki. editor.&#160;Scandurra, Patrizia. editor.&#160;Cuesta, Carlos E. editor.<br/>Preferred Shelf Number&#160;XX(521130.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-42592-9">https://doi.org/10.1007/978-3-031-42592-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Testing Software and Systems 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18-20, 2023, Proceedings ent://SD_ILS/0/SD_ILS:521157 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Bonfanti, Silvia. editor.&#160;Gargantini, Angelo. editor.&#160;Salvaneschi, Paolo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(521157.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-43240-8">https://doi.org/10.1007/978-3-031-43240-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Frontiers in Software Engineering Education Second International Workshop, FISEE 2023, Villebrumier, France, January 23-25, 2023, Invited Papers ent://SD_ILS/0/SD_ILS:521355 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Capozucca, Alfredo. editor.&#160;Ebersold, Sophie. editor.&#160;Bruel, Jean-Michel. editor.&#160;Meyer, Bertrand. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(521355.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-48639-5">https://doi.org/10.1007/978-3-031-48639-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods and Software Engineering 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings ent://SD_ILS/0/SD_ILS:521324 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Li, Yi. editor.&#160;Tahar, Sofi&egrave;ne. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(521324.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-99-7584-6">https://doi.org/10.1007/978-981-99-7584-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Digital System Design using SoC FPGAs An Integrated Hardware/Software Approach ent://SD_ILS/0/SD_ILS:520191 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Snider, Ross K. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520191.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-15416-4">https://doi.org/10.1007/978-3-031-15416-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Handbook of Re-Engineering Software Intensive Systems into Software Product Lines ent://SD_ILS/0/SD_ILS:520251 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Lopez-Herrejon, Roberto E. editor.&#160;Martinez, Jabier. editor.&#160;Guez Assun&ccedil;&atilde;o, Wesley Klewerton. editor.&#160;Ziadi, Tewfik. editor.&#160;Acher, Mathieu. editor.<br/>Preferred Shelf Number&#160;XX(520251.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-11686-5">https://doi.org/10.1007/978-3-031-11686-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evaluation of Novel Approaches to Software Engineering 17th International Conference, ENASE 2022, Virtual Event, April 25-26, 2022, Revised Selected Papers ent://SD_ILS/0/SD_ILS:520493 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Kaindl, Hermann. editor.&#160;Mannion, Mike. editor.&#160;Maciaszek, Leszek A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520493.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-36597-3">https://doi.org/10.1007/978-3-031-36597-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Technologies 17th International Conference, ICSOFT 2022, Lisbon, Portugal, July 11-13, 2022, Revised Selected Papers ent://SD_ILS/0/SD_ILS:520513 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Fill, Hans-Georg. editor.&#160;van Sinderen, Marten. editor.&#160;Maciaszek, Leszek A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520513.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-37231-5">https://doi.org/10.1007/978-3-031-37231-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Optimising the Software Development Process with Artificial Intelligence ent://SD_ILS/0/SD_ILS:520515 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Romero, Jos&eacute; Ra&uacute;l. editor.&#160;Medina-Bulo, Inmaculada. editor.&#160;Chicano, Francisco. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520515.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-19-9948-2">https://doi.org/10.1007/978-981-19-9948-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> An Introduction to Software Design Concepts, Principles, Methodologies, and Techniques ent://SD_ILS/0/SD_ILS:520524 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Hu, Chenglie. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520524.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-28311-6">https://doi.org/10.1007/978-3-031-28311-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Concise Guide to Software Verification From Model Checking to Annotation Checking ent://SD_ILS/0/SD_ILS:520525 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Huisman, Marieke. author.&#160;Wijs, Anton. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520525.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-30167-4">https://doi.org/10.1007/978-3-031-30167-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering for Games in Serious Contexts Theories, Methods, Tools, and Experiences ent://SD_ILS/0/SD_ILS:520632 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Cooper, Kendra M. L. editor.&#160;Bucchiarone, Antonio. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520632.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-33338-5">https://doi.org/10.1007/978-3-031-33338-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Introduction to Software Architecture Innovative Design using Clean Architecture and Model-Driven Engineering ent://SD_ILS/0/SD_ILS:520650 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Lano, Kevin. author.&#160;Yassipour Tehrani, Sobhan. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520650.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-44143-1">https://doi.org/10.1007/978-3-031-44143-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Quality: Higher Software Quality through Zero Waste Development 15th International Conference, SWQD 2023, Munich, Germany, May 23-25, 2023, Proceedings ent://SD_ILS/0/SD_ILS:520766 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Mendez, Daniel. editor.&#160;Winkler, Dietmar. editor.&#160;Kross, Johannes. editor.&#160;Biffl, Stefan. editor.&#160;Bergsmann, Johannes. editor.<br/>Preferred Shelf Number&#160;XX(520766.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-31488-9">https://doi.org/10.1007/978-3-031-31488-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Verified Software. Theories, Tools and Experiments. 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers ent://SD_ILS/0/SD_ILS:520802 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Lal, Akash. editor.&#160;Tonetta, Stefano. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520802.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-25803-9">https://doi.org/10.1007/978-3-031-25803-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers ent://SD_ILS/0/SD_ILS:520812 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Masci, Paolo. editor.&#160;Bernardeschi, Cinzia. editor.&#160;Graziani, Pierluigi. editor.&#160;Koddenbrock, Mario. editor.&#160;Palmieri, Maurizio. editor.<br/>Preferred Shelf Number&#160;XX(520812.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-26236-4">https://doi.org/10.1007/978-3-031-26236-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Requirements Engineering: Foundation for Software Quality 29th International Working Conference, REFSQ 2023, Barcelona, Spain, April 17-20, 2023, Proceedings ent://SD_ILS/0/SD_ILS:520927 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Ferrari, Alessio. editor.&#160;Penzenstadler, Birgit. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520927.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-29786-1">https://doi.org/10.1007/978-3-031-29786-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Architecture. ECSA 2022 Tracks and Workshops Prague, Czech Republic, September 19-23, 2022, Revised Selected Papers ent://SD_ILS/0/SD_ILS:521095 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Batista, Thais. editor.&#160;Bure&scaron;, Tom&aacute;&scaron;. editor.&#160;Raibulet, Claudia. editor.&#160;Muccini, Henry. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(521095.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-36889-9">https://doi.org/10.1007/978-3-031-36889-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Towards Engineering Free/Libre Open Source Software (FLOSS) Ecosystems for Impact and Sustainability Communications of NII Shonan Meetings ent://SD_ILS/0/SD_ILS:482917 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Fitzgerald, Brian. editor.&#160;Mockus, Audris. editor.&#160;Zhou, Minghui. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-13-7099-1">https://doi.org/10.1007/978-981-13-7099-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18&ndash;20, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483898 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;&Ouml;lveczky, Peter Csaba. editor.&#160;Sala&uuml;n, Gwen. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-30446-1">https://doi.org/10.1007/978-3-030-30446-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6&ndash;11, 2019, Proceedings, Part II ent://SD_ILS/0/SD_ILS:484033 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Vojnar, Tom&aacute;&scaron;. editor. (orcid)0000-0002-2746-8792&#160;Zhang, Lijun. editor. (orcid)0000-0002-3692-2088&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-17465-1">https://doi.org/10.1007/978-3-030-17465-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Business Modeling and Software Design 9th International Symposium, BMSD 2019, Lisbon, Portugal, July 1&ndash;3, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484500 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Shishkov, Boris. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-24854-3">https://doi.org/10.1007/978-3-030-24854-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Software Technologies for Post-Peta Scale Computing The Japanese Post-Peta CREST Research Project ent://SD_ILS/0/SD_ILS:484503 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Sato, Mitsuhisa. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-13-1924-2">https://doi.org/10.1007/978-981-13-1924-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Principles of Security and Trust 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6&ndash;11, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484523 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Nielson, Flemming. editor. (orcid)0000-0001-7362-6176&#160;Sands, David. editor. (orcid)0000-0001-6221-0503&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-17138-4">https://doi.org/10.1007/978-3-030-17138-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Trends and Applications in Software Engineering Proceedings of the 7th International Conference on Software Process Improvement (CIMPS 2018) ent://SD_ILS/0/SD_ILS:484601 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Mejia, Jezreel. editor.&#160;Mu&ntilde;oz, Mirna. editor.&#160;Rocha, &Aacute;lvaro. editor.&#160;Pe&ntilde;a, Adriana. editor.&#160;P&eacute;rez-Cisneros, Marco. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-01171-0">https://doi.org/10.1007/978-3-030-01171-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Numerical Software Verification 12th International Workshop, NSV 2019, New York City, NY, USA, July 13&ndash;14, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484877 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Zamani, Majid. editor.&#160;Zufferey, Damien. editor. (orcid)0000-0002-3197-8736&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-28423-7">https://doi.org/10.1007/978-3-030-28423-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Business 10th International Conference, ICSOB 2019, Jyv&auml;skyl&auml;, Finland, November 18&ndash;20, 2019, Proceedings ent://SD_ILS/0/SD_ILS:485079 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Hyrynsalmi, Sami. editor. (orcid)0000-0002-5073-3750&#160;Suoranta, Mari. editor. (orcid)0000-0002-3849-4902&#160;Nguyen-Duc, Anh. editor. (orcid)0000-0002-7063-9200&#160;Tyrv&auml;inen, Pasi. editor. (orcid)0000-0001-7716-3244&#160;Abrahamsson, Pekka. editor. (orcid)0000-0002-4360-2226<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-33742-1">https://doi.org/10.1007/978-3-030-33742-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Next Generation and Advanced Network Reliability Analysis Using Markov Models and Software Reliability Engineering ent://SD_ILS/0/SD_ILS:485213 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Ali, Syed Riffat. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-01647-0">https://doi.org/10.1007/978-3-030-01647-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fault Prediction Modeling for the Prediction of Number of Software Faults ent://SD_ILS/0/SD_ILS:485780 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Rathore, Santosh Singh. author.&#160;Kumar, Sandeep. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-13-7131-8">https://doi.org/10.1007/978-981-13-7131-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evaluation of Novel Approaches to Software Engineering 13th International Conference, ENASE 2018, Funchal, Madeira, Portugal, March 23&ndash;24, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:485859 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Damiani, Ernesto. editor.&#160;Spanoudakis, George. editor.&#160;Maciaszek, Leszek A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-22559-9">https://doi.org/10.1007/978-3-030-22559-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automotive Systems and Software Engineering State of the Art and Future Trends ent://SD_ILS/0/SD_ILS:486378 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Dajsuren, Yanja. editor.&#160;van den Brand, Mark. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-12157-0">https://doi.org/10.1007/978-3-030-12157-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> 8051 Microcontrollers Fundamental Concepts, Hardware, Software and Applications in Electronics ent://SD_ILS/0/SD_ILS:487139 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Gimenez, Salvador Pinillos. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-76439-9">https://doi.org/10.1007/978-3-319-76439-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model-Driven Engineering and Software Development 6th International Conference, MODELSWARD 2018, Funchal, Madeira, Portugal, January 22-24, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:485426 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Hammoudi, Slimane. editor.&#160;Pires, Lu&iacute;s Ferreira. editor.&#160;Selic, Bran. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-11030-7">https://doi.org/10.1007/978-3-030-11030-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information and Software Technologies 25th International Conference, ICIST 2019, Vilnius, Lithuania, October 10&ndash;12, 2019, Proceedings ent://SD_ILS/0/SD_ILS:485468 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Dama&scaron;evi&#269;ius, Robertas. editor.&#160;Vasiljevien&#279;, Giedr&#279;. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-30275-7">https://doi.org/10.1007/978-3-030-30275-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Neuroimaging, Software, and Communication The Social Code of Source Code ent://SD_ILS/0/SD_ILS:485500 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Bicudo, Edison. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-13-7060-1">https://doi.org/10.1007/978-981-13-7060-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering and Methodology for Emerging Domains 16th National Conference, NASAC 2017, Harbin, China, November 4&ndash;5, 2017, and 17th National Conference, NASAC 2018, Shenzhen, China, November 23&ndash;25, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486017 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Li, Zheng. editor. (orcid)0000-0002-3938-7033&#160;Jiang, He. editor. (orcid)0000-0001-8674-4948&#160;Li, Ge. editor.&#160;Zhou, Minghui. editor.&#160;Li, Ming. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-15-0310-8">https://doi.org/10.1007/978-981-15-0310-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6&ndash;11, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486031 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;H&auml;hnle, Reiner. editor. (orcid)0000-0001-8000-7613&#160;van der Aalst, Wil. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-16722-6">https://doi.org/10.1007/978-3-030-16722-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6&ndash;11, 2019, Proceedings, Part I ent://SD_ILS/0/SD_ILS:486304 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Vojnar, Tom&aacute;&scaron;. editor. (orcid)0000-0002-2746-8792&#160;Zhang, Lijun. editor. (orcid)0000-0002-3692-2088&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-17462-0">https://doi.org/10.1007/978-3-030-17462-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Technologies 13th International Conference, ICSOFT 2018, Porto, Portugal, July 26-28, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:483108 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;van Sinderen, Marten. editor.&#160;Maciaszek, Leszek A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-29157-0">https://doi.org/10.1007/978-3-030-29157-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Engineering Adaptive Software Systems Communications of NII Shonan Meetings ent://SD_ILS/0/SD_ILS:483344 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Yu, Yijun. editor.&#160;Bandara, Arosha. editor.&#160;Honiden, Shinichi. editor.&#160;Hu, Zhenjiang. editor.&#160;Tamai, Tetsuo. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-13-2185-6">https://doi.org/10.1007/978-981-13-2185-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Towards Integrated Web, Mobile, and IoT Technology Selected and Revised Papers from the Web Technologies Track at SAC 2017 and SAC 2018, and the Software Development for Mobile Devices, Wearables, and the IoT Minitrack at HICSS 2018 ent://SD_ILS/0/SD_ILS:484689 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Majchrzak, Tim A. editor. (orcid)0000-0003-2581-9285&#160;Mateos, Cristian. editor. (orcid)0000-0001-5761-1898&#160;Poggi, Francesco. editor. (orcid)0000-0001-6577-5606&#160;Gr&oslash;nli, Tor-Morten. editor. (orcid)0000-0002-2026-4551&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-28430-5">https://doi.org/10.1007/978-3-030-28430-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Quality: The Complexity and Challenges of Software Engineering and Software Quality in the Cloud 11th International Conference, SWQD 2019, Vienna, Austria, January 15&ndash;18, 2019, Proceedings ent://SD_ILS/0/SD_ILS:482658 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Winkler, Dietmar. editor. (orcid)0000-0002-4743-3124&#160;Biffl, Stefan. editor. (orcid)0000-0002-3413-7780&#160;Bergsmann, Johannes. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-05767-1">https://doi.org/10.1007/978-3-030-05767-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages and Systems 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6&ndash;11, 2019, Proceedings ent://SD_ILS/0/SD_ILS:482746 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Caires, Lu&iacute;s. editor. (orcid)0000-0002-3215-6734&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-17184-1">https://doi.org/10.1007/978-3-030-17184-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday ent://SD_ILS/0/SD_ILS:482889 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367&#160;Fantechi, Alessandro. editor. (orcid)0000-0002-4648-4667&#160;Semini, Laura. editor. (orcid)0000-0001-8774-2346&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-30985-5">https://doi.org/10.1007/978-3-030-30985-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Challenges to Exascale Computing Second Workshop, SCEC 2018, Delhi, India, December 13-14, 2018, Proceedings ent://SD_ILS/0/SD_ILS:482854 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Majumdar, Amit. editor.&#160;Arora, Ritu. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-13-7729-7">https://doi.org/10.1007/978-981-13-7729-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Security and Safety Interplay of Intelligent Software Systems ESORICS 2018 International Workshops, ISSA 2018 and CSITS 2018, Barcelona, Spain, September 6&ndash;7, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:483024 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Hamid, Brahim. editor.&#160;Gallina, Barbara. editor. (orcid)0000-0002-6952-1053&#160;Shabtai, Asaf. editor. (orcid)0000-0003-0630-4059&#160;Elovici, Yuval. editor.&#160;Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-16874-2">https://doi.org/10.1007/978-3-030-16874-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6&ndash;11, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483052 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Boja&#324;czyk, Miko&#322;aj. editor.&#160;Simpson, Alex. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-17127-8">https://doi.org/10.1007/978-3-030-17127-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agile Processes in Software Engineering and Extreme Programming 20th International Conference, XP 2019, Montr&eacute;al, QC, Canada, May 21&ndash;25, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483601 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Kruchten, Philippe. editor. (orcid)0000-0003-1359-4867&#160;Fraser, Steven. editor. (orcid)0000-0002-3958-6585&#160;Coallier, Fran&ccedil;ois. editor. (orcid)0000-0002-2730-2469&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-19034-7">https://doi.org/10.1007/978-3-030-19034-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agile Processes in Software Engineering and Extreme Programming &ndash; Workshops XP 2019 Workshops, Montr&eacute;al, QC, Canada, May 21&ndash;25, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486129 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Hoda, Rashina. editor. (orcid)0000-0001-5147-8096&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-30126-2">https://doi.org/10.1007/978-3-030-30126-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computing and Software Science State of the Art and Perspectives ent://SD_ILS/0/SD_ILS:486069 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558&#160;Woeginger, Gerhard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-91908-9">https://doi.org/10.1007/978-3-319-91908-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15&ndash;16, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486937 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Biondi, Fabrizio. editor.&#160;Given-Wilson, Thomas. editor.&#160;Legay, Axel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-30923-7">https://doi.org/10.1007/978-3-030-30923-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Systems, Software and Services Process Improvement 26th European Conference, EuroSPI 2019, Edinburgh, UK, September 18&ndash;20, 2019, Proceedings ent://SD_ILS/0/SD_ILS:487029 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Walker, Alastair. editor.&#160;O'Connor, Rory V. editor.&#160;Messnarz, Richard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-28005-5">https://doi.org/10.1007/978-3-030-28005-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Fault Detection and Correction: Modeling and Applications ent://SD_ILS/0/SD_ILS:399124 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Peng, Rui. author.&#160;Li, Yan-Fu. author.&#160;Liu, Yu. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-13-1162-8">https://doi.org/10.1007/978-981-13-1162-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Routines of Substitution John von Neumann&rsquo;s Work on Software Development, 1945&ndash;1948 ent://SD_ILS/0/SD_ILS:399434 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Priestley, Mark. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-91671-2">https://doi.org/10.1007/978-3-319-91671-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Proceedings of 5th International Conference in Software Engineering for Defence Applications SEDA 2016 ent://SD_ILS/0/SD_ILS:399792 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Ciancarini, Paolo. editor.&#160;Litvinov, Stanislav. editor.&#160;Messina, Angelo. editor.&#160;Sillitti, Alberto. editor.&#160;Succi, Giancarlo. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-70578-1">https://doi.org/10.1007/978-3-319-70578-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Business 9th International Conference, ICSOB 2018, Tallinn, Estonia, June 11&ndash;12, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399925 2024-12-28T20:30:38Z 2024-12-28T20:30:38Z Author&#160;Wnuk, Krzysztof. editor.&#160;Brinkkemper, Sjaak. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-04840-2">https://doi.org/10.1007/978-3-030-04840-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>