Limit Search Results
Author
SpringerLink (Online service)
(6552)
Kim, Tai-hoon. editor.
(47)
Taniar, David. editor.
(45)
Apduhan, Bernady O. editor.
(44)
Gervasi, Osvaldo. editor.
(44)
Language
Publication Date
-
Subject
Computer science.
(4584)
Software engineering.
(3752)
Computer software.
(2167)
Artificial intelligence.
(1954)
Computer Communication Networks.
(1697)
Material Type
Library
Switch to list view
Switch to thumbnail view
Select an Action
7321 Results Found Subscribe to search results
000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000DEFAULT
Print
1. 
Cover image for Software-Qualität
Software-Qualität
Author 
Hoffmann, Dirk W. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(337190.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35700-8
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Software-Qualität
Software-Qualität
Author 
Hoffmann, Dirk W. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-76323-9
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Software Evolution
Software Evolution
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: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Software Architecture
Software Architecture
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: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Software management
Software management
Author 
Reifer, Donald J.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5989379
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Software paradigms
Software paradigms
Author 
Kaisler, Stephen H. (Stephen Hendrick)
Preferred Shelf Number 
ONLINE
Electronic Access 
Click for information
Books24x7 http://www.books24x7.com/marc.asp?bookid=12366
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=227404
John Wiley http://dx.doi.org/10.1002/0471703567
John Wiley http://dx.doi.org/10.1002/9780471703563
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Software Process Modeling
Software Process Modeling
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: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Software architecture. 2
Software architecture. 2
Author 
Oussalah, Mourad, editor.
Preferred Shelf Number 
ONLINE(342073.1)
Electronic Access 
John Wiley http://dx.doi.org/10.1002/9781118945087
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Software architecture. 1
Software architecture. 1
Author 
Oussalah, Mourad, editor of compilation.
Preferred Shelf Number 
ONLINE(342044.1)
Electronic Access 
John Wiley http://dx.doi.org/10.1002/9781118930960
Books24x7 http://www.books24x7.com/marc.asp?bookid=63727
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Managed Software Evolution
Managed Software Evolution
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: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Financial Software Engineering
Financial Software Engineering
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: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Evolving Software Systems
Evolving Software Systems
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: 
Availability 
Online Library~1
Available:
Copies:
13. 
Cover image for Continuous Software Engineering
Continuous Software Engineering
Author 
Bosch, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11283-1
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Essential Software Architecture
Essential Software Architecture
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: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Collaborative Software Engineering
Collaborative Software Engineering
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: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Manage software testing
Manage software testing
Author 
Farrell-Vinay, Peter.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Agile Software Engineering
Agile Software Engineering
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: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for System Software Reliability
System Software Reliability
Author 
Pham, Hoang. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-84628-295-0
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Software specification methods
Software specification methods
Author 
Habrias, Henri. Frappier, Marc, 1965- Wiley InterScience (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0806/2006009290-b.html
John Wiley http://dx.doi.org/10.1002/9780470612514
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Essential Software Architecture
Essential Software Architecture
Author 
Gorton, Ian. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-28714-0
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Agile Software Construction
Agile Software Construction
Author 
Hunt, John. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-84628-262-4
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Software Product Lines
Software Product Lines
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: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Software design methodology
Software design methodology
Author 
Zhu, Hong, 1961-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780750660754
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Software piracy exposed
Software piracy exposed
Author 
Craig, Paul. Honick, Ron. Burnett, Mark (Mark M.)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9781932266986
Format: 
Availability 
Online Library~1
Available:
Copies:
25. 
Cover image for Constructing Correct Software
Constructing Correct Software
Author 
Cooke, John. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138515
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Software configuration management
Software configuration management
Author 
Keyes, Jessica, 1950-
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Software engineering handbook
Software engineering handbook
Author 
Keyes, Jessica, 1950-
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Software engineering measurement
Software engineering measurement
Author 
Munson, John C.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Software process improvement
Software process improvement
Author 
Hunter, Robin, 1938- Thayer, Richard H.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5989248
IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5989248
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Software requirements engineering
Software requirements engineering
Author 
Thayer, Richard H. Dorfman, M.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5989265
IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5989265
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Industrial Software Technology
Industrial Software Technology
Author 
Mitchell, R., ed.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1049/PBCM010E
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Ensuring software reliability
Ensuring software reliability
Author 
Neufelder, Ann Marie, 1960-
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Software process dynamics
Software process dynamics
Author 
Madachy, Raymond J. (Raymond Joseph)
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5361010
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Global software development handbook
Global software development handbook
Author 
Sangwan, Raghvinder.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Economics-driven software architecture
Economics-driven software architecture
Author 
Mistrík, Ivan. Bahsoon, Rami Khalil. Kazman, Rick. Zhang, Yuanyuan.
Preferred Shelf Number 
ONLINE(355749.1)
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780124104648
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Embedded software the works
Embedded software the works
Author 
Walls, Colin.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect An electronic book accessible through the World Wide Web; click for information
Format: 
Availability 
Online Library~1
Available:
Copies:
37. 
Cover image for Geomorphometry concepts, software, applications
Geomorphometry concepts, software, applications
Author 
Hengl, Tomislav. Reuter, Hannes I.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780123743459
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Embedded software the works
Embedded software the works
Author 
Walls, Colin.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780750679541
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Handbook of Software Engineering
Handbook of Software Engineering
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: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Fundamentals of Software Culture
Fundamentals of Software Culture
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: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Green in Software Engineering
Green in Software Engineering
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: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Validation of Evolving Software
Validation of Evolving Software
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: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Software Product Quality Control
Software Product Quality Control
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: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Implementing Software Defined Radio
Implementing Software Defined Radio
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: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Software maintenance success recipes
Software maintenance success recipes
Author 
Reifer, Donald J.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Experimentation in Software Engineering
Experimentation in Software Engineering
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: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Software Similarity and Classification
Software Similarity and Classification
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: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Software and Network Engineering
Software and Network Engineering
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: 
Availability 
Online Library~1
Available:
Copies:
49. 
Cover image for Architecting secure software systems
Architecting secure software systems
Author 
Talukder, Asoke K. Chaitanya, Manish.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Software for Algebraic Geometry
Software for Algebraic Geometry
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: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Six Sigma software development
Six Sigma software development
Author 
Tayntor, Christine B.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Software engineering quality practices
Software engineering quality practices
Author 
Kandt, Ronald Kirk.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Value-Based Software Engineering
Value-Based Software Engineering
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: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Successful packaged software implementation
Successful packaged software implementation
Author 
Tayntor, Christine B.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Model-Driven Software Development
Model-Driven Software Development
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: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Six Sigma software development
Six Sigma software development
Author 
Tayntor, Christine B.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Agile Software Engineering Skills
Agile Software Engineering Skills
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: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Introduction to Software Quality
Introduction to Software Quality
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: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Ontology-Driven Software Development
Ontology-Driven Software Development
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: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Software and Systems Traceability
Software and Systems Traceability
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: 
Availability 
Online Library~1
Available:
Copies:
61. 
Cover image for Specification of Software Systems
Specification of Software Systems
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: 
Availability 
Online Library~1
Available:
Copies:
62. 
Cover image for Software-Entwicklung für Echtzeitsysteme
Software-Entwicklung für Echtzeitsysteme
Author 
Benra, Juliane T. editor. Halang, Wolfgang A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01596-0
Format: 
Availability 
Online Library~1
Available:
Copies:
63. 
Cover image for Rationale-Based Software Engineering
Rationale-Based Software Engineering
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: 
Availability 
Online Library~1
Available:
Copies:
64. 
Cover image for Categories for Software Engineering
Categories for Software Engineering
Author 
Fiadeiro, José Luiz. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138249
Format: 
Availability 
Online Library~1
Available:
Copies:
65. 
Cover image for Antipatterns managing software organizations and people
Antipatterns managing software organizations and people
Author 
Neill, Colin J. Laplante, Phillip A. DeFranco, Joanna F.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
66. 
Cover image for Enterprise-scale agile software development
Enterprise-scale agile software development
Author 
Schiel, James.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
67. 
Cover image for Building software a practitioner's guide
Building software a practitioner's guide
Author 
Krishnamurthy, Nikhilesh. Saran, Amitabh.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
68. 
Cover image for Software defined radio enabling technologies
Software defined radio enabling technologies
Author 
Tuttlebee, Wally H. W., 1953- John Wiley & Sons.
Preferred Shelf Number 
ONLINE
Electronic Access 
John Wiley http://dx.doi.org/10.1002/0470846003
Format: 
Availability 
Online Library~1
Available:
Copies:
69. 
Cover image for Software and systems architecture in action
Software and systems architecture in action
Author 
Sangwan, Raghvinder S., author.
Preferred Shelf Number 
ONLINE(356974.1)
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
70. 
Cover image for Software essentials : design and construction
Software essentials : design and construction
Author 
Dingle, Adair, author.
Preferred Shelf Number 
ONLINE(356733.1)
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
71. 
Cover image for Software Process Definition and Management
Software Process Definition and Management
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: 
Availability 
Online Library~1
Available:
Copies:
72. 
Cover image for Trustworthy systems through quantitative software engineering
Trustworthy systems through quantitative software engineering
Author 
Bernstein, Lawrence, 1940- Yuhas, C. M. Wiley InterScience (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5988898
Format: 
Availability 
Online Library~1
Available:
Copies:
73. 
Cover image for Open source software implementation and management
Open source software implementation and management
Author 
Kavanagh, Paul.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9781555583200
Format: 
Availability 
Online Library~1
Available:
Copies:
74. 
Cover image for Software defined radio enabling technologies
Software defined radio enabling technologies
Author 
Tuttlebee, Wally H. W., 1953-
Preferred Shelf Number 
ONLINE(318812.1)
Electronic Access 
Click for information
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=146228
ebrary http://site.ebrary.com/id/10301001
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=79535
John Wiley http://dx.doi.org/10.1002/0470846003
Format: 
Availability 
Online Library~1
Available:
Copies:
75. 
Cover image for Readings in hardware/software co-design
Readings in hardware/software co-design
Author 
De Micheli, Giovanni. Ernst, Rolf. Wolf, Wayne.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9781558607026
Format: 
Availability 
Online Library~1
Available:
Copies:
76. 
Cover image for Software Ecosystems Tooling and Analytics
Software Ecosystems Tooling and Analytics
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: 
Availability 
Online Library~1
Available:
Copies:
77. 
Cover image for Concise Guide to Software Testing
Concise Guide to Software Testing
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: 
Availability 
Online Library~1
Available:
Copies:
78. 
Cover image for Introduction to Software Design with Java
Introduction to Software Design with Java
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: 
Availability 
Online Library~1
Available:
Copies:
79. 
Cover image for Human factors in global software engineering
Human factors in global software engineering
Author 
Rehman, Mobashar, 1982- editor. Amin, Aamir, editor. Gilal, Abdul Rehman, editor. Hashmani, Manzoor Ahmed, editor. IGI Global, publisher.
Preferred Shelf Number 
ONLINE
Electronic Access 
Chapter PDFs via platform: http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-5225-9448-2
Format: 
Availability 
Online Library~1
Available:
Copies:
80. 
Cover image for Software Engineering Proceedings of CSI 2015
Software Engineering Proceedings of CSI 2015
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: 
Availability 
Online Library~1
Available:
Copies:
81. 
Cover image for Software Engineering Research, Management and Applications
Software Engineering Research, Management and Applications
Author 
Lee, Roger. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-61388-8
Format: 
Availability 
Online Library~1
Available:
Copies:
82. 
Cover image for Software Languages Syntax, Semantics, and Metaprogramming
Software Languages Syntax, Semantics, and Metaprogramming
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: 
Availability 
Online Library~1
Available:
Copies:
83. 
Cover image for The Essence of Software Engineering
The Essence of Software Engineering
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: 
Availability 
Online Library~1
Available:
Copies:
84. 
Cover image for Certifiable software applications. 3, Downward cycle
Certifiable software applications. 3, Downward cycle
Author 
Boulanger, Jean-Louis, author.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect https://www.sciencedirect.com/science/book/9781785481192
Format: 
Availability 
Online Library~1
Available:
Copies:
85. 
Cover image for Modeling Companion for Software Practitioners
Modeling Companion for Software Practitioners
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: 
Availability 
Online Library~1
Available:
Copies:
86. 
Cover image for Software Fault Prediction A Road Map
Software Fault Prediction A Road Map
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: 
Availability 
Online Library~1
Available:
Copies:
87. 
Cover image for Quality Software Through Reuse and Integration
Quality Software Through Reuse and Integration
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: 
Availability 
Online Library~1
Available:
Copies:
88. 
Cover image for Software defined networks : a comprehensive approach
Software defined networks : a comprehensive approach
Author 
Goransson, Paul, author. Black, Chuck, author. Culver, Timothy, author.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780128045558
Format: 
Availability 
Online Library~1
Available:
Copies:
89. 
Cover image for Certifiable software applications. 2, Support processes
Certifiable software applications. 2, Support processes
Author 
Boulanger, Jean-Louis, author.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect https://www.sciencedirect.com/science/book/9781785481185
Format: 
Availability 
Online Library~1
Available:
Copies:
90. 
Cover image for Certifiable software applications. 1, Main processes
Certifiable software applications. 1, Main processes
Author 
Boulanger, Jean-Louis.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9781785481178
Format: 
Availability 
Online Library~1
Available:
Copies:
91. 
Cover image for Software defined networking : design and deployment
Software defined networking : design and deployment
Author 
Morreale, Patricia, author. Anderson, James, author.
Preferred Shelf Number 
ONLINE(357073.1)
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
92. 
Cover image for Introduction to software for chemical engineers
Introduction to software for chemical engineers
Author 
Mart¿̐ưin, Mariano Mart¿̐ưin, editor of compilation.
Preferred Shelf Number 
ONLINE(356603.1)
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
93. 
Cover image for Software defined networks a comprehensive approach
Software defined networks a comprehensive approach
Author 
Goransson, Paul. Black, Chuck.
Preferred Shelf Number 
ONLINE(355743.1)
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780124166752
Format: 
Availability 
Online Library~1
Available:
Copies:
94. 
Cover image for Recommendation Systems in Software Engineering
Recommendation Systems in Software Engineering
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: 
Availability 
Online Library~1
Available:
Copies:
95. 
Cover image for Relating system quality and software architecture
Relating system quality and software architecture
Author 
Mistrík, Ivan.
Preferred Shelf Number 
ONLINE(355620.1)
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780124170094
Format: 
Availability 
Online Library~1
Available:
Copies:
96. 
Cover image for Lean Software Development in Action
Lean Software Development in Action
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: 
Availability 
Online Library~1
Available:
Copies:
97. 
Cover image for Software Engineering Research, Management and Applications
Software Engineering Research, Management and Applications
Author 
Lee, Roger. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-00948-3
Format: 
Availability 
Online Library~1
Available:
Copies:
98. 
Cover image for Gröbner Bases Statistics and Software Systems
Gröbner Bases Statistics and Software Systems
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: 
Availability 
Online Library~1
Available:
Copies:
99. 
Cover image for Software Engineering: A Hands-On Approach
Software Engineering: A Hands-On Approach
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: 
Availability 
Online Library~1
Available:
Copies:
100. 
Cover image for Projektorganisation und Management im Software Engineering
Projektorganisation und Management im Software Engineering
Author 
Broy, Manfred. author. Kuhrmann, Marco. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(336947.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29290-3
Format: 
Availability 
Online Library~1
Available:
Copies:
101. 
Cover image for Optimierungssysteme Modelle, Verfahren, Software, Anwendungen
Optimierungssysteme Modelle, Verfahren, Software, Anwendungen
Author 
Suhl, Leena. author. Mellouli, Taïeb. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(337333.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38937-5
Format: 
Availability 
Online Library~1
Available:
Copies:
102. 
Cover image for Embedded systems hardware for software engineers
Embedded systems hardware for software engineers
Author 
Lipiansky, Ed.
Preferred Shelf Number 
ONLINE
Electronic Access 
Subscription required
Format: 
Availability 
Online Library~1
Available:
Copies:
103. 
Cover image for Fundamentals of multicore software development
Fundamentals of multicore software development
Author 
Pankratius, Victor. Adl-Tabatabai, Ali-Reza. Tichy, Walter F.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
104. 
Cover image for Mining software specifications methodologies and applications
Mining software specifications methodologies and applications
Author 
Lo, David.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
105. 
Cover image for Software and cognitive radio engineering
Software and cognitive radio engineering
Author 
Palicot, Jacques.
Preferred Shelf Number 
ONLINE
Electronic Access 
John Wiley http://dx.doi.org/10.1002/9781118602218
Format: 
Availability 
Online Library~1
Available:
Copies:
106. 
Cover image for Software Development and Professional Practice
Software Development and Professional Practice
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: 
Availability 
Online Library~1
Available:
Copies:
107. 
Cover image for Model-Based Software Performance Analysis
Model-Based Software Performance Analysis
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: 
Availability 
Online Library~1
Available:
Copies:
108. 
Cover image for Relating Software Requirements and Architectures
Relating Software Requirements and Architectures
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: 
Availability 
Online Library~1
Available:
Copies:
109. 
Cover image for Introduction to Software Process Improvement
Introduction to Software Process Improvement
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: 
Availability 
Online Library~1
Available:
Copies:
110. 
Cover image for Software Reliability Assessment with OR Applications
Software Reliability Assessment with OR Applications
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: 
Availability 
Online Library~1
Available:
Copies:
111. 
Cover image for The Future of Software Engineering
The Future of Software Engineering
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: 
Availability 
Online Library~1
Available:
Copies:
112. 
Cover image for Software-Architektur kompakt – angemessen und zielorientiert
Software-Architektur kompakt – angemessen und zielorientiert
Author 
Starke, Gernot. author. Hruschka, Peter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8274-2835-6
Format: 
Availability 
Online Library~1
Available:
Copies:
113. 
Cover image for Software testing as a service
Software testing as a service
Author 
Ahmed, Ashfaque.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
114. 
Cover image for Software metrics and software metrology
Software metrics and software metrology
Author 
Abran, Alain, 1949-
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6381791
Format: 
Availability 
Online Library~1
Available:
Copies:
115. 
Cover image for Silverlight 4 Business Intelligence Software
Silverlight 4 Business Intelligence Software
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: 
Availability 
Online Library~1
Available:
Copies:
116. 
Cover image for Open Source Software for Digital Forensics
Open Source Software for Digital Forensics
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: 
Availability 
Online Library~1
Available:
Copies:
117. 
Cover image for Applied software product line engineering
Applied software product line engineering
Author 
Kang, Kyo C. Sugumaran, Vijayan, 1960- Park, Sooyong.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
118. 
Cover image for Secure and resilient software development
Secure and resilient software development
Author 
Merkow, Mark S. Raghavan, Lakshmikanth.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
119. 
Cover image for Software performance and scalability a quantitative approach
Software performance and scalability a quantitative approach
Author 
Liu, Henry H. Wiley InterScience (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
Books24x7 http://www.books24x7.com/marc.asp?bookid=33731
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=448916
John Wiley http://dx.doi.org/10.1002/9780470465394
Safari Books Online http://proquest.safaribooksonline.com/?fpi=9780470462539
MyiLibrary, Table of contents http://www.myilibrary.com?id=223744&ref=toc
Format: 
Availability 
Online Library~1
Available:
Copies:
120. 
Cover image for Managing and leading software projects
Managing and leading software projects
Author 
Fairley, R. E. (Richard E.), 1937- IEEE Computer Society.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore An electronic book accessible through the World Wide Web; click for information
Format: 
Availability 
Online Library~1
Available:
Copies:
121. 
Cover image for Systems and software engineering with applications
Systems and software engineering with applications
Author 
Schneidewind, Norman.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5769539
IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5769539
Format: 
Availability 
Online Library~1
Available:
Copies:
122. 
Cover image for Abnahme komplexer Software-Systeme Das Praxishandbuch
Abnahme komplexer Software-Systeme Das Praxishandbuch
Author 
Osterhage, Wolfgang. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68230-1
Format: 
Availability 
Online Library~1
Available:
Copies:
123. 
Cover image for Software-Architektur kompakt – angemessen und zielorientiert
Software-Architektur kompakt – angemessen und zielorientiert
Author 
Starke, Gernot. author. Hruschka, Peter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8274-2205-7
Format: 
Availability 
Online Library~1
Available:
Copies:
124. 
Cover image for Software-Architektur Grundlagen — Konzepte — Praxis
Software-Architektur Grundlagen — Konzepte — Praxis
Author 
Vogel, Oliver. author. Arnold, Ingo. author. Chughtai, Arif. author. Ihler, Edmund. author. Kehrer, Timo. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8274-2267-5
Format: 
Availability 
Online Library~1
Available:
Copies:
125. 
Cover image for Hardware-dependent Software Principles and Practice
Hardware-dependent Software Principles and Practice
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: 
Availability 
Online Library~1
Available:
Copies:
126. 
Cover image for Embedded Software Development with C
Embedded Software Development with C
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: 
Availability 
Online Library~1
Available:
Copies:
127. 
Cover image for Guide to Graphics Software Tools
Guide to Graphics Software Tools
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: 
Availability 
Online Library~1
Available:
Copies:
128. 
Cover image for Artificial Life Models in Software
Artificial Life Models in Software
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: 
Availability 
Online Library~1
Available:
Copies:
129. 
Cover image for Optimierungssysteme Modelle, Verfahren, Software, Anwendungen
Optimierungssysteme Modelle, Verfahren, Software, Anwendungen
Author 
Mellouli, Taieb. author. Suhl, Leena. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01580-9
Format: 
Availability 
Online Library~1
Available:
Copies:
130. 
Cover image for Software Engineering for Self-Adaptive Systems
Software Engineering for Self-Adaptive Systems
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: 
Availability 
Online Library~1
Available:
Copies:
131. 
Cover image for Software solutions for engineers and scientists
Software solutions for engineers and scientists
Author 
Sanchez, Julio, 1938- Canton, Maria P.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
132. 
Cover image for Running an agile software development project
Running an agile software development project
Author 
Holcombe, W. M. L. (William Michael Lloyd), 1944-
Preferred Shelf Number 
ONLINE
Electronic Access 
Click for information
Click here to view book
Image http://images.contentreserve.com/ImageType-100/0128-1/{89677831-D58E-45B6-BB85-1725E2782B73}Img100.jpg
Books24x7 http://www.books24x7.com/marc.asp?bookid=29682
John Wiley http://dx.doi.org/10.1002/9780470385883
Format: 
Availability 
Online Library~1
Available:
Copies:
133. 
Cover image for Software testing and continuous quality improvement
Software testing and continuous quality improvement
Author 
Lewis, William E.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
134. 
Cover image for Guide to Advanced Empirical Software Engineering
Guide to Advanced Empirical Software Engineering
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: 
Availability 
Online Library~1
Available:
Copies:
135. 
Cover image for Networked RFID Systems, Software and Services
Networked RFID Systems, Software and Services
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: 
Availability 
Online Library~1
Available:
Copies:
136. 
Cover image for Elementary Logic For Software Development
Elementary Logic For Software Development
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: 
Availability 
Online Library~1
Available:
Copies:
137. 
Cover image for A Concise Introduction to Software Engineering
A Concise Introduction to Software Engineering
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: 
Availability 
Online Library~1
Available:
Copies:
138. 
Cover image for Software Engineering Research, Management and Applications
Software Engineering Research, Management and Applications
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: 
Availability 
Online Library~1
Available:
Copies:
139. 
Cover image for Software deployment, updating, and patching
Software deployment, updating, and patching
Author 
Stackpole, Bill. Hanrion, Patrick.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
140. 
Cover image for Effective prototyping for software makers
Effective prototyping for software makers
Author 
Arnowitz, Jonathan. Arent, Michael. Berger, Nevin.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780120885688
Format: 
Availability 
Online Library~1
Available:
Copies:
141. 
Cover image for Software Engineering Techniques: Design for Quality
Software Engineering Techniques: Design for Quality
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: 
Availability 
Online Library~1
Available:
Copies:
142. 
Cover image for Software Engineering for Experimental Robotics
Software Engineering for Experimental Robotics
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: 
Availability 
Online Library~1
Available:
Copies:
143. 
Cover image for Software Measurement Establish — Extract — Evaluate — Execute
Software Measurement Establish — Extract — Evaluate — Execute
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: 
Availability 
Online Library~1
Available:
Copies:
144. 
Cover image for SOA? Serviceorientierung in Business und Software
SOA? Serviceorientierung in Business und Software
Author 
Masak, Dieter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-71872-7
Format: 
Availability 
Online Library~1
Available:
Copies:
145. 
Cover image for Software and Patents in Europe
Software and Patents in Europe
Author 
Leith, Philip.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
146. 
Cover image for Effective prototyping for software makers
Effective prototyping for software makers
Author 
Arnowitz, Jonathan. Arent, Michael. Berger, Nevin.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780120885688
Format: 
Availability 
Online Library~1
Available:
Copies:
147. 
Cover image for Process-based software project management
Process-based software project management
Author 
Goodman, F. Alan.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
148. 
Cover image for Avionics elements, software, and functions
Avionics elements, software, and functions
Author 
Spitzer, Cary R.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
149. 
Cover image for The art of software modeling
The art of software modeling
Author 
Lieberman, Benjamin A.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
150. 
Cover image for Defining and deploying software processes
Defining and deploying software processes
Author 
Goodman, F. Alan.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
151. 
Cover image for Software Configuration Management Using Vesta
Software Configuration Management Using Vesta
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: 
Availability 
Online Library~1
Available:
Copies:
152. 
Cover image for Practical Software Factories in .NET
Practical Software Factories in .NET
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: 
Availability 
Online Library~1
Available:
Copies:
153. 
Cover image for Software Engineering 1 Abstraction and Modelling
Software Engineering 1 Abstraction and Modelling
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: 
Availability 
Online Library~1
Available:
Copies:
154. 
Cover image for Interoperability of Enterprise Software and Applications
Interoperability of Enterprise Software and Applications
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: 
Availability 
Online Library~1
Available:
Copies:
155. 
Cover image for Grid Computing: Software Environments and Tools
Grid Computing: Software Environments and Tools
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: 
Availability 
Online Library~1
Available:
Copies:
156. 
Cover image for Mathematical Approaches to Software Quality
Mathematical Approaches to Software Quality
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: 
Availability 
Online Library~1
Available:
Copies:
157. 
Cover image for Optimierungssysteme Modelle, Verfahren, Software, Anwendungen
Optimierungssysteme Modelle, Verfahren, Software, Anwendungen
Author 
Suhl, Leena. author. Mellouli, Taïeb. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-29266-7
Format: 
Availability 
Online Library~1
Available:
Copies:
158. 
Cover image for Rationale Management in Software Engineering
Rationale Management in Software Engineering
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: 
Availability 
Online Library~1
Available:
Copies:
159. 
Cover image for Software-Implemented Hardware Fault Tolerance
Software-Implemented Hardware Fault Tolerance
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: 
Availability 
Online Library~1
Available:
Copies:
160. 
Cover image for Software engineering for Internet applications
Software engineering for Internet applications
Author 
Andersson, Eve Astrid. Greenspun, Philip. Grumet, Andrew.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267210
Format: 
Availability 
Online Library~1
Available:
Copies:
161. 
Cover image for Engineering analysis with ANSYS software
Engineering analysis with ANSYS software
Author 
Nakasone, Y. (Yuji) Stolarski, T. A. Yoshimoto, S. (Shigeka)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780750668750
Format: 
Availability 
Online Library~1
Available:
Copies:
162. 
Cover image for Maximizing ROI on software development
Maximizing ROI on software development
Author 
Sikka, Vijay.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
163. 
Cover image for Software testing and continuous quality improvement
Software testing and continuous quality improvement
Author 
Lewis, William E. Veerapillai, Gunasekaran.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
164. 
Cover image for The Best Software Writing I
The Best Software Writing I
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: 
Availability 
Online Library~1
Available:
Copies:
165. 
Cover image for Artificial Life Models in Software
Artificial Life Models in Software
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: 
Availability 
Online Library~1
Available:
Copies:
166. 
Cover image for Engineering and Managing Software Requirements
Engineering and Managing Software Requirements
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: 
Availability 
Online Library~1
Available:
Copies:
167. 
Cover image for Developing Statistical Software in Fortran 95
Developing Statistical Software in Fortran 95
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: 
Availability 
Online Library~1
Available:
Copies:
168. 
Cover image for An Integrated Approach to Software Engineering
An Integrated Approach to Software Engineering
Author 
Jalote, Pankaj. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-28132-0
Format: 
Availability 
Online Library~1
Available:
Copies:
169. 
Cover image for Component-Based Software Testing with UML
Component-Based Software Testing with UML
Author 
Gross, Hans-Gerhard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138012
Format: 
Availability 
Online Library~1
Available:
Copies:
170. 
Cover image for Strategic software engineering an interdisciplinary approach
Strategic software engineering an interdisciplinary approach
Author 
Deek, Fadi P. McHugh, James A., 1944- Eljabiri, Osama M.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
171. 
Cover image for The ROI from software quality
The ROI from software quality
Author 
El Emam, Khaled.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
172. 
Cover image for Software requirements encapsulation, quality, and reuse
Software requirements encapsulation, quality, and reuse
Author 
Lutowski, Rick.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
173. 
Cover image for Reducing risk with software process improvement
Reducing risk with software process improvement
Author 
Poulin, Louis A.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
174. 
Cover image for Software architecture design patterns in Java
Software architecture design patterns in Java
Author 
Kuchana, Partha.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
175. 
Cover image for Software design for engineers and scientists
Software design for engineers and scientists
Author 
Robinson, John A. (John Allen), 1958-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780750660808
Format: 
Availability 
Online Library~1
Available:
Copies:
176. 
Cover image for The art of software testing
The art of software testing
Author 
Myers, Glenford J., 1946- Badgett, Tom. Thomas, Todd M. Sandler, Corey, 1950-
Preferred Shelf Number 
ONLINE
Electronic Access 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=114566
Format: 
Availability 
Online Library~1
Available:
Copies:
177. 
Cover image for Software engineering for image processing systems
Software engineering for image processing systems
Author 
Laplante, Phillip A.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
178. 
Cover image for Bioinformatics software engineering delivering effective applications
Bioinformatics software engineering delivering effective applications
Author 
Weston, Paul, HGMP. John Wiley & Sons.
Preferred Shelf Number 
ONLINE
Electronic Access 
John Wiley http://dx.doi.org/10.1002/0470030143
Format: 
Availability 
Online Library~1
Available:
Copies:
179. 
Cover image for Software radio technologies selected readings
Software radio technologies selected readings
Author 
Mitola, Joseph. Zvonar, Zoran.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5263799
Format: 
Availability 
Online Library~1
Available:
Copies:
180. 
Cover image for Software reuse a standards-based guide
Software reuse a standards-based guide
Author 
McClure, Carma L.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5989277
IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5989277
Format: 
Availability 
Online Library~1
Available:
Copies:
181. 
Cover image for Software testing and continuous quality improvement
Software testing and continuous quality improvement
Author 
Lewis, William E.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
182. 
Cover image for Software process quality management and control
Software process quality management and control
Author 
Kenett, Ron. Baker, Emanuel R., 1934-
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
183. 
Cover image for Intelligent software for chemical analysis
Intelligent software for chemical analysis
Author 
Buydens, L., 1955- Schoenmakers, Peter J.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444892072
Format: 
Availability 
Online Library~1
Available:
Copies:
184. 
Cover image for Managing Complexity in Software Engineering
Managing Complexity in Software Engineering
Author 
Mitchell, R., ed.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1049/PBCM017E
Format: 
Availability 
Online Library~1
Available:
Copies:
185. 
Cover image for Transactions on Aspect-Oriented Software Development XII
Transactions on Aspect-Oriented Software Development XII
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: 
Availability 
Online Library~1
Available:
Copies:
186. 
Cover image for Transactions on Aspect-Oriented Software Development XI
Transactions on Aspect-Oriented Software Development XI
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: 
Availability 
Online Library~1
Available:
Copies:
187. 
Cover image for The 7 qualities of highly secure software
The 7 qualities of highly secure software
Author 
Paul, Mano.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
188. 
Cover image for Software defined radio the software communications architecture
Software defined radio the software communications architecture
Author 
Bard, John. Kovarik, Vincent J. Wiley InterScience (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=291020
John Wiley http://dx.doi.org/10.1002/9780470865200
Books24x7 http://www.books24x7.com/marc.asp?bookid=22762
HathiTrust Digital Library, Limited view (search only) http://catalog.hathitrust.org/api/volumes/oclc/72871314.html
Format: 
Availability 
Online Library~1
Available:
Copies:
189. 
Cover image for Software metrics : a rigorous and practical approach
Software metrics : a rigorous and practical approach
Author 
Fenton, Norman E., 1956- author. Bieman, James, author.
Preferred Shelf Number 
ONLINE(356796.1)
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
190. 
Cover image for Cultures and organizations software of the mind
Cultures and organizations software of the mind
Author 
Hofstede, Geert H. Hofstede, Gert Jan.
Preferred Shelf Number 
ONLINE
Electronic Access 
Subscription required
Format: 
Availability 
Online Library~1
Available:
Copies:
191. 
Cover image for Software measurement and estimation a practical approach
Software measurement and estimation a practical approach
Author 
Laird, Linda M., 1952- Brennan, M. Carol, 1954- IEEE Computer Society. John Wiley & Sons.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5988896
Format: 
Availability 
Online Library~1
Available:
Copies:
192. 
Cover image for Expressive processing digital fictions, computer games, and software studies
Expressive processing digital fictions, computer games, and software studies
Author 
Wardrip-Fruin, Noah.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267550
Format: 
Availability 
Online Library~1
Available:
Copies:
193. 
Cover image for Leveraging the wisdom of the crowd in software testing
Leveraging the wisdom of the crowd in software testing
Author 
Sharma, Mukesh (Software testing engineer), author. Padmanaban, Rajini, author.
Preferred Shelf Number 
ONLINE(356817.1)
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
194. 
Cover image for Developing Sustainable and Energy-Efficient Software Systems
Developing Sustainable and Energy-Efficient Software Systems
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: 
Availability 
Online Library~1
Available:
Copies:
195. 
Cover image for Software Architecture Research Roadmaps from the Community
Software Architecture Research Roadmaps from the Community
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: 
Availability 
Online Library~1
Available:
Copies:
196. 
Cover image for Requirements Engineering: Foundation for Software Quality 25th International Working Conference, REFSQ 2019, Essen, Germany, March 18–21, 2019, Proceedings
Requirements Engineering: Foundation for Software Quality 25th International Working Conference, REFSQ 2019, Essen, Germany, March 18–21, 2019, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
197. 
Cover image for Formal Methods and Software Engineering 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings
Formal Methods and Software Engineering 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
198. 
Cover image for Fundamentals of Software Engineering 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers
Fundamentals of Software Engineering 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
199. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
200. 
Cover image for Software Technology: Methods and Tools 51st International Conference, TOOLS 2019, Innopolis, Russia, October 15–17, 2019, Proceedings
Software Technology: Methods and Tools 51st International Conference, TOOLS 2019, Innopolis, Russia, October 15–17, 2019, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
201. 
Cover image for Software Engineering for Resilient Systems 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings
Software Engineering for Resilient Systems 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
202. 
Cover image for Human-Centered Software Engineering 7th IFIP WG 13.2 International Working Conference, HCSE 2018, Sophia Antipolis, France, September 3–5, 2018, Revised Selected Papers
Human-Centered Software Engineering 7th IFIP WG 13.2 International Working Conference, HCSE 2018, Sophia Antipolis, France, September 3–5, 2018, Revised Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
203. 
Cover image for Reuse in the Big Data Era 18th International Conference on Software and Systems Reuse, ICSR 2019, Cincinnati, OH, USA, June 26–28, 2019, Proceedings
Reuse in the Big Data Era 18th International Conference on Software and Systems Reuse, ICSR 2019, Cincinnati, OH, USA, June 26–28, 2019, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
204. 
Cover image for Exploring security in software architecture and design
Exploring security in software architecture and design
Author 
Felderer, Michael, editor. Scandariato, Riccardo, editor. IGI Global, publisher.
Preferred Shelf Number 
ONLINE
Electronic Access 
Chapter PDFs via platform: http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-5225-6313-6
Format: 
Availability 
Online Library~1
Available:
Copies:
205. 
Cover image for Product-Focused Software Process Improvement 20th International Conference, PROFES 2019, Barcelona, Spain, November 27–29, 2019, Proceedings
Product-Focused Software Process Improvement 20th International Conference, PROFES 2019, Barcelona, Spain, November 27–29, 2019, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
206. 
Cover image for Search-Based Software Engineering 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 – September 1, 2019, Proceedings
Search-Based Software Engineering 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 – September 1, 2019, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
207. 
Cover image for Engineering Trustworthy Software Systems 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures
Engineering Trustworthy Software Systems 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures
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: 
Availability 
Online Library~1
Available:
Copies:
208. 
Cover image for Software Architecture 13th European Conference, ECSA 2019, Paris, France, September 9–13, 2019, Proceedings
Software Architecture 13th European Conference, ECSA 2019, Paris, France, September 9–13, 2019, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
209. 
Cover image for Testing Software and Systems 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15–17, 2019, Proceedings
Testing Software and Systems 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15–17, 2019, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
210. 
Cover image for Dependable Software Engineering. Theories, Tools, and Applications 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings
Dependable Software Engineering. Theories, Tools, and Applications 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
211. 
Cover image for Verified Software. Theories, Tools, and Experiments 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers
Verified Software. Theories, Tools, and Experiments 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
212. 
Cover image for Software Technologies: Applications and Foundations STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers
Software Technologies: Applications and Foundations STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
213. 
Cover image for Machine Learning for Dynamic Software Analysis: Potentials and Limits International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers
Machine Learning for Dynamic Software Analysis: Potentials and Limits International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers
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: 
Availability 
Online Library~1
Available:
Copies:
214. 
Cover image for Product-Focused Software Process Improvement 19th International Conference, PROFES 2018, Wolfsburg, Germany, November 28–30, 2018, Proceedings
Product-Focused Software Process Improvement 19th International Conference, PROFES 2018, Wolfsburg, Germany, November 28–30, 2018, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
215. 
Cover image for Testing Software and Systems 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings
Testing Software and Systems 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
216. 
Cover image for Software Architecture 12th European Conference on Software Architecture, ECSA 2018, Madrid, Spain, September 24–28, 2018, Proceedings
Software Architecture 12th European Conference on Software Architecture, ECSA 2018, Madrid, Spain, September 24–28, 2018, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
217. 
Cover image for Search-Based Software Engineering 10th International Symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018, Proceedings
Search-Based Software Engineering 10th International Symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
218. 
Cover image for Software Analysis, Testing, and Evolution 8th International Conference, SATE 2018, Shenzhen, Guangdong, China, November 23–24, 2018, Proceedings
Software Analysis, Testing, and Evolution 8th International Conference, SATE 2018, Shenzhen, Guangdong, China, November 23–24, 2018, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
219. 
Cover image for Dependable Software Engineering. Theories, Tools, and Applications 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings
Dependable Software Engineering. Theories, Tools, and Applications 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
220. 
Cover image for SafeScrum® – Agile Development of Safety-Critical Software
SafeScrum® – Agile Development of Safety-Critical Software
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: 
Availability 
Online Library~1
Available:
Copies:
221. 
Cover image for New Opportunities for Software Reuse 17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedings
New Opportunities for Software Reuse 17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
222. 
Cover image for Engineering Trustworthy Software Systems Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures
Engineering Trustworthy Software Systems Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures
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: 
Availability 
Online Library~1
Available:
Copies:
223. 
Cover image for Shortest Path Solvers. From Software to Wetware
Shortest Path Solvers. From Software to Wetware
Author 
Adamatzky, Andrew. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-77510-4
Format: 
Availability 
Online Library~1
Available:
Copies:
224. 
Cover image for Requirements Engineering: Foundation for Software Quality 24th International Working Conference, REFSQ 2018, Utrecht, The Netherlands, March 19-22, 2018, Proceedings
Requirements Engineering: Foundation for Software Quality 24th International Working Conference, REFSQ 2018, Utrecht, The Netherlands, March 19-22, 2018, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
225. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
226. 
Cover image for Formal Methods and Software Engineering 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings
Formal Methods and Software Engineering 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
227. 
Cover image for Formal Aspects of Component Software 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings
Formal Aspects of Component Software 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
228. 
Cover image for Synergies Between Knowledge Engineering and Software Engineering
Synergies Between Knowledge Engineering and Software Engineering
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: 
Availability 
Online Library~1
Available:
Copies:
229. 
Cover image for Reliable Software Technologies – Ada-Europe 2018 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings
Reliable Software Technologies – Ada-Europe 2018 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
230. 
Cover image for Software Technologies: Applications and Foundations STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers
Software Technologies: Applications and Foundations STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
231. 
Cover image for Managing trade-offs in adaptable software architectures
Managing trade-offs in adaptable software architectures
Author 
Mistrík, Ivan, editor. Ali, Nour, editor. Kazman, Rick, editor. Grundy, John, editor. Schmerl, Bradley, editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect https://www.sciencedirect.com/science/book/9780128028551
Format: 
Availability 
Online Library~1
Available:
Copies:
232. 
Cover image for Perspectives on data science for software engineering
Perspectives on data science for software engineering
Author 
Menzies, Tim, editor. Williams, Laurie, 1962- editor. Zimmermann, Thomas, editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780128042069
Format: 
Availability 
Online Library~1
Available:
Copies:
233. 
Cover image for Sharing data and models in software engineering
Sharing data and models in software engineering
Author 
Menzies, Tim, author. Rogers, Mark, designer.
Preferred Shelf Number 
ONLINE(355389.1)
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780124172951
Format: 
Availability 
Online Library~1
Available:
Copies:
234. 
Cover image for Software patterns, knowledge maps, and domain analysis
Software patterns, knowledge maps, and domain analysis
Author 
Fayad, Mohamed, 1950- author.
Preferred Shelf Number 
ONLINE(356979.1)
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
235. 
Cover image for Software, Services, and Systems Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering
Software, Services, and Systems Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering
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: 
Availability 
Online Library~1
Available:
Copies:
236. 
Cover image for Software Architecture 9th European Conference, ECSA 2015, Dubrovnik/Cavtat, Croatia, September 7-11, 2015. Proceedings
Software Architecture 9th European Conference, ECSA 2015, Dubrovnik/Cavtat, Croatia, September 7-11, 2015. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
237. 
Cover image for Software Engineering for Resilient Systems 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings
Software Engineering for Resilient Systems 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
238. 
Cover image for Software Engineering International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures
Software Engineering International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures
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: 
Availability 
Online Library~1
Available:
Copies:
239. 
Cover image for Product-Focused Software Process Improvement 16th International Conference, PROFES 2015, Bolzano, Italy, December 2-4, 2015, Proceedings
Product-Focused Software Process Improvement 16th International Conference, PROFES 2015, Bolzano, Italy, December 2-4, 2015, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
240. 
Cover image for Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings
Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
241. 
Cover image for Hardware and Software: Verification and Testing 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings
Hardware and Software: Verification and Testing 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
242. 
Cover image for Formal Aspects of Component Software 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers
Formal Aspects of Component Software 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
243. 
Cover image for Software Engineering and Formal Methods SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers
Software Engineering and Formal Methods SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
244. 
Cover image for Software Engineering for Collective Autonomic Systems The ASCENS Approach
Software Engineering for Collective Autonomic Systems The ASCENS Approach
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: 
Availability 
Online Library~1
Available:
Copies:
245. 
Cover image for Search-Based Software Engineering 7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015, Proceedings
Search-Based Software Engineering 7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
246. 
Cover image for Formal Methods and Software Engineering 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings
Formal Methods and Software Engineering 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
247. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
248. 
Cover image for Reliable Software Technologies - Ada-Europe 2015 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings
Reliable Software Technologies - Ada-Europe 2015 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
249. 
Cover image for Requirements Engineering: Foundation for Software Quality 21st International Working Conference, REFSQ 2015, Essen, Germany, March 23-26, 2015. Proceedings
Requirements Engineering: Foundation for Software Quality 21st International Working Conference, REFSQ 2015, Essen, Germany, March 23-26, 2015. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
250. 
Cover image for Fundamentals of Software Engineering 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers
Fundamentals of Software Engineering 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
251. 
Cover image for Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers
Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
252. 
Cover image for Dependable Software Engineering: Theories, Tools, and Applications First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings
Dependable Software Engineering: Theories, Tools, and Applications First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
253. 
Cover image for Testing Software and Systems 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings
Testing Software and Systems 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
254. 
Cover image for Knowledge Cartography Software Tools and Mapping Techniques
Knowledge Cartography Software Tools and Mapping Techniques
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: 
Availability 
Online Library~1
Available:
Copies:
255. 
Cover image for Reliable Software Technologies – Ada-Europe 2014 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings
Reliable Software Technologies – Ada-Europe 2014 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
256. 
Cover image for Search-Based Software Engineering 6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014, Proceedings
Search-Based Software Engineering 6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
257. 
Cover image for Software Architecture 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014, Proceedings
Software Architecture 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
258. 
Cover image for Product-Focused Software Process Improvement 15th International Conference, PROFES 2014, Helsinki, Finland, December 10-12, 2014, Proceedings
Product-Focused Software Process Improvement 15th International Conference, PROFES 2014, Helsinki, Finland, December 10-12, 2014, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
259. 
Cover image for Testing Software and Systems 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings
Testing Software and Systems 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
260. 
Cover image for Signal processing with free software practical experiments
Signal processing with free software practical experiments
Author 
Auger, François.
Preferred Shelf Number 
ONLINE(341600.1)
Electronic Access 
Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=1637657
John Wiley http://onlinelibrary.wiley.com/book/10.1002/9781118579619
John Wiley http://dx.doi.org/10.1002/9781118579619
Format: 
Availability 
Online Library~1
Available:
Copies:
261. 
Cover image for Software quality engineering a practioner's approach
Software quality engineering a practioner's approach
Author 
Suryn, Witold.
Preferred Shelf Number 
ONLINE(341841.1)
Electronic Access 
John Wiley http://dx.doi.org/10.1002/9781118830208
Format: 
Availability 
Online Library~1
Available:
Copies:
262. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
263. 
Cover image for Requirements Engineering: Foundation for Software Quality 20th International Working Conference, REFSQ 2014, Essen, Germany, April 7-10, 2014, Proceedings
Requirements Engineering: Foundation for Software Quality 20th International Working Conference, REFSQ 2014, Essen, Germany, April 7-10, 2014, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
264. 
Cover image for Computing handbook : computer science and software engineering
Computing handbook : computer science and software engineering
Author 
Tucker, Allen B., editor. Gonzalez, Teofilo F., editor. Diaz-Herrera, Jorge L., 1950- editor.
Preferred Shelf Number 
ONLINE(356353.1)
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
265. 
Cover image for Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers
Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
266. 
Cover image for Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings
Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
267. 
Cover image for Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings
Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
268. 
Cover image for Software Engineering for Resilient Systems 6th International Workshop, SERENE 2014, Budapest, Hungary, October 15-16, 2014. Proceedings
Software Engineering for Resilient Systems 6th International Workshop, SERENE 2014, Budapest, Hungary, October 15-16, 2014. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
269. 
Cover image for Human-Centered Software Engineering 5th IFIP WG 13.2 International Conference, HCSE 2014, Paderborn, Germany, September 16-18, 2014. Proceedings
Human-Centered Software Engineering 5th IFIP WG 13.2 International Conference, HCSE 2014, Paderborn, Germany, September 16-18, 2014. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
270. 
Cover image for Hardware and Software: Verification and Testing 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings
Hardware and Software: Verification and Testing 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings
Author 
Yahav, Eran. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-13338-6
Format: 
Availability 
Online Library~1
Available:
Copies:
271. 
Cover image for Software Language Engineering 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings
Software Language Engineering 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
272. 
Cover image for Formal Aspects of Component Software 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers
Formal Aspects of Component Software 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
273. 
Cover image for Software Project Management in a Changing World
Software Project Management in a Changing World
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: 
Availability 
Online Library~1
Available:
Copies:
274. 
Cover image for Verified Software: Theorie, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers
Verified Software: Theorie, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
275. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
276. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
277. 
Cover image for A Practical Introduction to Hardware/Software Codesign
A Practical Introduction to Hardware/Software Codesign
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: 
Availability 
Online Library~1
Available:
Copies:
278. 
Cover image for The Software Industry Economic Principles, Strategies, Perspectives
The Software Industry Economic Principles, Strategies, Perspectives
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: 
Availability 
Online Library~1
Available:
Copies:
279. 
Cover image for Software-Entwicklung für dynamische Portfolioallokation und Risikomanagement
Software-Entwicklung für dynamische Portfolioallokation und Risikomanagement
Author 
Impekoven, Christoph. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(337718.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-658-01182-6
Format: 
Availability 
Online Library~1
Available:
Copies:
280. 
Cover image for Transactions on Aspect-Oriented Software Development X
Transactions on Aspect-Oriented Software Development X
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: 
Availability 
Online Library~1
Available:
Copies:
281. 
Cover image for Model-Driven Dependability Assessment of Software Systems
Model-Driven Dependability Assessment of Software Systems
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: 
Availability 
Online Library~1
Available:
Copies:
282. 
Cover image for Data Analysis in Management with SPSS Software
Data Analysis in Management with SPSS Software
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: 
Availability 
Online Library~1
Available:
Copies:
283. 
Cover image for Patterns kompakt Entwurfsmuster für effektive Software-Entwicklung
Patterns kompakt Entwurfsmuster für effektive Software-Entwicklung
Author 
Eilebrecht, Karl. author. Starke, Gernot. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(337114.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34718-4
Format: 
Availability 
Online Library~1
Available:
Copies:
284. 
Cover image for Energieeffiziente Antriebstechnologien Hybridisierung – Downsizing – Software und IT
Energieeffiziente Antriebstechnologien Hybridisierung – Downsizing – Software und IT
Author 
Siebenpfeiffer, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(337594.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-658-00790-4
Format: 
Availability 
Online Library~1
Available:
Copies:
285. 
Cover image for Anpassung von Open-Source-Software in Anwenderunternehmen
Anpassung von Open-Source-Software in Anwenderunternehmen
Author 
Keßler, Steffen. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(337922.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-658-01955-6
Format: 
Availability 
Online Library~1
Available:
Copies:
286. 
Cover image for Software project management a process-driven approach
Software project management a process-driven approach
Author 
Ahmed, Ashfaque.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
287. 
Cover image for Enterprise software architecture and design entities, services, and resources
Enterprise software architecture and design entities, services, and resources
Author 
Duggan, Dominic.
Preferred Shelf Number 
ONLINE
Electronic Access 
John Wiley http://dx.doi.org/10.1002/9781118180518
http://site.ebrary.com/lib/alltitles/Doc?id=10529323
Format: 
Availability 
Online Library~1
Available:
Copies:
288. 
Cover image for QuickBooks 2010 finance software for small business
QuickBooks 2010 finance software for small business
Author 
Barich, Thomas E.
Preferred Shelf Number 
ONLINE
Electronic Access 
Subscription required
Format: 
Availability 
Online Library~1
Available:
Copies:
289. 
Cover image for Improving Software Testing Technical and Organizational Developments
Improving Software Testing Technical and Organizational Developments
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: 
Availability 
Online Library~1
Available:
Copies:
290. 
Cover image for Games, Actions and Social Software Multidisciplinary Aspects
Games, Actions and Social Software Multidisciplinary Aspects
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: 
Availability 
Online Library~1
Available:
Copies:
291. 
Cover image for Transactions on Aspect-Oriented Software Development IX
Transactions on Aspect-Oriented Software Development IX
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: 
Availability 
Online Library~1
Available:
Copies:
292. 
Cover image for Software Engineering Research,Management and Applications 2011
Software Engineering Research,Management and Applications 2011
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: 
Availability 
Online Library~1
Available:
Copies:
293. 
Cover image for Software Engineering Research, Management and Applications 2012
Software Engineering Research, Management and Applications 2012
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: 
Availability 
Online Library~1
Available:
Copies:
294. 
Cover image for Transactions on Aspect-Oriented Software Development VIII
Transactions on Aspect-Oriented Software Development VIII
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: 
Availability 
Online Library~1
Available:
Copies:
295. 
Cover image for Aufwandsschätzungen in der Software- und Systementwicklung kompakt
Aufwandsschätzungen in der Software- und Systementwicklung kompakt
Author 
Hummel, Oliver. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8274-2752-6
Format: 
Availability 
Online Library~1
Available:
Copies:
296. 
Cover image for Software Tools and Algorithms for Biological Systems
Software Tools and Algorithms for Biological Systems
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: 
Availability 
Online Library~1
Available:
Copies:
297. 
Cover image for Clustering-Based Support for Software Architecture Restructuring
Clustering-Based Support for Software Architecture Restructuring
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: 
Availability 
Online Library~1
Available:
Copies:
298. 
Cover image for Scientific Software Design The Object-Oriented Way
Scientific Software Design The Object-Oriented Way
Author 
Rouson, Damian. Xia, Jim. Xu, Xiaofeng.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
299. 
Cover image for Innovation in China the Chinese software industry
Innovation in China the Chinese software industry
Author 
Jui, Shang-Ling.
Preferred Shelf Number 
ONLINE
Electronic Access 
Click here to view
Format: 
Availability 
Online Library~1
Available:
Copies:
300. 
Cover image for Composing Software Components A Software-testing Perspective
Composing Software Components A Software-testing Perspective
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: 
Availability 
Online Library~1
Available:
Copies:
Select an Action