Formal Methods and Testing An Outcome of the FORTEST Network, Revised Selected Papers /

Formal Methods and Testing An Outcome of the FORTEST Network, Revised Selected Papers /

Библиографическая информация
Опубликовано в: :	Springer eBooks
Главный автор:	Hierons, Robert M.
Соавтор:	SpringerLink (Online service)
Другие авторы:	Bowen, Jonathan P., Harman, Mark
Формат:	Электронная книга
Язык:	English
Публикация:	Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.
Серии:	Lecture Notes in Computer Science,
Предметы:	Computer Science Information systems Logic design Software engineering Logics and Meanings of Programs Management of Computing and Information Systems Programming Languages, Compilers, Interpreters Software Engineering
Online-ссылка:	http://dx.doi.org/10.1007/978-3-540-78917-8 Перейти в каталог НБ ТГУ

Похожие документы

Formal Approaches to Software Testing (vol. # 3997) 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers
по: Grieskamp, Wolfgang
Публикация: (2006)

Formal Approaches to Software Testing (vol. # 3395) 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers
по: Grabowski, Jens
Публикация: (2005)

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
по: Havelund, Klaus
Публикация: (2006)

FM 2008: Formal Methods 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings /
по: Cuellar, Jorge
Публикация: (2008)

Runtime Verification 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers /
по: Sokolsky, Oleg
Публикация: (2007)

Theory and Practice of Model Transformations 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013. Proceedings /
Публикация: (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 /
Публикация: (2014)

FM 2005: Formal Methods International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings
по: Fitzgerald, John
Публикация: (2005)

FM 2006: Formal Methods 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings
по: Misra, Jayadev
Публикация: (2006)

Formal Aspects of Component Software 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers /
Публикация: (2014)

Formal Aspects of Component Software 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers /
Публикация: (2013)

Web Services and Formal Methods 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers /
Публикация: (2014)

Web Services and Formal Methods 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers /
Публикация: (2013)

Formal Methods and Software Engineering (vol. # 3785) 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings
по: Banach, Richard
Публикация: (2005)

Formal Methods and Software Engineering (vol. # 4260) 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings
по: Liu, Zhiming
Публикация: (2006)

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 /
Публикация: (2014)

System Analysis and Modeling: Models and Reusability 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings /
Публикация: (2014)

Modelling Foundations and Applications 10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21-25, 2014. Proceedings /
Публикация: (2014)

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 /
Публикация: (2014)

Formal Methods for Components and Objects 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures /
по: Boer, Frank S.
Публикация: (2007)

Formal Methods for Components and Objects 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures /
по: Hutchison, David
Публикация: (2008)

Agile Processes in Software Engineering and Extreme Programming 8th International Conference, XP 2007, Como, Italy, June 18-22, 2007. Proceedings /
по: Concas, Giulio
Публикация: (2007)

Evaluation of Novel Approaches to Software Engineering 7th International Conference, ENASE 2012, Warsaw, Poland, June 29-30, 2012, Revised Selected Papers /
Публикация: (2013)

Formal Methods for Components and Objects (vol. # 3657) Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures
по: Bonsangue, Marcello M.
Публикация: (2005)

Formal Methods for Components and Objects (vol. # 4111) 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures
по: de Boer, Frank S.
Публикация: (2006)

Integrated Formal Methods 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings /
по: Davies, Jim
Публикация: (2007)

Integrated Formal Methods Third International Conference, IFM 2002 Turku, Finland, May 15вЂ"18, 2002 Proceedings /
по: Butler, Michael
Публикация: (2006)

Formal Methods: Foundations and Applications 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings /
Публикация: (2015)

Testing Software and Systems 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings /
Публикация: (2013)

Testing Software and Systems 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings /
Публикация: (2014)

Testing of Software and Communicating Systems 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008 Tokyo, Japan, June 10-13, 2008 Proceedings /
по: Suzuki, Kenji
Публикация: (2008)

Testing of Software and Communicating Systems 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007. Proceedings /
по: Petrenko, Alexandre F.
Публикация: (2007)

Model-Based Testing of Reactive Systems Advanced Lectures
по: Broy, Manfred
Публикация: (2005)

Modelling Foundations and Applications 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013. Proceedings /
Публикация: (2013)

ECOOP 2007 вЂ" Object-Oriented Programming 21st European Conference, Berlin, Germany, July 30 - August 3, 2007. Proceedings /
по: Ernst, Erik
Публикация: (2007)

ECOOP 2008 вЂ" Object-Oriented Programming 22nd European Conference Paphos, Cyprus, July 7-11, 2008 Proceedings /
по: Hutchison, David
Публикация: (2008)

Object-Oriented Technology. ECOOP 2007 Workshop Reader ECOOP 2007 Workshops, Berlin, Germany, July 30-31, 2007, Final Reports /
по: Cebulla, Michael
Публикация: (2008)

Object-Oriented Technology. ECOOP 2006 Workshop Reader ECOOP 2006 Workshops, Nantes, France, July 3-7, 2006, Final Reports /
по: Südholt, Mario
Публикация: (2007)

Hardware and Software, Verification and Testing First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers
по: Ur, Shmuel
Публикация: (2006)

Hardware and Software: Verification and Testing Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings /
по: Yorav, Karen
Публикация: (2008)