Search Results for Software Design. - Narrowed by: Software engineering.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dSoftware$002bDesign.$0026qf$003dSUBJECT$002509Subject$002509Software$002bengineering.$002509Software$002bengineering.$0026ps$003d300?dt=list
2026-03-23T02:44:50Z
Software Design for Resilient Computer Systems
ent://SD_ILS/0/SD_ILS:604307
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Schagaev, Igor. author. Gutknecht, Jürg. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-55139-0">https://doi.org/10.1007/978-3-031-55139-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Introduction to Software Design with Java
ent://SD_ILS/0/SD_ILS:486330
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Robillard, Martin P. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Software Design for Resilient Computer Systems
ent://SD_ILS/0/SD_ILS:617729
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Schagaev, Igor. author. Thomas, Kaegi. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-29465-0">https://doi.org/10.1007/978-3-319-29465-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering Techniques: Design for Quality
ent://SD_ILS/0/SD_ILS:166267
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Sacha, Krzysztof. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Software design for engineers and scientists
ent://SD_ILS/0/SD_ILS:254657
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Robinson, John A. (John Allen), 1958-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780750660808">http://www.sciencedirect.com/science/book/9780750660808</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Scientific Software Design The Object-Oriented Way
ent://SD_ILS/0/SD_ILS:235289
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Rouson, Damian. Xia, Jim. Xu, Xiaofeng.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511977381">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Research Perspectives on Software Engineering and Systems Design Proceedings of 8th Computational Methods in Systems and Software 2024, Volume 5
ent://SD_ILS/0/SD_ILS:609705
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-96775-7">https://doi.org/10.1007/978-3-031-96775-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Intelligence for System Oriented Design Proceedings of 8th Computational Methods in Systems and Software 2024, Volume 1
ent://SD_ILS/0/SD_ILS:609874
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-96798-6">https://doi.org/10.1007/978-3-031-96798-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Research Perspectives on Software Engineering and Systems Design Proceedings of 8th Computational Methods in Systems and Software 2024, Volume 3
ent://SD_ILS/0/SD_ILS:609917
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-96380-3">https://doi.org/10.1007/978-3-031-96380-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Analysis and Design of Next-Generation Software Architectures Generative AI, Cybersecurity, and Cloud Computing
ent://SD_ILS/0/SD_ILS:608484
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Langer, Arthur M. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-76212-3">https://doi.org/10.1007/978-3-031-76212-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering Methods Design and Application Proceedings of 13th Computer Science Online Conference 2024, Volume 1
ent://SD_ILS/0/SD_ILS:605664
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-70285-3">https://doi.org/10.1007/978-3-031-70285-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Business Modeling and Software Design 14th International Symposium, BMSD 2024, Luxembourg City, Luxembourg, July 1-3, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:604170
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Shishkov, Boris. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-64073-5">https://doi.org/10.1007/978-3-031-64073-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Quantum Software Aspects of Theory and System Design
ent://SD_ILS/0/SD_ILS:604803
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Exman, Iaakov. editor. (orcid)0000-0002-9917-3950 Pérez-Castillo, Ricardo. editor. (orcid)0000-0002-9271-3184 Piattini, Mario. editor. (orcid)0000-0002-7212-8279 Felderer, Michael. editor. (orcid)0000-0003-3818-4442 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-64136-7">https://doi.org/10.1007/978-3-031-64136-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ontology-Based Evolution of Domain-Oriented Languages Models, Methods and Tools for User Interface Design in General-Purpose Software Systems
ent://SD_ILS/0/SD_ILS:602003
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Babkin, Eduard. author. (orcid)0000-0003-2597-9043 Ulitin, Boris. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-42202-7">https://doi.org/10.1007/978-3-031-42202-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering Application in Systems Design Proceedings of 6th Computational Methods in Systems and Software 2022, Volume 1
ent://SD_ILS/0/SD_ILS:526912
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Silhavy, Radek. editor. Silhavy, Petr. editor. Prokopova, Zdenka. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-21435-6">https://doi.org/10.1007/978-3-031-21435-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Business Modeling and Software Design 7th International Symposium, BMSD 2017, Barcelona, Spain, July 3–5, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:401983
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Shishkov, Boris. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-78428-1">https://doi.org/10.1007/978-3-319-78428-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Business Modeling and Software Design 8th International Symposium, BMSD 2018, Vienna, Austria, July 2-4, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:402217
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Shishkov, Boris. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-94214-8">https://doi.org/10.1007/978-3-319-94214-8</a><br/>Format: Electronic Resources<br/>Availability 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-23T02:44:50Z
2026-03-23T02:44:50Z
Author Bernardo, Marco. editor. De Nicola, Rocco. editor. Hillston, Jane. editor. (orcid)0000-0003-4914-9255 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Design Science Methodology for Information Systems and Software Engineering
ent://SD_ILS/0/SD_ILS:487890
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Wieringa, Roel J. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-43839-8">https://doi.org/10.1007/978-3-662-43839-8</a><br/>Format: Electronic Resources<br/>Availability 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
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Bernardo, Marco. editor. Damiani, Ferruccio. editor. Haehnle, Reiner. editor. (orcid)0000-0001-8000-7613 Johnsen, Einar Broch. editor. Schaefer, Ina. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Dynamical Systems 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures
ent://SD_ILS/0/SD_ILS:334688
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Bernardo, Marco. editor. Vink, Erik. editor. Pierro, Alessandra. editor. Wiklicky, Herbert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334688.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38874-3">http://dx.doi.org/10.1007/978-3-642-38874-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Business Modeling and Software Design Second International Symposium, BMSD 2012, Geneva, Switzerland, July 4-6, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334438
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Shishkov, Boris. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334438.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37478-4">http://dx.doi.org/10.1007/978-3-642-37478-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Business Modeling and Software Design First International Symposium, BMSD 2011, Sofia, Bulgaria, July 27-28, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:196768
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Shishkov, Boris. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29788-5">http://dx.doi.org/10.1007/978-3-642-29788-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Model-Driven Engineering 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures
ent://SD_ILS/0/SD_ILS:197000
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Bernardo, Marco. editor. Cortellessa, Vittorio. editor. Pierantonio, Alfonso. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-30982-3">http://dx.doi.org/10.1007/978-3-642-30982-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Eternal Networked Software Systems 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures
ent://SD_ILS/0/SD_ILS:194706
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Bernardo, Marco. editor. Issarny, Valérie. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21455-4">http://dx.doi.org/10.1007/978-3-642-21455-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The design and implementation of multimedia software with examples in Java
ent://SD_ILS/0/SD_ILS:365589
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Bernstein, David, 1960 June 9-<br/>Preferred Shelf Number QA76.76.I59 B47 2011<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Formal Methods for Quantitative Aspects of Programming Languages 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures
ent://SD_ILS/0/SD_ILS:192413
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Aldini, Alessandro. editor. Bernardo, Marco. editor. Pierro, Alessandra. editor. Wiklicky, Herbert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13678-8">http://dx.doi.org/10.1007/978-3-642-13678-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A Process Algebraic Approach to Software Architecture Design
ent://SD_ILS/0/SD_ILS:175768
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Aldini, Alessandro. author. Bernardo, Marco. author. Corradini, Flavio. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84800-223-4">http://dx.doi.org/10.1007/978-1-84800-223-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Web Services 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures
ent://SD_ILS/0/SD_ILS:190163
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Bernardo, Marco. editor. Padovani, Luca. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-01918-0">http://dx.doi.org/10.1007/978-3-642-01918-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hardware Software Co-Design of a Multimedia SOC Platform
ent://SD_ILS/0/SD_ILS:170593
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Chen, Sao-Jie. author. Lin, Guang-Huei. author. Hsiung, Pao-Ann. author. Hu, Yu-Hen. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-9623-5">http://dx.doi.org/10.1007/978-1-4020-9623-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Computational Systems Biology 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures
ent://SD_ILS/0/SD_ILS:185637
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Bernardo, Marco. editor. Degano, Pierpaolo. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68894-5">http://dx.doi.org/10.1007/978-3-540-68894-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Entwicklung IT-basierter Dienstleistungen Co-Design von Software und Services mit ServCASE
ent://SD_ILS/0/SD_ILS:198347
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Fähnrich, Klaus-Peter. editor. Husen, Christian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-7908-1944-1">http://dx.doi.org/10.1007/978-3-7908-1944-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Performance Evaluation 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures
ent://SD_ILS/0/SD_ILS:186566
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Bernardo, Marco. editor. Hillston, Jane. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72522-0">http://dx.doi.org/10.1007/978-3-540-72522-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures
ent://SD_ILS/0/SD_ILS:184002
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Bernardo, Marco. editor. Cimatti, Alessandro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11757283">http://dx.doi.org/10.1007/11757283</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering 3 Domains, Requirements, and Software Design
ent://SD_ILS/0/SD_ILS:183791
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Bjøner, Dines. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-33653-2">http://dx.doi.org/10.1007/3-540-33653-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Object-Oriented Metrics in Practice Using Software Metrics to Characterize, Evaluate, and Improve the Design of Object-Oriented Systems
ent://SD_ILS/0/SD_ILS:184735
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Lanza, Michele. author. Marinescu, Radu. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-39538-5">http://dx.doi.org/10.1007/3-540-39538-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Mobile Computing 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures
ent://SD_ILS/0/SD_ILS:183088
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Bernardo, Marco. editor. Bogliolo, Alessandro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b135888">http://dx.doi.org/10.1007/b135888</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Design of Adaptive Finite Element Software The Finite Element Toolbox ALBERTA
ent://SD_ILS/0/SD_ILS:181242
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Barth, Timothy J. editor. Griebel, Michael. editor. Keyes, David E. editor. Nieminen, Risto M. editor. Roose, Dirk. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138692">http://dx.doi.org/10.1007/b138692</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Integration-Ready Architecture and Design Software Engineering with XML, Java, .NET, Wireless, Speech, and Knowledge Technologies
ent://SD_ILS/0/SD_ILS:236067
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Zhuk, Jeff.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511547058">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Real Time and Such Essays Dedicated to Wang Yi to Celebrate His Scientific Career
ent://SD_ILS/0/SD_ILS:605668
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Graf, Susanne. editor. (orcid)0000-0003-4354-6807 Pettersson, Paul. editor. (orcid)0000-0003-4040-3480 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-73751-0">https://doi.org/10.1007/978-3-031-73751-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Combined Power of Research, Education, and Dissemination Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday
ent://SD_ILS/0/SD_ILS:605669
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Hinchey, Mike. editor. Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-73887-6">https://doi.org/10.1007/978-3-031-73887-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering and Formal Methods 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:606203
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Madeira, Alexandre. editor. (orcid)0000-0002-0646-2017 Knapp, Alexander. editor. (orcid)0000-0002-4050-3249 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-77382-2">https://doi.org/10.1007/978-3-031-77382-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Data Protection for Software Development and IT A Practical Introduction
ent://SD_ILS/0/SD_ILS:607421
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Kneuper, Ralf. author. (orcid)0000-0003-3225-5895 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-70639-8">https://doi.org/10.1007/978-3-662-70639-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rebeca for Actor Analysis in Action Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday
ent://SD_ILS/0/SD_ILS:607700
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Lee, Edward A. editor. (orcid)0000-0002-5663-0584 Mousavi, Mohammad Reza. editor. (orcid)0000-0002-4869-6794 Talcott, Carolyn. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-85134-6">https://doi.org/10.1007/978-3-031-85134-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Pattern Languages of Programming V
ent://SD_ILS/0/SD_ILS:607718
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Wallingford, Eugene. editor. Zdun, Uwe. editor. (orcid)0000-0002-6233-2591 Kohls, Christian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-70810-1">https://doi.org/10.1007/978-3-662-70810-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Distributed Applications and Interoperable Systems 25th IFIP WG 6.1 International Conference, DAIS 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16-20, 2025, Proceedings
ent://SD_ILS/0/SD_ILS:608938
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Balouek, Daniel. editor. (orcid)0000-0001-6038-1077 Medeiros, Ibéria. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-95728-4">https://doi.org/10.1007/978-3-031-95728-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Integrated Formal Methods 19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:606006
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Kosmatov, Nikolai. editor. Kovács, Laura. editor. (orcid)0000-0002-8299-2714 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-76554-4">https://doi.org/10.1007/978-3-031-76554-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Services Computing - SCC 2024 21st International Conference, Held as Part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:606044
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author He, Sheng. editor. (orcid)0000-0002-7142-8990 Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-77000-5">https://doi.org/10.1007/978-3-031-77000-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agile Processes in Software Engineering and Extreme Programming 26th International Conference on Agile Software Development, XP 2025, Brugg-Windisch, Switzerland, June 2-5, 2025, Proceedings
ent://SD_ILS/0/SD_ILS:608677
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Peter, Sibylle. editor. (orcid)0009-0007-4308-053X Kropp, Martin. editor. (orcid)0000-0002-7439-6517 Aguiar, Ademar. editor. (orcid)0000-0002-4046-4729 Anslow, Craig. editor. (orcid)0000-0001-8064-6300 Lunesu, Maria Ilaria. editor. (orcid)0000-0002-2552-4228<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-94544-1">https://doi.org/10.1007/978-3-031-94544-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A Concise Introduction to Software Engineering With Open Source and GenAI
ent://SD_ILS/0/SD_ILS:607111
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Jalote, Pankaj. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-74318-4">https://doi.org/10.1007/978-3-031-74318-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ernst Denert Award for Software Engineering 2022 Practice Meets Foundations
ent://SD_ILS/0/SD_ILS:603043
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Bodden, Eric. editor. Felderer, Michael. editor. Hasselbring, Wilhelm. editor. (orcid)0000-0001-6625-4335 Herber, Paula. editor. Koziolek, Heiko. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-44412-8">https://doi.org/10.1007/978-3-031-44412-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Architectures Topics Usually Missed in Textbooks
ent://SD_ILS/0/SD_ILS:603356
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Nagl, Manfred. author. Westfechtel, Bernhard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-51335-0">https://doi.org/10.1007/978-3-031-51335-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Distributed Applications and Interoperable Systems 24th IFIP WG 6.1 International Conference, DAIS 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:603899
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Martins, Rolando. editor. (orcid)0000-0002-1838-1417 Selimi, Mennan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-62638-8">https://doi.org/10.1007/978-3-031-62638-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Human-Centered Software Engineering 10th IFIP WG 13.2 International Working Conference, HCSE 2024, Reykjavik, Iceland, July 8-10, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:604150
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Lárusdóttir, Marta Kristín. editor. (orcid)0000-0003-0256-5710 Naqvi, Bilal. editor. (orcid)0000-0001-5271-5604 Bernhaupt, Regina. editor. (orcid)0000-0003-3522-5990 Ardito, Carmelo. editor. (orcid)0000-0001-8993-9855 Sauer, Stefan. editor. (orcid)0000-0003-3084-0409<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-64576-1">https://doi.org/10.1007/978-3-031-64576-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verified Software. Theories, Tools and Experiments 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:604456
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Reynolds, Andrew. editor. Tasiran, Serdar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-66064-1">https://doi.org/10.1007/978-3-031-66064-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Understanding the Digital World Modeling with HERAKLIT
ent://SD_ILS/0/SD_ILS:604947
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Fettke, Peter. author. Reisig, Wolfgang. author. (orcid)0000-0002-7026-2810 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-61898-7">https://doi.org/10.1007/978-3-031-61898-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Architecture 18th European Conference, ECSA 2024, Luxembourg City, Luxembourg, September 3-6, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:604969
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Galster, Matthias. editor. (orcid)0000-0003-3491-1833 Scandurra, Patrizia. editor. (orcid)0000-0002-9209-3624 Mikkonen, Tommi. editor. (orcid)0000-0002-8540-9918 Oliveira Antonino, Pablo. editor. (orcid)0000-0002-9631-8771 Nakagawa, Elisa Yumi. editor. (orcid)0000-0002-7754-4298<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-70797-1">https://doi.org/10.1007/978-3-031-70797-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Experimentation in Software Engineering
ent://SD_ILS/0/SD_ILS:605033
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Wohlin, Claes. author. Runeson, Per. author. Höst, Martin. author. Ohlsson, Magnus C. author. Regnell, Björn. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-69306-3">https://doi.org/10.1007/978-3-662-69306-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
CyberSecurity in a DevOps Environment From Requirements to Monitoring
ent://SD_ILS/0/SD_ILS:602151
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Sadovykh, Andrey. editor. Truscan, Dragos. editor. Mallouli, Wissam. editor. Cavalli, Ana Rosa. editor. Seceleanu, Cristina. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-42212-6">https://doi.org/10.1007/978-3-031-42212-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fundamental Approaches to Software Engineering 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:603161
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Cavalcanti, Ana. editor. (orcid)0000-0002-0831-1976 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-57259-3">https://doi.org/10.1007/978-3-031-57259-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The French School of Programming
ent://SD_ILS/0/SD_ILS:603390
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Meyer, Bertrand. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-34518-0">https://doi.org/10.1007/978-3-031-34518-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Integrated Formal Methods 18th International Conference, IFM 2023, Leiden, The Netherlands, November 13-15, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:601952
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Herber, Paula. editor. Wijs, Anton. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-47705-8">https://doi.org/10.1007/978-3-031-47705-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Services Computing - SCC 2023 20th International Conference, Held as Part of the Services Conference Federation, SCF 2023, Shenzhen, China, December 17-18, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:602339
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Luo, Min. editor. Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-51674-0">https://doi.org/10.1007/978-3-031-51674-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Beginning software engineering
ent://SD_ILS/0/SD_ILS:599078
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Stephens, Rod, author.<br/>Preferred Shelf Number QA76.758 .S74 2023<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394320592">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394320592</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Systems engineering of software-enabled systems
ent://SD_ILS/0/SD_ILS:595142
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Fairley, R. E. (Richard E.), 1937- author.<br/>Preferred Shelf Number QA76.758<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119535041">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119535041</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Handbook of Hardware/Software Codesign
ent://SD_ILS/0/SD_ILS:612453
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Ha, Soonhoi. editor. Teich, Jürgen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-94-017-7267-9">https://doi.org/10.1007/978-94-017-7267-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Present and Ulterior Software Engineering
ent://SD_ILS/0/SD_ILS:610759
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Mazzara, Manuel. editor. Meyer, Bertrand. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-67425-4">https://doi.org/10.1007/978-3-319-67425-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Five Design-Sheets: Creative Design and Sketching for Computing and Visualisation
ent://SD_ILS/0/SD_ILS:611473
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Roberts, Jonathan C. author. Headleand, Christopher J. author. Ritsos, Panagiotis D. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-55627-7">https://doi.org/10.1007/978-3-319-55627-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Bridging the Gap between Requirements Engineering and Software Architecture A Problem-Oriented and Quality-Driven Method
ent://SD_ILS/0/SD_ILS:617804
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Alebrahim, Azadeh. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-658-17694-5">https://doi.org/10.1007/978-3-658-17694-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Unraveling Software Maintenance and Evolution Thinking Outside the Box
ent://SD_ILS/0/SD_ILS:613157
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Varga, Ervin. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-71303-8">https://doi.org/10.1007/978-3-319-71303-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Project Management for Distributed Computing Life-Cycle Methods for Developing Scalable and Reliable Tools
ent://SD_ILS/0/SD_ILS:612946
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Mahmood, Zaigham. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-54325-3">https://doi.org/10.1007/978-3-319-54325-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cyber-Physical System Design from an Architecture Analysis Viewpoint Communications of NII Shonan Meetings
ent://SD_ILS/0/SD_ILS:615500
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Nakajima, Shin. editor. Talpin, Jean-Pierre. editor. Toyoshima, Masumi. editor. Yu, Huafeng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-4436-6">https://doi.org/10.1007/978-981-10-4436-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Design, User Experience, and Usability: Designing Pleasurable Experiences 6th International Conference, DUXU 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:615964
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Marcus, Aaron. editor. Wang, Wentao. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-58637-3">https://doi.org/10.1007/978-3-319-58637-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Coordination, Organizations, Institutions, and Norms in Agent Systems XII COIN 2016 International Workshops, COIN@AAMAS, Singapore, Singapore, May 9, 2016, COIN@ECAI, The Hague, The Netherlands, August 30, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:616021
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Cranefield, Stephen. editor. Mahmoud, Samhar. editor. Padget, Julian. editor. Rocha, Ana Paula. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66595-5">https://doi.org/10.1007/978-3-319-66595-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Concise Guide to Software Engineering From Fundamentals to Application Methods
ent://SD_ILS/0/SD_ILS:617836
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author O'Regan, Gerard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-57750-0">https://doi.org/10.1007/978-3-319-57750-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Failure-Modes-Based Software Reading
ent://SD_ILS/0/SD_ILS:617952
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Zhu, Yang-Ming. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-65103-3">https://doi.org/10.1007/978-3-319-65103-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Human Centered Software Product Lines
ent://SD_ILS/0/SD_ILS:618153
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Sottet, Jean-Sébastien. editor. García Frey, Alfonso. editor. Vanderdonckt, Jean. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-60947-8">https://doi.org/10.1007/978-3-319-60947-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cloud Service Benchmarking Measuring Quality of Cloud Services from a Client Perspective
ent://SD_ILS/0/SD_ILS:614363
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Bermbach, David. author. Wittern, Erik. author. Tai, Stefan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-55483-9">https://doi.org/10.1007/978-3-319-55483-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Design, User Experience, and Usability: Understanding Users and Contexts 6th International Conference, DUXU 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:617009
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Marcus, Aaron. editor. Wang, Wentao. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-58640-3">https://doi.org/10.1007/978-3-319-58640-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applied Computer Science for GGOS Observatories Communication, Coordination and Automation of Future Geodetic Infrastructures
ent://SD_ILS/0/SD_ILS:618041
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Neidhardt, Alexander N.J. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-40139-3">https://doi.org/10.1007/978-3-319-40139-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automotive Software Architectures An Introduction
ent://SD_ILS/0/SD_ILS:615838
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Staron, Miroslaw. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-58610-6">https://doi.org/10.1007/978-3-319-58610-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering and Formal Methods 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616270
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Cimatti, Alessandro. editor. (orcid)0000-0002-1315-6990 Sirjani, Marjan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66197-1">https://doi.org/10.1007/978-3-319-66197-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Design, User Experience, and Usability: Theory, Methodology, and Management 6th International Conference, DUXU 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:618099
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Marcus, Aaron. editor. Wang, Wentao. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-58634-2">https://doi.org/10.1007/978-3-319-58634-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Managing Software Process Evolution Traditional, Agile and Beyond - How to Handle Process Change
ent://SD_ILS/0/SD_ILS:611322
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Kuhrmann, Marco. editor. Münch, Jürgen. editor. Richardson, Ita. editor. Rausch, Andreas. editor. Zhang, He. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-31545-4">https://doi.org/10.1007/978-3-319-31545-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Languages and Systems 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:612288
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Thiemann, Peter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-49498-1">https://doi.org/10.1007/978-3-662-49498-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Distributed Simulation A Model Driven Engineering Approach
ent://SD_ILS/0/SD_ILS:611189
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Topçu, Okan. author. Durak, Umut. author. Oğuztüzün, Halit. author. Yilmaz, Levent. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-03050-0">https://doi.org/10.1007/978-3-319-03050-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Intelligence and Quantitative Software Engineering
ent://SD_ILS/0/SD_ILS:611266
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Pedrycz, Witold. editor. Succi, Giancarlo. editor. Sillitti, Alberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-25964-2">https://doi.org/10.1007/978-3-319-25964-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering for Resilient Systems 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:612727
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Crnkovic, Ivica. editor. Troubitsyna, Elena. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-45892-2">https://doi.org/10.1007/978-3-319-45892-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Languages and Systems 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:613063
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Igarashi, Atsushi. editor. (orcid)0000-0002-5143-9764 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-47958-3">https://doi.org/10.1007/978-3-319-47958-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Modeling with UML Language, Concepts, Methods
ent://SD_ILS/0/SD_ILS:612868
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Rumpe, Bernhard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-33933-7">https://doi.org/10.1007/978-3-319-33933-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Engineering Trustworthy Software Systems First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures
ent://SD_ILS/0/SD_ILS:616134
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-29628-9">https://doi.org/10.1007/978-3-319-29628-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Functional Safety for Road Vehicles New Challenges and Solutions for E-mobility and Automated Driving
ent://SD_ILS/0/SD_ILS:615793
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Ross, Hans-Leo. author. (orcid)0009-0009-0125-8824 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-33361-8">https://doi.org/10.1007/978-3-319-33361-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Modularity and Composition I
ent://SD_ILS/0/SD_ILS:617818
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Chiba, Shigeru. editor. Südholt, Mario. editor. Eugster, Patrick. editor. Ziarek, Lukasz. editor. Leavens, Gary T. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-46969-0">https://doi.org/10.1007/978-3-319-46969-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Human-Centered and Error-Resilient Systems Development IFIP WG 13.2/13.5 Joint Working Conference, 6th International Conference on Human-Centered Software Engineering, HCSE 2016, and 8th International Conference on Human Error, Safety, and System Development, HESSD 2016, Stockholm, Sweden, August 29-31, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:618325
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Bogdan, Cristian. editor. Gulliksen, Jan. editor. Sauer, Stefan. editor. (orcid)0000-0003-3084-0409 Forbrig, Peter. editor. Winckler, Marco. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-44902-9">https://doi.org/10.1007/978-3-319-44902-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Developers as Users Semiotic Investigations in Human-Centered Software Development
ent://SD_ILS/0/SD_ILS:614418
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Sieckenius de Souza, Clarisse. author. Fontoura de Gusmão Cerqueira, Renato. author. Marques Afonso, Luiz. author. Rossi de Mello Brandão, Rafael. author. Soares Jansen Ferreira, Juliana. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Software Architecture in Action Designing and Executing Architectural Models with SysADL Grounded on the OMG SysML Standard
ent://SD_ILS/0/SD_ILS:617519
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Oquendo, Flavio. author. Leite, Jair. author. Batista, Thaís. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-44339-3">https://doi.org/10.1007/978-3-319-44339-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Exploring Services Science 7th International Conference, IESS 2016, Bucharest, Romania, May 25-27, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:617541
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Borangiu, Theodor. editor. (orcid)0000-0002-4801-1951 Drăgoicea, Monica. editor. Nóvoa, Henriqueta. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-32689-4">https://doi.org/10.1007/978-3-319-32689-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Integrating User-Centred Design in Agile Development
ent://SD_ILS/0/SD_ILS:618467
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Cockton, Gilbert. editor. Lárusdóttir, Marta. editor. Gregory, Peggy. editor. (orcid)0000-0001-7891-6666 Cajander, Åsa. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-32165-3">https://doi.org/10.1007/978-3-319-32165-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mobile and Wireless Technology 2015
ent://SD_ILS/0/SD_ILS:530548
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Kim, Kuinam J. editor. Wattanapongsakorn, Naruemon. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-47669-7">https://doi.org/10.1007/978-3-662-47669-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
GUI Design for Android Apps
ent://SD_ILS/0/SD_ILS:618706
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Cohen, Ryan. author. Wang, Tao. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4842-0382-8">https://doi.org/10.1007/978-1-4842-0382-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Beginning RPG Maker VX Ace
ent://SD_ILS/0/SD_ILS:618634
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Perez, Darrin. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4842-0784-0">https://doi.org/10.1007/978-1-4842-0784-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Practical Software Development Techniques Tools and Techniques for Building Enterprise Software
ent://SD_ILS/0/SD_ILS:618654
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Crookshanks, Edward. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4842-0728-4">https://doi.org/10.1007/978-1-4842-0728-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering A Methodical Approach
ent://SD_ILS/0/SD_ILS:618696
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Foster, Elvis. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4842-0847-2">https://doi.org/10.1007/978-1-4842-0847-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Privacy Engineer's Manifesto Getting from Policy to Code to QA to Value
ent://SD_ILS/0/SD_ILS:618599
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Dennedy, Michelle. author. Fox, Jonathan. author. Finneran, Tom. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4302-6356-2">https://doi.org/10.1007/978-1-4302-6356-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Architecting software intensive systems : a practitioner's guide
ent://SD_ILS/0/SD_ILS:541853
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Lattanze, Anthony J., author.<br/>Preferred Shelf Number QA76.758 .L3285 2009<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781420045703">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Dependability benchmarking for computer systems
ent://SD_ILS/0/SD_ILS:249772
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Kanoun, Karama. Spainhower, Lisa.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6129686">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6129686</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computers, Software Engineering, and Digital Devices
ent://SD_ILS/0/SD_ILS:542493
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Dorf, Richard C., author. Taylor and Francis.<br/>Preferred Shelf Number TK7885<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781420037050">Click here to view.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Bioinformatics software engineering delivering effective applications
ent://SD_ILS/0/SD_ILS:295806
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Weston, Paul, HGMP. John Wiley & Sons.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access John Wiley <a href="http://dx.doi.org/10.1002/0470030143">http://dx.doi.org/10.1002/0470030143</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software engineering for image processing systems
ent://SD_ILS/0/SD_ILS:545262
2026-03-23T02:44:50Z
2026-03-23T02:44:50Z
Author Laplante, Phillip A., author.<br/>Preferred Shelf Number TA1637 .L34 2004<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781135510749">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>