Component-Based Software Engineering (vol. # 4063) 9th International Symposium, CBSE 2006, Västerås, Sweden, June 29 - July 1, 2006, Proceedings

Component-Based Software Engineering (vol. # 4063) 9th International Symposium, CBSE 2006, Västerås, Sweden, June 29 - July 1, 2006, Proceedings

Bibliographic Details
Published in:	Springer e-books
Main Author:	Gorton, Ian
Corporate Author:	SpringerLink (Online service)
Other Authors:	Crnkovic, Ivica, Heinemann, George T., Schmidt, Heinz W., Stafford, Judith A., Szyperski, Clemens, Wallnau, Kurt
Format:	eBook
Language:	English
Published:	Berlin Heidelberg : Springer-Verlag GmbH., 2006
Series:	Lecture Notes in Computer Science,
Subjects:	Computer Communication Networks Computer Science Computer science Logic design Software engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Programming Techniques Software Engineering
Online Access:	http://dx.doi.org/10.1007/11783565 Перейти в каталог НБ ТГУ

Similar Items

Component-Based Software Engineering (vol. # 3489) 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005
by: Crnkovic, Ivica
Published: (2005)

Software Composition (vol. # 4089) 5th International Symposium, SC 2006, Vienna, Austria, March 25-26, 2006, Revised Papers
by: Löwe, Welf
Published: (2006)

Component-Based Software Engineering 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007. Proceedings /
by: Schmidt, Heinz W.
Published: (2007)

Practical Aspects of Declarative Languages (vol. # 3819) 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings
by: Van Hentenryck, Pascal
Published: (2006)

Software Composition (vol. # 3628) 4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005, Revised Selected Papers
by: Assmann, Uwe
Published: (2005)

Practical Aspects of Declarative Languages (vol. # 3350) 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings
by: Cabeza, Daniel
Published: (2005)

Static Analysis (vol. # 4134) 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings
by: Yi, Kwangkeun
Published: (2006)

Fundamental Approaches to Software Engineering (vol. # 3922) 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March
by: Baresi, Luciano
Published: (2006)

Software Engineering 3 Domains, Requirements, and Software Design /
by: Bjørner, Dines
Published: (2006)

Formal Methods and Software Engineering (vol. # 4260) 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings
by: Liu, Zhiming
Published: (2006)

Model Checking Software (vol. # 3925) 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings
by: Valmari, Antti
Published: (2006)

Software Engineering 1 Abstraction and Modelling /
by: Bjørner, Dines
Published: (2006)

Software Engineering 2 Specification of Systems and Languages /
by: Bjørner, Dines
Published: (2006)

Model Checking Software (vol. # 3639) 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings
by: Godefroid, Patrick
Published: (2005)

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
by: Cerioli, Maura
Published: (2005)

Static Analysis (vol. # 3672) 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings
by: Hankin, Chris
Published: (2005)

Formal Methods and Software Engineering (vol. # 3785) 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings
by: Banach, Richard
Published: (2005)

Advances in Smalltalk 14th International Smalltalk Conference, ISC 2006, Prague, Czech Republic, September 4-8, 2006, Revised Selected Papers /
by: Meuter, Wolfgang
Published: (2007)

Perspectives of Systems Informatics 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers /
by: Virbitskaite, Irina
Published: (2007)

Extreme Programming and Agile Processes in Software Engineering (vol. # 4044) 7th International Conference, XP 2006, Oulu, Finland, June 17-22, 2006, Proceedings
by: Abrahamsson, Pekka
Published: (2006)

Communicating Sequential Processes. The First 25 Years Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers
by: Abdallah, Ali E.
Published: (2005)

Integrated Formal Methods 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings
by: Romijn, Judi M. T.
Published: (2005)

Hardware and Software, Verification and Testing Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers /
by: Bin, Eyal
Published: (2007)

Software Composition 7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedings /
by: Pautasso, Cesare
Published: (2008)

Software Composition 6th International Symposium, SC 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papers /
by: Lumpe, Markus
Published: (2007)

Verification, Model Checking, and Abstract Interpretation (vol. # 3855) 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings
by: Emerson, E. Allen
Published: (2006)

Component Deployment Third International Working Conference, CD 2005, Grenoble, France, November 28-29, 2005, Proceedings
by: Dearle, Alan
Published: (2005)

Software-Intensive Systems and New Computing Paradigms Challenges and Visions /
by: Hutchison, David
Published: (2008)

Foundations of Software Science and Computational Structures (vol. # 3921) 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienn
by: Aceto, Luca
Published: (2006)

Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings /
Published: (2013)

Programming Languages and Systems (vol. # 4279) 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings
by: Kobayashi, Naoki
Published: (2006)

Fundamental Approaches to Software Engineering 10th International Conference, FASE 2007, Held as Part of the Joint European Conferences, on Theory and Practice of Software, ETAPS 2007, Braga, Portugal.
by: Dwyer, Matthew B.
Published: (2007)

Integrated Formal Methods Third International Conference, IFM 2002 Turku, Finland, May 15вЂ"18, 2002 Proceedings /
by: Butler, Michael
Published: (2006)

Practical Aspects of Declarative Languages 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedings /
by: Hanus, Michael
Published: (2007)

Practical Aspects of Declarative Languages 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008. Proceedings /
by: Hudak, Paul
Published: (2008)

Practical Aspects of Declarative Languages 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings /
Published: (2013)

Integrated Formal Methods 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings /
by: Davies, Jim
Published: (2007)

Practical Aspects of Declarative Languages 16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014. Proceedings /
Published: (2014)

Formal Methods and Software Engineering 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings.
by: Butler, Michael
Published: (2007)

Extreme Programming and Agile Processes in Software Engineering (vol. # 3556) 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005, Proceedings
by: Baumeister, Hubert
Published: (2005)