UB Paderborn / Katalog / Suche / im Katalog

1 – 25 von 59

Sortiert nach

Formal Approaches to Software Testing : Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003 [electronic resource]

1st ed. 2004, 2004

Testing Software and Systems : 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010, Proceedings [electronic resource]

1st ed. 2010, 2010

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

Piterman, Nir[Herausgeber]

1st ed. 2015, 2015

Hardware and Software: Verification and Testing : 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers [electronic resource]

1st ed. 2011, 2011

Hardware and Software: Verification and Testing : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers [electronic resource]

1st ed. 2011, 2011

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

1st ed. 2015, 2015

Formal Approaches to Software Testing and Runtime Verification : First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers [electronic resource]

1st ed. 2006, 2006

Tests and Proofs : First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers [electronic resource]

1st ed. 2007, 2007

SDL 2013: Model Driven Dependability Engineering : 16th International SDL Forum, Montreal, Canada, June 26-28, 2013, Proceedings [electronic resource]

1st ed. 2013, 2013

Model-Based Safety and Assessment : 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014, Proceedings [electronic resource]

1st ed. 2014, 2014

NASA Formal Methods : 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings [electronic resource]

1st ed. 2015, 2015

Static Analysis : 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2012, Proceedings [electronic resource]

1st ed. 2013, 2013

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

1st ed. 2014, 2014

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

1st ed. 2013, 2013

Reliable Software Technologies -- Ada-Europe 2012 : 17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012, Proceedings

1st ed. 2012, 2012

Link zum Volltext
ACM Digital Library Complete

Fundamental Approaches to Software Engineering : 6th International Conference, FASE 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings [electronic resource]

1st ed. 2003, 2003

Formal Techniques for Networked and Distributed Systems - FORTE 2006 : 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings [electronic resource]

1st ed. 2006, 2006

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

1st ed. 2006, 2006

Model Driven Architecture - Foundations and Applications : 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008, Proceedings [electronic resource]

1st ed. 2008, 2008

Modelling Foundations and Applications : 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013, Proceedings [electronic resource]

1st ed. 2013, 2013

Fundamentals of Software Engineering : 7th International Conference, FSEN 2017, Tehran, Iran, April 26–28, 2017, Revised Selected Papers [electronic resource]

1st ed. 2017, 2017

ECOOP 2013 -- Object-Oriented Programming : 27th European Conference, Montpellier, France, July 1-5, 2013, Proceedings [electronic resource]

Castagna, Giuseppe[Herausgeber]

1st ed. 2013, 2013

Extreme Programming and Agile Methods - XP/Agile Universe 2002 : Second XP Universe and First Agile Universe Conference Chicago, IL, USA, August 4-7, 2002.Proceedings [electronic resource]

1st ed. 2002, 2002

Formal Methods and Software Engineering : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings [electronic resource]

1st ed. 2004, 2004

Formal Techniques for Distributed Objects, Components, and Systems : 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings [electronic resource]

1st ed. 2015, 2015

1 – 25 von 59

Suche als RSS-Feed

Aktive Filter

Autor / AutorinCleophas, Ton J

Autor / AutorinInternational Conference on Formal Methods for Open Object-Based Distributed Systems

Neu hinzugefügt... in den letzten 3 Monaten

SchlagwortTeaching

SchlagwortLogics and Meanings of Programs

Suchergebnisse filtern

Filter anzeigen

Art des Mediums

Online-Ressource
(59)

Autor / Autorin

Havelund, Klaus
(3)
International Haifa Verification Conference
(2)
Wolff, Burkhart
(2)
XP/Agile Universe (Conference)
(2)
APLAS 2006
(1)
Ada-Europe International Conference on Reliable Software Technologies
(1)
Antoš, David
(1)
Atkinson, Colin
(1)
Baral, Chitta
(1)
Barlas, Gerassimos
(1)
Barner, Sharon
(1)
Barnett, Mike
(1)
Basin, David
(1)
Becvar, J
(1)
Bouajjani, Ahmed
(1)
Bouda, Jan
(1)
Breu, Ruth
(1)
Brorsson, Mats
(1)
Bruni, Roberto
(1)
CAV (Conference)
(1)

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsform

Monographie
(59)

Erscheinungsjahr

n.n

Neu hinzugefügt

... in den letzten 12 Monaten
(0)
... im letzten Monat
(0)

Sprache

Englisch
(54)

Art des Inhalts

Nicht angegeben
(59)

Menü

Weitere Dienste

Einstellungen

Formal Approaches to Software Testing : Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003 [electronic resource]

Testing Software and Systems : 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010, Proceedings [electronic resource]

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

Hardware and Software: Verification and Testing : 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers [electronic resource]

Hardware and Software: Verification and Testing : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers [electronic resource]

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

Formal Approaches to Software Testing and Runtime Verification : First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers [electronic resource]

Tests and Proofs : First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers [electronic resource]

SDL 2013: Model Driven Dependability Engineering : 16th International SDL Forum, Montreal, Canada, June 26-28, 2013, Proceedings [electronic resource]

Model-Based Safety and Assessment : 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014, Proceedings [electronic resource]

NASA Formal Methods : 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings [electronic resource]

Static Analysis : 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2012, Proceedings [electronic resource]

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

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

Reliable Software Technologies -- Ada-Europe 2012 : 17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012, Proceedings

Fundamental Approaches to Software Engineering : 6th International Conference, FASE 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings [electronic resource]

Formal Techniques for Networked and Distributed Systems - FORTE 2006 : 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings [electronic resource]

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

Model Driven Architecture - Foundations and Applications : 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008, Proceedings [electronic resource]

Modelling Foundations and Applications : 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013, Proceedings [electronic resource]

Fundamentals of Software Engineering : 7th International Conference, FSEN 2017, Tehran, Iran, April 26–28, 2017, Revised Selected Papers [electronic resource]

ECOOP 2013 -- Object-Oriented Programming : 27th European Conference, Montpellier, France, July 1-5, 2013, Proceedings [electronic resource]

Extreme Programming and Agile Methods - XP/Agile Universe 2002 : Second XP Universe and First Agile Universe Conference Chicago, IL, USA, August 4-7, 2002.Proceedings [electronic resource]

Formal Methods and Software Engineering : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings [electronic resource]

Aktive Filter

Suchergebnisse filtern