Computer software - Development - Congresses.
Overview
| Works: | 143 works in 53 publications in 53 languages | |
|---|---|---|
Titles
Ninth International Workshop on Rapid System Prototyping : = Jnue 3-5, 1998, Leuven, Belgium/
by:
(Language materials, printed)
Usability : = gaining a competitive edge : IFIP 17th World Computer Congress--TC13 stream on usability: gaining a competitive edge, August 25-30, 2002, Montreal, Quebec, Canada /
by:
(Language materials, printed)
Component-based software engineering = 7th international symposium, CBSE 2004, Edinburgh, UK, May 24-25, 2004 : proceedings /
by:
(Language materials, printed)
Extreme programming and agile processes in software engineering = 5th international conference, XP 2004, Garmisch-Partenkirchen, Germany, June 6-10, 2004 : proceedings /
by:
(Language materials, printed)
Software product-family engineering = 5th international workshop, PFE 2003, Siena, Italy, November 4-6, 2003 : revised papers /
by:
(Language materials, printed)
Software product lines = Third International Conference, SPLC 2004, Boston, MA, USA, August 30-September 2, 2004 : proceedings /
by:
(Language materials, printed)
FM 2005: Formal Methods = International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings /
by:
(Language materials, printed)
Tools and algorithms for the construction and analysis of systems = 14th International Conference, TACAS 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 /
by:
(Language materials, printed)
FM 2008: Formal Methods = 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings /
by:
(Language materials, printed)
Requirements Engineering: Foundation for Software Quality = 14th International Working Conference, REFSQ 2008 Montpellier, France, June 16-17, 2008 Proceedings /
by:
(Language materials, printed)
Models in Software Engineering = Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers /
by:
(Language materials, printed)
Model Driven Architecture Foundations and Applications = 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings /
by:
(Language materials, printed)
Product-Focused Software Process Improvement = 9th International Conference, PROFES 2008 Monte Porzio Catone, Italy, June 23-25, 2008 Proceedings /
by:
(Language materials, printed)
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/
by:
(Language materials, printed)
Advances in software engineering = Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007 : revised tutorial lectures /
by:
(Language materials, printed)
Embedded software = third international conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003 : proceedings /
by:
(Language materials, printed)
Development and evolution of software architectures for product families = second international ESPRIT ARES workshop, Las Palmas de Gran Canaria, Spain, February 26-27, 1998 : proceedings /
by:
(Language materials, printed)
Software process technology = 6th European workshop, EWSPT '98, Weybridge, UK, September 16-18, 1998 : proceedings /
by:
(Language materials, printed)
Recent trends in algebraic development techniques = 13th international workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998 : selected papers /
by:
(Electronic resources)
UML 2000 - the unified modeling language = advancing the standard : third international conference, York, UK, October 2-6, 2000 : proceedings /
by:
(Language materials, printed)
FME 2001 = formal methods for increasing software productivity : International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001 : proceedings /
by:
(Language materials, printed)
Tools and algorithms for the construction and analysis of systems = 7th 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:
(Language materials, printed)
UML 2001 = the unified modeling language : modeling languages, concepts, and tools : 4th international conference, Toronto, Canada, October 1-5, 2001 : proceedings /
by:
(Language materials, printed)
FME 2002 = formal methods - getting IT right : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 : proceedings /
by:
(Language materials, printed)
Software composition = 9th International Conference, SC 2010, Malaga, Spain, July 1-2, 2010 : proceedings /
by:
(Language materials, printed)
Software engineering approaches for offshore and outsourced development = 4th International Conference, SEAFOOD 2010, St. Petersburg, Russia, June 17-18, 2010 : proceedings /
by:
(Language materials, printed)
Trends and applications in software engineering = proceedings of CIMPS 2016 /
by:
(Electronic resources)
Logic-based program synthesis and transformation = 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016 : revised selected papers /
by:
(Electronic resources)
Software technologies = applications and foundations : STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017 : revised selected papers /
by:
(Electronic resources)
Model-driven engineering and software development = 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017 : revised selected papers /
by:
(Electronic resources)
Software engineering aspects of continuous development and new paradigms of software production and deployment = first International Workshop, DEVOPS 2018, Chateau de Villebrumier, France, March 5-6, 2018 : revised selected papers /
by:
(Electronic resources)
Open source systems = 15th IFIP WG 2.13 International Conference, OSS 2019, Montreal, QC, Canada, May 26-27, 2019 : proceedings /
by:
(Electronic resources)
Model-driven engineering and software development = 7th International Conference, MODELSWARD 2019, Prague, Czech Republic, February 20-22, 2019 : revised selected papers /
by:
(Electronic resources)
Logic-based program synthesis and transformation = 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8-10, 2019 : revised selected papers /
by:
(Electronic resources)
Model-driven engineering and software development = 8th International Conference, MODELSWARD 2020, Valletta, Malta, February 25-27, 2020 : revised selected papers /
by:
(Electronic resources)
Systems, software and services process improvement = 28th European Conference, EuroSPI 2021, Krems, Austria, September 1-3, 2021 : proceedings /
by:
(Electronic resources)
Logic-based program synthesis and transformation = 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7-8, 2021 : proceedings /
by:
(Electronic resources)
Systems, software and services process improvement = 29th European Conference, EuroSPI 2022, European Conference, EuroSPI 2022, Salzburg, Austria, August 31 - September 2, 2022 : proceedings /
by:
(Electronic resources)
Product-focused software process improvement = 23rd International Conference, PROFES 2022, Jyvaskyla, Finland, November 21-23, 2022 : proceedings /
by:
(Electronic resources)
Theoretical aspects of software engineering = 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023 : proceedings /
by:
(Electronic resources)
Recent trends in algebraic development techniques = 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28-30, 2022 : revised selected papers /
by:
(Electronic resources)
Product-focused software process improvement = 24th International Conference, PROFES 2023, Dornbirn, Austria, December 10-13, 2023 : proceedings.. Part I /
by:
(Electronic resources)
Product-focused software process improvement = 24th International Conference, PROFES 2023, Dornbirn, Austria, December 10-13, 2023 : proceedings.. Part II /
by:
(Electronic resources)
Model-driven engineering and software development = 11th International Conference, MODELSWARD 2023, Lisbon, Portugal, February 19-21, 2023 : revised selected papers /
by:
(Electronic resources)
Systems, software and services process improvement = 31st European Conference, EuroSPI 2024, Munich, Germany, September 4-6, 2024 : proceedings.. Part I /
by:
(Electronic resources)
Systems, software and services process improvement = 31st European Conference, EuroSPI 2024, Munich, Germany, September 4-6, 2024 : proceedings.. Part II /
by:
(Electronic resources)
Logic-based program synthesis and transformation = 34th international symposium, LOPSTR 2024, Milan, Italy, September 9-10, 2024 : proceedings /
by:
(Electronic resources)
Theoretical aspects of software engineering = 18th International Symposium, TASE 2024, Guiyang, China, July 29 - August 1, 2024 : proceedings /
by:
(Electronic resources)
Product focused software process improvement = 5th international conference, PROFES 2004, Kansai Science City, Japan, April 5-8, 2004 ; proceedings /
by:
(Language materials, printed)
Software engineering research and applications = first international conference, SERA 2003, San Francisco, CA, USA, June 2003, selected revised papers /
by:
(Language materials, printed)
Extreme programming and agile methods--XP/Agile Universe 2004 = 4th Conference on Extreme Programming and Agile Methods, Calgary, Canada, August 15-18, 2004 : proceedings/
by:
(Language materials, printed)
Tools and algorithms for the construction and analysis of systems = 10th 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:
(Language materials, printed)
Knowledge-based software engineering = proceedings of the fifth Joint Conference on Knowledge-Based Software Engineering /
by:
(Language materials, printed)
Recent Trends in Algebraic Development Techniques = 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers /
by:
(Language materials, printed)
Tools and Algorithms for the Construction and Analysis of Systems = 11th 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:
(Language materials, printed)
Component-Based Software Engineering = 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005 /
by:
(Language materials, printed)
Product Focused Software Process Improvement = 6th International Conference, PROFES 2005, Oulu, Finland, June 13-18, 2005, Proceedings /
by:
(Language materials, printed)
Software Product Lines : = 9th International Conference, SPLC 2005, Rennes, France, September 26-29, 2005, Proceedings
by:
(Language materials, printed)
Software Process Improvement : = 12th European Conference, EuroSPI 2005, Budapest, Hungary, November 9-11, 2005, Proceedings
by:
(Language materials, printed)
Information Systems Development = Advances in Theory, Practice, and Education /
by:
(Language materials, printed)
Making globally distributed software development a success story = International Conference on Software Process, ICSP 2008, Leipzig, Germany, May 10-11, 2008 : proceedings /
by:
(Language materials, printed)
Model Driven Engineering Languages and Systems = 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings /
by:
(Language materials, printed)
Software Process Improvement = 15th European Conference, EuroSPI 2008, Dublin, Ireland, September 3-5, 2008. Proceedings /
by:
(Language materials, printed)
Innovations for requirements analysis :from stakeholders' needs to formal designs = 14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007, revised selected papers /
by:
(Language materials, printed)
FME 2003 = formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings /
by:
(Language materials, printed)
Recent trends in algebraic development techniques = 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002 : revised selected papers /
by:
(Language materials, printed)
Software process technology = 9th European Workshop, EWSPT 2003, Helsinki, Finland, September 1-2, 2003 : proceedings /
by:
(Language materials, printed)
UML 2003-the unified modeling language = modeling languages and applications : 6th international conference, San Francisco, CA, USA, October 20-24, 2003 : proceedings /
by:
(Language materials, printed)
UML 2004 = the unified modeling language : modeling languages and applications ; 7th international conference, Lisbon, Portugal, October 11-15, 2004 : proceedings /
by:
(Language materials, printed)
Component-based software engineering = 7th international symposium, CBSE 2004, Edinburgh, UK, May 24-25, 2004 : proceedings /
by:
(Language materials, printed)
Product focused software process improvement = 5th international conference, PROFES 2004, Kansai Science City, Japan, April 5-8, 2004 : proceedings /
by:
(Language materials, printed)
Software engineering research and applications = first international conference, SERA 2003, San Francisco, CA, USA, June 25-27, 2003 : selected revised papers /
by:
(Language materials, printed)
Software process improvement = 11th European conference, EuroSPI 2004, Trondheim, Norway, November 10-12, 2004 : proceedings /
by:
(Language materials, printed)
Software product-family engineering = 5th international workshop, PFE 2003, Siena, Italy, November 4-6, 2003 : revised papers /
by:
(Language materials, printed)
Tools and algorithms for the construction and analysis of systems = 10th 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:
(Language materials, printed)
Models in software engineering = workshops and symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008 ; reports and revised selected papers /
by:
(Language materials, printed)
Trustworthy software development processes = International Conference on Software Process, ICSP 2009 Vancouver, Canada, May 16-17, 2009 ; Proceedings /
by:
(Language materials, printed)
Software engineering approaches for offshore and outsourced development = Second international conference, SEAFOOD 2008, Zurich, Switzerland, July 2-3, 2008. Revised papers /
by:
(Language materials, printed)
Knowledge-based software engineering = proceedings of the Seventh Joint Conference on Knowledge-based Software Engineering /
by:
(Language materials, printed)
Knowledge-based software engineering = proceedings of the eighth joint conference on knowledge-based software engineering /
by:
(Language materials, printed)
TAPSOFT '97 = theory and practice of software development : 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997 : proceedings /
by:
(Language materials, printed)
Tools and algorithms for the construction and analysis of systems = Third International Workshop, TACAS '97, Enschede, The Netherlands, April 2-4, 1997 : proceedings /
by:
(Language materials, printed)
Recent trends in algebraic development techniques = 12th international workshop, WADT'97, Tarquinia, Italy, June 3-7, 1997 : selected papers /
by:
(Language materials, printed)
Tools and algorithms for the construction and analysis of systems = 4th 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:
(Language materials, printed)
Tools and algorithms for the construction and analysis of systems = 5th 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:
(Language materials, printed)
UML '99 = the unified modeling language : beyond the standard : Second International Conference Fort Collins, CO, October 28-30, 1999 : proceedings /
by:
(Language materials, printed)
Recent trends in algebraic development techniques = 14th international workshop, WADT'99, Chateau de Bonas, September 15-18, 1999 : selected papers /
by:
(Language materials, printed)
Software architectures for product families = International Workshop IW-SAPF-3, Las Palmas de Gran Canaria, Spain, March 15-17, 2000 ; proceedings /
by:
(Language materials, printed)
Software process technology = 7th European workshop, EWSPT 2000, Kaprun, Austria, February 21-25, 2000 : proceedings /
by:
(Language materials, printed)
Tools and algorithms for the construction and analysis of systems = 6th 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:
(Language materials, printed)
Embedded software = first international workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001 : proceedings /
by:
(Language materials, printed)
Software process technology = 8th European Workshop, EWSPT 2001, Witten, Germany, June 19-21, 2001 : proceedings /
by:
(Language materials, printed)
Embedded software = second international conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002 : proceedings /
by:
(Language materials, printed)
Software product lines = second international conference, SPLC2, San Diego, CA, USA, August 19-22, 2002 : proceedings /
by:
(Language materials, printed)
Software product-family engineering = 4th international workshop, PFE 2001, Bilbao, Spain, October 3-5, 2001 : revised papers /
by:
(Language materials, printed)
Tools and algorithms for the construction and analysis of systems = 8th 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:
(Language materials, printed)
UML 2002--the Unified Modeling Language = model engineering, concepts, and tools : 5th International Conference, Dresden, Germany, September 30-October 4,2002 : proceedings/
by:
(Language materials, printed)
Theory and practice of model transformations = third international conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010 : proceedings /
by:
(Language materials, printed)
New modeling concepts for today's software processes = International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010 : proceedings /
by:
(Language materials, printed)
Foundations of computer software = future trends and techniques for development : 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008 : revised selected papers /
by:
(Language materials, printed)
Models in software engineering = workshops and symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009 : reports and revised selected papers /
by:
(Language materials, printed)
Foundational and practical aspects of resource analysis = 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015 : revised selected papers /
by:
(Electronic resources)
Product-focused software process improvement = 17th International Conference, PROFES 2016, Trondheim, Norway, November 22-24, 2016 : proceedings /
by:
(Electronic resources)
Software engineering = challenges and solutions : results of the XVIII KKIO 2016 Software Engineering Conference 2016 held at September 15-17 2016 in Wroclaw, Poland /
by:
(Electronic resources)
Proceedings of the 2015 Federated Conference on Software Development and Object Technologies
by:
(Electronic resources)
Systems, software and services process improvement = 24th European Conference, EuroSPI 2017, Ostrava, Czech Republic, September 6-8, 2017 : proceedings /
by:
(Electronic resources)
Model-driven engineering and software development = 4th International Conference, MODELSWARD 2016, Rome, Italy, February 19-21, 2016 : revised selected papers /
by:
(Electronic resources)
Recent trends in algebraic development techniques = 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016 : revised selected papers /
by:
(Electronic resources)
Logic-based program synthesis and transformation = 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017 : revised selected papers /
by:
(Electronic resources)
Model-driven engineering and software development = 6th International Conference, MODELSWARD 2018, Funchal, Madeira, Portugal, January 22-24, 2018 : revised selected papers /
by:
(Electronic resources)
New trends in intelligent software methodologies, tools and techniques = proceedings of the 16th International Conference SoMeT_17 /
by:
(Electronic resources)
New trends in intelligent software methodologies, tools and techniques = proceedings of the 17th International Conference SoMeT_18 /
by:
(Electronic resources)
Recent trends in algebraic development techniques = 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2-5, 2018 : revised selected papers /
by:
(Electronic resources)
Software process improvement : = practical guidelines for business success /
by:
(Language materials, printed)
Trends and applications in software engineering = proceedings of the 8th International Conference on Software Process Improvement (CIMPS 2019) /
by:
(Electronic resources)
Software engineering aspects of continuous development and new paradigms of software production and deployment = second International Workshop, DEVOPS 2019, Chateau de Villebrumier, France, May 6-8, 2019 : revised selected papers /
by:
(Electronic resources)
New perspectives in software engineering = proceedings of the 9th International Conference on Software Process Improvement (CIMPS 2020) /
by:
(Electronic resources)
Logic-based program synthesis and transformation = 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7-9, 2020 : proceedings /
by:
(Electronic resources)
Recent trends in algebraic development techniques = 25th International Workshop, WADT 2020, virtual event, April 29, 2020 : revised selected papers /
by:
(Electronic resources)
Systems, software and services process improvement = 26th European Conference, EuroSPI 2019, Edinburgh, UK, September 18-20, 2019 : proceedings /
by:
(Electronic resources)
Logic-based program synthesis and transformation = 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018 : revised selected papers /
by:
(Electronic resources)
Advancing technology industrialization through intelligent software methodologies, tools and techniques
by:
(Electronic resources)
Product-focused software process improvement = 21st International Conference, PROFES 2020, Turin, Italy, November 25-27, 2020 : proceedings /
by:
(Electronic resources)
Product-focused software process improvement = 22nd international conference, PROFES 2021, Turin, Italy, November 26, 2021 : proceedings /
by:
(Electronic resources)
New perspectives in software engineering = proceedings of the 10th International Conference on Software Process Improvement (CIMPS 2021) /
by:
(Electronic resources)
Software quality = the next big thing in software engineering and quality : 14th International Conference on Software Quality, SWQD 2022, Vienna, Austria, May 17-19, 2022 : proceedings /
by:
(Electronic resources)
Software quality = future perspectives on software engineering quality : 13th International Conference, SWQD 2021, Vienna, Austria, January 19-21, 2021 : proceedings /
by:
(Electronic resources)
Theoretical aspects of software engineering = 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8-10, 2022 : proceedings /
by:
(Electronic resources)
Logic-based program synthesis and transformation = 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21-23, 2022 : proceedings /
by:
(Electronic resources)
Systems, software and services process improvement = 30th European Conference, EuroSPI 2023, Grenoble, France, August 30 - September 1, 2023 : proceedings.. Part I /
by:
(Electronic resources)
Systems, software and services process improvement = 30th European Conference, EuroSPI 2023, Grenoble, France, August 30 - September 1, 2023 : proceedings.. Part II /
by:
(Electronic resources)
Show more
Fewer
Subjects