Search Results for Software engineering.

Collaborative Software Engineering

2025-02-07T03:37:39Z

by Mistrík, Ivan. editor.
https://doi.org/10.1007/978-3-642-10294-3
Format: Electronic Resources

Continuous Software Engineering

2025-02-07T03:37:39Z

by Bosch, Jan. editor. (orcid)0000-0003-2854-722X
https://doi.org/10.1007/978-3-319-11283-1
Format: Electronic Resources

Agile Software Engineering

2025-02-07T03:37:39Z

by Hazzan, Orit. author. (orcid)0000-0002-8627-0997
https://doi.org/10.1007/978-1-84800-198-5
Format: Electronic Resources

Fundamentals of software engineering

2025-02-07T03:37:39Z

by Ghezzi, Carlo
Format: Books

Experimentation in Software Engineering

2025-02-07T03:37:39Z

by Wohlin, Claes. author.
https://doi.org/10.1007/978-3-642-29044-2
Format: Electronic Resources

Software and Network Engineering

2025-02-07T03:37:39Z

by Lee, Roger. editor.
https://doi.org/10.1007/978-3-642-28670-4
Format: Electronic Resources

Rationale-Based Software Engineering

2025-02-07T03:37:39Z

by Burge, Janet E. author.
https://doi.org/10.1007/978-3-540-77583-6
Format: Electronic Resources

Value-Based Software Engineering

2025-02-07T03:37:39Z

by Biffl, Stefan. editor. (orcid)0000-0002-3413-7780
https://doi.org/10.1007/3-540-29263-2
Format: Electronic Resources

Categories for Software Engineering

2025-02-07T03:37:39Z

by Fiadeiro, Jose Luiz. author.
https://doi.org/10.1007/b138249
Format: Electronic Resources

Software Engineering for Self-Adaptive Systems

2025-02-07T03:37:39Z

by Cheng, Betty H. C. editor.
https://doi.org/10.1007/978-3-642-02161-9
Format: Electronic Resources

Software Engineering Research, Management and Applications

2025-02-07T03:37:39Z

by Lee, Roger. editor.
https://doi.org/10.1007/978-3-319-00948-3
Format: Electronic Resources

Recommendation Systems in Software Engineering

2025-02-07T03:37:39Z

by Robillard, Martin P. editor.
https://doi.org/10.1007/978-3-642-45135-5
Format: Electronic Resources

Software Engineering A Methodical Approach

2025-02-07T03:37:39Z

by Foster, Elvis. author.
https://doi.org/10.1007/978-1-4842-0847-2
Format: Electronic Resources

Software Engineering: A Hands-On Approach

2025-02-07T03:37:39Z

by Lee, Roger Y. author.
https://doi.org/10.2991/978-94-6239-006-5
Format: Electronic Resources

Projektorganisation und Management im Software Engineering

2025-02-07T03:37:39Z

by Broy, Manfred. author.
https://doi.org/10.1007/978-3-642-29290-3
Format: Electronic Resources

The Future of Software Engineering

2025-02-07T03:37:39Z

by Nanz, Sebastian. editor.
https://doi.org/10.1007/978-3-642-15187-3
Format: Electronic Resources

Guide to Advanced Empirical Software Engineering

2025-02-07T03:37:39Z

by Shull, Forrest. editor.
https://doi.org/10.1007/978-1-84800-044-5
Format: Electronic Resources

Software Engineering Research, Management and Applications

2025-02-07T03:37:39Z

by Lee, Roger. editor.
https://doi.org/10.1007/978-3-540-70561-1
Format: Electronic Resources

A Concise Introduction to Software Engineering

2025-02-07T03:37:39Z

by Jalote, Pankaj. author.
https://doi.org/10.1007/978-1-84800-302-6
Format: Electronic Resources

Software Engineering Techniques: Design for Quality

2025-02-07T03:37:39Z

by Sacha, Krzysztof. editor.
https://doi.org/10.1007/978-0-387-39388-9
Format: Electronic Resources

Software Engineering for Experimental Robotics

2025-02-07T03:37:39Z

by Brugali, Davide. editor.
https://doi.org/10.1007/978-3-540-68951-5
Format: Electronic Resources

Software Engineering 1 Abstraction and Modelling

2025-02-07T03:37:39Z

by Bjørner, Dines. author.
https://doi.org/10.1007/3-540-31288-9
Format: Electronic Resources

Rationale Management in Software Engineering

2025-02-07T03:37:39Z

by Dutoit, Allen H. editor.
https://doi.org/10.1007/978-3-540-30998-7
Format: Electronic Resources

An Integrated Approach to Software Engineering

2025-02-07T03:37:39Z

by Jalote, Pankaj. author.
https://doi.org/10.1007/0-387-28132-0
Format: Electronic Resources

Engineering and Managing Software Requirements

2025-02-07T03:37:39Z

by Aurum, Aybüke. editor.
https://doi.org/10.1007/3-540-28244-0
Format: Electronic Resources

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

2025-02-07T03:37:39Z

by Salinesi, Camille. editor.
https://doi.org/10.1007/978-3-319-05843-6
Format: Electronic Resources

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

2025-02-07T03:37:39Z

by Sauer, Stefan. editor. (orcid)0000-0003-3084-0409
https://doi.org/10.1007/978-3-662-44811-3
Format: Electronic Resources

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

2025-02-07T03:37:39Z

by Le Goues, Claire. editor.
https://doi.org/10.1007/978-3-319-09940-8
Format: Electronic Resources

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

2025-02-07T03:37:39Z

by Giannakopoulou, Dimitra. editor.
https://doi.org/10.1007/978-3-319-10431-7
Format: Electronic Resources

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

2025-02-07T03:37:39Z

by Merz, Stephan. editor.
https://doi.org/10.1007/978-3-319-11737-9
Format: Electronic Resources

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

2025-02-07T03:37:39Z

by Majzik, István. editor.
https://doi.org/10.1007/978-3-319-12241-0
Format: Electronic Resources

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

2025-02-07T03:37:39Z

by Combemale, Benoit. editor.
https://doi.org/10.1007/978-3-319-11245-9
Format: Electronic Resources

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

2025-02-07T03:37:39Z

by Counsell, Steve. editor.
https://doi.org/10.1007/978-3-319-05032-4
Format: Electronic Resources

Agent-Oriented Software Engineering XIII 13th International Workshop, AOSE 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers

2025-02-07T03:37:39Z

by Müller, Jörg. editor.
https://doi.org/10.1007/978-3-642-39866-7
Format: Electronic Resources

Fundamentals of Software Engineering 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers

2025-02-07T03:37:39Z

by Arbab, Farhad. editor.
https://doi.org/10.1007/978-3-642-40213-5
Format: Electronic Resources

Software Engineering and Formal Methods 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings

2025-02-07T03:37:39Z

by Hierons, Robert M. editor.
https://doi.org/10.1007/978-3-642-40561-7
Format: Electronic Resources

Search Based Software Engineering 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings

2025-02-07T03:37:39Z

by Ruhe, Günther. editor.
https://doi.org/10.1007/978-3-642-39742-4
Format: Electronic Resources

Requirements Engineering: Foundation for Software Quality 19th International Working Conference, REFSQ 2013, Essen, Germany, April 8-11, 2013. Proceedings

2025-02-07T03:37:39Z

by Doerr, Joerg. editor.
https://doi.org/10.1007/978-3-642-37422-7
Format: Electronic Resources

Formal Methods and Software Engineering 15th International Conference on Formal EngineeringMethods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings

2025-02-07T03:37:39Z

by Groves, Lindsay. editor.
https://doi.org/10.1007/978-3-642-41202-8
Format: Electronic Resources

Software Engineering International Summer Schools, ISSSE 2009-2011, Salerno, Italy, Revised Tutorial Lectures

2025-02-07T03:37:39Z

by De Lucia, Andrea. editor.
https://doi.org/10.1007/978-3-642-36054-1
Format: Electronic Resources

Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers

2025-02-07T03:37:39Z

by Czarnecki, Krzysztof. editor.
https://doi.org/10.1007/978-3-642-36089-3
Format: Electronic Resources

Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011, Revised and Extended Papers

2025-02-07T03:37:39Z

by Lämmel, Ralf. editor. (orcid)0000-0001-9946-4363
https://doi.org/10.1007/978-3-642-35992-7
Format: Electronic Resources

Software Language Engineering 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings

2025-02-07T03:37:39Z

by Erwig, Martin. editor.
https://doi.org/10.1007/978-3-319-02654-1
Format: Electronic Resources

Multicore Software Engineering, Performance, and Tools International Conference, MUSEPAT 2013, Saint Petersburg, Russia, August 19-20, 2013, Proceedings

2025-02-07T03:37:39Z

by Lourenço, João M. editor.
https://doi.org/10.1007/978-3-642-39955-8
Format: Electronic Resources

Software Engineering for Resilient Systems 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013, Proceedings

2025-02-07T03:37:39Z

by Gorbenko, Anatoliy. editor.
https://doi.org/10.1007/978-3-642-40894-6
Format: Electronic Resources

Software Engineering for Self-Adaptive Systems International Seminar Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers

2025-02-07T03:37:39Z

by de Lemos, Rogério. editor.
https://doi.org/10.1007/978-3-642-35813-5
Format: Electronic Resources

Empirical Software Engineering and Verification International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures

2025-02-07T03:37:39Z

by Meyer, Bertrand. editor. (orcid)0000-0002-5985-7434
https://doi.org/10.1007/978-3-642-25231-0
Format: Electronic Resources

Fundamentals of Software Engineering Fourth International IPM Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers

2025-02-07T03:37:39Z

by Arbab, Farhad. editor.
https://doi.org/10.1007/978-3-642-29320-7
Format: Electronic Resources

Search Based Software Engineering Fourth International Symposium, SSBSE 2012, Riva del Garda, September 28-30, 2012, Proceedings

2025-02-07T03:37:39Z

by Fraser, Gordon. editor.
https://doi.org/10.1007/978-3-642-33119-0
Format: Electronic Resources

Software Service and Application Engineering Essays Dedicated to Bernd Krämer on the Occasion of His 65th Birthday

2025-02-07T03:37:39Z

by Heisel, Maritta. editor.
https://doi.org/10.1007/978-3-642-30835-2
Format: Electronic Resources

Advances in Software Engineering Techniques 4th IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, Krakow, Poland, October 12-14, 2009. Revised Selected Papers

2025-02-07T03:37:39Z

by Szmuc, Tomasz. editor.
https://doi.org/10.1007/978-3-642-28038-2
Format: Electronic Resources

Multicore Software Engineering, Performance and Tools International Conference, MSEPT 2012, Prague, Czech Republic, May 31--June 1, 2012, Proceedings

2025-02-07T03:37:39Z

by Pankratius, Victor. editor.
https://doi.org/10.1007/978-3-642-31202-1
Format: Electronic Resources

Software Language Engineering 4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011, Revised Selected Papers

2025-02-07T03:37:39Z

by Sloane, Anthony. editor.
https://doi.org/10.1007/978-3-642-28830-2
Format: Electronic Resources

Formal Methods for Model-Driven Engineering 12th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures

2025-02-07T03:37:39Z

by Bernardo, Marco. editor.
https://doi.org/10.1007/978-3-642-30982-3
Format: Electronic Resources

Software Engineering for Resilient Systems Fourth International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012, Proceedings

2025-02-07T03:37:39Z

by Avgeriou, Paris. editor.
https://doi.org/10.1007/978-3-642-33176-3
Format: Electronic Resources

Formal Methods and Software Engineering 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, Proceedings

2025-02-07T03:37:39Z

by Aoki, Toshiaki. editor.
https://doi.org/10.1007/978-3-642-34281-3
Format: Electronic Resources

Software Engineering and Formal Methods 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings

2025-02-07T03:37:39Z

by Eleftherakis, George. editor.
https://doi.org/10.1007/978-3-642-33826-7
Format: Electronic Resources

Software Engineering Research, Management and Applications 2011

2025-02-07T03:37:39Z

by Lee, Roger. editor.
https://doi.org/10.1007/978-3-642-23202-2
Format: Electronic Resources

Software Engineering Research, Management and Applications 2012

2025-02-07T03:37:39Z

by Lee, Roger. editor.
https://doi.org/10.1007/978-3-642-30460-6
Format: Electronic Resources

Human-Centered Software Engineering 4th International Conference, HCSE 2012, Toulouse, France, October 29-31, 2012, Proceedings

2025-02-07T03:37:39Z

by Winckler, Marco. editor.
https://doi.org/10.1007/978-3-642-34347-6
Format: Electronic Resources

Requirements Engineering: Foundation for Software Quality 18th International Working Conference, REFSQ 2012, Essen, Germany, March 2012, Proceedings

2025-02-07T03:37:39Z

by Regnell, Björn. editor.
https://doi.org/10.1007/978-3-642-28714-5
Format: Electronic Resources

Agent-Oriented Software Engineering X 10th International Workshop, AOSE 2009, Budapest, Hungary, May 11-12, 2009, Revised Selected Papers

2025-02-07T03:37:39Z

by Gleizes, Marie-Pierre. editor.
https://doi.org/10.1007/978-3-642-19208-1
Format: Electronic Resources

Agent-Oriented Software Engineering XI 11th International Workshop, AOSE XI, Toronto, Canada, May 10-11, 2010, Revised Selected Papers

2025-02-07T03:37:39Z

by Weyns, Danny. editor.
https://doi.org/10.1007/978-3-642-22636-6
Format: Electronic Resources

Generative and Transformational Techniques in Software Engineering III International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009, Revised Papers

2025-02-07T03:37:39Z

by Fernandes, João M. editor.
https://doi.org/10.1007/978-3-642-18023-1
Format: Electronic Resources

Search Based Software Engineering Third International Symposium, SSBSE 2011, Szeged, Hungary, September 10-12, 2011,Proceedings

2025-02-07T03:37:39Z

by Cohen, Myra B. editor.
https://doi.org/10.1007/978-3-642-23716-4
Format: Electronic Resources

Software Engineering for Resilient Systems Third International Workshop, SERENE 2011, Geneva, Switzerland, September 29-30, 2011, Proceedings

2025-02-07T03:37:39Z

by Troubitsyna, Elena A. editor.
https://doi.org/10.1007/978-3-642-24124-6
Format: Electronic Resources

Formal Methods and Software Engineering 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings

2025-02-07T03:37:39Z

by Qin, Shengchao. editor.
https://doi.org/10.1007/978-3-642-24559-6
Format: Electronic Resources

Software Engineering and Formal Methods 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Proceedings

2025-02-07T03:37:39Z

by Barthe, Gilles. editor.
https://doi.org/10.1007/978-3-642-24690-6
Format: Electronic Resources

Software Engineering Techniques Third IFIP TC 2 Central and East-European Conference, CEE-SET 2008, Brno, Czech Republic, October 13-15, 2008, Revised Selected Papers

2025-02-07T03:37:39Z

by Huzar, Zbigniev. editor.
https://doi.org/10.1007/978-3-642-22386-0
Format: Electronic Resources

Rigorous Software Engineering for Service-Oriented Systems Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing

2025-02-07T03:37:39Z

by Wirsing, Martin. editor.
https://doi.org/10.1007/978-3-642-20401-2
Format: Electronic Resources

Software Language Engineering Third International Conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010, Revised Selected Papers

2025-02-07T03:37:39Z

by Malloy, Brian. editor.
https://doi.org/10.1007/978-3-642-19440-5
Format: Electronic Resources

Requirements Engineering: Foundation for Software Quality 17th International Working Conference, REFSQ 2011, Essen, Germany, March 28-30, 2011. Proceedings

2025-02-07T03:37:39Z

by Berry, Daniel M. editor.
https://doi.org/10.1007/978-3-642-19858-8
Format: Electronic Resources

Software Language Engineering Second International Conference, SLE 2009, Denver, CO, USA, October 5-6, 2009 Revised Selected Papers

2025-02-07T03:37:39Z

by van den Brand, Mark. editor.
https://doi.org/10.1007/978-3-642-12107-4
Format: Electronic Resources

Component-Based Software Engineering 13th International Symposium, CBSE 2010, Prague, Czech Republic, June 23-25, 2010, Proceedings

2025-02-07T03:37:39Z

by Grunske, Lars. editor.
https://doi.org/10.1007/978-3-642-13238-4
Format: Electronic Resources

Models in Software Engineering Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009. Reports and Revised Selected Papers

2025-02-07T03:37:39Z

by Ghosh, Sudipto. editor.
https://doi.org/10.1007/978-3-642-12261-3
Format: Electronic Resources

Requirements Engineering: Foundation for Software Quality 16th International Working Conference, REFSQ 2010, Essen, Germany, June 30-July 2, 2010. Proceedings

2025-02-07T03:37:39Z

by Wieringa, Roel. editor.
https://doi.org/10.1007/978-3-642-14192-8
Format: Electronic Resources

Formal Methods and Software Engineering 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings

2025-02-07T03:37:39Z

by Dong, Jin Song. editor.
https://doi.org/10.1007/978-3-642-16901-4
Format: Electronic Resources

Human-Centred Software Engineering Third International Conference, HCSE 2010, Reykjavik, Iceland, October 14-15, 2010. Proceedings

2025-02-07T03:37:39Z

by Bernhaupt, Regina. editor.
https://doi.org/10.1007/978-3-642-16488-0
Format: Electronic Resources

Advanced Lectures on Software Engineering LASER Summer School 2007/2008

2025-02-07T03:37:39Z

by Müller, Peter. editor.
https://doi.org/10.1007/978-3-642-13010-6
Format: Electronic Resources

Fundamentals of Software Engineering Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers

2025-02-07T03:37:39Z

by Arbab, Farhad. editor.
https://doi.org/10.1007/978-3-642-11623-0
Format: Electronic Resources

Software Engineering Research, Management and Applications 2010

2025-02-07T03:37:39Z

by Lee, Roger. editor.
https://doi.org/10.1007/978-3-642-13273-5
Format: Electronic Resources

Innovations in Computing Sciences and Software Engineering

2025-02-07T03:37:39Z

by Sobh, Tarek. editor.
https://doi.org/10.1007/978-90-481-9112-3
Format: Electronic Resources

Usability Engineering kompakt Benutzbare Software gezielt entwickeln

2025-02-07T03:37:39Z

by Richter, Michael. author.
https://doi.org/10.1007/978-3-8274-2329-0
Format: Electronic Resources

Software Engineering Research, Management and Applications 2009

2025-02-07T03:37:39Z

by Lee, Roger. editor.
https://doi.org/10.1007/978-3-642-05441-9
Format: Electronic Resources

Models in Software Engineering Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers

2025-02-07T03:37:39Z

by Chaudron, Michel R. V. editor.
https://doi.org/10.1007/978-3-642-01648-6
Format: Electronic Resources

Formal Foundations of Reuse and Domain Engineering 11th International Conference on Software Reuse, ICSR 2009, Falls Church, VA, USA, September 27-30, 2009. Proceedings

2025-02-07T03:37:39Z

by Edwards, Stephen H. editor.
https://doi.org/10.1007/978-3-642-04211-9
Format: Electronic Resources

Requirements Engineering: Foundation for Software Quality 15th International Working Conference, REFSQ 2009 Amsterdam, The Netherlands, June 8-9, 2009 Proceedings

2025-02-07T03:37:39Z

by Glinz, Martin. editor.
https://doi.org/10.1007/978-3-642-02050-6
Format: Electronic Resources

Software Engineering International Summer Schools, ISSSE 2006-2008, Salerno, Italy, Revised Tutorial Lectures

2025-02-07T03:37:39Z

by de Lucia, Andrea. editor.
https://doi.org/10.1007/978-3-540-95888-8
Format: Electronic Resources

Software Language Engineering First International Conference, SLE 2008 Toulouse, France, September 29-30, 2008, Revised Selected Papers

2025-02-07T03:37:39Z

by Gaševic, Dragan. editor.
https://doi.org/10.1007/978-3-642-00434-6
Format: Electronic Resources

Agent-Oriented Software Engineering IX 9th International Workshop, AOSE 2008, Estoril, Portugal, May 12-13, 2008, Revised Selected Papers

2025-02-07T03:37:39Z

by Luck, Michael. editor.
https://doi.org/10.1007/978-3-642-01338-6
Format: Electronic Resources

Experience and Knowledge Management in Software Engineering

2025-02-07T03:37:39Z

by Schneider, Kurt. author.
https://doi.org/10.1007/978-3-540-95880-2
Format: Electronic Resources

Formal Methods and Software Engineering 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings

2025-02-07T03:37:39Z

by Breitman, Karin. editor.
https://doi.org/10.1007/978-3-642-10373-5
Format: Electronic Resources

Component-Based Software Engineering 12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings

2025-02-07T03:37:39Z

by Lewis, Grace A. editor. (orcid)0000-0001-9128-9863
https://doi.org/10.1007/978-3-642-02414-6
Format: Electronic Resources

Language Engineering and Rigorous Software Development International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised, Selected Papers

2025-02-07T03:37:39Z

by Bove, Ana. editor.
https://doi.org/10.1007/978-3-642-03153-3
Format: Electronic Resources

Formal Methods and Software Engineering 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings

2025-02-07T03:37:39Z

by Liu, Shaoying. editor.
https://doi.org/10.1007/978-3-540-88194-0
Format: Electronic Resources

Engineering Interactive Systems 2008 Second Conference on Human-Centered Software Engineering, HCSE 2008 and 7th International Workshop on Task Models and Diagrams, TAMODIA 2008, Pisa, Italy, September 25-26, 2008, Proceedings

2025-02-07T03:37:39Z

by Paternò, Fabio. editor.
https://doi.org/10.1007/978-3-540-85992-5
Format: Electronic Resources

Agent-Oriented Software Engineering VIII 8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected Papers

2025-02-07T03:37:39Z

by Luck, Michael. editor.
https://doi.org/10.1007/978-3-540-79488-2
Format: Electronic Resources

Models in Software Engineering Workshops and Symposia at MODELS 2007 Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers

2025-02-07T03:37:39Z

by Giese, Holger. author.
https://doi.org/10.1007/978-3-540-69073-3
Format: Electronic Resources

Requirements Engineering: Foundation for Software Quality 14th International Working Conference, REFSQ 2008 Montpellier, France, june 16-17, 2008, Proceedings

2025-02-07T03:37:39Z

by Paech, Barbara. editor.
https://doi.org/10.1007/978-3-540-69062-7
Format: Electronic Resources

Component-Based Software Engineering 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008, Proceedings

2025-02-07T03:37:39Z

by Chaudron, Michel R. V. editor.
https://doi.org/10.1007/978-3-540-87891-9
Format: Electronic Resources

Generative and Transformational Techniques in Software Engineering II International Summer School, GTTSE 2007, Braga, Portugal, July 2-7. 2007, Revised Papers

2025-02-07T03:37:39Z

by Lämmel, Ralf. editor. (orcid)0000-0001-9946-4363
https://doi.org/10.1007/978-3-540-88643-3
Format: Electronic Resources

Advances in Software Engineering Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures

2025-02-07T03:37:39Z

by Börger, Egon. editor.
https://doi.org/10.1007/978-3-540-89762-0
Format: Electronic Resources

Agent-Oriented Software Engineering VII 7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers

2025-02-07T03:37:39Z

by Padgham, Lin. editor.
https://doi.org/10.1007/978-3-540-70945-9
Format: Electronic Resources

Empirical Software Engineering Issues. Critical Assessment and Future Directions International Workshop, Dagstuhl Castle, Germany, June 26-30, 2006, Revised Papers

2025-02-07T03:37:39Z

by Basili, Victor. editor.
https://doi.org/10.1007/978-3-540-71301-2
Format: Electronic Resources

Rapid Integration of Software Engineering Techniques Third International Workshop, RISE 2006, Geneva, Switzerland, September 13-15, 2006. Revised Selected Papers

2025-02-07T03:37:39Z

by Guelfi, Nicolas. editor.
https://doi.org/10.1007/978-3-540-71876-5
Format: Electronic Resources

Component-Based Software Engineering 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007, Proceedings

2025-02-07T03:37:39Z

by Schmidt, Heinz G. editor.
https://doi.org/10.1007/978-3-540-73551-9
Format: Electronic Resources

Software Engineering Approaches for Offshore and Outsourced Development First International Conference, SEAFOOD 2007, Zurich, Switzerland, February 5-6, 2007, Revised Papers

2025-02-07T03:37:39Z

by Meyer, Bertrand. editor.
https://doi.org/10.1007/978-3-540-75542-5
Format: Electronic Resources

Software Engineering for Multi-Agent Systems V Research Issues and Practical Applications

2025-02-07T03:37:39Z

by Choren, Ricardo. editor.
https://doi.org/10.1007/978-3-540-73131-3
Format: Electronic Resources

Agile Processes in Software Engineering and Extreme Programming 8th International Conference, XP 2007, Como, Italy, June 18-22, 2007, Proceedings

2025-02-07T03:37:39Z

by Concas, Giulio. editor.
https://doi.org/10.1007/978-3-540-73101-6
Format: Electronic Resources

Formal Methods and Software Engineering 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007, Proceedings

2025-02-07T03:37:39Z

by Butler, Michael. editor.
https://doi.org/10.1007/978-3-540-76650-6
Format: Electronic Resources

Requirements Engineering: Foundation for Software Quality 13th International Working Conference, REFSQ 2007, Trondheim, Norway, June 11-12, 2007, Proceedings

2025-02-07T03:37:39Z

by Sawyer, Pete. editor.
https://doi.org/10.1007/978-3-540-73031-6
Format: Electronic Resources

Models in Software Engineering Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers

2025-02-07T03:37:39Z

by Kühne, Thomas. editor.
https://doi.org/10.1007/978-3-540-69489-2
Format: Electronic Resources

International Symposium on Fundamentals of Software Engineering International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings

2025-02-07T03:37:39Z

by Arbab, Farhad. editor.
https://doi.org/10.1007/978-3-540-75698-9
Format: Electronic Resources

Software Engineering Research and Applications Second International Conference, SERA 2004, Los Angeles, CA, USA, May 5-7, 2004, Revised Selected Papers

2025-02-07T03:37:39Z

by Dosch, Walter. editor.
https://doi.org/10.1007/11668855
Format: Electronic Resources

Generative and Transformational Techniques in Software Engineering International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised Papers

2025-02-07T03:37:39Z

by Lämmel, Ralf. editor. (orcid)0000-0001-9946-4363
https://doi.org/10.1007/11877028
Format: Electronic Resources

Software Engineering Education in the Modern Age Software Education and Training Sessions at the International Conference, on Software Engineering, ICSE 2005, St. Louis, MO, USA, May 15-21, 2005, Revised Lectures

2025-02-07T03:37:39Z

by Inverardi, Paola. editor.
https://doi.org/10.1007/11949374
Format: Electronic Resources

Refinement Techniques in Software Engineering First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures

2025-02-07T03:37:39Z

by Cavalcanti, Ana. editor.
https://doi.org/10.1007/11889229
Format: Electronic Resources

Extreme Programming and Agile Processes in Software Engineering 7th International Conference, XP 2006, Oulu, Finland, June 17-22, 2006, Proceedings

2025-02-07T03:37:39Z

by Abrahamsson, Pekka. editor.
https://doi.org/10.1007/11774129
Format: Electronic Resources

Rapid Integration of Software Engineering Techniques Second International Workshop, RISE 2005, Heraklion, Crete, Greece, September 8-9, 2005, Revised Selected Papers

2025-02-07T03:37:39Z

by Guelfi, Nicolas. editor.
https://doi.org/10.1007/11751113
Format: Electronic Resources

Component-Based Software Engineering 9th International Symposium, CBSE 2006, Västeras, Sweden, June 29 - July 1, 2006, Proceedings

2025-02-07T03:37:39Z

by Gorton, Ian. editor.
https://doi.org/10.1007/11783565
Format: Electronic Resources

Ontologies for Software Engineering and Software Technology

2025-02-07T03:37:39Z

by Calero, Coral. editor. (orcid)0000-0003-0728-4176
https://doi.org/10.1007/3-540-34518-3
Format: Electronic Resources

Formal Methods and Software Engineering 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings

2025-02-07T03:37:39Z

by Liu, Zhiming. editor.
https://doi.org/10.1007/11901433
Format: Electronic Resources

Software Engineering for Multi-Agent Systems IV Research Issues and Practical Applications

2025-02-07T03:37:39Z

by Garcia, Alessandro. editor.
https://doi.org/10.1007/11738817
Format: Electronic Resources

Agent-Oriented Software Engineering VI 6th International Workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005. Revised and Invited Papers

2025-02-07T03:37:39Z

by Müller, Jörg. editor.
https://doi.org/10.1007/11752660
Format: Electronic Resources

Agent-Oriented Software Engineering V 5th International Workshop, AOSE 2004, New York, NY, USA, July 2004, Revised Selected Papers

2025-02-07T03:37:39Z

by Odell, James. editor.
https://doi.org/10.1007/b105022
Format: Electronic Resources

Formal Methods and Software Engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings

2025-02-07T03:37:39Z

by Lau, Kung-Kiu. editor.
https://doi.org/10.1007/11576280
Format: Electronic Resources

Component-Based Software Engineering 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005

2025-02-07T03:37:39Z

by Heineman, George. editor.
https://doi.org/10.1007/b136248
Format: Electronic Resources

Software Engineering and Middleware 4th International Workshop, SEM 2004, Linz, Austria, September 20-21, 2004 Revised Selected Papers

2025-02-07T03:37:39Z

by Gschwind, Thomas. editor.
https://doi.org/10.1007/b107130
Format: Electronic Resources

Software Engineering for Multi-Agent Systems III Research Issues and Practical Applications

2025-02-07T03:37:39Z

by Choren, Ricardo. editor.
https://doi.org/10.1007/b106347
Format: Electronic Resources

Rapid Integration of Software Engineering Techniques First International Workshop, RISE 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004, Revised Selected Papers

2025-02-07T03:37:39Z

by Guelfi, Nicolas. editor.
https://doi.org/10.1007/b136153
Format: Electronic Resources

Extreme Programming and Agile Processes in Software Engineering 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005, Proceedings

2025-02-07T03:37:39Z

by Baumeister, Hubert. editor.
https://doi.org/10.1007/b137278
Format: Electronic Resources

Fundamental Approaches to Software Engineering 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

2025-02-07T03:37:39Z

by Gnesi, Stefania. editor. (orcid)0000-0002-0139-0421
https://doi.org/10.1007/978-3-642-54804-8
Format: Electronic Resources

Software Quality. Model-Based Approaches for Advanced Software and Systems Engineering 6th International Conference, SWQD 2014, Vienna, Austria, January 14-16, 2014, Proceedings

2025-02-07T03:37:39Z

by Winkler, Dietmar. editor. (orcid)0000-0002-4743-3124
https://doi.org/10.1007/978-3-319-03602-1
Format: Electronic Resources

Agile Processes in Software Engineering and Extreme Programming 15th International Conference, XP 2014, Rome, Italy, May 26-30, 2014, Proceedings

2025-02-07T03:37:39Z

by Cantone, Giovanni. editor.
https://doi.org/10.1007/978-3-319-06862-6
Format: Electronic Resources

Design Science Methodology for Information Systems and Software Engineering

2025-02-07T03:37:39Z

by Wieringa, Roel J. author.
https://doi.org/10.1007/978-3-662-43839-8
Format: Electronic Resources

Agent-Oriented Software Engineering Reflections on Architectures, Methodologies, Languages, and Frameworks

2025-02-07T03:37:39Z

by Shehory, Onn. editor.
https://doi.org/10.1007/978-3-642-54432-3
Format: Electronic Resources

Embedded and Real Time System Development: A Software Engineering Perspective Concepts, Methods and Principles

2025-02-07T03:37:39Z

by Khan, Mohammad Ayoub. editor.
https://doi.org/10.1007/978-3-642-40888-5
Format: Electronic Resources

Knowledge-Based Software Engineering 11th Joint Conference, JCKBSE 2014, Volgograd, Russia, September 17-20, 2014. Proceedings

2025-02-07T03:37:39Z

by Kravets, Alla. editor. (orcid)0000-0003-1675-8652
https://doi.org/10.1007/978-3-319-11854-3
Format: Electronic Resources

Software Engineering Education for a Global E-Service Economy State of the Art, Trends and Developments

2025-02-07T03:37:39Z

by Motta, Gianmario. editor.
https://doi.org/10.1007/978-3-319-04217-6
Format: Electronic Resources

Software Engineering Techniques Applied to Agricultural Systems An Object-Oriented and UML Approach

2025-02-07T03:37:39Z

by Papajorgji, Petraq J. author.
https://doi.org/10.1007/978-1-4899-7463-1
Format: Electronic Resources

Engineering Secure Software and Systems 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014. Proceedings

2025-02-07T03:37:39Z

by Jürjens, Jan. editor.
https://doi.org/10.1007/978-3-319-04897-0
Format: Electronic Resources

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

2025-02-07T03:37:39Z

by Lee, Roger. editor.
https://doi.org/10.1007/978-3-642-32172-6
Format: Electronic Resources

Unifying Theories of Programming and Formal Engineering Methods International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures

2025-02-07T03:37:39Z

by Liu, Zhiming. editor.
https://doi.org/10.1007/978-3-642-39721-9
Format: Electronic Resources

Perspectives on the Future of Software Engineering Essays in Honor of Dieter Rombach

2025-02-07T03:37:39Z

by Münch, Jürgen. editor.
https://doi.org/10.1007/978-3-642-37395-4
Format: Electronic Resources

Evaluation of Novel Approaches to Software Engineering 6th International Conference, ENASE 2011, Beijing, China, June 8-11, 2011. Revised Selected Papers

2025-02-07T03:37:39Z

by Maciaszek, Leszek A. editor.
https://doi.org/10.1007/978-3-642-32341-6
Format: Electronic Resources

Proceedings of the 2012 International Conference on Information Technology and Software Engineering Software Engineering & Digital Media Technology

2025-02-07T03:37:39Z

by Lu, Wei. editor.
https://doi.org/10.1007/978-3-642-34531-9
Format: Electronic Resources

Agile Processes in Software Engineering and Extreme Programming 14th International Conference, XP 2013, Vienna, Austria, June 3-7, 2013, Proceedings

2025-02-07T03:37:39Z

by Baumeister, Hubert. editor.
https://doi.org/10.1007/978-3-642-38314-4
Format: Electronic Resources

Proceedings of the 2012 International Conference on Information Technology and Software Engineering Information Technology & Computing Intelligence

2025-02-07T03:37:39Z

by Lu, Wei. editor.
https://doi.org/10.1007/978-3-642-34522-7
Format: Electronic Resources

Grundkurs Software-Engineering mit UML Der pragmatische Weg zu erfolgreichen Softwareprojekten

2025-02-07T03:37:39Z

by Kleuker, Stephan. author.
https://doi.org/10.1007/978-3-658-00642-6
Format: Electronic Resources

Requirements Engineering and Management for Software Development Projects

2025-02-07T03:37:39Z

by Chemuturi, Murali. author.
https://doi.org/10.1007/978-1-4614-5377-2
Format: Electronic Resources

Automotive Software Engineering Grundlagen, Prozesse, Methoden und Werkzeuge effizient einsetzen

2025-02-07T03:37:39Z

by Schäuffele, Jörg. author.
https://doi.org/10.1007/978-3-8348-2470-7
Format: Electronic Resources

Software Engineering Frameworks for the Cloud Computing Paradigm

2025-02-07T03:37:39Z

by Mahmood, Zaigham. editor.
https://doi.org/10.1007/978-1-4471-5031-2
Format: Electronic Resources

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

2025-02-07T03:37:39Z

by Lee, Roger. editor.
https://doi.org/10.1007/978-3-319-00738-0
Format: Electronic Resources

Evaluation of Novel Approaches to Software Engineering 7th International Conference, ENASE 2012, Wroclaw, Poland, June 29-30, 2012, Revised Selected Papers

2025-02-07T03:37:39Z

by Maciaszek, Leszek A. editor.
https://doi.org/10.1007/978-3-642-45422-6
Format: Electronic Resources

Evaluation of Novel Approaches to Software Engineering 8th International Conference, ENASE 2013, Angers, France, July 4-6, 2013. Revised Selected Papers

2025-02-07T03:37:39Z

by Filipe, Joaquim. editor.
https://doi.org/10.1007/978-3-642-54092-9
Format: Electronic Resources

Proceedings of the 2012 International Conference on Information Technology and Software Engineering Information Technology

2025-02-07T03:37:39Z

by Lu, Wei. editor.
https://doi.org/10.1007/978-3-642-34528-9
Format: Electronic Resources

Fundamental Approaches to Software Engineering 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings

2025-02-07T03:37:39Z

by Cortellessa, Vittorio. editor.
https://doi.org/10.1007/978-3-642-37057-1
Format: Electronic Resources

Engineering Secure Software and Systems 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings

2025-02-07T03:37:39Z

by Jürjens, Jan. editor.
https://doi.org/10.1007/978-3-642-36563-8
Format: Electronic Resources

Computer- Aided Design in Power Engineering Application of Software Tools

2025-02-07T03:37:39Z

by Stojkovic, Zlatan. author.
https://doi.org/10.1007/978-3-642-30206-0
Format: Electronic Resources

Engineering Secure Software and Systems 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012, Proceedings

2025-02-07T03:37:39Z

by Barthe, Gilles. editor.
https://doi.org/10.1007/978-3-642-28166-2
Format: Electronic Resources

Agile Processes in Software Engineering and Extreme Programming 13th International Conference, XP 2012, Malmö, Sweden, May 21-25, 2012, Proceedings

2025-02-07T03:37:39Z

by Wohlin, Claes. editor.
https://doi.org/10.1007/978-3-642-30350-0
Format: Electronic Resources

Software Engineering and Knowledge Engineering: Theory and Practice Selected papers from 2012 International Conference on Software Engineering, Knowledge Engineering and Information Engineering (SEKEIE 2012)

2025-02-07T03:37:39Z

by Zhang, Wei. editor.
https://doi.org/10.1007/978-3-642-29455-6
Format: Electronic Resources

Software Engineering and Knowledge Engineering: Theory and Practice Volume 2

2025-02-07T03:37:39Z

by Wu, Yanwen. editor.
https://doi.org/10.1007/978-3-642-25349-2
Format: Electronic Resources

Managing Humans Biting and Humorous Tales of a Software Engineering Manager

2025-02-07T03:37:39Z

by Lopp, Michael. author.
https://doi.org/10.1007/978-1-4302-4315-1
Format: Electronic Resources

Advances in Multimedia, Software Engineering and Computing Vol.1 Proceedings of the 2011 MESC International Conference on Multimedia, Software Engineering and Computing, November 26-27, Wuhan, China

2025-02-07T03:37:39Z

by Jin, David. editor.
https://doi.org/10.1007/978-3-642-25989-0
Format: Electronic Resources

Software Engineering and Knowledge Engineering: Theory and Practice Volume 1

2025-02-07T03:37:39Z

by Wu, Yanwen. editor.
https://doi.org/10.1007/978-3-642-03718-4
Format: Electronic Resources

Computer Applications for Software Engineering, Disaster Recovery, and Business Continuity International Conferences, ASEA and DRBC 2012, Held in Conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings

2025-02-07T03:37:39Z

by Kim, Tai-hoon. editor.
https://doi.org/10.1007/978-3-642-35267-6
Format: Electronic Resources

Models in Software Engineering Workshops and Symposia at MODELS 2011, Wellington, New Zealand, October 16-21, 2011, Reports and Revised Selected Papers

2025-02-07T03:37:39Z

by Kienzle, Jörg. editor.
https://doi.org/10.1007/978-3-642-29645-1
Format: Electronic Resources

Advances in Multimedia, Software Engineering and Computing Vol.2 Proceedings of the 2011 MESC International Conference on Multimedia, Software Engineering, November 26-27, Wuhan, China

2025-02-07T03:37:39Z

by Jin, David. editor.
https://doi.org/10.1007/978-3-642-25986-9
Format: Electronic Resources

Fundamental Approaches to Software Engineering 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings

2025-02-07T03:37:39Z

by de Lara, Juan. editor. (orcid)0000-0001-9425-6362
https://doi.org/10.1007/978-3-642-28872-2
Format: Electronic Resources

Engineering of Software The Continuing Contributions of Leon J. Osterweil

2025-02-07T03:37:39Z

by Tarr, Peri L. editor.
https://doi.org/10.1007/978-3-642-19823-6
Format: Electronic Resources

Agile Processes in Software Engineering and Extreme Programming 12th International Conference, XP 2011, Madrid, Spain, May 10-13, 2011, Proceedings

2025-02-07T03:37:39Z

by Sillitti, Alberto. editor.
https://doi.org/10.1007/978-3-642-20677-1
Format: Electronic Resources

Software Engineering, Business Continuity, and Education International Conferences, ASEA, DRBC and EL 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings

2025-02-07T03:37:39Z

by Kim, Tai-hoon. editor.
https://doi.org/10.1007/978-3-642-27207-3
Format: Electronic Resources

Fundamental Approaches to Software Engineering 14th International Conference, FASE 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings

2025-02-07T03:37:39Z

by Giannakopoulou, Dimitra. editor.
https://doi.org/10.1007/978-3-642-19811-3
Format: Electronic Resources

Engineering Secure Software and Systems Third International Symposium, ESSoS 2011, Madrid, Spain, February 9-10, 2011, Proceedings

2025-02-07T03:37:39Z

by Erlingsson, Úlfar. editor.
https://doi.org/10.1007/978-3-642-19125-1
Format: Electronic Resources

Models in Software Engineering Workshops and Symposia at MoDELS 2010, Olso, Norway, October 3-8, 2010, Reports and Revised Selected Papers

2025-02-07T03:37:39Z

by Dingel, Juergen. editor.
https://doi.org/10.1007/978-3-642-21210-9
Format: Electronic Resources

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

2025-02-07T03:37:39Z

by Lee, Roger. editor.
https://doi.org/10.1007/978-3-642-22288-7
Format: Electronic Resources

Software Engineering and Computer Systems, Part III Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings, Part III

2025-02-07T03:37:39Z

by Zain, Jasni Mohamad. editor.
https://doi.org/10.1007/978-3-642-22203-0
Format: Electronic Resources

Software Engineering and Computer Systems, Part II Second International Conference ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings, Part II

2025-02-07T03:37:39Z

by Zain, Jasni Mohamad. editor.
https://doi.org/10.1007/978-3-642-22191-0
Format: Electronic Resources

Bond Graph Modelling of Engineering Systems Theory, Applications and Software Support

2025-02-07T03:37:39Z

by Borutzky, Wolfgang. editor.
https://doi.org/10.1007/978-1-4419-9368-7
Format: Electronic Resources

Formal Development of a Network-Centric RTOS Software Engineering for Reliable Embedded Systems

2025-02-07T03:37:39Z

by Verhulst, Eric. author.
https://doi.org/10.1007/978-1-4419-9736-4
Format: Electronic Resources

Evaluation of Novel Approaches to Software Engineering 5th International Conference, ENASE 2010, Athens, Greece, July 22-24, 2010, Revised Selected Papers

2025-02-07T03:37:39Z

by Maciaszek, Leszek A. editor.
https://doi.org/10.1007/978-3-642-23391-3
Format: Electronic Resources

Software Engineering and Computer Systems, Part I Second International Conference, ICSECS 2011, Kuantan, Malaysia, June 27-29, 2011. Proceedings, Part I

2025-02-07T03:37:39Z

by Zain, Jasni Mohamad. editor.
https://doi.org/10.1007/978-3-642-22170-5
Format: Electronic Resources

New Software Engineering Paradigm Based on Complexity Science An Introduction to NSE

2025-02-07T03:37:39Z

by Xiong, Jay. author.
https://doi.org/10.1007/978-1-4419-7326-9
Format: Electronic Resources

Grundkurs Software-Engineering mit UML Der pragmatische Weg zu erfolgreichen Softwareprojekten

2025-02-07T03:37:39Z

by Kleuker, Stephan. author.
https://doi.org/10.1007/978-3-8348-9843-2
Format: Electronic Resources

Design patterns for embedded systems in C : an embedded software engineering toolkit

2025-02-07T03:37:39Z

by Douglass, Bruce Powel.
ScienceDirect https://www.sciencedirect.com/science/book/9781856177078
Format: Electronic Resources

Engineering Secure Software and Systems Second International Symposium, ESSoS 2010, Pisa, Italy, February 3-4, 2010, Proceedings

2025-02-07T03:37:39Z

by MASSACCI, Fabio. editor.
https://doi.org/10.1007/978-3-642-11747-3
Format: Electronic Resources

Fundamental Approaches to Software Engineering 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010, Proceedings

2025-02-07T03:37:39Z

by Rosenblum, David S. editor.
https://doi.org/10.1007/978-3-642-12029-9
Format: Electronic Resources

Advanced Techniques in Computing Sciences and Software Engineering

2025-02-07T03:37:39Z

by Elleithy, Khaled. editor.
https://doi.org/10.1007/978-90-481-3660-5
Format: Electronic Resources

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

2025-02-07T03:37:39Z

by Lee, Roger. editor.
https://doi.org/10.1007/978-3-642-13265-0
Format: Electronic Resources

Testing Techniques in Software Engineering Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures

2025-02-07T03:37:39Z

by Borba, Paulo. editor.
https://doi.org/10.1007/978-3-642-14335-9
Format: Electronic Resources

Reasoning Web. Semantic Technologies for Software Engineering 6th International Summer School 2010, Dresden, Germany, August 30 - September 3, 2010. Tutorial Lectures

2025-02-07T03:37:39Z

by Aßmann, Uwe. editor.
https://doi.org/10.1007/978-3-642-15543-7
Format: Electronic Resources

Ontology, Conceptualization and Epistemology for Information Systems, Software Engineering and Service Science 4th International Workshop, ONTOSE 2010, held at CAiSE 2010, Hammamet, Tunisia, June 7-8, 2010, Revised Selected Papers

2025-02-07T03:37:39Z

by Sicilia, Miguel-Angel. editor.
https://doi.org/10.1007/978-3-642-16496-5
Format: Electronic Resources

Best Practice Software-Engineering Eine praxiserprobte Zusammenstellung von komponentenorientierten Konzepten, Methoden und Werkzeugen

2025-02-07T03:37:39Z

by Schatten, Alexander. author.
https://doi.org/10.1007/978-3-8274-2487-7
Format: Electronic Resources

Automotive Software Engineering Grundlagen, Prozesse, Methoden und Werkzeuge effizient einsetzen

2025-02-07T03:37:39Z

by Schäuffele, Jörg. author.
https://doi.org/10.1007/978-3-8348-9368-0
Format: Electronic Resources

Agile Processes in Software Engineering and Extreme Programming 11th International Conference, XP 2010, Trondheim, Norway, June 1-4, 2010, Proceedings

2025-02-07T03:37:39Z

by Sillitti, Alberto. editor.
https://doi.org/10.1007/978-3-642-13054-0
Format: Electronic Resources

Evaluation of Novel Approaches to Software Engineering 3rd and 4th International Conference, ENASE 2008 / 2009, Funchal, Madeira, Portugal, May 4-7, 2008 / Milan, Italy, May 9-10, 2009, Revised Selected Papers

2025-02-07T03:37:39Z

by Maciaszek, Leszek. editor.
https://doi.org/10.1007/978-3-642-14819-4
Format: Electronic Resources

Software Engineering Approaches for Offshore and Outsourced Development 4th International Conference, SEAFOOD 2010, St. Petersburg, Russia, June 17-18, 2010, Proceedings

2025-02-07T03:37:39Z

by Nordio, Martin. editor.
https://doi.org/10.1007/978-3-642-13784-6
Format: Electronic Resources

Advances in Software Engineering International Conference, ASEA 2010, Held as Part of the Future Generation Information Technology Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010. Proceedings

2025-02-07T03:37:39Z

by Kim, Haeng-kon. editor.
https://doi.org/10.1007/978-3-642-17578-7
Format: Electronic Resources

Advances in Software Engineering International Conference on Advanced Software Engineering and Its Applications, ASEA 2009 Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009. Proceedings

2025-02-07T03:37:39Z

by Ślęzak, Dominik. editor.
https://doi.org/10.1007/978-3-642-10619-4
Format: Electronic Resources

Software Engineering Approaches for Offshore and Outsourced Development Second International Conference, SEAFOOD 2008, Zurich, Switzerland, July 2-3, 2008, Revised Papers

2025-02-07T03:37:39Z

by Berkling, Kay. editor.
https://doi.org/10.1007/978-3-642-01856-5
Format: Electronic Resources

Human-Centered Software Engineering Software Engineering Models, Patterns and Architectures for HCI

2025-02-07T03:37:39Z

by Seffah, Ahmed. editor.
https://doi.org/10.1007/978-1-84800-907-3
Format: Electronic Resources

Agile Processes in Software Engineering and Extreme Programming 10th International Conference, XP 2009, Pula, Sardinia, Italy, May 25-29, 2009, Proceedings

2025-02-07T03:37:39Z

by Abrahamsson, Pekka. editor.
https://doi.org/10.1007/978-3-642-01853-4
Format: Electronic Resources

Advances in Software Engineering International Conference, ASEA 2008, and Its Special Sessions, Sanya, Hainan Island, China, December 13-15, 2008. Revised Selected Papers

2025-02-07T03:37:39Z

by Lee, Changhoon. editor.
https://doi.org/10.1007/978-3-642-10242-4
Format: Electronic Resources

Grundkurs Software-Engineering mit UML Der pragmatische Weg zu erfolgreichen Softwareprojekten

2025-02-07T03:37:39Z

by Kleuker, Stephan. author.
https://doi.org/10.1007/978-3-8348-9235-5
Format: Electronic Resources

Software Engineering Approaches for Offshore and Outsourced Development Third International Conference, SEAFOOD 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings

2025-02-07T03:37:39Z

by Gotel, Olly. editor.
https://doi.org/10.1007/978-3-642-02987-5
Format: Electronic Resources

Fundamental Approaches to Software Engineering 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings

2025-02-07T03:37:39Z

by Chechik, Marsha. editor.
https://doi.org/10.1007/978-3-642-00593-0
Format: Electronic Resources

Adoption-centric Usability Engineering Systematic Deployment, Assessment and Improvement of Usability Methods in Software Engineering

2025-02-07T03:37:39Z

by Seffah, Ahmed. author.
https://doi.org/10.1007/978-1-84800-019-3
Format: Electronic Resources

Engineering Secure Software and Systems First International Symposium, ESSoS 2009 Leuven, Belgium, February 4-6, 2009, Proceedings

2025-02-07T03:37:39Z

by MASSACCI, Fabio. editor.
https://doi.org/10.1007/978-3-642-00199-4
Format: Electronic Resources

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

2025-02-07T03:37:39Z

by Lee, Roger. editor.
https://doi.org/10.1007/978-3-642-01203-7
Format: Electronic Resources

Transactions on Aspect-Oriented Software Development VI Special Issue on Aspects and Model-Driven Engineering

2025-02-07T03:37:39Z

by Katz, Shmuel. editor.
https://doi.org/10.1007/978-3-642-03764-1
Format: Electronic Resources

Agile Processes in Software Engineering and Extreme Programming 9th International Conference, XP 2008, Limerick, Ireland, June 10-14, 2008, Proceedings

2025-02-07T03:37:39Z

by Abrahamsson, Pekka. editor.
https://doi.org/10.1007/978-3-540-68255-4
Format: Electronic Resources

Balancing Agility and Formalism in Software Engineering Second IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2007, Poznan, Poland, October 10-12, 2007, Revised Selected Papers

2025-02-07T03:37:39Z

by Meyer, Bertrand. editor.
https://doi.org/10.1007/978-3-540-85279-7
Format: Electronic Resources

Fundamental Approaches to Software Engineering 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceedings

2025-02-07T03:37:39Z

by Fiadeiro, José. editor.
https://doi.org/10.1007/978-3-540-78743-3
Format: Electronic Resources

Innovations and Advanced Techniques in Systems, Computing Sciences and Software Engineering

2025-02-07T03:37:39Z

by Elleithy, Khaled. editor.
https://doi.org/10.1007/978-1-4020-8735-6
Format: Electronic Resources

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

2025-02-07T03:37:39Z

by Lee, Roger. editor.
https://doi.org/10.1007/978-3-540-70560-4
Format: Electronic Resources

The Making of Information Systems Software Engineering and Management in a Globalized World

2025-02-07T03:37:39Z

by Kurbel, Karl E. author.
https://doi.org/10.1007/978-3-540-79261-1
Format: Electronic Resources

Fundamental Approaches to Software Engineering 10th International Conference, FASE 2007 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceedings

2025-02-07T03:37:39Z

by Dwyer, Matthew B. editor.
https://doi.org/10.1007/978-3-540-71289-3
Format: Electronic Resources

Advances and Innovations in Systems, Computing Sciences and Software Engineering

2025-02-07T03:37:39Z

by Elleithy, Khaled. editor.
https://doi.org/10.1007/978-1-4020-6264-3
Format: Electronic Resources

Modelling in Mechanical Engineering and Mechatronics Towards Autonomous Intelligent Software Models

2025-02-07T03:37:39Z

by Avgoustinov, Nikolay. author.
https://doi.org/10.1007/978-1-84628-909-5
Format: Electronic Resources

Software Product Lines in Action The Best Industrial Practice in Product Line Engineering

2025-02-07T03:37:39Z

by van der Linden, Frank J. author.
https://doi.org/10.1007/978-3-540-71437-8
Format: Electronic Resources

Managing Humans Biting and Humorous Tales of a Software Engineering Manager

2025-02-07T03:37:39Z

by Lopp, Michael. author.
https://doi.org/10.1007/978-1-4302-0271-4
Format: Electronic Resources

Software Verification and Validation An Engineering and Scientific Approach

2025-02-07T03:37:39Z

by Fisher, Marcus S. author.
https://doi.org/10.1007/978-0-387-47939-2
Format: Electronic Resources

Fundamental Approaches to Software Engineering 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006, Proceedings

2025-02-07T03:37:39Z

by Baresi, Luciano. editor.
https://doi.org/10.1007/11693017
Format: Electronic Resources

Software Engineering Techniques Applied to Agricultural Systems An Object-Oriented and UML Approach

2025-02-07T03:37:39Z

by Papajorgji, Petraq. author.
https://doi.org/10.1007/0-387-28171-1
Format: Electronic Resources

Advances in Systems, Computing Sciences and Software Engineering Proceedings of SCSS 2005

2025-02-07T03:37:39Z

by Sobh, Tarek. editor.
https://doi.org/10.1007/1-4020-5263-4
Format: Electronic Resources

Software Engineering 3 Domains, Requirements, and Software Design

2025-02-07T03:37:39Z

by Bjørner, Dines. author.
https://doi.org/10.1007/3-540-33653-2
Format: Electronic Resources

Software Engineering 2 Specification of Systems and Languages

2025-02-07T03:37:39Z

by Bjørner, Dines. author.
https://doi.org/10.1007/978-3-540-33193-3
Format: Electronic Resources

MDA® Effektives Software-Engineering mit UML2® und Eclipse™

2025-02-07T03:37:39Z

by Gruhn, Volker. author.
https://doi.org/10.1007/3-540-28746-9
Format: Electronic Resources

Software Product Lines Research Issues in Engineering and Management

2025-02-07T03:37:39Z

by Käkölä, Timo. editor.
https://doi.org/10.1007/978-3-540-33253-4
Format: Electronic Resources

Advanced Software Engineering: Expanding the Frontiers of Software Technology IFIP 19th World Computer Congress, First International Workshop on Advanced Software Engineering, August 25, 2006, Santiago, Chile

2025-02-07T03:37:39Z

by Ochoa, Sergio F. editor.
https://doi.org/10.1007/978-0-387-34831-5
Format: Electronic Resources

Automotive Software Engineering Grundlagen, Prozesse, Methoden und Werkzeuge effizient einsetzen

2025-02-07T03:37:39Z

by Schäuffele, Jörg. author.
https://doi.org/10.1007/978-3-8348-9085-6
Format: Electronic Resources

Software Product Line Engineering Foundations, Principles and Techniques

2025-02-07T03:37:39Z

by Pohl, Klaus. author.
https://doi.org/10.1007/3-540-28901-1
Format: Electronic Resources

Human-Centered Software Engineering - Integrating Usability in the Software Development Lifecycle

2025-02-07T03:37:39Z

by Seffah, Ahmed. editor.
https://doi.org/10.1007/1-4020-4113-6
Format: Electronic Resources

Fundamental Approaches to Software Engineering 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings

2025-02-07T03:37:39Z

by Cerioli, Maura. editor.
https://doi.org/10.1007/b107062
Format: Electronic Resources

Engineering Theories of Software Intensive Systems Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems, Marktoberdorf, Germany, from 3 to 15 August 2004

2025-02-07T03:37:39Z

by Broy, Manfred. editor.
https://doi.org/10.1007/1-4020-3532-2
Format: Electronic Resources

Clustering-Based Support for Software Architecture Restructuring

2025-02-07T03:37:39Z

by Streekmann, Niels. author.
https://doi.org/10.1007/978-3-8348-8675-0
Format: Electronic Resources

Rekonfiguration komponentenbasierter Softwaresysteme zur Laufzeit

2025-02-07T03:37:39Z

by Matevska, Jasminka. author.
https://doi.org/10.1007/978-3-8348-9780-0
Format: Electronic Resources

Domain-Specific Model-Driven Testing

2025-02-07T03:37:39Z

by Bärisch, Stefan. author.
https://doi.org/10.1007/978-3-8348-9624-7
Format: Electronic Resources

Structural Failure Models for Fault-Tolerant Distributed Computing

2025-02-07T03:37:39Z

by Warns, Timo. author.
https://doi.org/10.1007/978-3-8348-9707-7
Format: Electronic Resources

Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings

2025-02-07T03:37:39Z

by Cassez, Franck. editor.
https://doi.org/10.1007/978-3-319-11936-6
Format: Electronic Resources

Service-Oriented and Cloud Computing Third European Conference, ESOCC 2014, Manchester, UK, September 2-4, 2014, Proceedings

2025-02-07T03:37:39Z

by Villari, Massimo. editor.
https://doi.org/10.1007/978-3-662-44879-3
Format: Electronic Resources

Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings

2025-02-07T03:37:39Z

by Bonakdarpour, Borzoo. editor.
https://doi.org/10.1007/978-3-319-11164-3
Format: Electronic Resources

OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014, Proceedings

2025-02-07T03:37:39Z

by Poole, Stephen. editor. (orcid)0000-0002-4531-7453
https://doi.org/10.1007/978-3-319-05215-1
Format: Electronic Resources

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

2025-02-07T03:37:39Z

by Bernardo, Marco. editor.
https://doi.org/10.1007/978-3-319-07317-0
Format: Electronic Resources

Foundations of Health Information Engineering and Systems Third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013. Revised Selected Papers

2025-02-07T03:37:39Z

by Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917
https://doi.org/10.1007/978-3-642-53956-5
Format: Electronic Resources

Modelling Foundations and Applications 10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21-25, 2014. Proceedings

2025-02-07T03:37:39Z

by Cabot, Jordi. editor.
https://doi.org/10.1007/978-3-319-09195-2
Format: Electronic Resources

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

2025-02-07T03:37:39Z

by Merayo, Mercedes G. editor.
https://doi.org/10.1007/978-3-662-44857-1
Format: Electronic Resources

Concurrent Objects and Beyond Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday

2025-02-07T03:37:39Z

by Agha, Gul. editor.
https://doi.org/10.1007/978-3-662-44471-9
Format: Electronic Resources

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

2025-02-07T03:37:39Z

by Yahav, Eran. editor.
https://doi.org/10.1007/978-3-319-13338-6
Format: Electronic Resources

NASA Formal Methods 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings

2025-02-07T03:37:39Z

by Badger, Julia M. editor.
https://doi.org/10.1007/978-3-319-06200-6
Format: Electronic Resources

FM 2014: Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedings

2025-02-07T03:37:39Z

by Jones, Cliff. editor.
https://doi.org/10.1007/978-3-319-06410-9
Format: Electronic Resources

Models@run.time Foundations, Applications, and Roadmaps

2025-02-07T03:37:39Z

by Bencomo, Nelly. editor.
https://doi.org/10.1007/978-3-319-08915-7
Format: Electronic Resources

Theory and Practice of Model Transformations 7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014, Proceedings

2025-02-07T03:37:39Z

by Di Ruscio, Davide. editor.
https://doi.org/10.1007/978-3-319-08789-4
Format: Electronic Resources

Tests and Proofs 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, Proceedings

2025-02-07T03:37:39Z

by Seidl, Martina. editor.
https://doi.org/10.1007/978-3-319-09099-3
Format: Electronic Resources

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

2025-02-07T03:37:39Z

by Avgeriou, Paris. editor.
https://doi.org/10.1007/978-3-319-09970-5
Format: Electronic Resources

Integrated Formal Methods 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings

2025-02-07T03:37:39Z

by Albert, Elvira. editor.
https://doi.org/10.1007/978-3-319-10181-1
Format: Electronic Resources

System Analysis and Modeling: Models and Reusability 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings

2025-02-07T03:37:39Z

by Amyot, Daniel. editor.
https://doi.org/10.1007/978-3-319-11743-0
Format: Electronic Resources

Mathematical and Engineering Methods in Computer Science 9th International Doctoral Workshop, MEMICS 2014, Telč, Czech Republic, October 17--19, 2014, Revised Selected Papers

2025-02-07T03:37:39Z

by Hliněný, Petr. editor.
https://doi.org/10.1007/978-3-319-14896-0
Format: Electronic Resources

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

2025-02-07T03:37:39Z

by Giannakopoulou, Dimitra. editor.
https://doi.org/10.1007/978-3-319-12154-3
Format: Electronic Resources

Analytical and Stochastic Modelling Techniques and Applications 21st International Conference, ASMTA 2014, Budapest, Hungary, June 30 -- July 2, 2014,Proceedings

2025-02-07T03:37:39Z

by Sericola, Bruno. editor.
https://doi.org/10.1007/978-3-319-08219-6
Format: Electronic Resources

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

2025-02-07T03:37:39Z

by Fiadeiro, José Luiz. editor.
https://doi.org/10.1007/978-3-319-07602-7
Format: Electronic Resources

Service-Oriented Computing--ICSOC 2013 Workshops CCSA, CSB, PASCEB, SWESE, WESOA, and PhD Symposium, Berlin, Germany, December 2-5, 2013. Revised Selected Papers

2025-02-07T03:37:39Z

by Lomuscio, Alessio. editor.
https://doi.org/10.1007/978-3-319-06859-6
Format: Electronic Resources

Measurement, Modeling and Evaluation of Computing Systems and Dependability and Fault Tolerance 17th International GI/ITG Conference, MMB & DFT 2014, Bamberg, Germany, March 17-19, 2014, Proceedings

2025-02-07T03:37:39Z

by Fischbach, Kai. editor.
https://doi.org/10.1007/978-3-319-05359-2
Format: Electronic Resources

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

2025-02-07T03:37:39Z

by Schaefer, Ina. editor.
https://doi.org/10.1007/978-3-319-14130-5
Format: Electronic Resources

Risk Assessment and Risk-Driven Testing First International Workshop, RISK 2013, Held in Conjunction with ICTSS 2013, Istanbul, Turkey, November 12, 2013. Revised Selected Papers

2025-02-07T03:37:39Z

by Bauer, Thomas. editor.
https://doi.org/10.1007/978-3-319-07076-6
Format: Electronic Resources

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

2025-02-07T03:37:39Z

by Jedlitschka, Andreas. editor.
https://doi.org/10.1007/978-3-319-13835-0
Format: Electronic Resources

Service-Oriented Computing 12th International Conference, ICSOC 2014, Paris, France, November 3-6, 2014, Proceedings

2025-02-07T03:37:39Z

by Franch, Xavier. editor.
https://doi.org/10.1007/978-3-662-45391-9
Format: Electronic Resources

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

2025-02-07T03:37:39Z

by Cohen, Ernie. editor.
https://doi.org/10.1007/978-3-642-54108-7
Format: Electronic Resources

Coordination Models and Languages 16th IFIP WG 6.1 International Conference, COORDINATION 2014, Held as Part of the 9th International Federated Conferences on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings

2025-02-07T03:37:39Z

by Kühn, Eva. editor.
https://doi.org/10.1007/978-3-662-43376-8
Format: Electronic Resources

Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

2025-02-07T03:37:39Z

by Beckert, Bernhard. editor. (orcid)0000-0002-9672-3291
https://doi.org/10.1007/978-3-642-35887-6
Format: Electronic Resources

Analytical and Stochastic Modeling Techniques and Applications 20th International Conference, ASMTA 2013, Ghent, Belgium, July 8-10, 2013, Proceedings

2025-02-07T03:37:39Z

by Dudin, Alexander. editor. (orcid)0000-0003-2881-0227
https://doi.org/10.1007/978-3-642-39408-9
Format: Electronic Resources

Tests and Proofs 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings

2025-02-07T03:37:39Z

by Veanes, Margus. editor.
https://doi.org/10.1007/978-3-642-38916-0
Format: Electronic Resources

Formal Methods for Industrial Critical Systems 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013, Proceedings

2025-02-07T03:37:39Z

by Dierkes, Michael. editor.
https://doi.org/10.1007/978-3-642-41010-9
Format: Electronic Resources

Testing Software and Systems 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings

2025-02-07T03:37:39Z

by Yenigün, Hüsnü. editor. (orcid)0000-0003-0947-8150
https://doi.org/10.1007/978-3-642-41707-8
Format: Electronic Resources

Software Architecture 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013, Proceedings

2025-02-07T03:37:39Z

by Drira, Khalil. editor.
https://doi.org/10.1007/978-3-642-39031-9
Format: Electronic Resources

Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings

2025-02-07T03:37:39Z

by Felleisen, Matthias. editor.
https://doi.org/10.1007/978-3-642-37036-6
Format: Electronic Resources

Formal Methods for Dynamical Systems 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures

2025-02-07T03:37:39Z

by Bernardo, Marco. editor.
https://doi.org/10.1007/978-3-642-38874-3
Format: Electronic Resources

Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers

2025-02-07T03:37:39Z

by Qadeer, Shaz. editor.
https://doi.org/10.1007/978-3-642-35632-2
Format: Electronic Resources

Service-Oriented Computing 11th International Conference, ICSOC 2013, Berlin, Germany, December 2-5, 2013. Proceedings

2025-02-07T03:37:39Z

by Basu, Samik. editor.
https://doi.org/10.1007/978-3-642-45005-1
Format: Electronic Resources

Formal Aspects of Component Software 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers

2025-02-07T03:37:39Z

by Pasareanu, Corina S. editor.
https://doi.org/10.1007/978-3-642-35861-6
Format: Electronic Resources

End-User Development 4th International Symposium, IS-EUD 2013, Copenhagen, Denmark, June 10-13, 2013, Proceedings

2025-02-07T03:37:39Z

by Dittrich, Yvonne. editor.
https://doi.org/10.1007/978-3-642-38706-7
Format: Electronic Resources

Coordination Models and Languages 15th International Conference, COORDINATION 2013, Held as a Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Firenze, Italy, June 3-5, 2013, Proceedings

2025-02-07T03:37:39Z

by De Nicola, Rocco. editor.
https://doi.org/10.1007/978-3-642-38493-6
Format: Electronic Resources

Foundations of Health Information Engineering and Systems Second International Symposium, FHIES 2012, Paris, France, August 27-28, 2012. Revised Selected Papers

2025-02-07T03:37:39Z

by Weber, Jens. editor. (orcid)0000-0003-4591-6728
https://doi.org/10.1007/978-3-642-39088-3
Format: Electronic Resources

Model and Data Engineering Third International Conference, MEDI 2013, Amantea, Italy, September 25-27, 2013 Proceedings

2025-02-07T03:37:39Z

by Cuzzocrea, Alfredo. editor.
https://doi.org/10.1007/978-3-642-41366-7
Format: Electronic Resources

Software Composition 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings

2025-02-07T03:37:39Z

by Binder, Walter. editor.
https://doi.org/10.1007/978-3-642-39614-4
Format: Electronic Resources

User-Level Workflow Design A Bioinformatics Perspective

2025-02-07T03:37:39Z

by Lamprecht, Anna-Lena. author.
https://doi.org/10.1007/978-3-642-45389-2
Format: Electronic Resources

Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings

2025-02-07T03:37:39Z

by Legay, Axel. editor.
https://doi.org/10.1007/978-3-642-40787-1
Format: Electronic Resources

Safe and Secure Software Reuse 13th International Conference on Software Reuse, ICSR 2013,Pisa, Italy, June 18-20, 2013, Proceedings

2025-02-07T03:37:39Z

by Favaro, John. editor.
https://doi.org/10.1007/978-3-642-38977-1
Format: Electronic Resources

NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings

2025-02-07T03:37:39Z

by Brat, Guillaume. editor.
https://doi.org/10.1007/978-3-642-38088-4
Format: Electronic Resources

Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers

2025-02-07T03:37:39Z

by Biere, Armin. editor. (orcid)0000-0001-7170-9242
https://doi.org/10.1007/978-3-642-39611-3
Format: Electronic Resources

Formal Methods for Components and Objects 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures

2025-02-07T03:37:39Z

by Giachino, Elena. editor.
https://doi.org/10.1007/978-3-642-40615-7
Format: Electronic Resources

Modelling Foundations and Applications 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013, Proceedings

2025-02-07T03:37:39Z

by Van Gorp, Pieter. editor.
https://doi.org/10.1007/978-3-642-39013-5
Format: Electronic Resources

Theory and Practice of Model Transformations 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013, Proceedings

2025-02-07T03:37:39Z

by Duddy, Keith. editor.
https://doi.org/10.1007/978-3-642-38883-5
Format: Electronic Resources

Mathematical and Engineering Methods in Computer Science 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers

2025-02-07T03:37:39Z

by Kucera, Antonin. editor.
https://doi.org/10.1007/978-3-642-36046-6
Format: Electronic Resources

Integrated Formal Methods 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings

2025-02-07T03:37:39Z

by Johnsen, Einar Broch. editor.
https://doi.org/10.1007/978-3-642-38613-8
Format: Electronic Resources

Service-Oriented Computing - ICSOC Workshops 2012 ICSOC 2012, International Workshops ASC, DISA, PAASC, SCEB, SeMaPS, and WESOA, and Satellite Events, Shanghai, China, November 12-15, 2012, Revised Selected Papers

2025-02-07T03:37:39Z

by Ghose, Aditya. editor. (orcid)0000-0002-6175-8726
https://doi.org/10.1007/978-3-642-37804-1
Format: Electronic Resources

Automated Technology for Verification and Analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings

2025-02-07T03:37:39Z

by Van Hung, Dang. editor.
https://doi.org/10.1007/978-3-319-02444-8
Format: Electronic Resources

Product-Focused Software Process Improvement 14th International Conference, PROFES 2013, Paphos, Cyprus, June 12-14, 2013, Proceedings

2025-02-07T03:37:39Z

by Heidrich, Jens. editor.
https://doi.org/10.1007/978-3-642-39259-7
Format: Electronic Resources

Model-Based Methodologies for Pervasive and Embedded Software 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012, Revised Papers

2025-02-07T03:37:39Z

by Machado, Ricardo J. editor.
https://doi.org/10.1007/978-3-642-38209-3
Format: Electronic Resources