Computer software - Congresses. - Development

Model-Driven Architecture - Foundations and ApplicationsSecond European Conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13, 2006, Proceedings / by: (書目-電子資源)

FM 2006: Formal Methods14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings / by: (書目-電子資源)

Advanced Topics in Exception Handling Techniques by: (書目-電子資源)

Model Driven Engineering Languages and Systems (vol. # 4199)9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings / by: (書目-電子資源)

Software Process Improvment13th European Conference, EuroSpi 2006, Joensuu, Finland, October 11-13, 2006, Proceedings / by: (書目-電子資源)

FM 2008: Formal Methods15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings / by: (書目-電子資源)

Requirements Engineering: Foundation for Software Quality14th International Working Conference, REFSQ 2008 Montpellier, France, June 16-17, 2008 Proceedings / by: (書目-電子資源)

Models in Software EngineeringWorkshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers / by: (書目-電子資源)

Model Driven Architecture Foundations and Applications4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings / by: (書目-電子資源)

Product-Focused Software Process Improvement9th International Conference, PROFES 2008 Monte Porzio Catone, Italy, June 23-25, 2008 Proceedings / by: (書目-電子資源)

Recent Trends in Algebraic Development Techniques17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers / by: (書目-電子資源)

Tools and Algorithms for the Construction and Analysis of Systems11th international conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings / by: (書目-電子資源)

Component-Based Software Engineering8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005 / by: (書目-電子資源)

Product Focused Software Process Improvement6th International Conference, PROFES 2005, Oulu, Finland, June 13-18, 2005, Proceedings / by: (書目-電子資源)

FM 2005: Formal MethodsInternational Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings / by: (書目-電子資源)

Software Product Lines :9th International Conference, SPLC 2005, Rennes, France, September 26-29, 2005, Proceedings by: (書目-電子資源)

Software Process Improvement :12th European Conference, EuroSPI 2005, Budapest, Hungary, November 9-11, 2005, Proceedings by: (書目-電子資源)

Balancing Agility and Formalism in Software EngineeringSecond IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2007, Poznan, Poland, October 10-12, 2007, Revised Selected Papers / by: (書目-電子資源)

New trends in software methodologies, tools and techniques by: (書目-電子資源)

Model Driven Engineering Languages and Systems11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings / by: (書目-語言資料,印刷品)

Software Process Improvement15th European Conference, EuroSPI 2008, Dublin, Ireland, September 3-5, 2008. Proceedings / by: (書目-語言資料,印刷品)

Advances in software engineeringLipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007 : revised tutorial lectures / by: (書目-語言資料,印刷品)

Innovations for requirements analysis :from stakeholders' needs to formal designs14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007, revised selected papers / by: (書目-語言資料,印刷品)

Software engineering research, management and application by: (書目-語言資料,印刷品)

Embedded softwarethird international conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003 : proceedings / by: (書目-電子資源)

FME 2003formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings / by: (書目-電子資源)

Recent trends in algebraic development techniques16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002 : revised selected papers / by: (書目-電子資源)

Software process technology9th European Workshop, EWSPT 2003, Helsinki, Finland, September 1-2, 2003 : proceedings / by: (書目-電子資源)

Tools and algorithms for the construction and analysis of systems9th International Conference, TACAS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings / by: (書目-電子資源)

UML 2003-the unified modeling languagemodeling languages and applications : 6th international conference, San Francisco, CA, USA, October 20-24, 2003 : proceedings / by: (書目-電子資源)

Process improvement in practicea handbook for IT companies / by: (書目-電子資源)

UML 2004the unified modeling language : modeling languages and applications ; 7th international conference, Lisbon, Portugal, October 11-15, 2004 : proceedings / by: (書目-電子資源)

Component-based software engineering7th international symposium, CBSE 2004, Edinburgh, UK, May 24-25, 2004 : proceedings / by: (書目-電子資源)

Product focused software process improvement5th international conference, PROFES 2004, Kansai Science City, Japan, April 5-8, 2004 : proceedings / by: (書目-電子資源)

Software engineering research and applicationsfirst international conference, SERA 2003, San Francisco, CA, USA, June 25-27, 2003 : selected revised papers / by: (書目-電子資源)

Software process improvement11th European conference, EuroSPI 2004, Trondheim, Norway, November 10-12, 2004 : proceedings / by: (書目-電子資源)

Software product linesThird International Conference, SPLC 2004, Boston, MA, USA, August 30-September 2, 2004 : proceedings / by: (書目-電子資源)

Software product-family engineering5th international workshop, PFE 2003, Siena, Italy, November 4-6, 2003 : revised papers / by: (書目-電子資源)

Tools and algorithms for the construction and analysis of systems10th international conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings / by: (書目-電子資源)

Models in software engineeringworkshops and symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008 ; reports and revised selected papers / by: (書目-電子資源)

Trustworthy software development processesInternational Conference on Software Process, ICSP 2009 Vancouver, Canada, May 16-17, 2009 ; Proceedings / by: (書目-電子資源)

Software engineering approaches for offshore and outsourced developmentSecond international conference, SEAFOOD 2008, Zurich, Switzerland, July 2-3, 2008. Revised papers / by: (書目-電子資源)

Requirements engineering, foundation for software quality15th International Working Conference, REFSQ 2009, Amsterdam, the Netherlands, June 8-9, 2009 : proceedings / by: (書目-電子資源)

Theory and practice of model transformationsSecond International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009 : proceedings / by: (書目-電子資源)

Model driven architecture - foundations and applications5th European conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009 ; proceedings / by: (書目-電子資源)

Knowledge-based software engineeringproceedings of the Seventh Joint Conference on Knowledge-based Software Engineering / by: (書目-電子資源)

Knowledge-based software engineeringproceedings of the eighth joint conference on knowledge-based software engineering / by: (書目-電子資源)

Proof technology and computation by: (書目-電子資源)

Language engineering and rigorous software developmentInternational LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008 : revised tutorial lectures / by: (書目-電子資源)

Software process improvement16th European conference, EuroSPI 2009, Alcala (Madrid), Spain, September 2-4, 2009 : proceedings / by: (書目-電子資源)

Recent trends in algebraic development techniques19th international workshop, WADT 2008, Pisa, Italy, June 13-16, 2008 : revised selected papers / by: (書目-電子資源)

Model Driven Engineering Languages and Systems12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009. Proceedings / by: (書目-電子資源)

Software and data technologiesThird International Conference, ICSOFT 2008, Porto, Portugal, July 22-24, 2008 : revised selected papers / by: (書目-電子資源)

FM 2009formal methods : Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009 : proceedings / by: (書目-電子資源)

Middleware 2009ACM/IFIP/USENIX, 10th International Middleware Conference, Urbana, IL, USA, November 30 - December 4, 2009 : proceedings / by: (書目-電子資源)

Advances in Software EngineeringInternational 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 / by: (書目-電子資源)

Software engineering research, management and applications 2009 by: (書目-電子資源)

TAPSOFT '97theory and practice of software development : 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997 : proceedings / by: (書目-電子資源)

Tools and algorithms for the construction and analysis of systemsThird International Workshop, TACAS '97, Enschede, The Netherlands, April 2-4, 1997 : proceedings / by: (書目-電子資源)

Development and evolution of software architectures for product familiessecond international ESPRIT ARES workshop, Las Palmas de Gran Canaria, Spain, February 26-27, 1998 : proceedings / by: (書目-電子資源)

Recent trends in algebraic development techniques12th international workshop, WADT'97, Tarquinia, Italy, June 3-7, 1997 : selected papers / by: (書目-電子資源)

Software process technology6th European workshop, EWSPT '98, Weybridge, UK, September 16-18, 1998 : proceedings / by: (書目-電子資源)

Tools and algorithms for the construction and analysis of systems4th international conference, TACAS '98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998 : proceedings / by: (書目-電子資源)

Recent trends in algebraic development techniques13th international workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998 : selected papers / by: (書目-電子資源)

Tools and algorithms for the construction and analysis of systems5th international conference, TACAS '99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, The Netherlands, March 22-28, 1999 : proceedings / by: (書目-電子資源)

UML '99the unified modeling language : beyond the standard : Second International Conference Fort Collins, CO, October 28-30, 1999 : proceedings / by: (書目-電子資源)

Recent trends in algebraic development techniques14th international workshop, WADT'99, Chateau de Bonas, September 15-18, 1999 : selected papers / by: (書目-電子資源)

Software architectures for product familiesInternational Workshop IW-SAPF-3, Las Palmas de Gran Canaria, Spain, March 15-17, 2000 ; proceedings / by: (書目-電子資源)

Software process technology7th European workshop, EWSPT 2000, Kaprun, Austria, February 21-25, 2000 : proceedings / by: (書目-電子資源)

Tools and algorithms for the construction and analysis of systems6th international conference, TACAS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings / by: (書目-電子資源)

UML 2000 - the unified modeling languageadvancing the standard : third international conference, York, UK, October 2-6, 2000 : proceedings / by: (書目-電子資源)

Embedded softwarefirst international workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001 : proceedings / by: (書目-電子資源)

FME 2001formal methods for increasing software productivity : International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001 : proceedings / by: (書目-電子資源)

Software process technology8th European Workshop, EWSPT 2001, Witten, Germany, June 19-21, 2001 : proceedings / by: (書目-電子資源)

Tools and algorithms for the construction and analysis of systems7th international conference, TACAS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6,2001 : proceedings / by: (書目-電子資源)

UML 2001the unified modeling language : modeling languages, concepts, and tools : 4th international conference, Toronto, Canada, October 1-5, 2001 : proceedings / by: (書目-電子資源)

Embedded softwaresecond international conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002 : proceedings / by: (書目-電子資源)

FME 2002formal methods - getting IT right : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 : proceedings / by: (書目-電子資源)

Software product linessecond international conference, SPLC2, San Diego, CA, USA, August 19-22, 2002 : proceedings / by: (書目-電子資源)

Software product-family engineering4th international workshop, PFE 2001, Bilbao, Spain, October 3-5, 2001 : revised papers / by: (書目-電子資源)

Tools and algorithms for the construction and analysis of systems8th International Conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings / by: (書目-電子資源)

UML 2002--the Unified Modeling Languagemodel engineering, concepts, and tools : 5th International Conference, Dresden, Germany, September 30-October 4,2002 : proceedings / by: (書目-電子資源)

Theory and practice of model transformationsthird international conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010 : proceedings / by: (書目-電子資源)

Software composition9th International Conference, SC 2010, Malaga, Spain, July 1-2, 2010 : proceedings / by: (書目-電子資源)

New modeling concepts for today's software processesInternational Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010 : proceedings / by: (書目-電子資源)

Software engineering approaches for offshore and outsourced development4th International Conference, SEAFOOD 2010, St. Petersburg, Russia, June 17-18, 2010 : proceedings / by: (書目-電子資源)

New trends in software methodologies, tools and techniquesproceedings of the Eighth SoMeT_09 / by: (書目-電子資源)

Foundations of computer softwarefuture trends and techniques for development : 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008 : revised selected papers / by: (書目-電子資源)

Models in software engineeringworkshops and symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009 : reports and revised selected papers / by: (書目-電子資源)

Model driven engineering languages and systems13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, proceedings.Part II / by: (書目-電子資源)

Foundational and practical aspects of resource analysisFirst International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, revised selected papers / by: (書目-電子資源)

Software product linesgoing beyond : 14th International Conference, SPLC 2010, Jeju Island, South Korea, September 13-17, 2010, proceedings / by: (書目-電子資源)

Model driven engineering languages and systems13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, proceedings.Part I / by: (書目-電子資源)

Systems, software and services process improvement17th European Conference, EuroSPI 2010, Grenoble, France, September 1-3, 2010, proceedings / by: (書目-電子資源)

Middleware 2010ACM/IFIP/USENIX 11th International Middleware Conference, Bangalore, India, November 29 - December 3, 2010, proceedings / by: (書目-電子資源)

Service research challenges and solutions for the future internetS-Cube : towards engineering, managing and adapting service-based systems / by: (書目-電子資源)

Engineering methods in the service-oriented context4th IFIP WG 8.1 Working Conference on Method Engineering, ME 2011, Paris, France, April 20-22, 2011 : proceedings / by: (書目-電子資源)

Software and data technologies4th International Conference, ICSOFT 2009, Sofia, Bulgaria, July 26-29, 2009 : revised selected papers / by: (書目-電子資源)

New trends in software methodologies, tools and techniques :proceedings of the 9th SoMeT_10 / by: (書目-語言資料,印刷品)

Foundations of computer softwaremodeling, development, and verification of adaptive systems : 16th Monterey Workshop 2010, Redmond, WA, USA, March 31 - April 2, 2010 : revised selected papers / by: (書目-電子資源)

FM 2011formal methods : 17th international symposium on formal methods, Limerick, Ireland, June 20-24, 2011 : proceedings / by: (書目-電子資源)

Theory and practice of model transformations4th international conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011 : proceedings / by: (書目-電子資源)

Systems, software and services process improvement18th European conference, EuroSPI 2011, Roskilde, Denmark, June 27-29, 2011. Proceedings / by: (書目-電子資源)

Model driven engineering languages and systems14th international conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011 : proceedings / by: (書目-電子資源)

Guide to software developmentdesigning and managing the life cycle / by: (書目-電子資源)

Software quality process automation in software development : 4th International Conference, SWQD 2012, Vienna, Austria, January 17-19, 2012 : proceedings / by: (書目-電子資源)

Recent trends in algebraic development techniques20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010 : revised selected papers / by: (書目-電子資源)

Fundamental approaches to software engineering15th 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 / by: (書目-電子資源)

Advances in software engineering techniques4th IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, Krakow, Poland, October 12-14, 2009 : revised selected papers / by: (書目-電子資源)

Models in software engineeringworkshops and symposia at MODELS 2011, Wellington, New Zealand, October 16-21, 2011 : reports and revised selected papers / by: (書目-電子資源)

Theory and practice of model transformations5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012 : proceedings / by: (書目-電子資源)

Software composition11th International Conference, SC 2012, Prague, Czech Republic, May 31-June 1, 2012 : proceedings / by: (書目-電子資源)

Systems, software and services process improvement19th European Conference, EuroSPI 2012, Vienna, Austria, June 25-27, 2012 : proceedings / by: (書目-電子資源)

Foundational and practical aspects of resource analysissecond International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011 : revised selected papers / by: (書目-電子資源)

Model driven engineering languages and systems15th International Conference, MODELS 2012, Innsbruck, Austria, September 30-October 5, 2012 : proceedings / by: (書目-電子資源)

New trends in software methodologies, tools and techniques by: (書目-電子資源)

New trends in software methodologies, tools and techniquesproceedings of the 9th SoMeT_10 / by: (書目-電子資源)

New trends in software methodologies, tools and techniquesproceedings of the tenth SoMeT_11 / by: (書目-電子資源)

Hybrid cloud for dummies / by: (書目-語言資料,印刷品)

New trends in software methodologies, tools and techniquesproceedings of the eleventh SoMeT_12 / by: (書目-電子資源)

Software engineering research, management and applications by: (書目-電子資源)

Formal methods for executable software models14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014 : advanced lectures / by: (書目-電子資源)

Systems, software and services process improvement21st European Conference, EuroSPI 2014, Luxembourg, June 25-27, 2014 : proceedings / by: (書目-電子資源)

Reliable software technologies - Ada-Europe 201419th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014 : proceedings / by: (書目-電子資源)

Theory and practice of model transformations7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014 : proceedings / by: (書目-電子資源)

Software technologies8th International Joint Conference, ICSOFT 2013, Reykjavik, Iceland, July 29-31, 2013 : revised selected papers / by: (書目-語言資料,印刷品)

Model-driven engineering languages and systems17th International Conference, MODELS 2014, Valencia, Spain, September 28 - October 3, 2014 : proceedings / by: (書目-語言資料,印刷品)

Foundational and practical aspects of resource analysisthird International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013 : revised selected papers / by: (書目-電子資源)

Software engineering research, management and applications by: (書目-電子資源)

Solving software challenges for exascaleInternational Conference on Exascale Applications and Software, EASC 2014, Stockholm, Sweden, April 2-3, 2014 : revised selected papers / by: (書目-電子資源)

New trends in software methodologies, tools and techniquesproceedings of the Thirteenth SoMeT_14 / by: (書目-電子資源)

Logic-based program synthesis and transformation24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014 : revised selected papers / by: (書目-電子資源)

Intelligent software methodologies, tools and techniques13th International Conference, SoMeT 2014, Langkawi, Malaysia, September 22-24, 2014 : revised selected papers / by: (書目-電子資源)

Formal methods for multicore programming15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015 : advanced lectures / by: (書目-電子資源)

Theory and practice of model transformations8th International Conference, ICMT 2015, held as part of STAF 2015, L'Aquila, Italy, July 20-21, 2015 : proceedings / by: (書目-電子資源)

Intelligent software methodologies, tools and techniques14th International Conference, SoMet 2015, Naples, Italy, September 15-17, 2015 : proceedings / by: (書目-電子資源)

Software measurement25th International Workshop on Software Measurement and 10th International Conference on Software Process and Product Measurement, IWSM-Mensura 2015, Krakow, Poland, October 5-7, 2015 : proceedings / by: (書目-電子資源)

Systems, software and services process improvement22nd European Conference, EuroSPI 2015, Ankara, Turkey, September 30 - October 2, 2015 : proceedings / by: (書目-電子資源)

Product-focused software process improvement16th International Conference, PROFES 2015 Bolzano, Italy, December 2-4, 2015 : proceedings / by: (書目-電子資源)

Model-driven engineering and software developmentsecond International Conference, MODELSWARD 2014, Lisbon, Portugal, January 7-9, 2014 : revised selected papers / by: (書目-電子資源)

Logic-based program synthesis and transformation25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015 : revised selected papers / by: (書目-電子資源)

Recent trends in algebraic development techniques22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014 : revised selected papers / by: (書目-電子資源)

Model-driven engineering and software developmentthird International Conference, MODELSWARD 2015, Angers, France, February 9-11, 2015 : revised selected papers / by: (書目-電子資源)

Formal methods for the quantitative evaluation of collective adaptive systems16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016 : advanced lectures / by: (書目-電子資源)

Theory and practice of model transformations9th International Conference, ICMT 2016, held as part of STAF 2016, Vienna, Austria, July 4-5, 2016 : proceedings / by: (書目-電子資源)

Systems, software and services process improvement23rd European Conference, EuroSPI 2016, Graz, Austria, September 14-16, 2016 : proceedings / by: (書目-電子資源)

Foundational and practical aspects of resource analysis4th International Workshop, FOPARA 2015, London, UK, April 11, 2015 : revised selected papers / by: (書目-電子資源)

Guide to software developmentdesigning and managing the life cycle / by: (書目-電子資源)

Product-focused software process improvement17th International Conference, PROFES 2016, Trondheim, Norway, November 22-24, 2016 : proceedings / by: (書目-電子資源)

Software engineeringchallenges and solutions : results of the XVIII KKIO 2016 Software Engineering Conference 2016 held at September 15-17 2016 in Wroclaw, Poland / by: (書目-電子資源)

Proceedings of the 2015 Federated Conference on Software Development and Object Technologies by: (書目-電子資源)

Trends and applications in software engineeringproceedings of CIMPS 2016 / by: (書目-電子資源)

Theory and practice of model transformation10th International Conference, ICMT 2017, held as part of STAF 2017, Marburg, Germany, July 17-18, 2017 : proceedings / by: (書目-電子資源)

Working with codersa guide to software development for the perplexed non-techie / by: (書目-電子資源)

Logic-based program synthesis and transformation26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016 : revised selected papers / by: (書目-電子資源)

Systems, software and services process improvement24th European Conference, EuroSPI 2017, Ostrava, Czech Republic, September 6-8, 2017 : proceedings / by: (書目-電子資源)

Model-driven engineering and software development4th International Conference, MODELSWARD 2016, Rome, Italy, February 19-21, 2016 : revised selected papers / by: (書目-電子資源)

Handbook of hardware/software codesign by: (書目-電子資源)

Recent trends in algebraic development techniques23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016 : revised selected papers / by: (書目-電子資源)

Software technologiesapplications and foundations : STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017 : revised selected papers / by: (書目-電子資源)

Model-driven engineering and software development5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017 : revised selected papers / by: (書目-電子資源)

Logic-based program synthesis and transformation27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017 : revised selected papers / by: (書目-電子資源)

The Kitty Hawk Venturea novel about continuous testing in DevOps to support continuous delivery and business success / by: (書目-電子資源)

Systems, software and services process improvement25th European Conference, EuroSPI 2018, Bilbao, Spain, September 5-7, 2018 : proceedings / by: (書目-電子資源)

Software analysis, testing, and evolution8th International Conference, SATE 2018, Shenzhen, Guangdong, China, November 23-24, 2018 : proceedings / by: (書目-電子資源)

Software engineering research, management and applications by: (書目-電子資源)

Model-driven engineering and software development6th International Conference, MODELSWARD 2018, Funchal, Madeira, Portugal, January 22-24, 2018 : revised selected papers / by: (書目-電子資源)

Software engineering aspects of continuous development and new paradigms of software production and deploymentfirst International Workshop, DEVOPS 2018, Chateau de Villebrumier, France, March 5-6, 2018 : revised selected papers / by: (書目-電子資源)

Open source systems15th IFIP WG 2.13 International Conference, OSS 2019, Montreal, QC, Canada, May 26-27, 2019 : proceedings / by: (書目-電子資源)

New trends in intelligent software methodologies, tools and techniquesproceedings of the 16th International Conference SoMeT_17 / by: (書目-電子資源)

New trends in intelligent software methodologies, tools and techniquesproceedings of the 17th International Conference SoMeT_18 / by: (書目-電子資源)

Recent trends in algebraic development techniques24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2-5, 2018 : revised selected papers / by: (書目-電子資源)

Product-focused software process improvement19th International Conference, PROFES 2018, Wolfsburg, Germany, November 28-30, 2018 : proceedings / by: (書目-電子資源)

Theory and practice of model transformation11th International Conference, ICMT 2018, held as part of STAF 2018, Toulouse, France, June 25-26, 2018 : proceedings / by: (書目-電子資源)

Product-focused software process improvement20th International Conference, PROFES 2019, Barcelona, Spain, November 27-29, 2019 : proceedings / by: (書目-電子資源)

Logic-based program synthesis and transformation29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8-10, 2019 : revised selected papers / by: (書目-電子資源)

Software engineering aspects of continuous development and new paradigms of software production and deploymentsecond International Workshop, DEVOPS 2019, Chateau de Villebrumier, France, May 6-8, 2019 : revised selected papers / by: (書目-電子資源)

Model-driven engineering and software development7th International Conference, MODELSWARD 2019, Prague, Czech Republic, February 20-22, 2019 : revised selected papers / by: (書目-電子資源)

Information science and applicationsICISA 2019 / by: (書目-電子資源)

Trends and applications in software engineeringproceedings of the 8th International Conference on Software Process Improvement (CIMPS 2019) / by: (書目-電子資源)

Systems, software and services process improvement26th European Conference, EuroSPI 2019, Edinburgh, UK, September 18-20, 2019 : proceedings / by: (書目-電子資源)

Logic-based program synthesis and transformation28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018 : revised selected papers / by: (書目-電子資源)

Product-focused software process improvement21st International Conference, PROFES 2020, Turin, Italy, November 25-27, 2020 : proceedings / by: (書目-電子資源)

New perspectives in software engineeringproceedings of the 9th International Conference on Software Process Improvement (CIMPS 2020) / by: (書目-電子資源)

Model-driven engineering and software development8th International Conference, MODELSWARD 2020, Valletta, Malta, February 25-27, 2020 : revised selected papers / by: (書目-電子資源)

Recent trends in algebraic development techniques25th International Workshop, WADT 2020, virtual event, April 29, 2020 : revised selected papers / by: (書目-電子資源)

Information science and applicationsproceedings of ICISA 2020 / by: (書目-電子資源)

Logic-based program synthesis and transformation30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7-9, 2020 : proceedings / by: (書目-電子資源)

Advancing technology industrialization through intelligent software methodologies, tools and techniques by: (書目-電子資源)

Systems, software and services process improvement28th European Conference, EuroSPI 2021, Krems, Austria, September 1-3, 2021 : proceedings / by: (書目-電子資源)

Product-focused software process improvement22nd international conference, PROFES 2021, Turin, Italy, November 26, 2021 : proceedings / by: (書目-電子資源)

Software qualityfuture perspectives on software engineering quality : 13th International Conference, SWQD 2021, Vienna, Austria, January 19-21, 2021 : proceedings / by: (書目-電子資源)

New perspectives in software engineeringproceedings of the 10th International Conference on Software Process Improvement (CIMPS 2021) / by: (書目-電子資源)

Software qualitythe next big thing in software engineering and quality : 14th International Conference on Software Quality, SWQD 2022, Vienna, Austria, May 17-19, 2022 : proceedings / by: (書目-電子資源)

Logic-based program synthesis and transformation31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7-8, 2021 : proceedings / by: (書目-電子資源)

Theoretical aspects of software engineering16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8-10, 2022 : proceedings / by: (書目-電子資源)

Systems, software and services process improvement29th European Conference, EuroSPI 2022, European Conference, EuroSPI 2022, Salzburg, Austria, August 31 - September 2, 2022 : proceedings / by: (書目-電子資源)

Logic-based program synthesis and transformation32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21-23, 2022 : proceedings / by: (書目-電子資源)

Product-focused software process improvement23rd International Conference, PROFES 2022, Jyvaskyla, Finland, November 21-23, 2022 : proceedings / by: (書目-電子資源)

Theoretical aspects of software engineering17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023 : proceedings / by: (書目-電子資源)

Systems, software and services process improvement30th European Conference, EuroSPI 2023, Grenoble, France, August 30 - September 1, 2023 : proceedings.Part I / by: (書目-電子資源)

Systems, software and services process improvement30th European Conference, EuroSPI 2023, Grenoble, France, August 30 - September 1, 2023 : proceedings.Part II / by: (書目-電子資源)

Model-driven engineering and software development9th nternational Conference, MODELSWAR 2021, virtual event, February 8-10, 2021, and 10th International Conference, MODELSWARD 2022, virtual event, February 6-8, 2022 : revised selected papers / by: (書目-電子資源)

Logic-based program synthesis and transformation33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023 : proceedings / by: (書目-電子資源)

Recent trends in algebraic development techniques26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28-30, 2022 : revised selected papers / by: (書目-電子資源)

Software qualityhigher software quality through zero waste development : 15th International Conference, SWQD 2023, Munich, Germany, May 23-25, 2023 : proceedings / by: (書目-電子資源)

Product-focused software process improvement24th International Conference, PROFES 2023, Dornbirn, Austria, December 10-13, 2023 : proceedings.Part I / by: (書目-電子資源)

Product-focused software process improvement24th International Conference, PROFES 2023, Dornbirn, Austria, December 10-13, 2023 : proceedings.Part II / by: (書目-電子資源)

Theoretical aspects of software engineering18th International Symposium, TASE 2024, Guiyang, China, July 29 - August 1, 2024 : proceedings / by: (書目-電子資源)

Model-driven engineering and software development11th International Conference, MODELSWARD 2023, Lisbon, Portugal, February 19-21, 2023 : revised selected papers / by: (書目-電子資源)

Systems, software and services process improvement31st European Conference, EuroSPI 2024, Munich, Germany, September 4-6, 2024 : proceedings.Part I / by: (書目-電子資源)

Systems, software and services process improvement31st European Conference, EuroSPI 2024, Munich, Germany, September 4-6, 2024 : proceedings.Part II / by: (書目-電子資源)

Logic-based program synthesis and transformation34th international symposium, LOPSTR 2024, Milan, Italy, September 9-10, 2024 : proceedings / by: (書目-電子資源)

Software quality as a foundation for security16th International Conference on Software Quality, SWQD 2024, Vienna, Austria, April 23-25, 2024 : proceedings / by: (書目-電子資源)

Balancing software innovation and regulatory compliance17th International Conference on Software Quality, SWQD 2025, Munich, Germany, May 20-22, 2025 : proceedings / by: (書目-電子資源)

Recent trends in algebraic development techniques27th IFIP WG 1.3 International Workshop, WADT 2024, Enschede, The Netherlands, July 8, 2024 : revised selected papers / by: (書目-電子資源)

Product-focused software process improvement. industry-, workshop-, and doctoral symposium papers25th International Conference, PROFES 2024, Tartu, Estonia, December 2-4, 2024 : proceedings / by: (書目-電子資源)

Product-focused software process improvement25th International Conference, PROFES 2024, Tartu, Estonia, December 2-4, 2024 : proceedings / by: (書目-電子資源)