Search Results for Software. - Narrowed by: SpringerLink (Online service) - English

Software Architecture

2024-08-23T12:17:01Z

Author Qin, Zheng. author. Zheng, Xiang. author. Xing, Jiankuan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74343-9
Format: Electronic Resources
Availability Online Library~1

Software Evolution

2024-08-23T12:17:01Z

Author Mens, Tom. author. Demeyer, Serge. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-76440-3
Format: Electronic Resources
Availability Online Library~1

Software Process Modeling

2024-08-23T12:17:01Z

Author Acuña, Silvia T. editor. Juristo, Natalia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b104986
Format: Electronic Resources
Availability Online Library~1

Financial Software Engineering

2024-08-23T12:17:01Z

Author Lano, Kevin. author. Haughton, Howard. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-14050-2
Format: Electronic Resources
Availability Online Library~1

Managed Software Evolution

2024-08-23T12:17:01Z

Author Reussner, Ralf. editor. Goedicke, Michael. editor. Hasselbring, Wilhelm. editor. Vogel-Heuser, Birgit. editor. Keim, Jan. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-13499-0
Format: Electronic Resources
Availability Online Library~1

Evolving Software Systems

2024-08-23T12:17:01Z

Author Mens, Tom. editor. Serebrenik, Alexander. editor. Cleve, Anthony. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-45398-4
Format: Electronic Resources
Availability Online Library~1

Continuous Software Engineering

2024-08-23T12:17:01Z

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

Essential Software Architecture

2024-08-23T12:17:01Z

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

Collaborative Software Engineering

2024-08-23T12:17:01Z

Author Mistrík, Ivan. editor. Grundy, John. editor. Hoek, André. editor. Whitehead, Jim. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-10294-3
Format: Electronic Resources
Availability Online Library~1

Agile Software Engineering

2024-08-23T12:17:01Z

Author Hazzan, Orit. author. Dubinsky, Yael. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84800-198-5
Format: Electronic Resources
Availability Online Library~1

System Software Reliability

2024-08-23T12:17:01Z

Author Pham, Hoang. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-84628-295-0
Format: Electronic Resources
Availability Online Library~1

Software Product Lines

2024-08-23T12:17:01Z

Author Käköla, Timo. editor. Duenas, Juan Carlos. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-33253-4
Format: Electronic Resources
Availability Online Library~1

Essential Software Architecture

2024-08-23T12:17:01Z

Author Gorton, Ian. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-28714-0
Format: Electronic Resources
Availability Online Library~1

Agile Software Construction

2024-08-23T12:17:01Z

Author Hunt, John. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-84628-262-4
Format: Electronic Resources
Availability Online Library~1

Constructing Correct Software

2024-08-23T12:17:01Z

Author Cooke, John. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138515
Format: Electronic Resources
Availability Online Library~1

Handbook of Software Engineering

2024-08-23T12:17:01Z

Author Cha, Sungdeok. editor. Taylor, Richard N. editor. Kang, Kyochul. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00262-6
Format: Electronic Resources
Availability Online Library~1

Fundamentals of Software Culture

2024-08-23T12:17:01Z

Author Qin, Zheng. author. Zhang, Huidi. author. Qin, Xin. author. Xu, Kaiping. author. Dimitrov, Kouemo Ngayo Anatoli. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-0701-0
Format: Electronic Resources
Availability Online Library~1

Green in Software Engineering

2024-08-23T12:17:01Z

Author Calero, Coral. editor. Piattini, Mario. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518426.1)
Electronic Access https://doi.org/10.1007/978-3-319-08581-4
Format: Electronic Resources
Availability Online Library~1

Validation of Evolving Software

2024-08-23T12:17:01Z

Author Chockler, Hana. editor. Kroening, Daniel. editor. Mariani, Leonardo. editor. Sharygina, Natasha. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518581.1)
Electronic Access https://doi.org/10.1007/978-3-319-10623-6
Format: Electronic Resources
Availability Online Library~1

Software Product Quality Control

2024-08-23T12:17:01Z

Author Wagner, Stefan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334625.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38571-1
Format: Electronic Resources
Availability Online Library~1

Implementing Software Defined Radio

2024-08-23T12:17:01Z

Author Grayver, Eugene. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(330849.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4419-9332-8
Format: Electronic Resources
Availability Online Library~1

Software and Network Engineering

2024-08-23T12:17:01Z

Author Lee, Roger. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28670-4
Format: Electronic Resources
Availability Online Library~1

Experimentation in Software Engineering

2024-08-23T12:17:01Z

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

Software Similarity and Classification

2024-08-23T12:17:01Z

Author Cesare, Silvio. author. Xiang, Yang. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-2909-7
Format: Electronic Resources
Availability Online Library~1

Software for Algebraic Geometry

2024-08-23T12:17:01Z

Author Stillman, Michael. editor. Verschelde, Jan. editor. Takayama, Nobuki. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-78133-4
Format: Electronic Resources
Availability Online Library~1

Value-Based Software Engineering

2024-08-23T12:17:01Z

Author Biffl, Stefan. editor. Aurum, Aybüke. editor. Boehm, Barry. editor. Erdogmus, Hakan. editor. Grünbacher, Paul. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-29263-2
Format: Electronic Resources
Availability Online Library~1

Model-Driven Software Development

2024-08-23T12:17:01Z

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

Agile Software Engineering Skills

2024-08-23T12:17:01Z

Author Bass, Julian Michael. author. SpringerLink (Online service)
Preferred Shelf Number XX(520305.1)
Electronic Access https://doi.org/10.1007/978-3-031-05469-3
Format: Electronic Resources
Availability Online Library~1

Introduction to Software Quality

2024-08-23T12:17:01Z

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

Ontology-Driven Software Development

2024-08-23T12:17:01Z

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

Software and Systems Traceability

2024-08-23T12:17:01Z

Author Cleland-Huang, Jane. editor. Gotel, Orlena. editor. Zisman, Andrea. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-2239-5
Format: Electronic Resources
Availability Online Library~1

Specification of Software Systems

2024-08-23T12:17:01Z

Author Alagar, V.S. author. Periyasamy, K. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-85729-277-3
Format: Electronic Resources
Availability Online Library~1

Rationale-Based Software Engineering

2024-08-23T12:17:01Z

Author Burge, Janet E. author. Carroll, John M. author. McCall, Raymond. author. Mistrik, Ivan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77583-6
Format: Electronic Resources
Availability Online Library~1

Categories for Software Engineering

2024-08-23T12:17:01Z

Author Fiadeiro, José Luiz. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138249
Format: Electronic Resources
Availability Online Library~1

Software Process Definition and Management

2024-08-23T12:17:01Z

Author Münch, Jürgen. author. Armbrust, Ove. author. Kowalczyk, Martin. author. Soto, Martín. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-24291-5
Format: Electronic Resources
Availability Online Library~1

Software Ecosystems Tooling and Analytics

2024-08-23T12:17:01Z

Author Mens, Tom. editor. De Roover, Coen. editor. Cleve, Anthony. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520692.1)
Electronic Access https://doi.org/10.1007/978-3-031-36060-2
Format: Electronic Resources
Availability Online Library~1

Concise Guide to Software Testing

2024-08-23T12:17:01Z

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

Introduction to Software Design with Java

2024-08-23T12:17:01Z

Author Robillard, Martin P. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-24094-3
Format: Electronic Resources
Availability Online Library~1

Software Engineering Proceedings of CSI 2015

2024-08-23T12:17:01Z

Author Hoda, M. N. editor. Chauhan, Naresh. editor. Quadri, S. M. K. editor. Srivastava, Praveen Ranjan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-8848-3
Format: Electronic Resources
Availability Online Library~1

Quality Software Through Reuse and Integration

2024-08-23T12:17:01Z

Author Rubin, Stuart H. editor. Bouabana-Tebibel, Thouraya. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-56157-8
Format: Electronic Resources
Availability Online Library~1

Modeling Companion for Software Practitioners

2024-08-23T12:17:01Z

Author Börger, Egon. author. Raschke, Alexander. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-56641-1
Format: Electronic Resources
Availability Online Library~1

Software Engineering Research, Management and Applications

2024-08-23T12:17:01Z

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

Software Languages Syntax, Semantics, and Metaprogramming

2024-08-23T12:17:01Z

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

Software Fault Prediction A Road Map

2024-08-23T12:17:01Z

Author Kumar, Sandeep. author. Rathore, Santosh Singh. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-8715-8
Format: Electronic Resources
Availability Online Library~1

The Essence of Software Engineering

2024-08-23T12:17:01Z

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

Recommendation Systems in Software Engineering

2024-08-23T12:17:01Z

Author Robillard, Martin P. editor. Maalej, Walid. editor. Walker, Robert J. editor. Zimmermann, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-45135-5
Format: Electronic Resources
Availability Online Library~1

Software Engineering Research, Management and Applications

2024-08-23T12:17:01Z

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

Lean Software Development in Action

2024-08-23T12:17:01Z

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

Gröbner Bases Statistics and Software Systems

2024-08-23T12:17:01Z

Author Hibi, Takayuki. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335439.1)
Electronic Access http://dx.doi.org/10.1007/978-4-431-54574-3
Format: Electronic Resources
Availability Online Library~1

Software Engineering: A Hands-On Approach

2024-08-23T12:17:01Z

Author Lee, Roger Y. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(336486.1)
Electronic Access http://dx.doi.org/10.2991/978-94-6239-006-5
Format: Electronic Resources
Availability Online Library~1

Introduction to Software Process Improvement

2024-08-23T12:17:01Z

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

Software Reliability Assessment with OR Applications

2024-08-23T12:17:01Z

Author Kapur, P.K. author. Pham, Hoang. author. Gupta, A. author. Jha, P.C. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-85729-204-9
Format: Electronic Resources
Availability Online Library~1

Software Development and Professional Practice

2024-08-23T12:17:01Z

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

Model-Based Software Performance Analysis

2024-08-23T12:17:01Z

Author Cortellessa, Vittorio. author. Di Marco, Antinisca. author. Inverardi, Paola. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13621-4
Format: Electronic Resources
Availability Online Library~1

The Future of Software Engineering

2024-08-23T12:17:01Z

Author Nanz, Sebastian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15187-3
Format: Electronic Resources
Availability Online Library~1

Relating Software Requirements and Architectures

2024-08-23T12:17:01Z

Author Avgeriou, Paris. editor. Grundy, John. editor. Hall, Jon G. editor. Lago, Patricia. editor. Mistrík, Ivan. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21001-3
Format: Electronic Resources
Availability Online Library~1

Silverlight 4 Business Intelligence Software

2024-08-23T12:17:01Z

Author Czernicki, Bart. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-3061-8
Format: Electronic Resources
Availability Online Library~1

Open Source Software for Digital Forensics

2024-08-23T12:17:01Z

Author Huebner, Ewa. editor. Zanero, Stefano. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-5803-7
Format: Electronic Resources
Availability Online Library~1

Guide to Graphics Software Tools

2024-08-23T12:17:01Z

Author Chen, Jim X. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84800-901-1
Format: Electronic Resources
Availability Online Library~1

Artificial Life Models in Software

2024-08-23T12:17:01Z

Author Komosinski, Maciej. editor. Adamatzky, Andrew. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84882-285-6
Format: Electronic Resources
Availability Online Library~1

Hardware-dependent Software Principles and Practice

2024-08-23T12:17:01Z

Author Ecker, Wolfgang. editor. Müller, Wolfgang. editor. Dömer, Rainer. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-9436-1
Format: Electronic Resources
Availability Online Library~1

Embedded Software Development with C

2024-08-23T12:17:01Z

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

Software Engineering for Self-Adaptive Systems

2024-08-23T12:17:01Z

Author Cheng, Betty H. C. editor. Lemos, Rogério. editor. Giese, Holger. editor. Inverardi, Paola. editor. Magee, Jeff. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02161-9
Format: Electronic Resources
Availability Online Library~1

Software Engineering Research, Management and Applications

2024-08-23T12:17:01Z

Author Lee, Roger. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-70561-1
Format: Electronic Resources
Availability Online Library~1

Guide to Advanced Empirical Software Engineering

2024-08-23T12:17:01Z

Author Shull, Forrest. editor. Singer, Janice. editor. Sjøberg, Dag I. K. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84800-044-5
Format: Electronic Resources
Availability Online Library~1

Elementary Logic For Software Development

2024-08-23T12:17:01Z

Author Lover, Robert. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84800-082-7
Format: Electronic Resources
Availability Online Library~1

Networked RFID Systems, Software and Services

2024-08-23T12:17:01Z

Author Roussos, George. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84800-153-4
Format: Electronic Resources
Availability Online Library~1

A Concise Introduction to Software Engineering

2024-08-23T12:17:01Z

Author Jalote, Pankaj. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84800-302-6
Format: Electronic Resources
Availability Online Library~1

Software Engineering for Experimental Robotics

2024-08-23T12:17:01Z

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

Software Measurement Establish — Extract — Evaluate — Execute

2024-08-23T12:17:01Z

Author Ebert, Christof. author. Dumke, Reiner. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71649-5
Format: Electronic Resources
Availability Online Library~1

Software Engineering Techniques: Design for Quality

2024-08-23T12:17:01Z

Author Sacha, Krzysztof. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-39388-9
Format: Electronic Resources
Availability Online Library~1

Rationale Management in Software Engineering

2024-08-23T12:17:01Z

Author Dutoit, Allen H. editor. McCall, Raymond. editor. Mistrík, Ivan. editor. Paech, Barbara. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-30998-7
Format: Electronic Resources
Availability Online Library~1

Software Engineering 1 Abstraction and Modelling

2024-08-23T12:17:01Z

Author Bjørner, Dines. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-31288-9
Format: Electronic Resources
Availability Online Library~1

Interoperability of Enterprise Software and Applications

2024-08-23T12:17:01Z

Author Konstantas, Dimitri. editor. Bourrières, Jean-Paul. editor. Léonard, Michel. editor. Boudjlida, Nacer. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-84628-152-0
Format: Electronic Resources
Availability Online Library~1

Grid Computing: Software Environments and Tools

2024-08-23T12:17:01Z

Author Cunha, José C. editor. Rana, Omer F. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-84628-339-6
Format: Electronic Resources
Availability Online Library~1

Software Configuration Management Using Vesta

2024-08-23T12:17:01Z

Author Heydon, Allan. author. Mann, Timothy. author. Levin, Roy. author. Yu, Yuan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-30852-4
Format: Electronic Resources
Availability Online Library~1

Software-Implemented Hardware Fault Tolerance

2024-08-23T12:17:01Z

Author Goloubeva, Olga. author. Rebaudengo, Maurizio. author. Reorda, Matteo Sonza. author. Violante, Massimo. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-32937-4
Format: Electronic Resources
Availability Online Library~1

Practical Software Factories in .NET

2024-08-23T12:17:01Z

Author Lenz, Gunther. author. Wienands, Christoph. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-0181-6
Format: Electronic Resources
Availability Online Library~1

Mathematical Approaches to Software Quality

2024-08-23T12:17:01Z

Author O'Regan, Gerard. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-84628-435-9
Format: Electronic Resources
Availability Online Library~1

Artificial Life Models in Software

2024-08-23T12:17:01Z

Author Adamatzky, Andrew. editor. Komosinski, Maciej. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-84628-214-4
Format: Electronic Resources
Availability Online Library~1

Component-Based Software Testing with UML

2024-08-23T12:17:01Z

Author Gross, Hans-Gerhard. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138012
Format: Electronic Resources
Availability Online Library~1

The Best Software Writing I

2024-08-23T12:17:01Z

Author Spolsky, Joel. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-0038-3
Format: Electronic Resources
Availability Online Library~1

Developing Statistical Software in Fortran 95

2024-08-23T12:17:01Z

Author Lemmon, David R. author. Schafer, Joseph L. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-28123-1
Format: Electronic Resources
Availability Online Library~1

An Integrated Approach to Software Engineering

2024-08-23T12:17:01Z

Author Jalote, Pankaj. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-28132-0
Format: Electronic Resources
Availability Online Library~1

Engineering and Managing Software Requirements

2024-08-23T12:17:01Z

Author Aurum, Aybüke. editor. Wohlin, Claes. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-28244-0
Format: Electronic Resources
Availability Online Library~1

Transactions on Aspect-Oriented Software Development XII

2024-08-23T12:17:01Z

Author Chiba, Shigeru. editor. Tanter, Éric. editor. Ernst, Erik. editor. Hirschfeld, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519315.1)
Electronic Access https://doi.org/10.1007/978-3-662-46734-3
Format: Electronic Resources
Availability Online Library~1

Transactions on Aspect-Oriented Software Development XI

2024-08-23T12:17:01Z

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

Developing Sustainable and Energy-Efficient Software Systems

2024-08-23T12:17:01Z

Author Kruglov, Artem. author. Succi, Giancarlo. author. SpringerLink (Online service)
Preferred Shelf Number XX(520659.1)
Electronic Access https://doi.org/10.1007/978-3-031-11658-2
Format: Electronic Resources
Availability Online Library~1

Software Architecture Research Roadmaps from the Community

2024-08-23T12:17:01Z

Author Pelliccione, Patrizio. editor. Kazman, Rick. editor. Weber, Ingo. editor. Liu, Anna. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520604.1)
Electronic Access https://doi.org/10.1007/978-3-031-36847-9
Format: Electronic Resources
Availability Online Library~1

Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment First International Workshop, DEVOPS 2018, Chateau de Villebrumier, France, March 5-6, 2018, Revised Selected Papers

2024-08-23T12:17:01Z

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

Dependable Software Engineering. Theories, Tools, and Applications 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings

2024-08-23T12:17:01Z

Author Guan, Nan. editor. Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926 Sun, Jun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-35540-1
Format: Electronic Resources
Availability Online Library~1

Product-Focused Software Process Improvement 20th International Conference, PROFES 2019, Barcelona, Spain, November 27–29, 2019, Proceedings

2024-08-23T12:17:01Z

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

Engineering Trustworthy Software Systems 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures

2024-08-23T12:17:01Z

Author Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-17601-3
Format: Electronic Resources
Availability Online Library~1

Software Architecture 13th European Conference, ECSA 2019, Paris, France, September 9–13, 2019, Proceedings

2024-08-23T12:17:01Z

Author Bures, Tomas. editor. Duchien, Laurence. editor. (orcid)0000-0002-4517-5862 Inverardi, Paola. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-29983-5
Format: Electronic Resources
Availability Online Library~1

Fundamentals of Software Engineering 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers

2024-08-23T12:17:01Z

Author Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750 Massink, Mieke. editor. (orcid)0000-0001-5089-002X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-31517-7
Format: Electronic Resources
Availability Online Library~1

Reuse in the Big Data Era 18th International Conference on Software and Systems Reuse, ICSR 2019, Cincinnati, OH, USA, June 26–28, 2019, Proceedings

2024-08-23T12:17:01Z

Author Peng, Xin. editor. Ampatzoglou, Apostolos. editor. Bhowmik, Tanmay. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-22888-0
Format: Electronic Resources
Availability Online Library~1

Software Technology: Methods and Tools 51st International Conference, TOOLS 2019, Innopolis, Russia, October 15–17, 2019, Proceedings

2024-08-23T12:17:01Z

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

Testing Software and Systems 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15–17, 2019, Proceedings

2024-08-23T12:17:01Z

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

Search-Based Software Engineering 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 – September 1, 2019, Proceedings

2024-08-23T12:17:01Z

Author Nejati, Shiva. editor. Gay, Gregory. editor. (orcid)0000-0001-6794-9585 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-27455-9
Format: Electronic Resources
Availability Online Library~1

Software Engineering for Resilient Systems 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings

2024-08-23T12:17:01Z

Author Calinescu, Radu. editor. (orcid)0000-0002-2678-9260 Di Giandomenico, Felicita. editor. (orcid)0000-0002-8760-7299 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-30856-8
Format: Electronic Resources
Availability Online Library~1

Requirements Engineering: Foundation for Software Quality 25th International Working Conference, REFSQ 2019, Essen, Germany, March 18–21, 2019, Proceedings

2024-08-23T12:17:01Z

Author Knauss, Eric. editor. (orcid)0000-0002-6631-872X Goedicke, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-15538-4
Format: Electronic Resources
Availability Online Library~1

Formal Methods and Software Engineering 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings

2024-08-23T12:17:01Z

Author Ait-Ameur, Yamine. editor. (orcid)0000-0003-4582-9712 Qin, Shengchao. editor. (orcid)0000-0003-3028-8191 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-32409-4
Format: Electronic Resources
Availability Online Library~1

Human-Centered Software Engineering 7th IFIP WG 13.2 International Working Conference, HCSE 2018, Sophia Antipolis, France, September 3–5, 2018, Revised Selected Papers

2024-08-23T12:17:01Z

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

Search-Based Software Engineering 10th International Symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018, Proceedings

2024-08-23T12:17:01Z

Author Colanzi, Thelma Elita. editor. (orcid)0000-0001-9761-1999 McMinn, Phil. editor. (orcid)0000-0001-9137-7433 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99241-9
Format: Electronic Resources
Availability Online Library~1

Software Analysis, Testing, and Evolution 8th International Conference, SATE 2018, Shenzhen, Guangdong, China, November 23–24, 2018, Proceedings

2024-08-23T12:17:01Z

Author Bu, Lei. editor. (orcid)0000-0003-0517-7801 Xiong, Yingfei. editor. (orcid)0000-0001-8991-747X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-04272-1
Format: Electronic Resources
Availability Online Library~1

Testing Software and Systems 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings

2024-08-23T12:17:01Z

Author Medina-Bulo, Inmaculada. editor. Merayo, Mercedes G. editor. Hierons, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99927-2
Format: Electronic Resources
Availability Online Library~1

Software Technologies: Applications and Foundations STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers

2024-08-23T12:17:01Z

Author Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948 Ober, Iulian. editor. Salaün, Gwen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-04771-9
Format: Electronic Resources
Availability Online Library~1

Machine Learning for Dynamic Software Analysis: Potentials and Limits International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers

2024-08-23T12:17:01Z

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

Reliable Software Technologies – Ada-Europe 2018 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings

2024-08-23T12:17:01Z

Author Casimiro, António. editor. (orcid)0000-0002-5522-5739 Ferreira, Pedro M. editor. (orcid)0000-0003-2369-0115 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-92432-8
Format: Electronic Resources
Availability Online Library~1

Product-Focused Software Process Improvement 19th International Conference, PROFES 2018, Wolfsburg, Germany, November 28–30, 2018, Proceedings

2024-08-23T12:17:01Z

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

Software Technologies: Applications and Foundations STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers

2024-08-23T12:17:01Z

Author Seidl, Martina. editor. Zschaler, Steffen. editor. (orcid)0000-0001-9062-6637 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-74730-9
Format: Electronic Resources
Availability Online Library~1

Formal Methods and Software Engineering 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings

2024-08-23T12:17:01Z

Author Sun, Jing. editor. Sun, Meng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-02450-5
Format: Electronic Resources
Availability Online Library~1

Dependable Software Engineering. Theories, Tools, and Applications 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings

2024-08-23T12:17:01Z

Author Feng, Xinyu. editor. Müller-Olm, Markus. editor. Yang, Zijiang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99933-3
Format: Electronic Resources
Availability Online Library~1

Software Architecture 12th European Conference on Software Architecture, ECSA 2018, Madrid, Spain, September 24–28, 2018, Proceedings

2024-08-23T12:17:01Z

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

Formal Aspects of Component Software 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings

2024-08-23T12:17:01Z

Author Bae, Kyungmin. editor. (orcid)0000-0002-6430-5175 Ölveczky, Peter Csaba. editor. (orcid)0000-0002-0708-3721 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-02146-7
Format: Electronic Resources
Availability Online Library~1

Synergies Between Knowledge Engineering and Software Engineering

2024-08-23T12:17:01Z

Author Nalepa, Grzegorz J. editor. Baumeister, Joachim. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-64161-4
Format: Electronic Resources
Availability Online Library~1

New Opportunities for Software Reuse 17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedings

2024-08-23T12:17:01Z

Author Capilla, Rafael. editor. (orcid)0000-0002-6943-1285 Gallina, Barbara. editor. (orcid)0000-0002-6952-1053 Cetina, Carlos. editor. (orcid)0000-0001-8542-5515 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-90421-4
Format: Electronic Resources
Availability Online Library~1

Engineering Trustworthy Software Systems Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures

2024-08-23T12:17:01Z

Author Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-02928-9
Format: Electronic Resources
Availability Online Library~1

Verified Software. Theories, Tools, and Experiments 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers

2024-08-23T12:17:01Z

Author Piskac, Ruzica. editor. Rümmer, Philipp. editor. (orcid)0000-0002-2733-7098 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-03592-1
Format: Electronic Resources
Availability Online Library~1

Requirements Engineering: Foundation for Software Quality 24th International Working Conference, REFSQ 2018, Utrecht, The Netherlands, March 19-22, 2018, Proceedings

2024-08-23T12:17:01Z

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

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

2024-08-23T12:17:01Z

Author Cerone, Antonio. editor. (orcid)0000-0003-2691-5279 Roveri, Marco. editor. (orcid)0000-0001-9483-3940 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-74781-1
Format: Electronic Resources
Availability Online Library~1

SafeScrum® – Agile Development of Safety-Critical Software

2024-08-23T12:17:01Z

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

Shortest Path Solvers. From Software to Wetware

2024-08-23T12:17:01Z

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

Software Engineering International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures

2024-08-23T12:17:01Z

Author Meyer, Bertrand. editor. Nordio, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518828.1)
Electronic Access https://doi.org/10.1007/978-3-319-28406-4
Format: Electronic Resources
Availability Online Library~1

Product-Focused Software Process Improvement 16th International Conference, PROFES 2015, Bolzano, Italy, December 2-4, 2015, Proceedings

2024-08-23T12:17:01Z

Author Abrahamsson, Pekka. editor. Corral, Luis. editor. Oivo, Markku. editor. Russo, Barbara. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518832.1)
Electronic Access https://doi.org/10.1007/978-3-319-26844-6
Format: Electronic Resources
Availability Online Library~1

Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings

2024-08-23T12:17:01Z

Author Calinescu, Radu. editor. Rumpe, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518840.1)
Electronic Access https://doi.org/10.1007/978-3-319-22969-0
Format: Electronic Resources
Availability Online Library~1

Hardware and Software: Verification and Testing 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings

2024-08-23T12:17:01Z

Author Piterman, Nir. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518849.1)
Electronic Access https://doi.org/10.1007/978-3-319-26287-1
Format: Electronic Resources
Availability Online Library~1

Dependable Software Engineering: Theories, Tools, and Applications First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings

2024-08-23T12:17:01Z

Author Li, Xuandong. editor. Liu, Zhiming. editor. Yi, Wang. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519111.1)
Electronic Access https://doi.org/10.1007/978-3-319-25942-0
Format: Electronic Resources
Availability Online Library~1

Testing Software and Systems 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings

2024-08-23T12:17:01Z

Author El-Fakih, Khaled. editor. Barlas, Gerassimos. editor. Yevtushenko, Nina. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519127.1)
Electronic Access https://doi.org/10.1007/978-3-319-25945-1
Format: Electronic Resources
Availability Online Library~1

Formal Aspects of Component Software 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers

2024-08-23T12:17:01Z

Author Lanese, Ivan. editor. Madelaine, Eric. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519140.1)
Electronic Access https://doi.org/10.1007/978-3-319-15317-9
Format: Electronic Resources
Availability Online Library~1

Software Architecture 9th European Conference, ECSA 2015, Dubrovnik/Cavtat, Croatia, September 7-11, 2015. Proceedings

2024-08-23T12:17:01Z

Author Weyns, Danny. editor. Mirandola, Raffaela. editor. Crnkovic, Ivica. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519351.1)
Electronic Access https://doi.org/10.1007/978-3-319-23727-5
Format: Electronic Resources
Availability Online Library~1

Search-Based Software Engineering 7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015, Proceedings

2024-08-23T12:17:01Z

Author Barros, Márcio. editor. Labiche, Yvan. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518788.1)
Electronic Access https://doi.org/10.1007/978-3-319-22183-0
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Multicore Programming 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures

2024-08-23T12:17:01Z

Author Bernardo, Marco. editor. Johnsen, Einar Broch. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519008.1)
Electronic Access https://doi.org/10.1007/978-3-319-18941-3
Format: Electronic Resources
Availability Online Library~1

Software Engineering for Collective Autonomic Systems The ASCENS Approach

2024-08-23T12:17:01Z

Author Wirsing, Martin. editor. Hölzl, Matthias. editor. Koch, Nora. editor. Mayer, Philip. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518784.1)
Electronic Access https://doi.org/10.1007/978-3-319-16310-9
Format: Electronic Resources
Availability Online Library~1

Reliable Software Technologies - Ada-Europe 2015 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings

2024-08-23T12:17:01Z

Author de la Puente, Juan Antonio. editor. Vardanega, Tullio. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519019.1)
Electronic Access https://doi.org/10.1007/978-3-319-19584-1
Format: Electronic Resources
Availability Online Library~1

Requirements Engineering: Foundation for Software Quality 21st International Working Conference, REFSQ 2015, Essen, Germany, March 23-26, 2015. Proceedings

2024-08-23T12:17:01Z

Author Fricker, Samuel A. editor. Schneider, Kurt. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519025.1)
Electronic Access https://doi.org/10.1007/978-3-319-16101-3
Format: Electronic Resources
Availability Online Library~1

Software Engineering for Resilient Systems 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings

2024-08-23T12:17:01Z

Author Fantechi, Alessandro. editor. Pelliccione, Patrizio. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519311.1)
Electronic Access https://doi.org/10.1007/978-3-319-23129-7
Format: Electronic Resources
Availability Online Library~1

Formal Methods and Software Engineering 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings

2024-08-23T12:17:01Z

Author Butler, Michael. editor. Conchon, Sylvain. editor. Zaïdi, Fatiha. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518970.1)
Electronic Access https://doi.org/10.1007/978-3-319-25423-4
Format: Electronic Resources
Availability Online Library~1

Fundamentals of Software Engineering 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers

2024-08-23T12:17:01Z

Author Dastani, Mehdi. editor. Sirjani, Marjan. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519046.1)
Electronic Access https://doi.org/10.1007/978-3-319-24644-4
Format: Electronic Resources
Availability Online Library~1

Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers

2024-08-23T12:17:01Z

Author Canal, Carlos. editor. Idani, Akram. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519078.1)
Electronic Access https://doi.org/10.1007/978-3-319-15201-1
Format: Electronic Resources
Availability Online Library~1

Software Engineering and Formal Methods SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers

2024-08-23T12:17:01Z

Author Bianculli, Domenico. editor. Calinescu, Radu. editor. Rumpe, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519205.1)
Electronic Access https://doi.org/10.1007/978-3-662-49224-6
Format: Electronic Resources
Availability Online Library~1

Software, Services, and Systems Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering

2024-08-23T12:17:01Z

Author De Nicola, Rocco. editor. Hennicker, Rolf. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519248.1)
Electronic Access https://doi.org/10.1007/978-3-319-15545-6
Format: Electronic Resources
Availability Online Library~1

Reliable Software Technologies – Ada-Europe 2014 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings

2024-08-23T12:17:01Z

Author George, Laurent. editor. Vardanega, Tullio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-08311-7
Format: Electronic Resources
Availability Online Library~1

Search-Based Software Engineering 6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014, Proceedings

2024-08-23T12:17:01Z

Author Le Goues, Claire. editor. Yoo, Shin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-09940-8
Format: Electronic Resources
Availability Online Library~1

Software Architecture 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014, Proceedings

2024-08-23T12:17:01Z

Author Avgeriou, Paris. editor. Zdun, Uwe. editor. (orcid)0000-0002-6233-2591 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-09970-5
Format: Electronic Resources
Availability Online Library~1

Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings

2024-08-23T12:17:01Z

Author Giannakopoulou, Dimitra. editor. Salaün, Gwen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-10431-7
Format: Electronic Resources
Availability Online Library~1

Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings

2024-08-23T12:17:01Z

Author Merz, Stephan. editor. Pang, Jun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11737-9
Format: Electronic Resources
Availability Online Library~1

Software Language Engineering 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings

2024-08-23T12:17:01Z

Author Combemale, Benoit. editor. Pearce, David. editor. Barais, Olivier. editor. Vinju, Jurgen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11245-9
Format: Electronic Resources
Availability Online Library~1

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

2024-08-23T12:17:01Z

Author Schaefer, Ina. editor. Stamelos, Ioannis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-14130-5
Format: Electronic Resources
Availability Online Library~1

Hardware and Software: Verification and Testing 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings

2024-08-23T12:17:01Z

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

Software Project Management in a Changing World

2024-08-23T12:17:01Z

Author Ruhe, Günther. editor. Wohlin, Claes. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-55035-5
Format: Electronic Resources
Availability Online Library~1

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

2024-08-23T12:17:01Z

Author Bernardo, Marco. editor. Damiani, Ferruccio. editor. Haehnle, Reiner. editor. (orcid)0000-0001-8000-7613 Johnsen, Einar Broch. editor. Schaefer, Ina. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-07317-0
Format: Electronic Resources
Availability Online Library~1

Requirements Engineering: Foundation for Software Quality 20th International Working Conference, REFSQ 2014, Essen, Germany, April 7-10, 2014, Proceedings

2024-08-23T12:17:01Z

Author Salinesi, Camille. editor. van de Weerd, Inge. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-05843-6
Format: Electronic Resources
Availability Online Library~1

Human-Centered Software Engineering 5th IFIP WG 13.2 International Conference, HCSE 2014, Paderborn, Germany, September 16-18, 2014. Proceedings

2024-08-23T12:17:01Z

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

Testing Software and Systems 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings

2024-08-23T12:17:01Z

Author Merayo, Mercedes G. editor. Montes de Oca, Edgardo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-44857-1
Format: Electronic Resources
Availability Online Library~1

Knowledge Cartography Software Tools and Mapping Techniques

2024-08-23T12:17:01Z

Author Okada, Alexandra. editor. Buckingham Shum, Simon J. editor. Sherborne, Tony. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4471-6470-8
Format: Electronic Resources
Availability Online Library~1

Software Engineering for Resilient Systems 6th International Workshop, SERENE 2014, Budapest, Hungary, October 15-16, 2014. Proceedings

2024-08-23T12:17:01Z

Author Majzik, István. editor. Vieira, Marco. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-12241-0
Format: Electronic Resources
Availability Online Library~1

Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

2024-08-23T12:17:01Z

Author Giannakopoulou, Dimitra. editor. Kroening, Daniel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-12154-3
Format: Electronic Resources
Availability Online Library~1

Product-Focused Software Process Improvement 15th International Conference, PROFES 2014, Helsinki, Finland, December 10-12, 2014, Proceedings

2024-08-23T12:17:01Z

Author Jedlitschka, Andreas. editor. Kuvaja, Pasi. editor. Kuhrmann, Marco. editor. Männistö, Tomi. editor. Münch, Jürgen. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-13835-0
Format: Electronic Resources
Availability Online Library~1

Formal Aspects of Component Software 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers

2024-08-23T12:17:01Z

Author Fiadeiro, José Luiz. editor. Liu, Zhiming. editor. Xue, Jinyun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-07602-7
Format: Electronic Resources
Availability Online Library~1

Verified Software: Theorie, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers

2024-08-23T12:17:01Z

Author Cohen, Ernie. editor. Rybalchenko, Andrey. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54108-7
Format: Electronic Resources
Availability Online Library~1

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

2024-08-23T12:17:01Z

Author Counsell, Steve. editor. Núñez, Manuel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-05032-4
Format: Electronic Resources
Availability Online Library~1

The Software Industry Economic Principles, Strategies, Perspectives

2024-08-23T12:17:01Z

Author Buxmann, Peter. author. Diefenbach, Heiner. author. Hess, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333443.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-31510-7
Format: Electronic Resources
Availability Online Library~1

A Practical Introduction to Hardware/Software Codesign

2024-08-23T12:17:01Z

Author Schaumont, Patrick R. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331370.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-3737-6
Format: Electronic Resources
Availability Online Library~1

Transactions on Aspect-Oriented Software Development X

2024-08-23T12:17:01Z

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

Model-Driven Dependability Assessment of Software Systems

2024-08-23T12:17:01Z

Author Bernardi, Simona. author. Merseguer, José. author. Petriu, Dorina Corina. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334812.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39512-3
Format: Electronic Resources
Availability Online Library~1

Data Analysis in Management with SPSS Software

2024-08-23T12:17:01Z

Author Verma, J.P. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335463.1)
Electronic Access http://dx.doi.org/10.1007/978-81-322-0786-3
Format: Electronic Resources
Availability Online Library~1

Software Engineering Research,Management and Applications 2011

2024-08-23T12:17:01Z

Author Lee, Roger. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23202-2
Format: Electronic Resources
Availability Online Library~1

Games, Actions and Social Software Multidisciplinary Aspects

2024-08-23T12:17:01Z

Author Eijck, Jan. editor. Verbrugge, Rineke. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29326-9
Format: Electronic Resources
Availability Online Library~1

Improving Software Testing Technical and Organizational Developments

2024-08-23T12:17:01Z

Author Majchrzak, Tim A. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-27464-0
Format: Electronic Resources
Availability Online Library~1

Software Engineering Research, Management and Applications 2012

2024-08-23T12:17:01Z

Author Lee, Roger. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30460-6
Format: Electronic Resources
Availability Online Library~1

Transactions on Aspect-Oriented Software Development IX

2024-08-23T12:17:01Z

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

Clustering-Based Support for Software Architecture Restructuring

2024-08-23T12:17:01Z

Author Streekmann, Niels. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-8348-8675-0
Format: Electronic Resources
Availability Online Library~1

Software Tools and Algorithms for Biological Systems

2024-08-23T12:17:01Z

Author Arabnia, Hamid R. editor. Tran, Quoc-Nam. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-7046-6
Format: Electronic Resources
Availability Online Library~1

Transactions on Aspect-Oriented Software Development VIII

2024-08-23T12:17:01Z

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

Innovations in Computing Sciences and Software Engineering

2024-08-23T12:17:01Z

Author Sobh, Tarek. editor. Elleithy, Khaled. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-90-481-9112-3
Format: Electronic Resources
Availability Online Library~1

Advanced Ocean Modelling Using Open-Source Software

2024-08-23T12:17:01Z

Author Kämpf, Jochen. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-10610-1
Format: Electronic Resources
Availability Online Library~1

A Practical Introduction to Hardware/Software Codesign

2024-08-23T12:17:01Z

Author Schaumont, Patrick R. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-6000-9
Format: Electronic Resources
Availability Online Library~1

Composing Software Components A Software-testing Perspective

2024-08-23T12:17:01Z

Author Hamlet, Dick. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-7148-7
Format: Electronic Resources
Availability Online Library~1

Software Engineering Research, Management and Applications 2010

2024-08-23T12:17:01Z

Author Lee, Roger. editor. Ormandjieva, Olga. editor. Abran, Alain. editor. Constantinides, Constantinos. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13273-5
Format: Electronic Resources
Availability Online Library~1

Experience and Knowledge Management in Software Engineering

2024-08-23T12:17:01Z

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

Software Engineering Research, Management and Applications 2009

2024-08-23T12:17:01Z

Author Lee, Roger. editor. Ishii, Naohiro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-05441-9
Format: Electronic Resources
Availability Online Library~1

An Approach to Modelling Software Evolution Processes

2024-08-23T12:17:01Z

Author Li, Tong. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-79464-6
Format: Electronic Resources
Availability Online Library~1

Transactions on Aspect-Oriented Software Development V

2024-08-23T12:17:01Z

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

Software Architecture Knowledge Management Theory and Practice

2024-08-23T12:17:01Z

Author Ali Babar, Muhammad. editor. Dingsøyr, Torgeir. editor. Lago, Patricia. editor. van Vliet, Hans. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02374-3
Format: Electronic Resources
Availability Online Library~1

Software for Data Analysis Programming with R

2024-08-23T12:17:01Z

Author Chambers, John. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-75936-4
Format: Electronic Resources
Availability Online Library~1

Baseband Analog Circuits for Software Defined Radio

2024-08-23T12:17:01Z

Author Giannini, Vito. author. Craninckx, Jan. author. Baschirotto, Andrea. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-6538-5
Format: Electronic Resources
Availability Online Library~1

Knowledge Cartography Software Tools and Mapping Techniques

2024-08-23T12:17:01Z

Author Sherborne, Tony. editor. Buckingham Shum, Simon J. editor. Okada, Alexandra. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84800-149-7
Format: Electronic Resources
Availability Online Library~1

Transactions on Aspect-Oriented Software Development III

2024-08-23T12:17:01Z

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

Transactions on Aspect-Oriented Software Development IV

2024-08-23T12:17:01Z

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

Transactions on Aspect-Oriented Software Development I

2024-08-23T12:17:01Z

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

Eric Sink on the Business of Software

2024-08-23T12:17:01Z

Author Sink, Eric. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-0143-4
Format: Electronic Resources
Availability Online Library~1

Ontologies for Software Engineering and Software Technology

2024-08-23T12:17:01Z

Author Calero, Coral. editor. Ruiz, Francisco. editor. Piattini, Mario. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-34518-3
Format: Electronic Resources
Availability Online Library~1

Transactions on Aspect-Oriented Software Development II

2024-08-23T12:17:01Z

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

Digital Synthesizers and Transmitters for Software Radio

2024-08-23T12:17:01Z

Author Vankka, Jouko. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-3195-5
Format: Electronic Resources
Availability Online Library~1

Software Project Secrets Why Software Projects Fail

2024-08-23T12:17:01Z

Author Stepanek, George. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-0055-0
Format: Electronic Resources
Availability Online Library~1

Software Agent-Based Applications, Platforms and Development Kits

2024-08-23T12:17:01Z

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

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

2024-08-23T12:17:01Z

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

Designing Modern Embedded Systems: Software, Hardware, and Applications 7th IFIP TC 10 International Embedded Systems Symposium, IESS 2022, Lippstadt, Germany, November 3-4, 2022, Proceedings

2024-08-23T12:17:01Z

Author Henkler, Stefan. editor. Kreutz, Márcio. editor. Wehrmeister, Marco A. editor. Götz, Marcelo. editor. Rettberg, Achim. editor.
Preferred Shelf Number XX(520586.1)
Electronic Access https://doi.org/10.1007/978-3-031-34214-1
Format: Electronic Resources
Availability Online Library~1

Business Modeling and Software Design 13th International Symposium, BMSD 2023, Utrecht, The Netherlands, July 3-5, 2023, Proceedings

2024-08-23T12:17:01Z

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

Software Technologies 17th International Conference, ICSOFT 2022, Lisbon, Portugal, July 11-13, 2022, Revised Selected Papers

2024-08-23T12:17:01Z

Author Fill, Hans-Georg. editor. van Sinderen, Marten. editor. Maciaszek, Leszek A. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520513.1)
Electronic Access https://doi.org/10.1007/978-3-031-37231-5
Format: Electronic Resources
Availability Online Library~1

Model-Driven Engineering and Software Development 9th International Conference, MODELSWARD 2021, Virtual Event, February 8-10, 2021, and 10th International Conference, MODELSWARD 2022, Virtual Event, February 6-8, 2022, Revised Selected Papers

2024-08-23T12:17:01Z

Author Pires, Luís Ferreira. editor. Hammoudi, Slimane. editor. Seidewitz, Edwin. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520444.1)
Electronic Access https://doi.org/10.1007/978-3-031-38821-7
Format: Electronic Resources
Availability Online Library~1

Software Engineering for Games in Serious Contexts Theories, Methods, Tools, and Experiences

2024-08-23T12:17:01Z

Author Cooper, Kendra M. L. editor. Bucchiarone, Antonio. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520632.1)
Electronic Access https://doi.org/10.1007/978-3-031-33338-5
Format: Electronic Resources
Availability Online Library~1

Introduction to Software Architecture Innovative Design using Clean Architecture and Model-Driven Engineering

2024-08-23T12:17:01Z

Author Lano, Kevin. author. Yassipour Tehrani, Sobhan. author. SpringerLink (Online service)
Preferred Shelf Number XX(520650.1)
Electronic Access https://doi.org/10.1007/978-3-031-44143-1
Format: Electronic Resources
Availability Online Library~1

Theoretical Aspects of Software Engineering 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings

2024-08-23T12:17:01Z

Author David, Cristina. editor. Sun, Meng. editor. SpringerLink (Online service)
Preferred Shelf Number XX(521004.1)
Electronic Access https://doi.org/10.1007/978-3-031-35257-7
Format: Electronic Resources
Availability Online Library~1

Composability, Comprehensibility and Correctness of Working Software 8th Summer School, CEFP 2019, Budapest, Hungary, June 17-21, 2019, Revised Selected Papers

2024-08-23T12:17:01Z

Author Porkoláb, Zoltán. editor. Zsók, Viktória. editor. SpringerLink (Online service)
Preferred Shelf Number XX(521248.1)
Electronic Access https://doi.org/10.1007/978-3-031-42833-3
Format: Electronic Resources
Availability Online Library~1

Software Engineering and Formal Methods 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings

2024-08-23T12:17:01Z

Author Ferreira, Carla. editor. Willemse, Tim A. C. editor. SpringerLink (Online service)
Preferred Shelf Number XX(521275.1)
Electronic Access https://doi.org/10.1007/978-3-031-47115-5
Format: Electronic Resources
Availability Online Library~1

Formal Methods and Software Engineering 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings

2024-08-23T12:17:01Z

Author Li, Yi. editor. Tahar, Sofiène. editor. SpringerLink (Online service)
Preferred Shelf Number XX(521324.1)
Electronic Access https://doi.org/10.1007/978-981-99-7584-6
Format: Electronic Resources
Availability Online Library~1

Technology Research Explained Design of Software, Architectures, Methods, and Technology in General

2024-08-23T12:17:01Z

Author Stølen, Ketil. author. SpringerLink (Online service)
Preferred Shelf Number XX(520280.1)
Electronic Access https://doi.org/10.1007/978-3-031-25817-6
Format: Electronic Resources
Availability Online Library~1

Viruses in all Dimensions How an Information Code Controls Viruses, Software and Microorganisms

2024-08-23T12:17:01Z

Author Ball, Rafael. author. SpringerLink (Online service)
Preferred Shelf Number XX(520393.1)
Electronic Access https://doi.org/10.1007/978-3-658-38826-3
Format: Electronic Resources
Availability Online Library~1

An Introduction to Software Design Concepts, Principles, Methodologies, and Techniques

2024-08-23T12:17:01Z

Author Hu, Chenglie. author. SpringerLink (Online service)
Preferred Shelf Number XX(520524.1)
Electronic Access https://doi.org/10.1007/978-3-031-28311-6
Format: Electronic Resources
Availability Online Library~1

Concise Guide to Software Verification From Model Checking to Annotation Checking

2024-08-23T12:17:01Z

Author Huisman, Marieke. author. Wijs, Anton. author. SpringerLink (Online service)
Preferred Shelf Number XX(520525.1)
Electronic Access https://doi.org/10.1007/978-3-031-30167-4
Format: Electronic Resources
Availability Online Library~1

Sensor Systems and Software 13th EAI International Conference, S-Cube 2022, Dalian, China, December 7-9, 2022, Proceedings

2024-08-23T12:17:01Z

Author Karimi , Hamid Reza. editor. Wang, Ning. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520457.1)
Electronic Access https://doi.org/10.1007/978-3-031-34899-0
Format: Electronic Resources
Availability Online Library~1

Advanced Digital System Design using SoC FPGAs An Integrated Hardware/Software Approach

2024-08-23T12:17:01Z

Author Snider, Ross K. author. SpringerLink (Online service)
Preferred Shelf Number XX(520191.1)
Electronic Access https://doi.org/10.1007/978-3-031-15416-4
Format: Electronic Resources
Availability Online Library~1

Agile Processes in Software Engineering and Extreme Programming 24th International Conference on Agile Software Development, XP 2023, Amsterdam, The Netherlands, June 13-16, 2023, Proceedings

2024-08-23T12:17:01Z

Author Stettina, Christoph J. editor. Garbajosa, Juan. editor. Kruchten, Philippe. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520250.1)
Electronic Access https://doi.org/10.1007/978-3-031-33976-9
Format: Electronic Resources
Availability Online Library~1

Handbook of Re-Engineering Software Intensive Systems into Software Product Lines

2024-08-23T12:17:01Z

Author Lopez-Herrejon, Roberto E. editor. Martinez, Jabier. editor. Guez Assunção, Wesley Klewerton. editor. Ziadi, Tewfik. editor. Acher, Mathieu. editor.
Preferred Shelf Number XX(520251.1)
Electronic Access https://doi.org/10.1007/978-3-031-11686-5
Format: Electronic Resources
Availability Online Library~1

Systems, Software and Services Process Improvement 30th European Conference, EuroSPI 2023, Grenoble, France, August 30 - September 1, 2023, Proceedings, Part I

2024-08-23T12:17:01Z

Author Yilmaz, Murat. editor. Clarke, Paul. editor. Riel, Andreas. editor. Messnarz, Richard. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520342.1)
Electronic Access https://doi.org/10.1007/978-3-031-42307-9
Format: Electronic Resources
Availability Online Library~1

Mathematical Foundations of Software Engineering A Practical Guide to Essentials

2024-08-23T12:17:01Z

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

Evaluation of Novel Approaches to Software Engineering 17th International Conference, ENASE 2022, Virtual Event, April 25-26, 2022, Revised Selected Papers

2024-08-23T12:17:01Z

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

Optimising the Software Development Process with Artificial Intelligence

2024-08-23T12:17:01Z

Author Romero, José Raúl. editor. Medina-Bulo, Inmaculada. editor. Chicano, Francisco. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520515.1)
Electronic Access https://doi.org/10.1007/978-981-19-9948-2
Format: Electronic Resources
Availability Online Library~1

Systems, Software and Services Process Improvement 30th European Conference, EuroSPI 2023, Grenoble, France, August 30 - September 1, 2023, Proceedings, Part II

2024-08-23T12:17:01Z

Author Yilmaz, Murat. editor. Clarke, Paul. editor. Riel, Andreas. editor. Messnarz, Richard. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520547.1)
Electronic Access https://doi.org/10.1007/978-3-031-42310-9
Format: Electronic Resources
Availability Online Library~1

Software Testing Automation Testability Evaluation, Refactoring, Test Data Generation and Fault Localization

2024-08-23T12:17:01Z

Author Parsa, Saeed. author. SpringerLink (Online service)
Preferred Shelf Number XX(520377.1)
Electronic Access https://doi.org/10.1007/978-3-031-22057-9
Format: Electronic Resources
Availability Online Library~1

UML-Based Software Product Line Engineering with SMarty

2024-08-23T12:17:01Z

Author OliveiraJr, Edson. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520695.1)
Electronic Access https://doi.org/10.1007/978-3-031-18556-4
Format: Electronic Resources
Availability Online Library~1

Development of Safety-Critical Systems Architecture and Software

2024-08-23T12:17:01Z

Author Karmakar, Gopinath. author. Wakankar, Amol. author. Kabra, Ashutosh. author. Pandya, Paritosh. author. SpringerLink (Online service)
Preferred Shelf Number XX(520696.1)
Electronic Access https://doi.org/10.1007/978-3-031-27901-0
Format: Electronic Resources
Availability Online Library~1

Verified Software. Theories, Tools and Experiments. 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers

2024-08-23T12:17:01Z

Author Lal, Akash. editor. Tonetta, Stefano. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520802.1)
Electronic Access https://doi.org/10.1007/978-3-031-25803-9
Format: Electronic Resources
Availability Online Library~1

Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers

2024-08-23T12:17:01Z

Author Masci, Paolo. editor. Bernardeschi, Cinzia. editor. Graziani, Pierluigi. editor. Koddenbrock, Mario. editor. Palmieri, Maurizio. editor.
Preferred Shelf Number XX(520812.1)
Electronic Access https://doi.org/10.1007/978-3-031-26236-4
Format: Electronic Resources
Availability Online Library~1

Software Quality: Higher Software Quality through Zero Waste Development 15th International Conference, SWQD 2023, Munich, Germany, May 23-25, 2023, Proceedings

2024-08-23T12:17:01Z

Author Mendez, Daniel. editor. Winkler, Dietmar. editor. Kross, Johannes. editor. Biffl, Stefan. editor. Bergsmann, Johannes. editor.
Preferred Shelf Number XX(520766.1)
Electronic Access https://doi.org/10.1007/978-3-031-31488-9
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part II

2024-08-23T12:17:01Z

Author Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520840.1)
Electronic Access https://doi.org/10.1007/978-3-031-30820-8
Format: Electronic Resources
Availability Online Library~1

Fundamental Approaches to Software Engineering 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings

2024-08-23T12:17:01Z

Author Lambers, Leen. editor. Uchitel, Sebastián. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520841.1)
Electronic Access https://doi.org/10.1007/978-3-031-30826-0
Format: Electronic Resources
Availability Online Library~1

Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings

2024-08-23T12:17:01Z

Author Kupferman, Orna. editor. Sobocinski, Pawel. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520842.1)
Electronic Access https://doi.org/10.1007/978-3-031-30829-1
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part I

2024-08-23T12:17:01Z

Author Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520843.1)
Electronic Access https://doi.org/10.1007/978-3-031-30823-9
Format: Electronic Resources
Availability Online Library~1

Model Checking Software 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings

2024-08-23T12:17:01Z

Author Caltais, Georgiana. editor. Schilling, Christian. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number XX(520854.1)
Electronic Access https://doi.org/10.1007/978-3-031-32157-3
Format: Electronic Resources
Availability Online Library~1

Requirements Engineering: Foundation for Software Quality 29th International Working Conference, REFSQ 2023, Barcelona, Spain, April 17-20, 2023, Proceedings

2024-08-23T12:17:01Z

Author Ferrari, Alessio. editor. Penzenstadler, Birgit. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520927.1)
Electronic Access https://doi.org/10.1007/978-3-031-29786-1
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings

2024-08-23T12:17:01Z

Author Wies, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520944.1)
Electronic Access https://doi.org/10.1007/978-3-031-30044-8
Format: Electronic Resources
Availability Online Library~1

Software Architecture. ECSA 2022 Tracks and Workshops Prague, Czech Republic, September 19-23, 2022, Revised Selected Papers

2024-08-23T12:17:01Z

Author Batista, Thais. editor. Bureš, Tomáš. editor. Raibulet, Claudia. editor. Muccini, Henry. editor. SpringerLink (Online service)
Preferred Shelf Number XX(521095.1)
Electronic Access https://doi.org/10.1007/978-3-031-36889-9
Format: Electronic Resources
Availability Online Library~1

Fundamentals of Software Engineering 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers

2024-08-23T12:17:01Z

Author Hojjat, Hossein. editor. Ábrahám, Erika. editor. SpringerLink (Online service)
Preferred Shelf Number XX(521120.1)
Electronic Access https://doi.org/10.1007/978-3-031-42441-0
Format: Electronic Resources
Availability Online Library~1

Software Architecture 17th European Conference, ECSA 2023, Istanbul, Turkey, September 18-22, 2023, Proceedings

2024-08-23T12:17:01Z

Author Tekinerdogan, Bedir. editor. Trubiani, Catia. editor. Tibermacine, Chouki. editor. Scandurra, Patrizia. editor. Cuesta, Carlos E. editor.
Preferred Shelf Number XX(521130.1)
Electronic Access https://doi.org/10.1007/978-3-031-42592-9
Format: Electronic Resources
Availability Online Library~1

Testing Software and Systems 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18-20, 2023, Proceedings

2024-08-23T12:17:01Z

Author Bonfanti, Silvia. editor. Gargantini, Angelo. editor. Salvaneschi, Paolo. editor. SpringerLink (Online service)
Preferred Shelf Number XX(521157.1)
Electronic Access https://doi.org/10.1007/978-3-031-43240-8
Format: Electronic Resources
Availability Online Library~1

Frontiers in Software Engineering Education Second International Workshop, FISEE 2023, Villebrumier, France, January 23-25, 2023, Invited Papers

2024-08-23T12:17:01Z

Author Capozucca, Alfredo. editor. Ebersold, Sophie. editor. Bruel, Jean-Michel. editor. Meyer, Bertrand. editor. SpringerLink (Online service)
Preferred Shelf Number XX(521355.1)
Electronic Access https://doi.org/10.1007/978-3-031-48639-5
Format: Electronic Resources
Availability Online Library~1

A Review on Recent Echocardiographic Software Advancing the Field through the Emerging Science

2024-08-23T12:17:01Z

Author Karvandi, Mersedeh. author. Ranjbar, Saeed. author. SpringerLink (Online service)
Preferred Shelf Number XX(521515.1)
Electronic Access https://doi.org/10.1007/978-3-031-29046-6
Format: Electronic Resources
Availability Online Library~1

Software Technologies 13th International Conference, ICSOFT 2018, Porto, Portugal, July 26-28, 2018, Revised Selected Papers

2024-08-23T12:17:01Z

Author van Sinderen, Marten. editor. Maciaszek, Leszek A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-29157-0
Format: Electronic Resources
Availability Online Library~1

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

2024-08-23T12:17:01Z

Author Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792 Zhang, Lijun. editor. (orcid)0000-0002-3692-2088 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-17465-1
Format: Electronic Resources
Availability Online Library~1

Towards Integrated Web, Mobile, and IoT Technology Selected and Revised Papers from the Web Technologies Track at SAC 2017 and SAC 2018, and the Software Development for Mobile Devices, Wearables, and the IoT Minitrack at HICSS 2018

2024-08-23T12:17:01Z

Author Majchrzak, Tim A. editor. (orcid)0000-0003-2581-9285 Mateos, Cristian. editor. (orcid)0000-0001-5761-1898 Poggi, Francesco. editor. (orcid)0000-0001-6577-5606 Grønli, Tor-Morten. editor. (orcid)0000-0002-2026-4551 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-28430-5
Format: Electronic Resources
Availability Online Library~1

Numerical Software Verification 12th International Workshop, NSV 2019, New York City, NY, USA, July 13–14, 2019, Proceedings

2024-08-23T12:17:01Z

Author Zamani, Majid. editor. Zufferey, Damien. editor. (orcid)0000-0002-3197-8736 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-28423-7
Format: Electronic Resources
Availability Online Library~1

Next Generation and Advanced Network Reliability Analysis Using Markov Models and Software Reliability Engineering

2024-08-23T12:17:01Z

Author Ali, Syed Riffat. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-01647-0
Format: Electronic Resources
Availability Online Library~1

Fault Prediction Modeling for the Prediction of Number of Software Faults

2024-08-23T12:17:01Z

Author Rathore, Santosh Singh. author. Kumar, Sandeep. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-7131-8
Format: Electronic Resources
Availability Online Library~1

Evaluation of Novel Approaches to Software Engineering 13th International Conference, ENASE 2018, Funchal, Madeira, Portugal, March 23–24, 2018, Revised Selected Papers

2024-08-23T12:17:01Z

Author Damiani, Ernesto. editor. Spanoudakis, George. editor. Maciaszek, Leszek A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-22559-9
Format: Electronic Resources
Availability Online Library~1

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

2024-08-23T12:17:01Z

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

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

2024-08-23T12:17:01Z

Author Hähnle, Reiner. editor. (orcid)0000-0001-8000-7613 van der Aalst, Wil. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-16722-6
Format: Electronic Resources
Availability Online Library~1

Computing and Software Science State of the Art and Perspectives

2024-08-23T12:17:01Z

Author Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 Woeginger, Gerhard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91908-9
Format: Electronic Resources
Availability Online Library~1

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

2024-08-23T12:17:01Z

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

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

2024-08-23T12:17:01Z

Author Caires, Luís. editor. (orcid)0000-0002-3215-6734 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-17184-1
Format: Electronic Resources
Availability Online Library~1

Software Challenges to Exascale Computing Second Workshop, SCEC 2018, Delhi, India, December 13-14, 2018, Proceedings

2024-08-23T12:17:01Z

Author Majumdar, Amit. editor. Arora, Ritu. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-7729-7
Format: Electronic Resources
Availability Online Library~1

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

2024-08-23T12:17:01Z

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

Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

2024-08-23T12:17:01Z

Author Bojańczyk, Mikołaj. editor. Simpson, Alex. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-17127-8
Format: Electronic Resources
Availability Online Library~1

Engineering Adaptive Software Systems Communications of NII Shonan Meetings

2024-08-23T12:17:01Z

Author Yu, Yijun. editor. Bandara, Arosha. editor. Honiden, Shinichi. editor. Hu, Zhenjiang. editor. Tamai, Tetsuo. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-2185-6
Format: Electronic Resources
Availability Online Library~1

Agile Processes in Software Engineering and Extreme Programming 20th International Conference, XP 2019, Montréal, QC, Canada, May 21–25, 2019, Proceedings

2024-08-23T12:17:01Z

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

Trends and Applications in Software Engineering Proceedings of the 7th International Conference on Software Process Improvement (CIMPS 2018)

2024-08-23T12:17:01Z

Author Mejia, Jezreel. editor. Muñoz, Mirna. editor. Rocha, Álvaro. editor. Peña, Adriana. editor. Pérez-Cisneros, Marco. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-01171-0
Format: Electronic Resources
Availability Online Library~1

Agile Processes in Software Engineering and Extreme Programming – Workshops XP 2019 Workshops, Montréal, QC, Canada, May 21–25, 2019, Proceedings

2024-08-23T12:17:01Z

Author Hoda, Rashina. editor. (orcid)0000-0001-5147-8096 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-30126-2
Format: Electronic Resources
Availability Online Library~1

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

2024-08-23T12:17:01Z

Author Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792 Zhang, Lijun. editor. (orcid)0000-0002-3692-2088 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-17462-0
Format: Electronic Resources
Availability Online Library~1

Automotive Systems and Software Engineering State of the Art and Future Trends

2024-08-23T12:17:01Z

Author Dajsuren, Yanja. editor. van den Brand, Mark. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-12157-0
Format: Electronic Resources
Availability Online Library~1

Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings

2024-08-23T12:17:01Z

Author Biondi, Fabrizio. editor. Given-Wilson, Thomas. editor. Legay, Axel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-30923-7
Format: Electronic Resources
Availability Online Library~1

From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday

2024-08-23T12:17:01Z

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

Towards Engineering Free/Libre Open Source Software (FLOSS) Ecosystems for Impact and Sustainability Communications of NII Shonan Meetings

2024-08-23T12:17:01Z

Author Fitzgerald, Brian. editor. Mockus, Audris. editor. Zhou, Minghui. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-7099-1
Format: Electronic Resources
Availability Online Library~1

Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings

2024-08-23T12:17:01Z

Author Ölveczky, Peter Csaba. editor. Salaün, Gwen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-30446-1
Format: Electronic Resources
Availability Online Library~1

Business Modeling and Software Design 9th International Symposium, BMSD 2019, Lisbon, Portugal, July 1–3, 2019, Proceedings

2024-08-23T12:17:01Z

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

Advanced Software Technologies for Post-Peta Scale Computing The Japanese Post-Peta CREST Research Project

2024-08-23T12:17:01Z

Author Sato, Mitsuhisa. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-1924-2
Format: Electronic Resources
Availability Online Library~1

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

2024-08-23T12:17:01Z

Author Nielson, Flemming. editor. (orcid)0000-0001-7362-6176 Sands, David. editor. (orcid)0000-0001-6221-0503 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-17138-4
Format: Electronic Resources
Availability Online Library~1

8051 Microcontrollers Fundamental Concepts, Hardware, Software and Applications in Electronics

2024-08-23T12:17:01Z

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

Software Business 10th International Conference, ICSOB 2019, Jyväskylä, Finland, November 18–20, 2019, Proceedings

2024-08-23T12:17:01Z

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

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

2024-08-23T12:17:01Z

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

Neuroimaging, Software, and Communication The Social Code of Source Code

2024-08-23T12:17:01Z

Author Bicudo, Edison. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-7060-1
Format: Electronic Resources
Availability Online Library~1

Information and Software Technologies 25th International Conference, ICIST 2019, Vilnius, Lithuania, October 10–12, 2019, Proceedings

2024-08-23T12:17:01Z

Author Damaševičius, Robertas. editor. Vasiljevienė, Giedrė. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-30275-7
Format: Electronic Resources
Availability Online Library~1

Systems, Software and Services Process Improvement 26th European Conference, EuroSPI 2019, Edinburgh, UK, September 18–20, 2019, Proceedings

2024-08-23T12:17:01Z

Author Walker, Alastair. editor. O'Connor, Rory V. editor. Messnarz, Richard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-28005-5
Format: Electronic Resources
Availability Online Library~1

Applied Computational Intelligence and Mathematical Methods Computational Methods in Systems and Software 2017, vol. 2

2024-08-23T12:17:01Z

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

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

2024-08-23T12:17:01Z

Author Pozdniakov, Sergei N. editor. (orcid)0000-0002-1899-9145 Dagienė, Valentina. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-02750-6
Format: Electronic Resources
Availability Online Library~1

Control Theory Tutorial Basic Concepts Illustrated by Software Examples

2024-08-23T12:17:01Z

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

Software Fault Detection and Correction: Modeling and Applications

2024-08-23T12:17:01Z

Author Peng, Rui. author. Li, Yan-Fu. author. Liu, Yu. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-1162-8
Format: Electronic Resources
Availability Online Library~1

Handbook of Smart Cities Software Services and Cyber Infrastructure

2024-08-23T12:17:01Z

Author Maheswaran, Muthucumaru. editor. Badidi, Elarbi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-97271-8
Format: Electronic Resources
Availability Online Library~1

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

2024-08-23T12:17:01Z

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

Software Business 9th International Conference, ICSOB 2018, Tallinn, Estonia, June 11–12, 2018, Proceedings

2024-08-23T12:17:01Z

Author Wnuk, Krzysztof. editor. Brinkkemper, Sjaak. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-04840-2
Format: Electronic Resources
Availability Online Library~1

Mathematical Software – ICMS 2018 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings

2024-08-23T12:17:01Z

Author Davenport, James H. editor. (orcid)0000-0002-3982-7545 Kauers, Manuel. editor. Labahn, George. editor. Urban, Josef. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-96418-8
Format: Electronic Resources
Availability Online Library~1

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

2024-08-23T12:17:01Z

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

Managing Software Crisis: A Smart Way to Enterprise Agility

2024-08-23T12:17:01Z

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

Complex, Intelligent, and Software Intensive Systems Proceedings of the 11th International Conference on Complex, Intelligent, and Software Intensive Systems (CISIS-2017)

2024-08-23T12:17:01Z

Author Barolli, Leonard. editor. Terzo, Olivier. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-61566-0
Format: Electronic Resources
Availability Online Library~1

Engineering Secure Software and Systems 10th International Symposium, ESSoS 2018, Paris, France, June 26-27, 2018, Proceedings

2024-08-23T12:17:01Z

Author Payer, Mathias. editor. Rashid, Awais. editor. Such, Jose M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94496-8
Format: Electronic Resources
Availability Online Library~1

Designing Usable and Secure Software with IRIS and CAIRIS

2024-08-23T12:17:01Z

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

Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing

2024-08-23T12:17:01Z

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

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

2024-08-23T12:17:01Z

Author Ahram, Tareq. editor. Karwowski, Waldemar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-60011-6
Format: Electronic Resources
Availability Online Library~1

Software Data Engineering for Network eLearning Environments Analytics and Awareness Learning Services

2024-08-23T12:17:01Z

Author Caballé, Santi. editor. Conesa, Jordi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-68318-8
Format: Electronic Resources
Availability Online Library~1

Software Failure Investigation A Near-Miss Analysis Approach

2024-08-23T12:17:01Z

Author Eloff, Jan. author. Bihina Bella, Madeleine. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-61334-5
Format: Electronic Resources
Availability Online Library~1

Trends and Applications in Software Engineering Proceedings of the 6th International Conference on Software Process Improvement (CIMPS 2017)

2024-08-23T12:17:01Z

Author Mejia, Jezreel. editor. Muñoz, Mirna. editor. Rocha, Álvaro. editor. Quiñonez, Yadira. editor. Calvo-Manzano, Jose. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-69341-5
Format: Electronic Resources
Availability Online Library~1

Software Development Measurement Programs Development, Management and Evolution

2024-08-23T12:17:01Z

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

Information and Software Technologies 24th International Conference, ICIST 2018, Vilnius, Lithuania, October 4–6, 2018, Proceedings

2024-08-23T12:17:01Z

Author Damaševičius, Robertas. editor. Vasiljevienė, Giedrė. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99972-2
Format: Electronic Resources
Availability Online Library~1

Systems, Software and Services Process Improvement 25th European Conference, EuroSPI 2018, Bilbao, Spain, September 5-7, 2018, Proceedings

2024-08-23T12:17:01Z

Author Larrucea, Xabier. editor. Santamaria, Izaskun. editor. O'Connor, Rory V. editor. Messnarz, Richard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-97925-0
Format: Electronic Resources
Availability Online Library~1

Proceedings of 5th International Conference in Software Engineering for Defence Applications SEDA 2016

2024-08-23T12:17:01Z

Author Ciancarini, Paolo. editor. Litvinov, Stanislav. editor. Messina, Angelo. editor. Sillitti, Alberto. editor. Succi, Giancarlo. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-70578-1
Format: Electronic Resources
Availability Online Library~1

Current Trends in Web Engineering ICWE 2017 International Workshops, Liquid Multi-Device Software and EnWoT, practi-O-web, NLPIT, SoWeMine, Rome, Italy, June 5-8, 2017, Revised Selected Papers

2024-08-23T12:17:01Z

Author Garrigós, Irene. editor. Wimmer, Manuel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-74433-9
Format: Electronic Resources
Availability Online Library~1

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

2024-08-23T12:17:01Z

Author Russo, Alessandra. editor. (orcid)0000-0002-3318-8711 Schürr, Andy. editor. (orcid)0000-0001-8100-1109 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-89363-1
Format: Electronic Resources
Availability Online Library~1

Software Process Improvement and Capability Determination 18th International Conference, SPICE 2018, Thessaloniki, Greece, October 9–10, 2018, Proceedings

2024-08-23T12:17:01Z

Author Stamelos, Ioannis. editor. O'Connor, Rory V. editor. Rout, Terry. editor. Dorling, Alec. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00623-5
Format: Electronic Resources
Availability Online Library~1

Towards a Synergistic Combination of Research and Practice in Software Engineering

2024-08-23T12:17:01Z

Author Kosiuczenko, Piotr. editor. Madeyski, Lech. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-65208-5
Format: Electronic Resources
Availability Online Library~1