Imagen de Portada

Component-Based Software Engineering 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005. Proceedings /

Guardado en:

Autor Principal:	Heineman, George T.
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Crnkovic, Ivica., Schmidt, Heinz W., Stafford, Judith A., Szyperski, Clemens., Wallnau, Kurt.
Formato:	Electrónico
Idioma:	English
Publicado:	Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005.
Series:	Lecture Notes in Computer Science, 3489
Materias:	Computer science Software engineering Logic design Computer Science Software Engineering Programming Techniques Programming Languages, Compilers, Interpreters Logics and Meanings of Programs
Acceso en línea:	SpringerLink, via BECYT
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

Component-Based Software Engineering 9th International Symposium, CBSE 2006, Västerås, Sweden, June 29 - July 1, 2006. Proceedings /
por: Gorton, Ian.
Publicado: (2006)

Practical Aspects of Declarative Languages 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005. Proceedings /
por: Hermenegildo, Manuel V.
Publicado: (2005)

Software Engineering 3 Domains, Requirements, and Software Design /
por: Bjøner, Dines.
Publicado: (2006)

Software Engineering 1 Abstraction and Modelling /
por: Bjørner, Dines.
Publicado: (2006)

Software Engineering 2 Specification of Systems and Languages /
por: Bjørner, Dines.
Publicado: (2006)

Practical Aspects of Declarative Languages 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006. Proceedings /
por: Hentenryck, Pascal.
Publicado: (2006)

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

Integrated Formal Methods 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings /
por: Romijn, Judi.
Publicado: (2005)

Fundamental Approaches to Software Engineering 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings /
por: Cerioli, Maura.
Publicado: (2005)

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

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 /
por: Abdallah, Ali E.
Publicado: (2005)

Component Deployment Third International Working Conference, CD 2005, Grenoble, France, November 28-29, 2005. Proceedings /
por: Dearle, Alan.
Publicado: (2005)

Categories for Software Engineering
por: Fiadeiro, José Luiz.
Publicado: (2005)

International Symposium on Fundamentals of Software Engineering International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007. Proceedings /
por: Arbab, Farhad.
Publicado: (2007)

Model Checking Software 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005. Proceedings /
por: Godefroid, Patrice.
Publicado: (2005)

Formal Methods and Software Engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005. Proceedings /
por: Lau, Kung-Kiu.
Publicado: (2005)

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

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

Software Composition 4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005. Revised Selected Papers /
por: Gschwind, Thomas.
Publicado: (2005)

Hardware and Software, Verification and Testing First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers /
por: Ur, Shmuel.
Publicado: (2006)

Model Checking Software 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007. Proceedings /
por: Bonaki, Dragan.
Publicado: (2007)

Architecting Systems with Trustworthy Components International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers /
por: Reussner, Ralf H.
Publicado: (2006)

Extreme Programming and Agile Processes in Software Engineering 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005. Proceedings /
por: Baumeister, Hubert.
Publicado: (2005)

Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005. Proceedings /
por: Yi, Kwangkeun.
Publicado: (2005)

Formal Methods and Software Engineering 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006. Proceedings /
por: Liu, Zhiming.
Publicado: (2006)

Agent-Oriented Software Engineering VI 6th International Workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005. Revised and Invited Papers /
por: Müller, Jörg P.
Publicado: (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, March 24 - April 1, 2007. Proceedings /
por: Dwyer, Matthew B.
Publicado: (2007)

Fundamental Approaches to Software Engineering 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings /
por: Baresi, Luciano.
Publicado: (2006)

Model Checking Software 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006. Proceedings /
por: Valmari, Antti.
Publicado: (2006)

Agent-Oriented Software Engineering VII 7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers /
por: Padgham, Lin.
Publicado: (2007)

Static Analysis 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005. Proceedings /
por: Hankin, Chris.
Publicado: (2005)

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

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

Software Composition 5th International Symposium, SC 2006 Vienna, Austria, March 25-26, 2006 Revised Papers /
por: Löwe, Welf.
Publicado: (2006)

Trustworthy Global Computing International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers /
por: Nicola, Rocco.
Publicado: (2005)

Foundations of Software Science and Computational Structures 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings /
por: Sassone, Vladimiro.
Publicado: (2005)

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

Agile Processes in Software Engineering and Extreme Programming 8th International Conference, XP 2007, Como, Italy, June 18-22, 2007. Proceedings /
por: Concas, Giulio.
Publicado: (2007)

Verification, Model Checking, and Abstract Interpretation 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005. Proceedings /
por: Cousot, Radhia.
Publicado: (2005)