Search Results for System analysis - Narrowed by: Software engineering.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dSystem$002banalysis$0026qf$003dSUBJECT$002509Subject$002509Software$002bengineering.$002509Software$002bengineering.$0026ps$003d300$0026isd$003dtrue?dt=list2026-03-19T19:38:09ZSystem Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 11th International Conference, SAM 2019, Munich, Germany, September 16–17, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4839052026-03-19T19:38:09Z2026-03-19T19:38:09ZAuthor Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736 Sancho, Maria-Ribera. editor. (orcid)0000-0002-5904-8709 Sherratt, Edel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-30690-8">https://doi.org/10.1007/978-3-030-30690-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering 10th International Conference, SAM 2018, Copenhagen, Denmark, October 15–16, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3999622026-03-19T19:38:09Z2026-03-19T19:38:09ZAuthor Khendek, Ferhat. editor. Gotzhein, Reinhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-01042-3">https://doi.org/10.1007/978-3-030-01042-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 Meetingsent://SD_ILS/0/SD_ILS:6155002026-03-19T19:38:09Z2026-03-19T19:38:09ZAuthor 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/>System Analysis and Modeling. Technology-Specific Aspects of Models 9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedingsent://SD_ILS/0/SD_ILS:6114332026-03-19T19:38:09Z2026-03-19T19:38:09ZAuthor Grabowski, Jens. editor. Herbold, Steffen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-46613-2">https://doi.org/10.1007/978-3-319-46613-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Analyzing Time Interval Data Introducing an Information System for Time Interval Data Analysisent://SD_ILS/0/SD_ILS:6106802026-03-19T19:38:09Z2026-03-19T19:38:09ZAuthor Meisen, Philipp. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-658-15728-9">https://doi.org/10.1007/978-3-658-15728-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>System Analysis and Modeling: Models and Reusability 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4857312026-03-19T19:38:09Z2026-03-19T19:38:09ZAuthor Amyot, Daniel. editor. Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736 Mussbacher, Gunter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11743-0">https://doi.org/10.1007/978-3-319-11743-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>System Analysis and Modeling: Theory and Practice 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012. Revised Selected Papersent://SD_ILS/0/SD_ILS:3342822026-03-19T19:38:09Z2026-03-19T19:38:09ZAuthor Haugen, Øystein. editor. Reed, Rick. editor. Gotzhein, Reinhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334282.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36757-1">http://dx.doi.org/10.1007/978-3-642-36757-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>System Analysis and Modeling: About Models 6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papersent://SD_ILS/0/SD_ILS:1947712026-03-19T19:38:09Z2026-03-19T19:38:09ZAuthor Kraemer, Frank Alexander. editor. Herrmann, Peter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21652-7">http://dx.doi.org/10.1007/978-3-642-21652-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>System Analysis and Modeling: Language Profiles 5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papersent://SD_ILS/0/SD_ILS:1854592026-03-19T19:38:09Z2026-03-19T19:38:09ZAuthor Gotzhein, Reinhard. editor. Reed, Rick. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11951148">http://dx.doi.org/10.1007/11951148</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Real Time and Such Essays Dedicated to Wang Yi to Celebrate His Scientific Careerent://SD_ILS/0/SD_ILS:6056682026-03-19T19:38:09Z2026-03-19T19:38:09ZAuthor 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/>Rebeca for Actor Analysis in Action Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthdayent://SD_ILS/0/SD_ILS:6077002026-03-19T19:38:09Z2026-03-19T19:38:09ZAuthor 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/>From Data to Models and Back 11th International Symposium, DataMod 2023, Eindhoven, The Netherlands, November 6-7, 2023, Revised Selected Papersent://SD_ILS/0/SD_ILS:6080452026-03-19T19:38:09Z2026-03-19T19:38:09ZAuthor Broccia, Giovanna. editor. (orcid)0000-0002-4737-5761 Cerone, Antonio. editor. (orcid)0000-0003-2691-5279 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-87217-4">https://doi.org/10.1007/978-3-031-87217-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Analysis and Design of Next-Generation Software Architectures Generative AI, Cybersecurity, and Cloud Computingent://SD_ILS/0/SD_ILS:6084842026-03-19T19:38:09Z2026-03-19T19:38:09ZAuthor 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 Design for Resilient Computer Systemsent://SD_ILS/0/SD_ILS:6043072026-03-19T19:38:09Z2026-03-19T19:38:09ZAuthor 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/>ITNG 2023 20th International Conference on Information Technology-New Generationsent://SD_ILS/0/SD_ILS:5269662026-03-19T19:38:09Z2026-03-19T19:38:09ZAuthor Latifi, Shahram. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-28332-1">https://doi.org/10.1007/978-3-031-28332-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>SOFSEM 2017: Theory and Practice of Computer Science 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6130732026-03-19T19:38:09Z2026-03-19T19:38:09ZAuthor Steffen, Bernhard. editor. Baier, Christel. editor. van den Brand, Mark. editor. Eder, Johann. editor. Hinchey, Mike. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-51963-0">https://doi.org/10.1007/978-3-319-51963-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6122922026-03-19T19:38:09Z2026-03-19T19:38:09ZAuthor Yang, Hongseok. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-54434-1">https://doi.org/10.1007/978-3-662-54434-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Runtime Verification 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6161262026-03-19T19:38:09Z2026-03-19T19:38:09ZAuthor Lahiri, Shuvendu. editor. Reger, Giles. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-67531-2">https://doi.org/10.1007/978-3-319-67531-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fundamental Approaches to Software Engineering 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6159932026-03-19T19:38:09Z2026-03-19T19:38:09ZAuthor Huisman, Marieke. editor. (orcid)0000-0003-4467-072X Rubin, Julia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-54494-5">https://doi.org/10.1007/978-3-662-54494-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maudeent://SD_ILS/0/SD_ILS:6174612026-03-19T19:38:09Z2026-03-19T19:38:09ZAuthor Ölveczky, Peter Csaba. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4471-6687-0">https://doi.org/10.1007/978-1-4471-6687-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fundamentals of Secure System Modellingent://SD_ILS/0/SD_ILS:6178272026-03-19T19:38:09Z2026-03-19T19:38:09ZAuthor Matulevičius, Raimundas. author. (orcid)0000-0002-1829-4794 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-61717-6">https://doi.org/10.1007/978-3-319-61717-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:6178562026-03-19T19:38:09Z2026-03-19T19:38:09ZAuthor Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926 Langerak, Rom. editor. Rensink, Arend. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-68270-9">https://doi.org/10.1007/978-3-319-68270-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>System Level Design from HW/SW to Memory for Embedded Systems 5th IFIP TC 10 International Embedded Systems Symposium, IESS 2015, Foz do Iguaçu, Brazil, November 3-6, 2015, Proceedingsent://SD_ILS/0/SD_ILS:6182612026-03-19T19:38:09Z2026-03-19T19:38:09ZAuthor Götz, Marcelo. editor. Schirner, Gunar. editor. Wehrmeister, Marco Aurélio. editor. Al Faruque, Mohammad Abdullah. editor. Rettberg, Achim. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-90023-0">https://doi.org/10.1007/978-3-319-90023-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Interactive Modeling and Simulation in Business System Designent://SD_ILS/0/SD_ILS:6111682026-03-19T19:38:09Z2026-03-19T19:38:09ZAuthor Roubtsova, Ella. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-15102-1">https://doi.org/10.1007/978-3-319-15102-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Intelligence and Quantitative Software Engineeringent://SD_ILS/0/SD_ILS:6112662026-03-19T19:38:09Z2026-03-19T19:38:09ZAuthor 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/>Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6114582026-03-19T19:38:09Z2026-03-19T19:38:09ZAuthor Lecomte, Thierry. editor. Pinger, Ralf. editor. Romanovsky, Alexander. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-33951-1">https://doi.org/10.1007/978-3-319-33951-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Behavioural Models From Modelling Finite Automata to Analysing Business Processesent://SD_ILS/0/SD_ILS:6145792026-03-19T19:38:09Z2026-03-19T19:38:09ZAuthor Kunze, Matthias. author. Weske, Mathias. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-44960-9">https://doi.org/10.1007/978-3-319-44960-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Real-World Decision Support Systems Case Studiesent://SD_ILS/0/SD_ILS:6146272026-03-19T19:38:09Z2026-03-19T19:38:09ZAuthor Papathanasiou, Jason. editor. Ploskas, Nikolaos. editor. Linden, Isabelle. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-43916-7">https://doi.org/10.1007/978-3-319-43916-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Frontier Computing Theory, Technologies and Applicationsent://SD_ILS/0/SD_ILS:6149312026-03-19T19:38:09Z2026-03-19T19:38:09ZAuthor Hung, Jason C. editor. Yen, Neil Y. editor. Li, Kuan-Ching. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-0539-8">https://doi.org/10.1007/978-981-10-0539-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Critical Systems: Formal Methods and Automated Verification Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6165272026-03-19T19:38:09Z2026-03-19T19:38:09ZAuthor ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 Gnesi, Stefania. editor. (orcid)0000-0002-0139-0421 Knapp, Alexander. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-45943-1">https://doi.org/10.1007/978-3-319-45943-1</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 Drivingent://SD_ILS/0/SD_ILS:6157932026-03-19T19:38:09Z2026-03-19T19:38:09ZAuthor 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/>Runtime Verification 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6168862026-03-19T19:38:09Z2026-03-19T19:38:09ZAuthor Falcone, Yliès. editor. Sánchez, César. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-46982-9">https://doi.org/10.1007/978-3-319-46982-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>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 Papersent://SD_ILS/0/SD_ILS:6169192026-03-19T19:38:09Z2026-03-19T19:38:09ZAuthor Mazzara, Manuel. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-41579-6">https://doi.org/10.1007/978-3-319-41579-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mobile and Wireless Technology 2015ent://SD_ILS/0/SD_ILS:5305482026-03-19T19:38:09Z2026-03-19T19:38:09ZAuthor 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/>