Search Results for Software. - Narrowed by: SpringerLink (Online service) - English - Software engineering.
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$0026qf$003dLANGUAGE$002509Language$002509ENG$002509English$0026qf$003dSUBJECT$002509Subject$002509Software$002bengineering.$002509Software$002bengineering.$0026ic$003dtrue$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?dt=list
2024-07-16T06:28:35Z
Software Architecture
ent://SD_ILS/0/SD_ILS:187130
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
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 Evolution
ent://SD_ILS/0/SD_ILS:187615
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
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 Process Modeling
ent://SD_ILS/0/SD_ILS:165037
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
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-07-16T06:28:35Z
2024-07-16T06:28:35Z
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-07-16T06:28:35Z
2024-07-16T06:28:35Z
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-07-16T06:28:35Z
2024-07-16T06:28:35Z
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-07-16T06:28:35Z
2024-07-16T06:28:35Z
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-07-16T06:28:35Z
2024-07-16T06:28:35Z
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-07-16T06:28:35Z
2024-07-16T06:28:35Z
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-07-16T06:28:35Z
2024-07-16T06:28:35Z
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-07-16T06:28:35Z
2024-07-16T06:28:35Z
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-07-16T06:28:35Z
2024-07-16T06:28:35Z
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-07-16T06:28:35Z
2024-07-16T06:28:35Z
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-07-16T06:28:35Z
2024-07-16T06:28:35Z
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-07-16T06:28:35Z
2024-07-16T06:28:35Z
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-07-16T06:28:35Z
2024-07-16T06:28:35Z
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-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
Software Product Quality Control
ent://SD_ILS/0/SD_ILS:334625
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
Experimentation in Software Engineering
ent://SD_ILS/0/SD_ILS:196596
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
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 and Network Engineering
ent://SD_ILS/0/SD_ILS:196505
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
Value-Based Software Engineering
ent://SD_ILS/0/SD_ILS:181971
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
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-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
Introduction to Software Quality
ent://SD_ILS/0/SD_ILS:487425
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
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-07-16T06:28:35Z
2024-07-16T06:28:35Z
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-07-16T06:28:35Z
2024-07-16T06:28:35Z
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-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
Rationale-Based Software Engineering
ent://SD_ILS/0/SD_ILS:187921
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
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-07-16T06:28:35Z
2024-07-16T06:28:35Z
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-07-16T06:28:35Z
2024-07-16T06:28:35Z
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 Engineering Proceedings of CSI 2015
ent://SD_ILS/0/SD_ILS:487359
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
Introduction to Software Design with Java
ent://SD_ILS/0/SD_ILS:486330
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
Concise Guide to Software Testing
ent://SD_ILS/0/SD_ILS:485710
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
Software Languages Syntax, Semantics, and Metaprogramming
ent://SD_ILS/0/SD_ILS:401172
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
Software Fault Prediction A Road Map
ent://SD_ILS/0/SD_ILS:401387
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
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-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
Software Engineering Research, Management and Applications
ent://SD_ILS/0/SD_ILS:400088
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
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-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
Recommendation Systems in Software Engineering
ent://SD_ILS/0/SD_ILS:488256
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
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-07-16T06:28:35Z
2024-07-16T06:28:35Z
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-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
The Future of Software Engineering
ent://SD_ILS/0/SD_ILS:192889
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
Model-Based Software Performance Analysis
ent://SD_ILS/0/SD_ILS:192394
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
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 Development and Professional Practice
ent://SD_ILS/0/SD_ILS:171620
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
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-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
Introduction to Software Process Improvement
ent://SD_ILS/0/SD_ILS:168444
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
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-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
Open Source Software for Digital Forensics
ent://SD_ILS/0/SD_ILS:172432
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
Hardware-dependent Software Principles and Practice
ent://SD_ILS/0/SD_ILS:170535
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
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 Engineering for Self-Adaptive Systems
ent://SD_ILS/0/SD_ILS:190235
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
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-07-16T06:28:35Z
2024-07-16T06:28:35Z
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-07-16T06:28:35Z
2024-07-16T06:28:35Z
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-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
Software Engineering Research, Management and Applications
ent://SD_ILS/0/SD_ILS:185989
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
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-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
A Concise Introduction to Software Engineering
ent://SD_ILS/0/SD_ILS:175804
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
Networked RFID Systems, Software and Services
ent://SD_ILS/0/SD_ILS:175735
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
Software Measurement Establish — Extract — Evaluate — Execute
ent://SD_ILS/0/SD_ILS:186335
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
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 Engineering Techniques: Design for Quality
ent://SD_ILS/0/SD_ILS:166267
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
Interoperability of Enterprise Software and Applications
ent://SD_ILS/0/SD_ILS:175277
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
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-07-16T06:28:35Z
2024-07-16T06:28:35Z
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-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
Rationale Management in Software Engineering
ent://SD_ILS/0/SD_ILS:182501
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
Practical Software Factories in .NET
ent://SD_ILS/0/SD_ILS:170886
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
Software Engineering 1 Abstraction and Modelling
ent://SD_ILS/0/SD_ILS:182582
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
Software Configuration Management Using Vesta
ent://SD_ILS/0/SD_ILS:165766
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
Artificial Life Models in Software
ent://SD_ILS/0/SD_ILS:175318
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
The Best Software Writing I
ent://SD_ILS/0/SD_ILS:170743
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
Component-Based Software Testing with UML
ent://SD_ILS/0/SD_ILS:180937
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
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-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
An Integrated Approach to Software Engineering
ent://SD_ILS/0/SD_ILS:165473
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
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 XI
ent://SD_ILS/0/SD_ILS:489082
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
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-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
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-07-16T06:28:35Z
2024-07-16T06:28:35Z
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-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
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-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
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-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
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-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
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-07-16T06:28:35Z
2024-07-16T06:28:35Z
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-07-16T06:28:35Z
2024-07-16T06:28:35Z
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-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
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-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
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-07-16T06:28:35Z
2024-07-16T06:28:35Z
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 Technology: Methods and Tools 51st International Conference, TOOLS 2019, Innopolis, Russia, October 15–17, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483626
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
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-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
Software Architecture 13th European Conference, ECSA 2019, Paris, France, September 9–13, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:485728
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
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-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
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-07-16T06:28:35Z
2024-07-16T06:28:35Z
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-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
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-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
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-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
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-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
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-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
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-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
Search-Based Software Engineering 10th International Symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:398985
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
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-07-16T06:28:35Z
2024-07-16T06:28:35Z
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-07-16T06:28:35Z
2024-07-16T06:28:35Z
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-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
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-07-16T06:28:35Z
2024-07-16T06:28:35Z
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-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
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-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
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-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
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-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
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-07-16T06:28:35Z
2024-07-16T06:28:35Z
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-07-16T06:28:35Z
2024-07-16T06:28:35Z
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-07-16T06:28:35Z
2024-07-16T06:28:35Z
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-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
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-07-16T06:28:35Z
2024-07-16T06:28:35Z
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-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
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-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
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-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
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-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
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-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
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-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
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-07-16T06:28:35Z
2024-07-16T06:28:35Z
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 Language Engineering 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:486822
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
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-07-16T06:28:35Z
2024-07-16T06:28:35Z
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 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-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
Software Project Management in a Changing World
ent://SD_ILS/0/SD_ILS:487243
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
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-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
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-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
The Software Industry Economic Principles, Strategies, Perspectives
ent://SD_ILS/0/SD_ILS:333443
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
Model-Driven Dependability Assessment of Software Systems
ent://SD_ILS/0/SD_ILS:334812
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
Transactions on Aspect-Oriented Software Development X
ent://SD_ILS/0/SD_ILS:334333
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
Games, Actions and Social Software Multidisciplinary Aspects
ent://SD_ILS/0/SD_ILS:196670
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
Software Engineering Research,Management and Applications 2011
ent://SD_ILS/0/SD_ILS:195270
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
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-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
Transactions on Aspect-Oriented Software Development IX
ent://SD_ILS/0/SD_ILS:197616
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
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 Engineering Research, Management and Applications 2012
ent://SD_ILS/0/SD_ILS:196893
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
Clustering-Based Support for Software Architecture Restructuring
ent://SD_ILS/0/SD_ILS:199182
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
Transactions on Aspect-Oriented Software Development VIII
ent://SD_ILS/0/SD_ILS:194895
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
Innovations in Computing Sciences and Software Engineering
ent://SD_ILS/0/SD_ILS:205401
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
Software Engineering Research, Management and Applications 2010
ent://SD_ILS/0/SD_ILS:192281
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
Composing Software Components A Software-testing Perspective
ent://SD_ILS/0/SD_ILS:172786
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
A Practical Introduction to Hardware/Software Codesign
ent://SD_ILS/0/SD_ILS:172481
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
Transactions on Aspect-Oriented Software Development V
ent://SD_ILS/0/SD_ILS:190203
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
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 Architecture Knowledge Management Theory and Practice
ent://SD_ILS/0/SD_ILS:190303
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
Software Engineering Research, Management and Applications 2009
ent://SD_ILS/0/SD_ILS:191272
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
An Approach to Modelling Software Evolution Processes
ent://SD_ILS/0/SD_ILS:188443
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
Experience and Knowledge Management in Software Engineering
ent://SD_ILS/0/SD_ILS:189551
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
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 III
ent://SD_ILS/0/SD_ILS:187349
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
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 IV
ent://SD_ILS/0/SD_ILS:187770
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
Transactions on Aspect-Oriented Software Development II
ent://SD_ILS/0/SD_ILS:185149
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
Transactions on Aspect-Oriented Software Development I
ent://SD_ILS/0/SD_ILS:183575
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
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-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
Software Agent-Based Applications, Platforms and Development Kits
ent://SD_ILS/0/SD_ILS:197862
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
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-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
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-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
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-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
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-07-16T06:28:35Z
2024-07-16T06:28:35Z
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 Challenges to Exascale Computing Second Workshop, SCEC 2018, Delhi, India, December 13-14, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:482854
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
Software Business 10th International Conference, ICSOB 2019, Jyväskylä, Finland, November 18–20, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:485079
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
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-07-16T06:28:35Z
2024-07-16T06:28:35Z
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 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-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
Engineering Adaptive Software Systems Communications of NII Shonan Meetings
ent://SD_ILS/0/SD_ILS:483344
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
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-07-16T06:28:35Z
2024-07-16T06:28:35Z
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-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
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-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
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-07-16T06:28:35Z
2024-07-16T06:28:35Z
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-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
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-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
Software Technologies 13th International Conference, ICSOFT 2018, Porto, Portugal, July 26-28, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:483108
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
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-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
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-07-16T06:28:35Z
2024-07-16T06:28:35Z
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-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
Fault Prediction Modeling for the Prediction of Number of Software Faults
ent://SD_ILS/0/SD_ILS:485780
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
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-07-16T06:28:35Z
2024-07-16T06:28:35Z
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-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
Computing and Software Science State of the Art and Perspectives
ent://SD_ILS/0/SD_ILS:486069
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
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-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
Automotive Systems and Software Engineering State of the Art and Future Trends
ent://SD_ILS/0/SD_ILS:486378
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486937
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
Software Fault Detection and Correction: Modeling and Applications
ent://SD_ILS/0/SD_ILS:399124
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
Information and Software Technologies 24th International Conference, ICIST 2018, Vilnius, Lithuania, October 4–6, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399266
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
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-319-99972-2">https://doi.org/10.1007/978-3-319-99972-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Modelling for Archaeology and Anthropology Software Engineering Principles for Cultural Heritage
ent://SD_ILS/0/SD_ILS:399464
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Gonzalez-Perez, Cesar. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-72652-6">https://doi.org/10.1007/978-3-319-72652-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Systems, Software and Services Process Improvement 25th European Conference, EuroSPI 2018, Bilbao, Spain, September 5-7, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399494
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Larrucea, Xabier. editor. Santamaria, Izaskun. 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-319-97925-0">https://doi.org/10.1007/978-3-319-97925-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agile Processes in Software Engineering and Extreme Programming 19th International Conference, XP 2018, Porto, Portugal, May 21–25, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400817
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Garbajosa, Juan. editor. (orcid)0000-0003-0161-3485 Wang, Xiaofeng. editor. (orcid)0000-0001-8424-419X Aguiar, Ademar. editor. (orcid)0000-0002-4046-4729 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91602-6">https://doi.org/10.1007/978-3-319-91602-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Quality: Methods and Tools for Better Software and Systems 10th International Conference, SWQD 2018, Vienna, Austria, January 16–19, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:401211
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Winkler, Dietmar. editor. (orcid)0000-0002-4743-3124 Biffl, Stefan. editor. Bergsmann, Johannes. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-71440-0">https://doi.org/10.1007/978-3-319-71440-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Managing Software Crisis: A Smart Way to Enterprise Agility
ent://SD_ILS/0/SD_ILS:401253
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Zykov, Sergey V. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-77917-1">https://doi.org/10.1007/978-3-319-77917-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model Checking Software 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:401564
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Gallardo, María del Mar. editor. Merino, Pedro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-94111-0">https://doi.org/10.1007/978-3-319-94111-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Business Modeling and Software Design 7th International Symposium, BMSD 2017, Barcelona, Spain, July 3–5, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:401983
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Shishkov, Boris. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-78428-1">https://doi.org/10.1007/978-3-319-78428-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Evaluation of Novel Approaches to Software Engineering 12th International Conference, ENASE 2017, Porto, Portugal, April 28–29, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:401995
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Damiani, Ernesto. editor. Spanoudakis, George. editor. Maciaszek, Leszek. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-94135-6">https://doi.org/10.1007/978-3-319-94135-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Towards a Synergistic Combination of Research and Practice in Software Engineering
ent://SD_ILS/0/SD_ILS:402061
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Kosiuczenko, Piotr. editor. Madeyski, Lech. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-65208-5">https://doi.org/10.1007/978-3-319-65208-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Digging into Software Knowledge Generation in Cultural Heritage Modeling Assistance Strategies for Large Archaeological Data Sets
ent://SD_ILS/0/SD_ILS:402169
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Martin-Rodilla, Patricia. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-69188-6">https://doi.org/10.1007/978-3-319-69188-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Technologies 12th International Joint Conference, ICSOFT 2017, Madrid, Spain, July 24–26, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:402213
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Cabello, Enrique. editor. Cardoso, Jorge. editor. Maciaszek, Leszek A. editor. van Sinderen, Marten. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-93641-3">https://doi.org/10.1007/978-3-319-93641-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Business Modeling and Software Design 8th International Symposium, BMSD 2018, Vienna, Austria, July 2-4, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:402217
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Shishkov, Boris. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-94214-8">https://doi.org/10.1007/978-3-319-94214-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering and Formal Methods 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399218
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Johnsen, Einar Broch. editor. Schaefer, Ina. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-92970-5">https://doi.org/10.1007/978-3-319-92970-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software-Defined Cloud Centers Operational and Management Technologies and Tools
ent://SD_ILS/0/SD_ILS:399283
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Raj, Pethuru. author. Raman, Anupama. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-78637-7">https://doi.org/10.1007/978-3-319-78637-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Processes and Life Cycle Models An Introduction to Modelling, Using and Managing Agile, Plan-Driven and Hybrid Processes
ent://SD_ILS/0/SD_ILS:399513
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Kneuper, Ralf. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-98845-0">https://doi.org/10.1007/978-3-319-98845-0</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-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
Model-Driven Engineering and Software Development 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:400495
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Pires, Luís Ferreira. editor. Hammoudi, Slimane. editor. Selic, Bran. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-94764-8">https://doi.org/10.1007/978-3-319-94764-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Failure Investigation A Near-Miss Analysis Approach
ent://SD_ILS/0/SD_ILS:402680
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Eloff, Jan. author. Bihina Bella, Madeleine. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-61334-5">https://doi.org/10.1007/978-3-319-61334-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Trends and Applications in Software Engineering Proceedings of the 6th International Conference on Software Process Improvement (CIMPS 2017)
ent://SD_ILS/0/SD_ILS:402692
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Mejia, Jezreel. editor. Muñoz, Mirna. editor. Rocha, Álvaro. editor. Quiñonez, Yadira. editor. Calvo-Manzano, Jose. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-69341-5">https://doi.org/10.1007/978-3-319-69341-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Development Measurement Programs Development, Management and Evolution
ent://SD_ILS/0/SD_ILS:402744
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Staron, Miroslaw. author. Meding, Wilhelm. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91836-5">https://doi.org/10.1007/978-3-319-91836-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Informatics in Schools. Fundamentals of Computer Science and Software Engineering 11th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2018, St. Petersburg, Russia, October 10-12, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399045
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Pozdniakov, Sergei N. editor. (orcid)0000-0002-1899-9145 Dagienė, Valentina. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-02750-6">https://doi.org/10.1007/978-3-030-02750-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Open Source Systems: Enterprise Software and Solutions 14th IFIP WG 2.13 International Conference, OSS 2018, Athens, Greece, June 8-10, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399571
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Stamelos, Ioannis. editor. Gonzalez-Barahoña, Jesus M. editor. (orcid)0000-0001-9682-460X Varlamis, Iraklis. editor. (orcid)0000-0002-0876-8167 Anagnostopoulos, Dimosthenis. editor. (orcid)0000-0003-0747-4252 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-92375-8">https://doi.org/10.1007/978-3-319-92375-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Principled Software Development Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday
ent://SD_ILS/0/SD_ILS:399756
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Müller, Peter. editor. Schaefer, Ina. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-98047-8">https://doi.org/10.1007/978-3-319-98047-8</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-07-16T06:28:35Z
2024-07-16T06:28:35Z
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/>
Fundamental Approaches to Software Engineering 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400129
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Russo, Alessandra. editor. (orcid)0000-0002-3318-8711 Schürr, Andy. editor. (orcid)0000-0001-8100-1109 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-89363-1">https://doi.org/10.1007/978-3-319-89363-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Process Improvement and Capability Determination 18th International Conference, SPICE 2018, Thessaloniki, Greece, October 9–10, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400465
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Stamelos, Ioannis. editor. O'Connor, Rory V. editor. Rout, Terry. editor. Dorling, Alec. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-00623-5">https://doi.org/10.1007/978-3-030-00623-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:400605
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-89960-2">https://doi.org/10.1007/978-3-319-89960-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings
ent://SD_ILS/0/SD_ILS:400607
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Baier, Christel. editor. (orcid)0000-0002-5321-9343 Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-89366-2">https://doi.org/10.1007/978-3-319-89366-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:400641
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-89963-3">https://doi.org/10.1007/978-3-319-89963-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Designing Usable and Secure Software with IRIS and CAIRIS
ent://SD_ILS/0/SD_ILS:401826
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Faily, Shamal. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-75493-2">https://doi.org/10.1007/978-3-319-75493-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Human Factors, Software, and Systems Engineering Proceedings of the AHFE 2017 International Conference on Human Factors, Software, and Systems Engineering, July 17-21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA
ent://SD_ILS/0/SD_ILS:402341
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Ahram, Tareq. editor. Karwowski, Waldemar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-60011-6">https://doi.org/10.1007/978-3-319-60011-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Design Science Methodology for Information Systems and Software Engineering
ent://SD_ILS/0/SD_ILS:487890
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Wieringa, Roel J. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-43839-8">https://doi.org/10.1007/978-3-662-43839-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agile Processes in Software Engineering and Extreme Programming 15th International Conference, XP 2014, Rome, Italy, May 26-30, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:488454
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Cantone, Giovanni. editor. Marchesi, Michele. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-06862-6">https://doi.org/10.1007/978-3-319-06862-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Open Source Software: Mobile Open Source Technologies 10th IFIP WG 2.13 International Conference on Open Source Systems, OSS 2014, San José, Costa Rica, May 6-9, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:488881
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Corral, Luis. editor. Sillitti, Alberto. editor. Succi, Giancarlo. editor. Vlasenko, Jelena. editor. Wasserman, Anthony I. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-55128-4">https://doi.org/10.1007/978-3-642-55128-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fundamental Approaches to Software Engineering 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:489013
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Gnesi, Stefania. editor. (orcid)0000-0002-0139-0421 Rensink, Arend. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54804-8">https://doi.org/10.1007/978-3-642-54804-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Embedded and Real Time System Development: A Software Engineering Perspective Concepts, Methods and Principles
ent://SD_ILS/0/SD_ILS:489296
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Khan, Mohammad Ayoub. editor. Saeed, Saqib. editor. Darwish, Ashraf. editor. Abraham, Ajith. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-40888-5">https://doi.org/10.1007/978-3-642-40888-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Future Business Software Current Trends in Business Software Development
ent://SD_ILS/0/SD_ILS:489323
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Brunetti, Gino. editor. Feld, Thomas. editor. Heuser, Lutz. editor. Schnitter, Joachim. editor. Webel, Christian. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-04144-5">https://doi.org/10.1007/978-3-319-04144-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Process Improvement and Capability Determination 14th International Conference, SPICE 2014, Vilnius, Lithuania, November 4-6, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:485841
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Mitasiunas, Antanas. editor. Rout, Terry. editor. O’Connor, Rory V. editor. Dorling, Alec. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-13036-1">https://doi.org/10.1007/978-3-319-13036-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information and Software Technologies 20th International Conference, ICIST 2014, Druskininkai, Lithuania, October 9-10, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:487091
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Dregvaite, Giedre. editor. Damasevicius, Robertas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11958-8">https://doi.org/10.1007/978-3-319-11958-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Systems, Software and Services Process Improvement 21st European Conference, EuroSPI 2014, Luxembourg, June 25-27, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:482711
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Barafort, Béatrix. editor. O'Connor, Rory V. editor. Poth, Alexander. editor. (orcid)0000-0002-2868-5633 Messnarz, Richard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-43896-1">https://doi.org/10.1007/978-3-662-43896-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:483100
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Abraham, Erika. editor. Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54862-8">https://doi.org/10.1007/978-3-642-54862-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering Education for a Global E-Service Economy State of the Art, Trends and Developments
ent://SD_ILS/0/SD_ILS:485441
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Motta, Gianmario. editor. Wu, Bing. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-04217-6">https://doi.org/10.1007/978-3-319-04217-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Engineering Secure Software and Systems 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:485473
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Jürjens, Jan. editor. Piessens, Frank. editor. Bielova, Nataliia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-04897-0">https://doi.org/10.1007/978-3-319-04897-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Knowledge-Based Software Engineering 11th Joint Conference, JCKBSE 2014, Volgograd, Russia, September 17-20, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:485742
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Kravets, Alla. editor. (orcid)0000-0003-1675-8652 Shcherbakov, Maxim. editor. (orcid)0000-0001-7173-4499 Kultsova, Marina. editor. (orcid)0000-0002-2584-431X Iijima, Tadashi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11854-3">https://doi.org/10.1007/978-3-319-11854-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Project Effort Estimation Foundations and Best Practice Guidelines for Success
ent://SD_ILS/0/SD_ILS:488059
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Trendowicz, Adam. author. Jeffery, Ross. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-03629-8">https://doi.org/10.1007/978-3-319-03629-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Software -- ICMS 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:489079
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Hong, Hoon. editor. Yap, Chee. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-44199-2">https://doi.org/10.1007/978-3-662-44199-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Quality. Model-Based Approaches for Advanced Software and Systems Engineering 6th International Conference, SWQD 2014, Vienna, Austria, January 14-16, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:489167
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
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-319-03602-1">https://doi.org/10.1007/978-3-319-03602-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Specification, Algebra, and Software Essays Dedicated to Kokichi Futatsugi
ent://SD_ILS/0/SD_ILS:487212
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Iida, Shusaku. editor. Meseguer, José. editor. Ogata, Kazuhiro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54624-2">https://doi.org/10.1007/978-3-642-54624-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agent-Oriented Software Engineering Reflections on Architectures, Methodologies, Languages, and Frameworks
ent://SD_ILS/0/SD_ILS:487929
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Shehory, Onn. editor. Sturm, Arnon. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54432-3">https://doi.org/10.1007/978-3-642-54432-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model-Driven Software Migration: A Methodology Reengineering, Recovery and Modernization of Legacy Systems
ent://SD_ILS/0/SD_ILS:488331
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Wagner, Christian. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-658-05270-6">https://doi.org/10.1007/978-3-658-05270-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Practitioner's Knowledge Representation A Pathway to Improve Software Effort Estimation
ent://SD_ILS/0/SD_ILS:488361
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Mendes, Emilia. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54157-5">https://doi.org/10.1007/978-3-642-54157-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Technologies 8th International Joint Conference, ICSOFT 2013, Reykjavik, Iceland, July 29-31, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:488425
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Cordeiro, José. editor. van Sinderen, Marten. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-44920-2">https://doi.org/10.1007/978-3-662-44920-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Compiler Construction 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:488914
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Cohen, Albert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54807-9">https://doi.org/10.1007/978-3-642-54807-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:489434
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Shao, Zhong. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54833-8">https://doi.org/10.1007/978-3-642-54833-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Systems and Software Quality The next step for industrialisation
ent://SD_ILS/0/SD_ILS:489479
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Wieczorek, Martin. author. Vos, Diederik. author. Bons, Heinz. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-39971-8">https://doi.org/10.1007/978-3-642-39971-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Using Event-B for Critical Device Software Systems
ent://SD_ILS/0/SD_ILS:331181
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Singh, Neeraj Kumar. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331181.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-5260-6">http://dx.doi.org/10.1007/978-1-4471-5260-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Compiler Construction 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334353
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Jhala, Ranjit. editor. Bosschere, Koen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334353.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37051-9">http://dx.doi.org/10.1007/978-3-642-37051-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fundamental Approaches to Software Engineering 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334354
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Cortellessa, Vittorio. editor. Varró, Dániel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334354.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37057-1">http://dx.doi.org/10.1007/978-3-642-37057-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Lean Enterprise Software and Systems 4th International Conference, LESS 2013, Galway, Ireland, December 1-4, 2013, Proceedings
ent://SD_ILS/0/SD_ILS:335170
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Fitzgerald, Brian. editor. Conboy, Kieran. editor. Power, Ken. editor. Valerdi, Ricardo. editor. Morgan, Lorraine. editor.<br/>Preferred Shelf Number ONLINE(335170.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-44930-7">http://dx.doi.org/10.1007/978-3-642-44930-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Trustworthy Eternal Systems via Evolving Software, Data and Knowledge Second International Workshop, EternalS 2012, Montpellier, France, August 28, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:335198
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Moschitti, Alessandro. editor. Plank, Barbara. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335198.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-45260-4">http://dx.doi.org/10.1007/978-3-642-45260-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Evaluation of Novel Approaches to Software Engineering 8th International Conference, ENASE 2013, Angers, France, July 4-6, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:335227
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Filipe, Joaquim. editor. Maciaszek, Leszek A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335227.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-54092-9">http://dx.doi.org/10.1007/978-3-642-54092-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Early Software Reliability Prediction A Fuzzy Logic Approach
ent://SD_ILS/0/SD_ILS:335512
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Pandey, Ajeet Kumar. author. Goyal, Neeraj Kumar. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335512.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-81-322-1176-1">http://dx.doi.org/10.1007/978-81-322-1176-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Evaluation of Novel Approaches to Software Engineering 6th International Conference, ENASE 2011, Beijing, China, June 8-11, 2011. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:333558
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Maciaszek, Leszek A. editor. Zhang, Kang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333558.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32341-6">http://dx.doi.org/10.1007/978-3-642-32341-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Proceedings of the 2012 International Conference on Information Technology and Software Engineering Information Technology & Computing Intelligence
ent://SD_ILS/0/SD_ILS:333859
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Lu, Wei. editor. Cai, Guoqiang. editor. Liu, Weibin. editor. Xing, Weiwei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333859.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34522-7">http://dx.doi.org/10.1007/978-3-642-34522-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Proceedings of the 2012 International Conference on Information Technology and Software Engineering Information Technology
ent://SD_ILS/0/SD_ILS:333860
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Lu, Wei. editor. Cai, Guoqiang. editor. Liu, Weibin. editor. Xing, Weiwei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333860.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34528-9">http://dx.doi.org/10.1007/978-3-642-34528-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Proceedings of the 2012 International Conference on Information Technology and Software Engineering Software Engineering & Digital Media Technology
ent://SD_ILS/0/SD_ILS:333861
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Lu, Wei. editor. Cai, Guoqiang. editor. Liu, Weibin. editor. Xing, Weiwei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333861.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34531-9">http://dx.doi.org/10.1007/978-3-642-34531-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering Frameworks for the Cloud Computing Paradigm
ent://SD_ILS/0/SD_ILS:331122
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Mahmood, Zaigham. editor. Saeed, Saqib. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331122.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-5031-2">http://dx.doi.org/10.1007/978-1-4471-5031-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software and Data Technologies 5th International Conference, ICSOFT 2010, Athens, Greece, July 22-24, 2010. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:333246
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Cordeiro, José. editor. Virvou, Maria. editor. Shishkov, Boris. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333246.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29578-2">http://dx.doi.org/10.1007/978-3-642-29578-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering for Self-Adaptive Systems II International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers
ent://SD_ILS/0/SD_ILS:334055
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Lemos, Rogério. editor. Giese, Holger. editor. Müller, Hausi A. editor. Shaw, Mary. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334055.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35813-5">http://dx.doi.org/10.1007/978-3-642-35813-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Aspects of Component Software 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334069
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Păsăreanu, Corina S. editor. Salaün, Gwen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334069.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35861-6">http://dx.doi.org/10.1007/978-3-642-35861-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers
ent://SD_ILS/0/SD_ILS:334096
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Lämmel, Ralf. editor. Saraiva, João. editor. Visser, Joost. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334096.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35992-7">http://dx.doi.org/10.1007/978-3-642-35992-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering International Summer Schools, ISSSE 2009-2011, Salerno, Italy. Revised Tutorial Lectures
ent://SD_ILS/0/SD_ILS:334109
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Lucia, Andrea. editor. Ferrucci, Filomena. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334109.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36054-1">http://dx.doi.org/10.1007/978-3-642-36054-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Engineering Secure Software and Systems 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334236
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Jürjens, Jan. editor. Livshits, Benjamin. editor. Scandariato, Riccardo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334236.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36563-8">http://dx.doi.org/10.1007/978-3-642-36563-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Systems and Software Variability Management Concepts, Tools and Experiences
ent://SD_ILS/0/SD_ILS:334240
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Capilla, Rafael. editor. Bosch, Jan. editor. Kang, Kyo-Chul. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334240.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36583-6">http://dx.doi.org/10.1007/978-3-642-36583-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334278
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Piterman, Nir. editor. Smolka, Scott A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334278.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36742-7">http://dx.doi.org/10.1007/978-3-642-36742-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334358
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Pfenning, Frank. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334358.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37075-5">http://dx.doi.org/10.1007/978-3-642-37075-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Perspectives on the Future of Software Engineering Essays in Honor of Dieter Rombach
ent://SD_ILS/0/SD_ILS:334419
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Münch, Jürgen. editor. Schmid, Klaus. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334419.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37395-4">http://dx.doi.org/10.1007/978-3-642-37395-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Requirements Engineering: Foundation for Software Quality 19th International Working Conference, REFSQ 2013, Essen, Germany, April 8-11, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334426
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Doerr, Joerg. editor. Opdahl, Andreas L. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334426.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37422-7">http://dx.doi.org/10.1007/978-3-642-37422-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model-Based Methodologies for Pervasive and Embedded Software 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers
ent://SD_ILS/0/SD_ILS:334556
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Machado, Ricardo J. editor. Maciel, Rita Suzana P. editor. Rubin, Julia. editor. Botterweck, Goetz. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334556.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38209-3">http://dx.doi.org/10.1007/978-3-642-38209-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agile Processes in Software Engineering and Extreme Programming 14th International Conference, XP 2013, Vienna, Austria, June 3-7, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334579
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Baumeister, Hubert. editor. Weber, Barbara. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334579.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38314-4">http://dx.doi.org/10.1007/978-3-642-38314-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reliable Software Technologies – Ada-Europe 2013 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334631
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Keller, Hubert B. editor. Plödereder, Erhard. editor. Dencker, Peter. editor. Klenk, Herbert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334631.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38601-5">http://dx.doi.org/10.1007/978-3-642-38601-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Process Improvement and Capability Determination 13th International Conference, SPICE 2013, Bremen, Germany, June 4-6, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334677
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Woronowicz, Tanja. editor. Rout, Terry. editor. O’Connor, Rory V. editor. Dorling, Alec. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334677.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38833-0">http://dx.doi.org/10.1007/978-3-642-38833-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Dynamical Systems 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures
ent://SD_ILS/0/SD_ILS:334688
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Bernardo, Marco. editor. Vink, Erik. editor. Pierro, Alessandra. editor. Wiklicky, Herbert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334688.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38874-3">http://dx.doi.org/10.1007/978-3-642-38874-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Open Source Software: Quality Verification 9th IFIP WG 2.13 International Conference, OSS 2013, Koper-Capodistria, Slovenia, June 25-28, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334700
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Petrinja, Etiel. editor. Succi, Giancarlo. editor. Ioini, Nabil. editor. Sillitti, Alberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334700.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38928-3">http://dx.doi.org/10.1007/978-3-642-38928-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Safe and Secure Software Reuse 13th International Conference on Software Reuse, ICSR 2013, Pisa, June 18-20. Proceedings
ent://SD_ILS/0/SD_ILS:334706
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Favaro, John. editor. Morisio, Maurizio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334706.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38977-1">http://dx.doi.org/10.1007/978-3-642-38977-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Architecture 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334714
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Drira, Khalil. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334714.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39031-9">http://dx.doi.org/10.1007/978-3-642-39031-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model Checking Software 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334743
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Bartocci, Ezio. editor. Ramakrishnan, C. R. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334743.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39176-7">http://dx.doi.org/10.1007/978-3-642-39176-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agent-Oriented Software Engineering XIII 13th International Workshop, AOSE 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334859
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Müller, Jörg P. editor. Cossentino, Massimo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334859.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39866-7">http://dx.doi.org/10.1007/978-3-642-39866-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multicore Software Engineering, Performance, and Tools International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334870
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Lourenço, João M. editor. Farchi, Eitan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334870.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39955-8">http://dx.doi.org/10.1007/978-3-642-39955-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fundamentals of Software Engineering 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334911
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Arbab, Farhad. editor. Sirjani, Marjan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334911.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40213-5">http://dx.doi.org/10.1007/978-3-642-40213-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334820
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Biere, Armin. editor. Nahir, Amir. editor. Vos, Tanja. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334820.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39611-3">http://dx.doi.org/10.1007/978-3-642-39611-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Composition 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334821
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Binder, Walter. editor. Bodden, Eric. editor. Löwe, Welf. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334821.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39614-4">http://dx.doi.org/10.1007/978-3-642-39614-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Unifying Theories of Programming and Formal Engineering Methods International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures
ent://SD_ILS/0/SD_ILS:334841
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Liu, Zhiming. editor. Woodcock, Jim. editor. Zhu, Huibiao. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334841.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39721-9">http://dx.doi.org/10.1007/978-3-642-39721-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Search Based Software Engineering 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334844
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Ruhe, Günther. editor. Zhang, Yuanyuan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334844.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39742-4">http://dx.doi.org/10.1007/978-3-642-39742-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering and Formal Methods 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334968
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Hierons, Robert M. editor. Merayo, Mercedes G. editor. Bravetti, Mario. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334968.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40561-7">http://dx.doi.org/10.1007/978-3-642-40561-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering for Resilient Systems 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335024
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Gorbenko, Anatoliy. editor. Romanovsky, Alexander. editor. Kharchenko, Vyacheslav. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335024.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40894-6">http://dx.doi.org/10.1007/978-3-642-40894-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Requirements Engineering and Management for Software Development Projects
ent://SD_ILS/0/SD_ILS:331756
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Chemuturi, Murali. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331756.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-5377-2">http://dx.doi.org/10.1007/978-1-4614-5377-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing
ent://SD_ILS/0/SD_ILS:332795
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Lee, Roger. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332795.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-00738-0">http://dx.doi.org/10.1007/978-3-319-00738-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Language Engineering 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:332934
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Erwig, Martin. editor. Paige, Richard F. editor. Wyk, Eric. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332934.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-02654-1">http://dx.doi.org/10.1007/978-3-319-02654-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
ent://SD_ILS/0/SD_ILS:332962
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Bertacco, Valeria. editor. Legay, Axel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332962.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-03077-7">http://dx.doi.org/10.1007/978-3-319-03077-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Sensor Systems and Software 4th International ICST Conference, S-Cube 2013, Lucca, Italy, June 11-12, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:333015
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Zuniga, Marco. editor. Dini, Gianluca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333015.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-04166-7">http://dx.doi.org/10.1007/978-3-319-04166-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 2012
ent://SD_ILS/0/SD_ILS:333535
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Lee, Roger. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333535.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32172-6">http://dx.doi.org/10.1007/978-3-642-32172-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Quality. Increasing Value in Software and Systems Development 5th International Conference, SWQD 2013, Vienna, Austria, January 15-17, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334033
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Winkler, Dietmar. editor. Biffl, Stefan. editor. Bergsmann, Johannes. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334033.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35702-2">http://dx.doi.org/10.1007/978-3-642-35702-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334120
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Czarnecki, Krzysztof. editor. Hedin, Görel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334120.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36089-3">http://dx.doi.org/10.1007/978-3-642-36089-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software and Data Technologies 6th International Conference, ICSOFT 2011, Seville, Spain, July 18-21, 2011. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334142
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Escalona, María José. editor. Cordeiro, José. editor. Shishkov, Boris. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334142.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36177-7">http://dx.doi.org/10.1007/978-3-642-36177-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334348
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Felleisen, Matthias. editor. Gardner, Philippa. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334348.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37036-6">http://dx.doi.org/10.1007/978-3-642-37036-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Business Modeling and Software Design Second International Symposium, BMSD 2012, Geneva, Switzerland, July 4-6, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334438
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Shishkov, Boris. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334438.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37478-4">http://dx.doi.org/10.1007/978-3-642-37478-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Feature-Oriented Software Product Lines Concepts and Implementation
ent://SD_ILS/0/SD_ILS:334447
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Apel, Sven. author. Batory, Don. author. Kästner, Christian. author. Saake, Gunter. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334447.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37521-7">http://dx.doi.org/10.1007/978-3-642-37521-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Product-Focused Software Process Improvement 14th International Conference, PROFES 2013, Paphos, Cyprus, June 12-14, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334768
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Heidrich, Jens. editor. Oivo, Markku. editor. Jedlitschka, Andreas. editor. Baldassarre, Maria Teresa. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334768.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39259-7">http://dx.doi.org/10.1007/978-3-642-39259-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Business. From Physical Products to Software Services and Solutions 4th International Conference, ICSOB 2013, Potsdam, Germany, June 11-14, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334783
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Herzwurm, Georg. editor. Margaria, Tiziana. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334783.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39336-5">http://dx.doi.org/10.1007/978-3-642-39336-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Environmental Software Systems. Fostering Information Sharing 10th IFIP WG 5.11 International Symposium, ISESS 2013, Neusiedl am See, Austria, October 9-11, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335064
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Hřebíček, Jiří. editor. Schimak, Gerald. editor. Kubásek, Miroslav. editor. Rizzoli, Andrea E. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335064.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41151-9">http://dx.doi.org/10.1007/978-3-642-41151-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods and Software Engineering 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings
ent://SD_ILS/0/SD_ILS:335072
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Groves, Lindsay. editor. Sun, Jing. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335072.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41202-8">http://dx.doi.org/10.1007/978-3-642-41202-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Testing Software and Systems 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings
ent://SD_ILS/0/SD_ILS:335141
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Yenigün, Hüsnü. editor. Yilmaz, Cemal. editor. Ulrich, Andreas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335141.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41707-8">http://dx.doi.org/10.1007/978-3-642-41707-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software and Data Technologies 7th International Conference, ICSOFT 2012, Rome, Italy, July 24-27, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:335215
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Cordeiro, José. editor. Hammoudi, Slimane. editor. Sinderen, Marten. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335215.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-45404-2">http://dx.doi.org/10.1007/978-3-642-45404-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Evaluation of Novel Approaches to Software Engineering 7th International Conference, ENASE 2012, Warsaw, Poland, June 29-30, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:335217
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Maciaszek, Leszek A. editor. Filipe, Joaquim. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335217.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-45422-6">http://dx.doi.org/10.1007/978-3-642-45422-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information and Software Technologies 19th International Conference, ICIST 2013, Kaunas, Lithuania, October 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335153
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Skersys, Tomas. editor. Butleris, Rimantas. editor. Butkiene, Rita. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335153.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41947-8">http://dx.doi.org/10.1007/978-3-642-41947-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of Algebraic Specification and Formal Software Development
ent://SD_ILS/0/SD_ILS:193572
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Sannella, Donald. author. Tarlecki, Andrzej. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17336-3">http://dx.doi.org/10.1007/978-3-642-17336-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Earth System Modelling - Volume 3 Coupling Software and Strategies
ent://SD_ILS/0/SD_ILS:195321
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Valcke, Sophie. author. Redler, René. author. Budich, Reinhard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23360-9">http://dx.doi.org/10.1007/978-3-642-23360-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Multimedia, Software Engineering and Computing Vol.2 Proceedings of the 2011 MSEC International Conference on Multimedia, Software Engineering and Computing, November 26–27, Wuhan, China
ent://SD_ILS/0/SD_ILS:196097
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Jin, David. editor. Lin, Sally. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-25986-9">http://dx.doi.org/10.1007/978-3-642-25986-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Multimedia, Software Engineering and Computing Vol.1 Proceedings of the 2011 MSEC International Conference on Multimedia, Software Engineering and Computing, November 26–27, Wuhan, China
ent://SD_ILS/0/SD_ILS:196098
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Jin, David. editor. Lin, Sally. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-25989-0">http://dx.doi.org/10.1007/978-3-642-25989-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verified Software: Theories, Tools, Experiments 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196275
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Joshi, Rajeev. editor. Müller, Peter. editor. Podelski, Andreas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-27705-4">http://dx.doi.org/10.1007/978-3-642-27705-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Engineering Secure Software and Systems 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196370
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Barthe, Gilles. editor. Livshits, Benjamin. editor. Scandariato, Riccardo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28166-2">http://dx.doi.org/10.1007/978-3-642-28166-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tools and Algorithms for the Construction and Analysis of Systems 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196526
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Flanagan, Cormac. editor. König, Barbara. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28756-5">http://dx.doi.org/10.1007/978-3-642-28756-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fundamentals of Software Engineering 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:196668
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Arbab, Farhad. editor. Sirjani, Marjan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29320-7">http://dx.doi.org/10.1007/978-3-642-29320-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Language Engineering 4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:196547
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Sloane, Anthony. editor. Aßmann, Uwe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28830-2">http://dx.doi.org/10.1007/978-3-642-28830-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Languages and Systems 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196553
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Seidl, Helmut. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28869-2">http://dx.doi.org/10.1007/978-3-642-28869-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fundamental Approaches to Software Engineering 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196554
2024-07-16T06:28:35Z
2024-07-16T06:28:35Z
Author Lara, Juan. editor. Zisman, Andrea. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28872-2">http://dx.doi.org/10.1007/978-3-642-28872-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>