Search Results for Communication models. - Narrowed by: Software engineering. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dCommunication$002bmodels.$0026qf$003dSUBJECT$002509Subject$002509Software$002bengineering.$002509Software$002bengineering.$0026ps$003d300?dt=list 2026-03-16T09:06:30Z 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 2026-03-16T09:06:30Z 2026-03-16T09:06:30Z 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/> Artificial Intelligence for Design and Process Science ent://SD_ILS/0/SD_ILS:606914 2026-03-16T09:06:30Z 2026-03-16T09:06:30Z Author&#160;Suh, Sang C. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-67886-8">https://doi.org/10.1007/978-3-031-67886-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Green IT Engineering: Concepts, Models, Complex Systems Architectures ent://SD_ILS/0/SD_ILS:611372 2026-03-16T09:06:30Z 2026-03-16T09:06:30Z Author&#160;Kharchenko, Vyacheslav. editor.&#160;Kondratenko, Yuriy. editor.&#160;Kacprzyk, Janusz. 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-44162-7">https://doi.org/10.1007/978-3-319-44162-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Trends and Applications in Software Engineering Proceedings of CIMPS 2016 ent://SD_ILS/0/SD_ILS:614297 2026-03-16T09:06:30Z 2026-03-16T09:06:30Z Author&#160;Mejia, Jezreel. editor. (orcid)0000-0003-0292-9318&#160;Mu&ntilde;oz, Mirna. editor.&#160;Rocha, &Aacute;lvaro. editor.&#160;San Feliu, Tomas. editor.&#160;Pe&ntilde;a, Adriana. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-48523-2">https://doi.org/10.1007/978-3-319-48523-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Load Modelling and Generation in IP-based Networks A Unified Approach and Tool Support ent://SD_ILS/0/SD_ILS:617851 2026-03-16T09:06:30Z 2026-03-16T09:06:30Z Author&#160;Kolesnikov, Andrey. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-658-19102-3">https://doi.org/10.1007/978-3-658-19102-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Petri Nets and Other Models of Concurrency XII ent://SD_ILS/0/SD_ILS:613861 2026-03-16T09:06:30Z 2026-03-16T09:06:30Z Author&#160;Koutny, Maciej. editor. (orcid)0000-0003-4563-1378&#160;Kleijn, Jetty. editor.&#160;Penczek, Wojciech. editor.&#160;Zhang, Mingmin. 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-55862-1">https://doi.org/10.1007/978-3-662-55862-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Requirements Engineering: Foundation for Software Quality 23rd International Working Conference, REFSQ 2017, Essen, Germany, February 27 - March 2, 2017, Proceedings ent://SD_ILS/0/SD_ILS:615991 2026-03-16T09:06:30Z 2026-03-16T09:06:30Z Author&#160;Gr&uuml;nbacher, Paul. editor.&#160;Perini, Anna. editor. (orcid)0000-0001-8818-6476&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-54045-0">https://doi.org/10.1007/978-3-319-54045-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Coordination Models and Languages 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings ent://SD_ILS/0/SD_ILS:611718 2026-03-16T09:06:30Z 2026-03-16T09:06:30Z Author&#160;Lluch Lafuente, Alberto. editor.&#160;Proen&ccedil;a, Jos&eacute;. 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-39519-7">https://doi.org/10.1007/978-3-319-39519-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures ent://SD_ILS/0/SD_ILS:611797 2026-03-16T09:06:30Z 2026-03-16T09:06:30Z Author&#160;Bernardo, Marco. editor.&#160;De Nicola, Rocco. editor.&#160;Hillston, Jane. editor. (orcid)0000-0003-4914-9255&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-34096-8">https://doi.org/10.1007/978-3-319-34096-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hagenberg Business Process Modelling Method ent://SD_ILS/0/SD_ILS:611874 2026-03-16T09:06:30Z 2026-03-16T09:06:30Z Author&#160;Kossak, Felix. author.&#160;Illibauer, Christa. author.&#160;Geist, Verena. author.&#160;Natschl&auml;ger, Christine. author.&#160;Ziebermayr, Thomas. author.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-30496-0">https://doi.org/10.1007/978-3-319-30496-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Petri Nets and Other Models of Concurrency XI ent://SD_ILS/0/SD_ILS:617813 2026-03-16T09:06:30Z 2026-03-16T09:06:30Z Author&#160;Koutny, Maciej. editor. (orcid)0000-0003-4563-1378&#160;Desel, J&ouml;rg. editor.&#160;Kleijn, Jetty. 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-53401-4">https://doi.org/10.1007/978-3-662-53401-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Languages and Compilers for Parallel Computing 28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015, Revised Selected Papers ent://SD_ILS/0/SD_ILS:611088 2026-03-16T09:06:30Z 2026-03-16T09:06:30Z Author&#160;Shen, Xipeng. editor.&#160;Mueller, Frank. editor.&#160;Tuck, James. 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-29778-1">https://doi.org/10.1007/978-3-319-29778-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Developers as Users Semiotic Investigations in Human-Centered Software Development ent://SD_ILS/0/SD_ILS:614418 2026-03-16T09:06:30Z 2026-03-16T09:06:30Z Author&#160;Sieckenius de Souza, Clarisse. author.&#160;Fontoura de Gusm&atilde;o Cerqueira, Renato. author.&#160;Marques Afonso, Luiz. author.&#160;Rossi de Mello Brand&atilde;o, Rafael. author.&#160;Soares Jansen Ferreira, Juliana. author.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-42831-4">https://doi.org/10.1007/978-3-319-42831-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Trends and Applications in Software Engineering Proceedings of the 4th International Conference on Software Process Improvement CIMPS'2015 ent://SD_ILS/0/SD_ILS:617727 2026-03-16T09:06:30Z 2026-03-16T09:06:30Z Author&#160;Mejia, Jezreel. editor. (orcid)0000-0003-0292-9318&#160;Mu&ntilde;oz, Mirna. editor.&#160;Rocha, Alvaro. editor. (orcid)0000-0002-0750-8187&#160;Calvo-Manzano, Jose. editor. (orcid)0000-0002-2864-2203&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-26285-7">https://doi.org/10.1007/978-3-319-26285-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>