Fundamentals of software engineering : 4th IPM International conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, revised selected papers /

Fundamentals of software engineering : 4th IPM International conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, revised selected papers /

This book constitutes the thoroughly refereed post-conference proceedings of the Fourth International Conference on Fundamentals of Software Engineering, FSEN 2011, held in Tehran, Iran, in April 2011.<br>The 19 revised full papers and 5 revised short papers presented together with 3 poster pr...

Kaydedildi:

Detaylı Bibliyografya
Müşterek Yazar:	SpringerLink (Online service)
Diğer Yazarlar:	Sirjani, Marjan, Arbab, Farhad
Materyal Türü:	Ekitap
Dil:	English
Baskı/Yayın Bilgisi:	Berlin, Heidelberg Springer Berlin Heidelberg 2012.
Seri Bilgileri:	Lecture Notes in Computer Science 7141
Konular:	Computer science. Software engineering. Logic design.
Online Erişim:	Click here to view the full text content
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!

Benzer Materyaller

Fundamentals of software engineering : 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers /
Baskı/Yayın Bilgisi: (2013)

Fundamentals of software engineering third IPM international conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers /
Yazar:: Arbab, Farhad
Baskı/Yayın Bilgisi: (2010)

International Symposium on fundamentals of software engineering : International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007. Proceedings /
Baskı/Yayın Bilgisi: (2007)

Software language engineering : 4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011, Revised Selected Papers /
Baskı/Yayın Bilgisi: (2012)

Generative and transformational techniques in software engineering IV : International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers /
Baskı/Yayın Bilgisi: (2013)

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 /
Baskı/Yayın Bilgisi: (2014)

Fundamental approaches to software engineering (vol. # 3442) 8th international conference, FASE 2005, held as part of the joint european conferences on theory and practice of software, ETAPS 2005, Edinburgh, UK, April
Yazar:: Cerioli, Maura
Baskı/Yayın Bilgisi: (2005)

Hardware and software: verification and testing : 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers /
Baskı/Yayın Bilgisi: (2012)

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 /
Baskı/Yayın Bilgisi: (2009)

Evaluation of novel approaches to software engineering : 6th International Conference, ENASE 2011, Beijing, China, June 8-11, 2011. Revised Selected Papers /
Baskı/Yayın Bilgisi: (2013)

International Symposium on Fundamentals of Software Engineering : International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007 proceedings /
Baskı/Yayın Bilgisi: (2007)

Formal verification of object-oriented software international conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, revised selected papers /
Baskı/Yayın Bilgisi: (2012)

Models in software engineering : Workshops and symposia at MODELS 2011, Wellington, New Zealand, October 16-21, 2011, Reports and revised selected papers /
Baskı/Yayın Bilgisi: (2012)

International Symposium on Fundamentals of Software Engineering : International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007 proceedings /
Baskı/Yayın Bilgisi: (2007)

Software composition : 4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005, Revised Selected Papers /

Runtime verification : Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised selected papers /
Baskı/Yayın Bilgisi: (2012)

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 /
Baskı/Yayın Bilgisi: (2013)

Hardware and software, verification and testing / First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers /
Yazar:: Ur, Shmuel
Baskı/Yayın Bilgisi: (2006)

Evaluation of novel approaches to software engineering : 7th international conference, ENASE 2012, Warsaw, Poland, June 29-30, 2012, revised selected papers /
Baskı/Yayın Bilgisi: (2013)

Hardware and software, verification and testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers /
Baskı/Yayın Bilgisi: (2007)

Generative and transformational techniques in software engineering III International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009. Revised Papers /
Baskı/Yayın Bilgisi: (2011)

Formal methods and Software Engineering 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings.
Yazar:: Butler, Michael
Baskı/Yayın Bilgisi: (2007)

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 /
Baskı/Yayın Bilgisi: (2012)

Perspectives of systems informatics: 8th International Andrei ershov memorial conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers /
Baskı/Yayın Bilgisi: (2012)

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 /
Baskı/Yayın Bilgisi: (2012)

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 /
Yazar:: Rosenblum, David S.
Baskı/Yayın Bilgisi: (2010)

Software composition : 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings /
Baskı/Yayın Bilgisi: (2013)

Reversible computation : Third international workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers /
Baskı/Yayın Bilgisi: (2012)

Software language engineering second international conference, SLE 2009, Denver, CO, USA, October 5-6, 2009, Revised Selected Papers /
Baskı/Yayın Bilgisi: (2010)

Foundations of software science and computation structures : 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings /
Baskı/Yayın Bilgisi: (2014)

Evaluation of novel approaches to software engineering : 8th international conference, ENASE 2013, Angers, France, July 4-6, 2013, Revised Selected Papers /
Baskı/Yayın Bilgisi: (2013)

Graph structures for knowledge representation and reasoning : Second international workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers /
Baskı/Yayın Bilgisi: (2012)

Evaluation of novel approaches to software engineering 3rd and 4th international conferences, ENASE 2008/2009, Funchal, Madeira, Portugal, May 4-7, 2008 / Milan, Italy, May 9-10, 2009. revised selected papers /
Baskı/Yayın Bilgisi: (2010)

Applications of graph transformations with industrial relevance : 4th International symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers /
Baskı/Yayın Bilgisi: (2012)

Hardware and software: verification and testing 4th international haifa verification conference, HVC 2008, Haifa, Israel, october 27-30, 2008. proceedings /
Baskı/Yayın Bilgisi: (2009)

Algebraic methodology and software technology 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers /
Baskı/Yayın Bilgisi: (2011)

Hardware and software : verification and testing : 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers /
Baskı/Yayın Bilgisi: (2013)

Verified software: theories, tools and experiments : 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers /
Baskı/Yayın Bilgisi: (2014)

Testing software and systems 22nd IFIP WG 6.1 international conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. proceedings /
Baskı/Yayın Bilgisi: (2010)

Model checking software : 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings /
Baskı/Yayın Bilgisi: (2013)