Quality of Software Architectures. Models and Architectures 4th International Conference on the Quality of Software-Architectures, QoSA 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings /

Quality of Software Architectures. Models and Architectures 4th International Conference on the Quality of Software-Architectures, QoSA 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings /

This book constitutes the thoroughly refereed post-proceedings of the Fourth International Conference on the Quality of Software Architectures, QoSA 2008, held in Medford, MA, USA, in July 2007, in conjunction with the 10th International ACM SIGSOFT Symposium on Component-Based Software Engineering,...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Becker, Steffen (Επιμελητής έκδοσης), Plasil, Frantisek (Επιμελητής έκδοσης), Reussner, Ralf (Επιμελητής έκδοσης)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
Σειρά:	Lecture Notes in Computer Science, 5281
Θέματα:	Computer science. Software engineering. Computer programming. Programming languages (Electronic computers). Computer logic. Data mining. Computer Science. Software Engineering/Programming and Operating Systems. Programming Languages, Compilers, Interpreters. Programming Techniques. Software Engineering. Logics and Meanings of Programs. Data Mining and Knowledge Discovery.
Διαθέσιμο Online:	Full Text via HEAL-Link

Παρόμοια τεκμήρια

Architectures for Adaptive Software Systems 5th International Conference on the Quality of Software Architectures, QoSA 2009, East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings /
Έκδοση: (2009)

Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I /
Έκδοση: (2010)

Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II /
Έκδοση: (2010)

Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings /
Έκδοση: (2008)

Fundamental Approaches to Software Engineering 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings /
Έκδοση: (2008)

Hardware and Software: Verification and Testing 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings /
Έκδοση: (2009)

Programming Languages and Systems 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings /
Έκδοση: (2004)

Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings /
Έκδοση: (2007)

Model Checking Software 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings /
Έκδοση: (2008)

Model Checking Software 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007. Proceedings /
Έκδοση: (2007)

Quality of Software Architectures and Software Quality First International Conference on the Quality of Software Architectures, QoSA 2005, and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September 20-22, 2005. Proceedings /
Έκδοση: (2005)

Verified Software: Theories, Tools, Experiments Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings /
Έκδοση: (2008)

Quality of Software Architectures Second International Conference on Quality of Software Architectures, QoSA 2006, Västerås, Sweden, June 27-29, 2006 Revised Papers /
Έκδοση: (2006)

Model Checking Software 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings /
Έκδοση: (2010)

Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings /
Έκδοση: (2008)

Software Engineering 1 Abstraction and Modelling /
ανά: Bjørner, Dines
Έκδοση: (2006)

Specification of Software Systems
ανά: Alagar, V.S, κ.ά.
Έκδοση: (2011)

Testing Techniques in Software Engineering Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures /
Έκδοση: (2010)

Datatype-Generic Programming International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures /
Έκδοση: (2007)

Formal Approaches to Software Testing Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003. Revised Papers /
Έκδοση: (2004)

Software Composition 7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedings /
Έκδοση: (2008)

Software Engineering 3 Domains, Requirements, and Software Design /
ανά: Bjøner, Dines
Έκδοση: (2006)

Advanced Lectures on Software Engineering LASER Summer School 2007/2008 /
Έκδοση: (2010)

Generic and Indexed Programming International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010, Revised Lectures /
Έκδοση: (2012)

Logic-Based Program Synthesis and Transformation 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers /
Έκδοση: (2009)

Testing Software and Systems 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings /
Έκδοση: (2010)

Research into Practice – Reality and Gaps 6th International Conference on the Quality of Software Architectures, QoSA 2010, Prague, Czech Republic, June 23 - 25, 2010. Proceedings /
Έκδοση: (2010)

Component-Based Software Engineering 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005. Proceedings /
Έκδοση: (2005)

Verified Software: Theories, Tools, Experiments Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings /
Έκδοση: (2010)

Static Analysis 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings /
Έκδοση: (2008)

Software Engineering 2 Specification of Systems and Languages /
ανά: Bjørner, Dines
Έκδοση: (2006)

Software Architecture 4th European Conference, ECSA 2010, Copenhagen, Denmark, August 23-26, 2010. Proceedings /
Έκδοση: (2010)

Mathematics of Program Construction 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings /
Έκδοση: (2008)

Categories for Software Engineering
ανά: Fiadeiro, José Luiz
Έκδοση: (2005)

Programming Languages and Systems 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009. Proceedings /
Έκδοση: (2009)

Model Checking Software 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004. Proceedings /
Έκδοση: (2004)

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 /
Έκδοση: (2006)

Radical Innovations of Software and Systems Engineering in the Future 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002. Revised Papers /
Έκδοση: (2004)

Unifying Theories of Programming Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers /
Έκδοση: (2010)

Fundamental Approaches to Software Engineering 7th International Conference, FASE 2004. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings /
Έκδοση: (2004)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών