Search Results for Software development. - Narrowed by: Software engineering.

Model-Driven Software Development

2026-04-02T15:55:59Z

Author Beydeda, Sami. editor. Book, Matthias. editor. Gruhn, Volker. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-28554-7
Format: Electronic Resources
Availability Online Library~1

Ontology-Driven Software Development

2026-04-02T15:55:59Z

Author Pan, Jeff Z. editor. Staab, Steffen. editor. Aßmann, Uwe. editor. Ebert, Jürgen. editor. Zhao, Yuting. editor.
Preferred Shelf Number ONLINE(333408.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-31226-7
Format: Electronic Resources
Availability Online Library~1

Generative AI for Effective Software Development

2026-04-02T15:55:59Z

Author Nguyen-Duc, Anh. editor. (orcid)0000-0002-7063-9200 Abrahamsson, Pekka. editor. Khomh, Foutse. editor. (orcid)0000-0002-5704-4173 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-55642-5
Format: Electronic Resources
Availability Online Library~1

Lean Software Development in Action

2026-04-02T15:55:59Z

Author Janes, Andrea. author. Succi, Giancarlo. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-00503-9
Format: Electronic Resources
Availability Online Library~1

Software Development and Professional Practice

2026-04-02T15:55:59Z

Author Dooley, John. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-3802-7
Format: Electronic Resources
Availability Online Library~1

Embedded Software Development with C

2026-04-02T15:55:59Z

Author Qian, Kai. author. Den Haring, David. author. Cao, Li. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-0606-9
Format: Electronic Resources
Availability Online Library~1

Transactions on Aspect-Oriented Software Development XI

2026-04-02T15:55:59Z

Author Chiba, Shigeru. editor. Tanter, Éric. editor. Bodden, Eric. editor. Maoz, Shahar. editor. Kienzle, Jörg. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-55099-7
Format: Electronic Resources
Availability Online Library~1

EMBEDDED SOFTWARE DEVELOPMENT FOR SAFETY-CRITICAL SYSTEMS

2026-04-02T15:55:59Z

Author Hobbs, Chris (Christopher W.)
Preferred Shelf Number QA76.76 .D47
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003598145 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Software Engineering Perspectives in Computer Game Development.

2026-04-02T15:55:59Z

Author Cooper, Kendra M. L., editor.
Preferred Shelf Number QA76.76 .C672
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781315145549 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

SafeScrum® – Agile Development of Safety-Critical Software

2026-04-02T15:55:59Z

Author Hanssen, Geir Kjetil. author. Stålhane, Tor. author. Myklebust, Thor. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99334-8
Format: Electronic Resources
Availability Online Library~1

Transactions on Aspect-Oriented Software Development X

2026-04-02T15:55:59Z

Author Leavens, Gary T. editor. Chiba, Shigeru. editor. Tanter, Éric. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334333.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36964-3
Format: Electronic Resources
Availability Online Library~1

Transactions on Aspect-Oriented Software Development IX

2026-04-02T15:55:59Z

Author Leavens, Gary T. editor. Chiba, Shigeru. editor. Haupt, Michael. editor. Ostermann, Klaus. editor. Wohlstadter, Eric. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-35551-6
Format: Electronic Resources
Availability Online Library~1

Transactions on Aspect-Oriented Software Development VIII

2026-04-02T15:55:59Z

Author Katz, Shmuel. editor. Mezini, Mira. editor. Schwanninger, Christine. editor. Joosen, Wouter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22031-9
Format: Electronic Resources
Availability Online Library~1

Transactions on Aspect-Oriented Software Development V

2026-04-02T15:55:59Z

Author Rashid, Awais. editor. Ossher, Harold. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02059-9
Format: Electronic Resources
Availability Online Library~1

Transactions on Aspect-Oriented Software Development IV

2026-04-02T15:55:59Z

Author Rashid, Awais. editor. Aksit, Mehmet. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77042-8
Format: Electronic Resources
Availability Online Library~1

Transactions on Aspect-Oriented Software Development III

2026-04-02T15:55:59Z

Author Rashid, Awais. editor. Aksit, Mehmet. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75162-5
Format: Electronic Resources
Availability Online Library~1

Transactions on Aspect-Oriented Software Development I

2026-04-02T15:55:59Z

Author Rashid, Awais. editor. Aksit, Mehmet. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11687061
Format: Electronic Resources
Availability Online Library~1

Transactions on Aspect-Oriented Software Development II

2026-04-02T15:55:59Z

Author Rashid, Awais. editor. Aksit, Mehmet. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11922827
Format: Electronic Resources
Availability Online Library~1

Data Protection for Software Development and IT A Practical Introduction

2026-04-02T15:55:59Z

Author Kneuper, Ralf. author. (orcid)0000-0003-3225-5895 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-70639-8
Format: Electronic Resources
Availability Online Library~1

Software Engineering: Emerging Trends and Practices in System Development Proceedings of 14th Computer Science On-line Conference 2025, Volume 4

2026-04-02T15:55:59Z

Author Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-032-03406-9
Format: Electronic Resources
Availability Online Library~1

Software Engineering: Emerging Trends and Practices in System Development Proceedings of 14th Computer Science On-line Conference 2025, Volume 3

2026-04-02T15:55:59Z

Author Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-032-00239-6
Format: Electronic Resources
Availability Online Library~1

Software Engineering: Emerging Trends and Practices in System Development Proceedings of the 14th Computer Science On-line Conference 2025, Volume 6

2026-04-02T15:55:59Z

Author Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-032-00715-5
Format: Electronic Resources
Availability Online Library~1

Software Engineering: Emerging Trends and Practices in System Development Proceedings of 14th Computer Science Online Conference 2025, Volume 2

2026-04-02T15:55:59Z

Author Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-032-00712-4
Format: Electronic Resources
Availability Online Library~1

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

2026-04-02T15:55:59Z

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
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-94544-1
Format: Electronic Resources
Availability Online Library~1

Agile Processes in Software Engineering and Extreme Programming 25th International Conference on Agile Software Development, XP 2024, Bozen-Bolzano, Italy, June 4-7, 2024, Proceedings

2026-04-02T15:55:59Z

Author Šmite, Darja. editor. (orcid)0000-0003-1744-3118 Guerra, Eduardo. editor. (orcid)0000-0001-5555-3487 Wang, Xiaofeng. editor. (orcid)0000-0001-8424-419X Marchesi, Michele. editor. Gregory, Peggy. editor. (orcid)0000-0001-7891-6666
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-61154-4
Format: Electronic Resources
Availability Online Library~1

Model-Driven Engineering and Software Development 11th International Conference, MODELSWARD 2023, Lisbon, Portugal, February 19-21, 2023, Revised Selected Papers

2026-04-02T15:55:59Z

Author Domínguez Mayo, Francisco José. editor. Pires, Luís Ferreira. editor. Seidewitz, Edwin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-66339-0
Format: Electronic Resources
Availability Online Library~1

A Software Development Approach for Driving Competitiveness in Small Firms

2026-04-02T15:55:59Z

Author Chevers, Delroy A., author.
Preferred Shelf Number HD2341
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003388944 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Designing Software Intensive Products Integrating Engineering and Intellectual Property Management to the Development of Innovative Products

2026-04-02T15:55:59Z

Author Atem de Carvalho, Rogerio. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-08893-3
Format: Electronic Resources
Availability Online Library~1

Model-Driven Engineering and Software Development 6th International Conference, MODELSWARD 2018, Funchal, Madeira, Portugal, January 22-24, 2018, Revised Selected Papers

2026-04-02T15:55:59Z

Author Hammoudi, Slimane. editor. Pires, Luís Ferreira. editor. Selic, Bran. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-11030-7
Format: Electronic Resources
Availability Online Library~1

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

2026-04-02T15:55:59Z

Author Bruel, Jean-Michel. editor. (orcid)0000-0002-3653-0148 Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948 Meyer, Bertrand. editor. (orcid)0000-0002-5985-7434 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-06019-0
Format: Electronic Resources
Availability Online Library~1

Model-Driven Engineering and Software Development 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers

2026-04-02T15:55:59Z

Author Pires, Luís Ferreira. editor. Hammoudi, Slimane. editor. Selic, Bran. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94764-8
Format: Electronic Resources
Availability Online Library~1

Software Development Measurement Programs Development, Management and Evolution

2026-04-02T15:55:59Z

Author Staron, Miroslaw. author. Meding, Wilhelm. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91836-5
Format: Electronic Resources
Availability Online Library~1

Principled Software Development Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday

2026-04-02T15:55:59Z

Author Müller, Peter. editor. Schaefer, Ina. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-98047-8
Format: Electronic Resources
Availability Online Library~1

Model-Driven Engineering and Software Development 4th International Conference, MODELSWARD 2016, Rome, Italy, February 19-21, 2016, Revised Selected Papers

2026-04-02T15:55:59Z

Author Hammoudi, Slimane. editor. Pires, Luís Ferreira. editor. Selic, Bran. editor. Desfray, Philippe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66302-9
Format: Electronic Resources
Availability Online Library~1

Software Developers as Users Semiotic Investigations in Human-Centered Software Development

2026-04-02T15:55:59Z

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.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-42831-4
Format: Electronic Resources
Availability Online Library~1

Software Quality. The Future of Systems- and Software Development 8th International Conference, SWQD 2016, Vienna, Austria, January 18-21, 2016, Proceedings

2026-04-02T15:55:59Z

Author Winkler, Dietmar. editor. Biffl, Stefan. editor. Bergsmann, Johannes. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-27033-3
Format: Electronic Resources
Availability Online Library~1

Crisis Management for Software Development and Knowledge Transfer

2026-04-02T15:55:59Z

Author Zykov, Sergey V. author. (orcid)0000-0002-2115-5461 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-42966-3
Format: Electronic Resources
Availability Online Library~1

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

2026-04-02T15:55:59Z

Author Bogdan, Cristian. editor. Gulliksen, Jan. editor. Sauer, Stefan. editor. (orcid)0000-0003-3084-0409 Forbrig, Peter. editor. Winckler, Marco. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-44902-9
Format: Electronic Resources
Availability Online Library~1

Embedded and Real Time System Development: A Software Engineering Perspective Concepts, Methods and Principles

2026-04-02T15:55:59Z

Author Khan, Mohammad Ayoub. editor. Saeed, Saqib. editor. Darwish, Ashraf. editor. Abraham, Ajith. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-40888-5
Format: Electronic Resources
Availability Online Library~1

Future Business Software Current Trends in Business Software Development

2026-04-02T15:55:59Z

Author Brunetti, Gino. editor. Feld, Thomas. editor. Heuser, Lutz. editor. Schnitter, Joachim. editor. Webel, Christian. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-04144-5
Format: Electronic Resources
Availability Online Library~1

Practical Software Development Techniques Tools and Techniques for Building Enterprise Software

2026-04-02T15:55:59Z

Author Crookshanks, Edward. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4842-0728-4
Format: Electronic Resources
Availability Online Library~1

Requirements Engineering and Management for Software Development Projects

2026-04-02T15:55:59Z

Author Chemuturi, Murali. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331756.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-5377-2
Format: Electronic Resources
Availability Online Library~1

Software Cost Estimation, Benchmarking, and Risk Assessment The Software Decision-Makers' Guide to Predictable Software Development

2026-04-02T15:55:59Z

Author Trendowicz, Adam. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333358.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-30764-5
Format: Electronic Resources
Availability Online Library~1

Software Quality. Increasing Value in Software and Systems Development 5th International Conference, SWQD 2013, Vienna, Austria, January 15-17, 2013. Proceedings

2026-04-02T15:55:59Z

Author Winkler, Dietmar. editor. Biffl, Stefan. editor. Bergsmann, Johannes. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334033.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35702-2
Format: Electronic Resources
Availability Online Library~1

Social software engineering : development and collaboration with social networking

2026-04-02T15:55:59Z

Author Keyes, Jessica, 1950, author.
Preferred Shelf Number QA76.758 .K479 2012
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Foundations of Algebraic Specification and Formal Software Development

2026-04-02T15:55:59Z

Author Sannella, Donald. author. Tarlecki, Andrzej. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17336-3
Format: Electronic Resources
Availability Online Library~1

Software Quality. Process Automation in Software Development 4th International Conference, SWQD 2012, Vienna, Austria, January 17-19, 2012. Proceedings

2026-04-02T15:55:59Z

Author Biffl, Stefan. editor. Winkler, Dietmar. editor. Bergsmann, Johannes. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-27213-4
Format: Electronic Resources
Availability Online Library~1

Guide to Software Development Designing and Managing the Life Cycle

2026-04-02T15:55:59Z

Author Langer, Arthur M. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-2300-2
Format: Electronic Resources
Availability Online Library~1

Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers

2026-04-02T15:55:59Z

Author Calinescu, Radu. editor. Jackson, Ethan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21292-5
Format: Electronic Resources
Availability Online Library~1

Rigorous Software Development An Introduction to Program Verification

2026-04-02T15:55:59Z

Author Almeida, José Bacelar. author. Frade, Maria João. author. Pinto, Jorge Sousa. author. Melo de Sousa, Simão. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-85729-018-2
Format: Electronic Resources
Availability Online Library~1

Foundations of Computer Software. Future Trends and Techniques for Development 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers

2026-04-02T15:55:59Z

Author Choppy, Christine. editor. Sokolsky, Oleg. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12566-9
Format: Electronic Resources
Availability Online Library~1

Agile Software Development Current Research and Future Directions

2026-04-02T15:55:59Z

Author Dingsøyr, Torgeir. editor. Dybå, Tore. editor. Moe, Nils Brede. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12575-1
Format: Electronic Resources
Availability Online Library~1

Software Engineering Approaches for Offshore and Outsourced Development 4th International Conference, SEAFOOD 2010, St. Petersburg, Russia, June 17-18, 2010. Proceedings

2026-04-02T15:55:59Z

Author Nordio, Martin. editor. Joseph, Mathai. editor. Meyer, Bertrand. editor. Terekhov, Andrey. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13784-6
Format: Electronic Resources
Availability Online Library~1

Transactions on Aspect-Oriented Software Development VII A Common Case Study for Aspect-Oriented Modeling

2026-04-02T15:55:59Z

Author Katz, Shmuel. editor. Mezini, Mira. editor. Kienzle, Jörg. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16086-8
Format: Electronic Resources
Availability Online Library~1

Agile Software Development Best Practices for Large Software Development Projects

2026-04-02T15:55:59Z

Author Stober, Thomas. author. Hansmann, Uwe. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-70832-2
Format: Electronic Resources
Availability Online Library~1

Trustworthy Software Development Processes International Conference on Software Process, ICSP 2009 Vancouver, Canada, May 16-17, 2009 Proceedings

2026-04-02T15:55:59Z

Author Wang, Qing. editor. Garousi, Vahid. editor. Madachy, Raymond. editor. Pfahl, Dietmar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01680-6
Format: Electronic Resources
Availability Online Library~1

Software Engineering Approaches for Offshore and Outsourced Development Second International Conference, SEAFOOD 2008, Zurich, Switzerland, July 2-3, 2008. Revised Papers

2026-04-02T15:55:59Z

Author Berkling, Kay. editor. Joseph, Mathai. editor. Meyer, Bertrand. editor. Nordio, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01856-5
Format: Electronic Resources
Availability Online Library~1

Language Engineering and Rigorous Software Development International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures

2026-04-02T15:55:59Z

Author Bove, Ana. editor. Barbosa, Luís Soares. editor. Pardo, Alberto. editor. Pinto, Jorge Sousa. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03153-3
Format: Electronic Resources
Availability Online Library~1

Software Engineering Approaches for Offshore and Outsourced Development Third International Conference, SEAFOOD 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings

2026-04-02T15:55:59Z

Author Gotel, Olly. editor. Joseph, Mathai. editor. Meyer, Bertrand. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02987-5
Format: Electronic Resources
Availability Online Library~1

Transactions on Aspect-Oriented Software Development VI Special Issue on Aspects and Model-Driven Engineering

2026-04-02T15:55:59Z

Author Katz, Shmuel. editor. Ossher, Harold. editor. France, Robert. editor. Jézéquel, Jean-Marc. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03764-1
Format: Electronic Resources
Availability Online Library~1

Making Globally Distributed Software Development a Success Story International Conference on Software Process, ICSP 2008 Leipzig, Germany, May 10-11, 2008 Proceedings

2026-04-02T15:55:59Z

Author Wang, Qing. editor. Pfahl, Dietmar. editor. Raffo, David M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-79588-9
Format: Electronic Resources
Availability Online Library~1

Model-Driven Development of Reliable Automotive Services Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers

2026-04-02T15:55:59Z

Author Broy, Manfred. editor. Krüger, Ingolf H. editor. Meisinger, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-70930-5
Format: Electronic Resources
Availability Online Library~1

Software engineering Barry W. Boehm's lifetime contributions to software development, management, and research

2026-04-02T15:55:59Z

Author Selby, Richard W.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5989528 IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5989528
Format: Electronic Resources
Availability Online Library~1

Open Source Development, Adoption and Innovation IFIP Working Group 2.13 on Open Source Software, June 11–14, 2007, Limerick, Ireland

2026-04-02T15:55:59Z

Author Feller, Joseph. editor. Fitzgerald, Brian. editor. Scacchi, Walt. editor. Sillitti, Alberto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-72486-7
Format: Electronic Resources
Availability Online Library~1

Software Engineering Approaches for Offshore and Outsourced Development First International Conference, SEAFOOD 2007, Zurich, Switzerland, February 5-6, 2007. Revised Papers

2026-04-02T15:55:59Z

Author Meyer, Bertrand. editor. Joseph, Mathai. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75542-5
Format: Electronic Resources
Availability Online Library~1

The cognitive dynamics of computer science cost-effective large scale software development

2026-04-02T15:55:59Z

Author De Gyurky, Szabolcs Michael. Tarbell, Mark A. John Wiley & Sons.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5201429
Format: Electronic Resources
Availability Online Library~1

Software Agent-Based Applications, Platforms and Development Kits

2026-04-02T15:55:59Z

Author Unland, Rainer. editor. Calisti, Monique. editor. Klusch, Matthias. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b137512
Format: Electronic Resources
Availability Online Library~1

Component-Based Software Development for Embedded Systems An Overview of Current Research Trends

2026-04-02T15:55:59Z

Author Atkinson, Colin. editor. Bunse, Christian. editor. Gross, Hans-Gerhard. editor. Peper, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11591962
Format: Electronic Resources
Availability Online Library~1

Human-Centered Software Engineering — Integrating Usability in the Software Development Lifecycle

2026-04-02T15:55:59Z

Author Seffah, Ahmed. editor. Gulliksen, Jan. editor. Desmarais, Michel C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-4113-6
Format: Electronic Resources
Availability Online Library~1

Software engineering : the current practices

2026-04-02T15:55:59Z

Author Rajlich, Vaclav.
Preferred Shelf Number QA76.758 R36 2012
Format: Books
Availability Beytepe Library~1

Applied Informatics 7th International Conference, ICAI 2024, Viña del Mar, Chile, October 24-26, 2024, Proceedings, Part I

2026-04-02T15:55:59Z

Author Florez, Hector. editor. (orcid)0000-0002-5339-4459 Astudillo, Hernán. editor. (orcid)0000-0002-6487-5813 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-75144-8
Format: Electronic Resources
Availability Online Library~1

Applied Informatics 7th International Conference, ICAI 2024, Viña del Mar, Chile, October 24-26, 2024, Proceedings, Part II

2026-04-02T15:55:59Z

Author Florez, Hector. editor. (orcid)0000-0002-5339-4459 Astudillo, Hernán. editor. (orcid)0000-0002-6487-5813 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-75147-9
Format: Electronic Resources
Availability Online Library~1

Advances in Conceptual Modeling ER 2024 Workshops, AISA, CMLS, EmpER, QUAMES, JUSMOD, LLM4Modeling, Pittsburgh, PA, USA, October 28-31, 2024, Proceedings

2026-04-02T15:55:59Z

Author Saeki, Motoshi. editor. Wong, Leah. editor. Araujo, João. editor. (orcid)0000-0001-5914-1631 Ayora, Clara. editor. (orcid)0009-0002-8265-6531 Bernasconi, Anna. editor. (orcid)0000-0001-8016-5750
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-75599-6
Format: Electronic Resources
Availability Online Library~1

Software Business 15th International Conference, ICSOB 2024, Utrecht, The Netherlands, November 18-20, 2024, Proceedings

2026-04-02T15:55:59Z

Author Papatheocharous, Efi. editor. (orcid)0000-0002-5157-8131 Farshidi, Siamak. editor. (orcid)0000-0003-3270-4398 Jansen, Slinger. editor. (orcid)0000-0003-3752-2868 Hyrynsalmi, Sonja. editor. (orcid)0000-0002-1715-6250 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-85849-9
Format: Electronic Resources
Availability Online Library~1

Systems Benchmarking For Scientists and Engineers

2026-04-02T15:55:59Z

Author Kounev, Samuel. author. Lange, Klaus-Dieter. author. von Kistowski, Jóakim. author. (orcid)0000-0002-3046-5373 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-85634-1
Format: Electronic Resources
Availability Online Library~1

Transactions on Pattern Languages of Programming V

2026-04-02T15:55:59Z

Author Wallingford, Eugene. editor. Zdun, Uwe. editor. (orcid)0000-0002-6233-2591 Kohls, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-70810-1
Format: Electronic Resources
Availability Online Library~1

Verified Software. Theories, Tools and Experiments 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14-15, 2024, Revised Selected Papers

2026-04-02T15:55:59Z

Author Protzenko, Jonathan. editor. (orcid)0000-0001-7347-3050 Raad, Azalea. editor. (orcid)0000-0002-2319-3242 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-86695-1
Format: Electronic Resources
Availability Online Library~1

Services Computing - SCC 2024 21st International Conference, Held as Part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024, Proceedings

2026-04-02T15:55:59Z

Author He, Sheng. editor. (orcid)0000-0002-7142-8990 Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-77000-5
Format: Electronic Resources
Availability Online Library~1

Software Engineering and Formal Methods 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings

2026-04-02T15:55:59Z

Author Madeira, Alexandre. editor. (orcid)0000-0002-0646-2017 Knapp, Alexander. editor. (orcid)0000-0002-4050-3249 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-77382-2
Format: Electronic Resources
Availability Online Library~1

Agile Processes in Software Engineering and Extreme Programming - Workshops XP 2024 Workshops, Bozen-Bolzano, Italy, June 4-7, 2024, Revised Selected Papers

2026-04-02T15:55:59Z

Author Marchesi, Lodovica. editor. (orcid)0000-0002-0627-5043 Goldman, Alfredo. editor. (orcid)0000-0001-5746-4154 Lunesu, Maria Ilaria. editor. (orcid)0000-0002-2552-4228 Przybyłek, Adam. editor. (orcid)0000-0002-8231-709X Aguiar, Ademar. editor. (orcid)0000-0002-4046-4729
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-72781-8
Format: Electronic Resources
Availability Online Library~1

Analysis and Design of Next-Generation Software Architectures Generative AI, Cybersecurity, and Cloud Computing

2026-04-02T15:55:59Z

Author Langer, Arthur M. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-76212-3
Format: Electronic Resources
Availability Online Library~1

The AI Act and The Agile Safety Plan

2026-04-02T15:55:59Z

Author Myklebust, Thor. author. (orcid)0000-0002-9283-092X Stålhane, Tor. author. Vatn, Dorthea Mathilde Kristin. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-80504-2
Format: Electronic Resources
Availability Online Library~1

A Concise Introduction to Software Engineering With Open Source and GenAI

2026-04-02T15:55:59Z

Author Jalote, Pankaj. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-74318-4
Format: Electronic Resources
Availability Online Library~1

Object-based Programming with Go

2026-04-02T15:55:59Z

Author Maurer, Christian. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-658-44704-5
Format: Electronic Resources
Availability Online Library~1

New Challenges in Software Engineering Volume 1

2026-04-02T15:55:59Z

Author Mejía, Jezreel. editor. (orcid)0000-0003-0292-9318 Muñoz, Mirna. editor. Rocha, Alvaro. editor. Espinosa-Faller, Francisco Javier. editor. Trejo-Sanchez, Joel Antonio. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-90310-6
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence for System Oriented Design Proceedings of 8th Computational Methods in Systems and Software 2024, Volume 1

2026-04-02T15:55:59Z

Author Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-96798-6
Format: Electronic Resources
Availability Online Library~1

Ontology-Based Evolution of Domain-Oriented Languages Models, Methods and Tools for User Interface Design in General-Purpose Software Systems

2026-04-02T15:55:59Z

Author Babkin, Eduard. author. (orcid)0000-0003-2597-9043 Ulitin, Boris. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-42202-7
Format: Electronic Resources
Availability Online Library~1

Product-Focused Software Process Improvement 24th International Conference, PROFES 2023, Dornbirn, Austria, December 10-13, 2023, Proceedings, Part I

2026-04-02T15:55:59Z

Author Kadgien, Regine. editor. Jedlitschka, Andreas. editor. Janes, Andrea. editor. Lenarduzzi, Valentina. editor. (orcid)0000-0003-0511-5133 Li, Xiaozhou. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-49266-2
Format: Electronic Resources
Availability Online Library~1

Product-Focused Software Process Improvement 24th International Conference, PROFES 2023, Dornbirn, Austria, December 10-13, 2023, Proceedings, Part II

2026-04-02T15:55:59Z

Author Kadgien, Regine. editor. Jedlitschka, Andreas. editor. Janes, Andrea. editor. Lenarduzzi, Valentina. editor. (orcid)0000-0003-0511-5133 Li, Xiaozhou. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-49269-3
Format: Electronic Resources
Availability Online Library~1

Agile Processes in Software Engineering and Extreme Programming - Workshops XP 2022 Workshops, Copenhagen, Denmark, June 13-17, 2022, and XP 2023 Workshops, Amsterdam, The Netherlands, June 13-16, 2023, Revised Selected Papers

2026-04-02T15:55:59Z

Author Kruchten, Philippe. editor. Gregory, Peggy. editor. (orcid)0000-0001-7891-6666 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-48550-3
Format: Electronic Resources
Availability Online Library~1

Mechatronics - Industry-Inspired Advances

2026-04-02T15:55:59Z

Author Martowicz, Adam. editor. (orcid)0000-0001-9630-0355 Mańka, Michał. editor. (orcid)0000-0002-2959-9681 Mendrok, Krzysztof. editor. (orcid)0000-0002-3720-6454 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-63444-4
Format: Electronic Resources
Availability Online Library~1

Metrics for Test Reporting Analysis and Reporting for Effective Test Management

2026-04-02T15:55:59Z

Author Witte, Frank. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-658-44006-0
Format: Electronic Resources
Availability Online Library~1

Human-Centered Software Engineering 10th IFIP WG 13.2 International Working Conference, HCSE 2024, Reykjavik, Iceland, July 8-10, 2024, Proceedings

2026-04-02T15:55:59Z

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
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-64576-1
Format: Electronic Resources
Availability Online Library~1

Business Modeling and Software Design 14th International Symposium, BMSD 2024, Luxembourg City, Luxembourg, July 1-3, 2024, Proceedings

2026-04-02T15:55:59Z

Author Shishkov, Boris. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-64073-5
Format: Electronic Resources
Availability Online Library~1

Quantum Software Aspects of Theory and System Design

2026-04-02T15:55:59Z

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)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-64136-7
Format: Electronic Resources
Availability Online Library~1

Agile-SOFL Agile Formal Engineering Method

2026-04-02T15:55:59Z

Author Liu, Shaoying. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-2285-3
Format: Electronic Resources
Availability Online Library~1

Evaluation of Novel Approaches to Software Engineering 18th International Conference, ENASE 2023, Prague, Czech Republic, April 24-25, 2023, Revised Selected Papers

2026-04-02T15:55:59Z

Author Kaindl, Hermann. editor. Mannion, Mike. editor. Maciaszek, Leszek A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-64182-4
Format: Electronic Resources
Availability Online Library~1

Experimentation in Software Engineering

2026-04-02T15:55:59Z

Author Wohlin, Claes. author. Runeson, Per. author. Höst, Martin. author. Ohlsson, Magnus C. author. Regnell, Björn. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-69306-3
Format: Electronic Resources
Availability Online Library~1

Services Computing - SCC 2023 20th International Conference, Held as Part of the Services Conference Federation, SCF 2023, Shenzhen, China, December 17-18, 2023, Proceedings

2026-04-02T15:55:59Z

Author Luo, Min. editor. Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-51674-0
Format: Electronic Resources
Availability Online Library~1

Software Engineering Methods in Systems and Network Systems Proceedings of 7th Computational Methods in Systems and Software 2023, Vol. 2

2026-04-02T15:55:59Z

Author Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-54813-0
Format: Electronic Resources
Availability Online Library~1

Ernst Denert Award for Software Engineering 2022 Practice Meets Foundations

2026-04-02T15:55:59Z

Author Bodden, Eric. editor. Felderer, Michael. editor. Hasselbring, Wilhelm. editor. (orcid)0000-0001-6625-4335 Herber, Paula. editor. Koziolek, Heiko. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-44412-8
Format: Electronic Resources
Availability Online Library~1

Software Technologies 18th International Conference, ICSOFT 2023, Rome, Italy, July 10-12, 2023, Revised Selected Papers

2026-04-02T15:55:59Z

Author Fill, Hans-Georg. editor. (orcid)0000-0001-5076-5341 Domínguez Mayo, Francisco José. editor. van Sinderen, Marten. editor. (orcid)0000-0001-7118-1353 Maciaszek, Leszek A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-61753-9
Format: Electronic Resources
Availability Online Library~1

Software Business 14th International Conference, ICSOB 2023, Lahti, Finland, November 27-29, 2023, Proceedings

2026-04-02T15:55:59Z

Author Hyrynsalmi, Sami. editor. Münch, Jürgen. editor. (orcid)0000-0003-0327-8094 Smolander, Kari. editor. Melegati, Jorge. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-53227-6
Format: Electronic Resources
Availability Online Library~1

Software Engineering Methods in Systems and Network Systems Proceedings of 7th Computational Methods in Systems and Software 2023, Vol. 1

2026-04-02T15:55:59Z

Author Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-53549-9
Format: Electronic Resources
Availability Online Library~1

Software Architectures Topics Usually Missed in Textbooks

2026-04-02T15:55:59Z

Author Nagl, Manfred. author. Westfechtel, Bernhard. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-51335-0
Format: Electronic Resources
Availability Online Library~1

Computational intelligence applications for software engineering problems

2026-04-02T15:55:59Z

Author Nand, Parma (Computer scientist), editor. Nitin, Rakesh, editor. Agrawal, Arun Prakash, editor. Jain, Vishal, 1983- editor.
Preferred Shelf Number QA76.758
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003283195 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Beginning software engineering

2026-04-02T15:55:59Z

Author Stephens, Rod, author.
Preferred Shelf Number QA76.758 .S74 2023
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394320592
Format: Electronic Resources
Availability Online Library~1

Evolving software processes : trends and future directions

2026-04-02T15:55:59Z

Author Khan, Arif Ali, editor. Le, Dac-Nhuong, 1983- editor.
Preferred Shelf Number QA76.76 .D47
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119821779
Format: Electronic Resources
Availability Online Library~1

Software engineering for automotive systems : principles and applications

2026-04-02T15:55:59Z

Author Sivakumar, P. (Electrical engineer), editor. Kumar, B. Vinoth, editor. Sandhya Devi, R. S., editor.
Preferred Shelf Number TL272.53
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003269908 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Effective methods for software engineering

2026-04-02T15:55:59Z

Author Summers, Boyd L., author.
Preferred Shelf Number QA76.758 .S857 2020 EB
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003025665 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Systems engineering of software-enabled systems

2026-04-02T15:55:59Z

Author Fairley, R. E. (Richard E.), 1937- author.
Preferred Shelf Number QA76.758
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119535041
Format: Electronic Resources
Availability Online Library~1

Certifiable software applications. 3, Downward cycle

2026-04-02T15:55:59Z

Author Boulanger, Jean-Louis, author.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect https://www.sciencedirect.com/science/book/9781785481192
Format: Electronic Resources
Availability Online Library~1

The DevOps adoption playbook : a guide to adopting DevOps in a multi-speed IT enterprise

2026-04-02T15:55:59Z

Author Sharma, Sanjeev (Information technology executive), author.
Preferred Shelf Number QA76.758
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119310778
Format: Electronic Resources
Availability Online Library~1

Formal Aspects of Component Software 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers

2026-04-02T15:55:59Z

Author Kouchnarenko, Olga. editor. Khosravi, Ramtin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-57666-4
Format: Electronic Resources
Availability Online Library~1

Software Engineering: Challenges and Solutions Results of the XVIII KKIO 2016 Software Engineering Conference 2016 held at September 15-17 2016 in Wroclaw, Poland

2026-04-02T15:55:59Z

Author Madeyski, Lech. editor. Śmiałek, Michał. editor. Hnatkowska, Bogumiła. editor. Huzar, Zbigniev. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-43606-7
Format: Electronic Resources
Availability Online Library~1

Future Data and Security Engineering 4th International Conference, FDSE 2017, Ho Chi Minh City, Vietnam, November 29 - December 1, 2017, Proceedings

2026-04-02T15:55:59Z

Author Dang, Tran Khanh. editor. Wagner, Roland. editor. Küng, Josef. editor. Thoai, Nam. editor. Takizawa, Makoto. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-70004-5
Format: Electronic Resources
Availability Online Library~1

The Journey to Enterprise Agility Systems Thinking and Organizational Legacy

2026-04-02T15:55:59Z

Author Kulak, Daryl. author. Li, Hong. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-54087-0
Format: Electronic Resources
Availability Online Library~1

Present and Ulterior Software Engineering

2026-04-02T15:55:59Z

Author Mazzara, Manuel. editor. Meyer, Bertrand. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-67425-4
Format: Electronic Resources
Availability Online Library~1

Automotive Software Architectures An Introduction

2026-04-02T15:55:59Z

Author Staron, Miroslaw. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-58610-6
Format: Electronic Resources
Availability Online Library~1

Software Technologies 11th International Joint Conference, ICSOFT 2016, Lisbon, Portugal, July 24-26, 2016, Revised Selected Papers

2026-04-02T15:55:59Z

Author Cabello, Enrique. editor. Cardoso, Jorge. editor. Ludwig, André. editor. Maciaszek, Leszek A. editor. (orcid)0000-0001-6561-0545 van Sinderen, Marten. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-62569-0
Format: Electronic Resources
Availability Online Library~1

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

2026-04-02T15:55:59Z

Author Marcus, Aaron. editor. Wang, Wentao. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-58637-3
Format: Electronic Resources
Availability Online Library~1

Logic-Based Program Synthesis and Transformation 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers

2026-04-02T15:55:59Z

Author Hermenegildo, Manuel V. editor. (orcid)0000-0002-7583-323X Lopez-Garcia, Pedro. editor. (orcid)0000-0002-1092-2071 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-63139-4
Format: Electronic Resources
Availability Online Library~1

Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications

2026-04-02T15:55:59Z

Author O'Regan, Gerard. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-64021-1
Format: Electronic Resources
Availability Online Library~1

Open Source Systems: Towards Robust Practices 13th IFIP WG 2.13 International Conference, OSS 2017, Buenos Aires, Argentina, May 22-23, 2017, Proceedings

2026-04-02T15:55:59Z

Author Balaguer, Federico. editor. Di Cosmo, Roberto. editor. Garrido, Alejandra. editor. Kon, Fabio. editor. Robles, Gregorio. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-57735-7
Format: Electronic Resources
Availability Online Library~1

Unraveling Software Maintenance and Evolution Thinking Outside the Box

2026-04-02T15:55:59Z

Author Varga, Ervin. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-71303-8
Format: Electronic Resources
Availability Online Library~1

Mastering Software Variability with FeatureIDE

2026-04-02T15:55:59Z

Author Meinicke, Jens. author. Thüm, Thomas. author. Schröter, Reimar. author. Benduhn, Fabian. author. Leich, Thomas. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-61443-4
Format: Electronic Resources
Availability Online Library~1

Numerical Software Verification 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers

2026-04-02T15:55:59Z

Author Bogomolov, Sergiy. editor. Martel, Matthieu. editor. Prabhakar, Pavithra. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-54292-8
Format: Electronic Resources
Availability Online Library~1

Engineering Scalable, Elastic, and Cost-Efficient Cloud Computing Applications The CloudScale Method

2026-04-02T15:55:59Z

Author Becker, Steffen. editor. Brataas, Gunnar. editor. Lehrig, Sebastian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-54286-7
Format: Electronic Resources
Availability Online Library~1

Software Engineering and Formal Methods 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings

2026-04-02T15:55:59Z

Author Cimatti, Alessandro. editor. (orcid)0000-0002-1315-6990 Sirjani, Marjan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66197-1
Format: Electronic Resources
Availability Online Library~1

Software Engineering: Specification, Implementation, Verification

2026-04-02T15:55:59Z

Author Alagić, Suad. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-61518-9
Format: Electronic Resources
Availability Online Library~1

Guide to Scientific Computing in C++

2026-04-02T15:55:59Z

Author Pitt-Francis, Joe. author. Whiteley, Jonathan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-73132-2
Format: Electronic Resources
Availability Online Library~1

Bridging the Gap between Requirements Engineering and Software Architecture A Problem-Oriented and Quality-Driven Method

2026-04-02T15:55:59Z

Author Alebrahim, Azadeh. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-658-17694-5
Format: Electronic Resources
Availability Online Library~1

Product-Focused Software Process Improvement 18th International Conference, PROFES 2017, Innsbruck, Austria, November 29-December 1, 2017, Proceedings

2026-04-02T15:55:59Z

Author Felderer, Michael. editor. (orcid)0000-0003-3818-4442 Méndez Fernández, Daniel. editor. Turhan, Burak. editor. Kalinowski, Marcos. editor. (orcid)0000-0003-1445-3425 Sarro, Federica. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-69926-4
Format: Electronic Resources
Availability Online Library~1

Guide to Distributed Simulation with HLA

2026-04-02T15:55:59Z

Author Topçu, Okan. author. Oğuztüzün, Halit. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-61267-6
Format: Electronic Resources
Availability Online Library~1

Conceptual Modeling Perspectives

2026-04-02T15:55:59Z

Author Cabot, Jordi. editor. Gómez, Cristina. editor. Pastor, Oscar. editor. Sancho, Maria Ribera. editor. Teniente, Ernest. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-67271-7
Format: Electronic Resources
Availability Online Library~1

Formal Aspects of Component Software 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings

2026-04-02T15:55:59Z

Author Proença, José. editor. Lumpe, Markus. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-68034-7
Format: Electronic Resources
Availability Online Library~1

Software Project Management for Distributed Computing Life-Cycle Methods for Developing Scalable and Reliable Tools

2026-04-02T15:55:59Z

Author Mahmood, Zaigham. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-54325-3
Format: Electronic Resources
Availability Online Library~1

Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings

2026-04-02T15:55:59Z

Author Abate, Alessandro. editor. (orcid)0000-0002-5627-9093 Boldo, Sylvie. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-63501-9
Format: Electronic Resources
Availability Online Library~1

Grand Timely Topics in Software Engineering International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures

2026-04-02T15:55:59Z

Author Cunha, Jácome. editor. Fernandes, João P. editor. Lämmel, Ralf. editor. Saraiva, João. editor. Zaytsev, Vadim. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-60074-1
Format: Electronic Resources
Availability Online Library~1

Challenges and Opportunity with Big Data 19th Monterey Workshop 2016, Beijing, China, October 8 - 11, 2016, Revised Selected Papers

2026-04-02T15:55:59Z

Author Zhang, Lin. editor. Ren, Lei. editor. Kordon, Fabrice. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-61994-1
Format: Electronic Resources
Availability Online Library~1

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

2026-04-02T15:55:59Z

Author Marcus, Aaron. editor. Wang, Wentao. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-58640-3
Format: Electronic Resources
Availability Online Library~1

Agile Modeling with UML Code Generation, Testing, Refactoring

2026-04-02T15:55:59Z

Author Rumpe, Bernhard. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-58862-9
Format: Electronic Resources
Availability Online Library~1

Software Quality Assurance Consistency in the Face of Complexity and Change

2026-04-02T15:55:59Z

Author Walkinshaw, Neil. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-64822-4
Format: Electronic Resources
Availability Online Library~1

Agile Processes in Software Engineering and Extreme Programming 18th International Conference, XP 2017, Cologne, Germany, May 22-26, 2017, Proceedings

2026-04-02T15:55:59Z

Author Baumeister, Hubert. editor. Lichter, Horst. editor. Riebisch, Matthias. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-57633-6
Format: Electronic Resources
Availability Online Library~1

Software Quality. Complexity and Challenges of Software Engineering in Emerging Technologies 9th International Conference, SWQD 2017, Vienna, Austria, January 17-20, 2017, Proceedings

2026-04-02T15:55:59Z

Author Winkler, Dietmar. editor. Biffl, Stefan. editor. (orcid)0000-0002-3413-7780 Bergsmann, Johannes. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-49421-0
Format: Electronic Resources
Availability Online Library~1

Concise Guide to Software Engineering From Fundamentals to Application Methods

2026-04-02T15:55:59Z

Author O'Regan, Gerard. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-57750-0
Format: Electronic Resources
Availability Online Library~1

Fundamentals of Secure System Modelling

2026-04-02T15:55:59Z

Author Matulevičius, Raimundas. author. (orcid)0000-0002-1829-4794 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-61717-6
Format: Electronic Resources
Availability Online Library~1

Software Business 8th International Conference, ICSOB 2017, Essen, Germany, June 12-13, 2017, Proceedings

2026-04-02T15:55:59Z

Author Ojala, Arto. editor. (orcid)0000-0002-3276-6348 Holmström Olsson, Helena. editor. Werder, Karl. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-69191-6
Format: Electronic Resources
Availability Online Library~1

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

2026-04-02T15:55:59Z

Author Marcus, Aaron. editor. Wang, Wentao. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-58634-2
Format: Electronic Resources
Availability Online Library~1

Yazılım mühendisliği temelleri

2026-04-02T15:55:59Z

Author Sarıdoğan, M. Erhan.
Preferred Shelf Number QA76.758 S280 2016
Format: Books
Availability Beytepe Library~1

Managing Software Process Evolution Traditional, Agile and Beyond - How to Handle Process Change

2026-04-02T15:55:59Z

Author Kuhrmann, Marco. editor. Münch, Jürgen. editor. Richardson, Ita. editor. Rausch, Andreas. editor. Zhang, He. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-31545-4
Format: Electronic Resources
Availability Online Library~1

Hagenberg Business Process Modelling Method

2026-04-02T15:55:59Z

Author Kossak, Felix. author. Illibauer, Christa. author. Geist, Verena. author. Natschläger, Christine. author. Ziebermayr, Thomas. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-30496-0
Format: Electronic Resources
Availability Online Library~1

Agile Processes, in Software Engineering, and Extreme Programming 17th International Conference, XP 2016, Edinburgh, UK, May 24-27, 2016, Proceedings

2026-04-02T15:55:59Z

Author Sharp, Helen. editor. Hall, Tracy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-33515-5
Format: Electronic Resources
Availability Online Library~1

Evaluation of Novel Approaches to Software Engineering 10th International Conference, ENASE 2015, Barcelona, Spain, April 29-30, 2015, Revised Selected Papers

2026-04-02T15:55:59Z

Author Maciaszek, Leszek A. editor. (orcid)0000-0001-6561-0545 Filipe, Joaquim. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-30243-0
Format: Electronic Resources
Availability Online Library~1

Autonomic Road Transport Support Systems

2026-04-02T15:55:59Z

Author McCluskey, Thomas Leo. editor. Kotsialos, Apostolos. editor. Müller, Jörg P. editor. Klügl, Franziska. editor. Rana, Omer. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-25808-9
Format: Electronic Resources
Availability Online Library~1

Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers

2026-04-02T15:55:59Z

Author Gurfinkel, Arie. editor. Seshia, Sanjit A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-29613-5
Format: Electronic Resources
Availability Online Library~1

Verified Software. Theories, Tools, and Experiments 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers

2026-04-02T15:55:59Z

Author Blazy, Sandrine. editor. Chechik, Marsha. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-48869-1
Format: Electronic Resources
Availability Online Library~1

Software Engineering for Resilient Systems 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings

2026-04-02T15:55:59Z

Author Crnkovic, Ivica. editor. Troubitsyna, Elena. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-45892-2
Format: Electronic Resources
Availability Online Library~1

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II

2026-04-02T15:55:59Z

Author Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-47169-3
Format: Electronic Resources
Availability Online Library~1

Quality in Business Process Modeling

2026-04-02T15:55:59Z

Author Krogstie, John. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-42512-2
Format: Electronic Resources
Availability Online Library~1

Functional Safety for Road Vehicles New Challenges and Solutions for E-mobility and Automated Driving

2026-04-02T15:55:59Z

Author Ross, Hans-Leo. author. (orcid)0009-0009-0125-8824 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-33361-8
Format: Electronic Resources
Availability Online Library~1

Integrating User-Centred Design in Agile Development

2026-04-02T15:55:59Z

Author Cockton, Gilbert. editor. Lárusdóttir, Marta. editor. Gregory, Peggy. editor. (orcid)0000-0001-7891-6666 Cajander, Åsa. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-32165-3
Format: Electronic Resources
Availability Online Library~1

Software Engineering and Formal Methods 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings

2026-04-02T15:55:59Z

Author De Nicola, Rocco. editor. Kühn, Eva. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-41591-8
Format: Electronic Resources
Availability Online Library~1

Proceedings of 4th International Conference in Software Engineering for Defence Applications SEDA 2015

2026-04-02T15:55:59Z

Author Ciancarini, Paolo. editor. (orcid)0000-0002-7958-9924 Sillitti, Alberto. editor. Succi, Giancarlo. editor. Messina, Angelo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-27896-4
Format: Electronic Resources
Availability Online Library~1

Tamed Agility Pragmatic Contracting and Collaboration in Agile Software Projects

2026-04-02T15:55:59Z

Author Book, Matthias. author. Gruhn, Volker. author. Striemer, Rüdiger. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-41478-2
Format: Electronic Resources
Availability Online Library~1

Formal Aspects of Component Software 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers

2026-04-02T15:55:59Z

Author Braga, Christiano. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-28934-2
Format: Electronic Resources
Availability Online Library~1

Modeling with UML Language, Concepts, Methods

2026-04-02T15:55:59Z

Author Rumpe, Bernhard. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-33933-7
Format: Electronic Resources
Availability Online Library~1

Engineering Multi-Agent Systems 4th International Workshop, EMAS 2016, Singapore, Singapore, May 9-10, 2016, Revised, Selected, and Invited Papers

2026-04-02T15:55:59Z

Author Baldoni, Matteo. editor. (orcid)0000-0002-9294-0408 Müller, Jörg P. editor. Nunes, Ingrid. editor. Zalila-Wenkstern, Rym. editor. (orcid)0000-0002-2062-6794 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-50983-9
Format: Electronic Resources
Availability Online Library~1

Mobile and Wireless Technologies 2016

2026-04-02T15:55:59Z

Author Kim, Kuinam J. editor. Wattanapongsakorn, Naruemon. editor. Joukov, Nikolai. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-1409-3
Format: Electronic Resources
Availability Online Library~1

Internetware A New Software Paradigm for Internet Computing

2026-04-02T15:55:59Z

Author Mei, Hong. author. Lü, Jian. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-2546-4
Format: Electronic Resources
Availability Online Library~1

Fundamental Approaches to Software Engineering 19th International Conference, FASE 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

2026-04-02T15:55:59Z

Author Stevens, Perdita. editor. Wąsowski, Andrzej. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-49665-7
Format: Electronic Resources
Availability Online Library~1

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I

2026-04-02T15:55:59Z

Author Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-47166-2
Format: Electronic Resources
Availability Online Library~1

Collaboration Meets Interactive Spaces

2026-04-02T15:55:59Z

Author Anslow, Craig. editor. Campos, Pedro. editor. Jorge, Joaquim. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-45853-3
Format: Electronic Resources
Availability Online Library~1

Perspectives of System Informatics 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers

2026-04-02T15:55:59Z

Author Mazzara, Manuel. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-41579-6
Format: Electronic Resources
Availability Online Library~1

Databases and Information Systems 12th International Baltic Conference, DB&IS 2016, Riga, Latvia, July 4-6, 2016, Proceedings

2026-04-02T15:55:59Z

Author Arnicans, Guntis. editor. Arnicane, Vineta. editor. Borzovs, Juris. editor. Niedrite, Laila. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-40180-5
Format: Electronic Resources
Availability Online Library~1

Software Architecture in Action Designing and Executing Architectural Models with SysADL Grounded on the OMG SysML Standard

2026-04-02T15:55:59Z

Author Oquendo, Flavio. author. Leite, Jair. author. Batista, Thaís. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-44339-3
Format: Electronic Resources
Availability Online Library~1

Transactions on Modularity and Composition I

2026-04-02T15:55:59Z

Author Chiba, Shigeru. editor. Südholt, Mario. editor. Eugster, Patrick. editor. Ziarek, Lukasz. editor. Leavens, Gary T. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-46969-0
Format: Electronic Resources
Availability Online Library~1

Mobile and Wireless Technology 2015

2026-04-02T15:55:59Z

Author Kim, Kuinam J. editor. Wattanapongsakorn, Naruemon. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-47669-7
Format: Electronic Resources
Availability Online Library~1

The Privacy Engineer's Manifesto Getting from Policy to Code to QA to Value

2026-04-02T15:55:59Z

Author Dennedy, Michelle. author. Fox, Jonathan. author. Finneran, Tom. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4302-6356-2
Format: Electronic Resources
Availability Online Library~1

SAP ABAP Hands-On Test Projects with Business Scenarios

2026-04-02T15:55:59Z

Author Markandeya, Sushil. author. Roy, Kaushik. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4302-4804-0
Format: Electronic Resources
Availability Online Library~1

Modern X86 Assembly Language Programming 32-bit, 64-bit, SSE, and AVX

2026-04-02T15:55:59Z

Author Kusswurm, Daniel. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4842-0064-3
Format: Electronic Resources
Availability Online Library~1

Beginning RPG Maker VX Ace

2026-04-02T15:55:59Z

Author Perez, Darrin. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4842-0784-0
Format: Electronic Resources
Availability Online Library~1

Dart for Absolute Beginners

2026-04-02T15:55:59Z

Author Kopec, David. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4302-6482-8
Format: Electronic Resources
Availability Online Library~1

GUI Design for Android Apps

2026-04-02T15:55:59Z

Author Cohen, Ryan. author. Wang, Tao. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4842-0382-8
Format: Electronic Resources
Availability Online Library~1

Computer, network, software, and hardware engineering with applications

2026-04-02T15:55:59Z

Author Schneidewind, Norman.
Preferred Shelf Number ONLINE
Electronic Access IEEEXplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6168884
Format: Electronic Resources
Availability Online Library~1

Semantic web and model-driven engineering

2026-04-02T15:55:59Z

Author Parreiras, Fernando Silva. Wiley InterScience (Online service)
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=6218883
Format: Electronic Resources
Availability Online Library~1

Data structure and software engineering : challenges and improvements

2026-04-02T15:55:59Z

Author Antonakos, James L.
Preferred Shelf Number QA76.9 .D35 D38 2011
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Making sense of agile project management balancing control and agility

2026-04-02T15:55:59Z

Author Cobb, Charles G., 1945-
Preferred Shelf Number ONLINE
Electronic Access Wiley InterScience An electronic book accessible through the World Wide Web; click for information Books24x7 http://www.books24x7.com/marc.asp?bookid=40741 Wiley InterScience - Full Text Online http://onlinelibrary.wiley.com/book/10.1002/9781118085950 Cover image http://catalogimages.wiley.com/images/db/jimages/9780470943366.jpg http://site.ebrary.com/lib/alltitles/Doc?id=10447802
Format: Electronic Resources
Availability Online Library~1

Software engineering best practices lessons from successful projects in the top companies

2026-04-02T15:55:59Z

Author Jones, Capers.
Preferred Shelf Number ONLINE
Electronic Access Subscription required
Format: Electronic Resources
Availability Online Library~1

Architecting software intensive systems : a practitioner's guide

2026-04-02T15:55:59Z

Author Lattanze, Anthony J., author.
Preferred Shelf Number QA76.758 .L3285 2009
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Managing and leading software projects

2026-04-02T15:55:59Z

Author Fairley, R. E. (Richard E.), 1937- IEEE Computer Society.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore An electronic book accessible through the World Wide Web; click for information
Format: Electronic Resources
Availability Online Library~1

Practical support for lean six sigma software process definition using IEEE software engineering standards

2026-04-02T15:55:59Z

Author Land, Susan K. Smith, Douglas Burr, 1943- Walz, John W.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6129687
Format: Electronic Resources
Availability Online Library~1

Dependability benchmarking for computer systems

2026-04-02T15:55:59Z

Author Kanoun, Karama. Spainhower, Lisa.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6129686
Format: Electronic Resources
Availability Online Library~1

Software management

2026-04-02T15:55:59Z

Author Reifer, Donald J.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5989379
Format: Electronic Resources
Availability Online Library~1

Software measurement and estimation a practical approach

2026-04-02T15:55:59Z

Author Laird, Linda M., 1952- Brennan, M. Carol, 1954- IEEE Computer Society. John Wiley & Sons.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5988896
Format: Electronic Resources
Availability Online Library~1

Writing Scientific Software A Guide to Good Style

2026-04-02T15:55:59Z

Author Oliveira, Suely. Stewart, David E..
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

Computers, Software Engineering, and Digital Devices

2026-04-02T15:55:59Z

Author Dorf, Richard C., author. Taylor and Francis.
Preferred Shelf Number TK7885
Electronic Access Click here to view.
Format: Electronic Resources
Availability Online Library~1

Strategic software engineering : an interdisciplinary approach

2026-04-02T15:55:59Z

Author Deek, Fadi P. McHugh, James A., 1944- Eljabiri, Osama M.
Preferred Shelf Number QA76.758 .S765 2005
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

The laws of software process : a new model for the production and management of software

2026-04-02T15:55:59Z

Author Armour, Philip G., author.
Preferred Shelf Number QA76.758 .A75 2004
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Software design for engineers and scientists

2026-04-02T15:55:59Z

Author Robinson, John A. (John Allen), 1958-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780750660808
Format: Electronic Resources
Availability Online Library~1

Yazılım mühendisliği

2026-04-02T15:55:59Z

Author Sarıdoğan, M. Erhan
Preferred Shelf Number QA76.758 A75 2001
Format: Books
Availability Beytepe Library~1

Industrial Software Technology

2026-04-02T15:55:59Z

Author Mitchell, R., ed.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1049/PBCM010E
Format: Electronic Resources
Availability Online Library~1