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