Formal Foundations of Reuse and Domain Engineering 11th International Conference on Software Reuse, ICSR 2009, Falls Church, VA, USA, September 27-30, 2009. Proceedings /

Formal Foundations of Reuse and Domain Engineering 11th International Conference on Software Reuse, ICSR 2009, Falls Church, VA, USA, September 27-30, 2009. Proceedings /

ICSR is the premier international conference in the ?eld of software reuse. The main goal of ICSR is to present the advances and improvements within the software reuse domain, as well as to promote interaction between researchers and practitioners. The 11th International Conference on Software Reuse...

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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Edwards, Stephen H. (Επιμελητής έκδοσης), Kulczycki, Gregory (Επιμελητής έκδοσης)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.
Σειρά:	Lecture Notes in Computer Science, 5791
Θέματα:	Computer science. Software engineering. Computer programming. Programming languages (Electronic computers). Computers. Computer Science. Software Engineering/Programming and Operating Systems. Theory of Computation. Programming Languages, Compilers, Interpreters. Software Engineering. Programming Techniques. Models and Principles.
Διαθέσιμο Online:	Full Text via HEAL-Link

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

Safe and Secure Software Reuse 13th International Conference on Software Reuse, ICSR 2013, Pisa, June 18-20. Proceedings /
Έκδοση: (2013)

Top Productivity through Software Reuse 12th International Conference on Software Reuse, ICSR 2011, Pohang, South Korea, June 13-17, 2011. Proceedings /
Έκδοση: (2011)

Requirements Engineering: Foundation for Software Quality 15th International Working Conference, REFSQ 2009 Amsterdam, The Netherlands, June 8-9, 2009 Proceedings /
Έκδοση: (2009)

Formal Methods and Software Engineering 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings /
Έκδοση: (2009)

Formal Methods and Software Engineering 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings /
Έκδοση: (2007)

Formal Methods and Software Engineering 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings /
Έκδοση: (2008)

Formal Methods: Foundations and Applications 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers /
Έκδοση: (2009)

Innovations for Requirement Analysis. From Stakeholders’ Needs to Formal Designs 14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007. Revised Selected Papers /
Έκδοση: (2008)

Software Architecture Second European Conference, ECSA 2008 Paphos, Cyprus, September 29-October 1, 2008 Proceedings /
Έκδοση: (2008)

Software Reuse for Dynamic Systems in the Cloud and Beyond 14th International Conference on Software Reuse, ICSR 2015, Miami, FL, USA, January 4-6, 2015. Proceedings /
Έκδοση: (2014)

Formal Modeling and Analysis of Timed Systems 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings /
Έκδοση: (2009)

Software Architecture First European Conference, ECSA 2007 Aranjuez, Spain, September 24-26, 2007 Proceedings /
Έκδοση: (2007)

Integrated Formal Methods 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings /
Έκδοση: (2009)

Component-Based Software Engineering 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings /
Έκδοση: (2008)

Mastering Scale and Complexity in Software Reuse 16th International Conference on Software Reuse, ICSR 2017, Salvador, Brazil, May 29-31, 2017, Proceedings /
Έκδοση: (2017)

Engineering Theories of Software Intensive Systems Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004 /
Έκδοση: (2005)

Software Engineering: Specification, Implementation, Verification
ανά: Alagić, Suad
Έκδοση: (2017)

Domain-Specific Program Generation International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003. Revised Papers /
Έκδοση: (2004)

Formal Modeling and Analysis of Timed Systems 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings /
Έκδοση: (2008)

Teaching Formal Methods Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings /
Έκδοση: (2009)

Domain-Specific Languages IFIP TC 2 Working Conference, DSL 2009 Oxford, UK, July 15-17, 2009 Proceedings /
Έκδοση: (2009)

Formal Methods for Web Services 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures /
Έκδοση: (2009)

Software Reuse: Bridging with Social-Awareness 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings /
Έκδοση: (2016)

Transactions on Aspect-Oriented Software Development VI Special Issue on Aspects and Model-Driven Engineering /
Έκδοση: (2009)

FM 2008: Formal Methods 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings /
Έκδοση: (2008)

NASA Formal Methods 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings /
Έκδοση: (2012)

Foundational Java Key Elements and Practical Programming /
ανά: Parsons, David
Έκδοση: (2012)

Architecting Dependable Systems VII
Έκδοση: (2010)

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)

Formal Methods and Software Engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005. Proceedings /
Έκδοση: (2005)

Formal Methods and Software Engineering 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006. Proceedings /
Έκδοση: (2006)

Formal Methods for Components and Objects 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers /
Έκδοση: (2010)

Conceptual Modeling - ER 2008 27th International Conference on Conceptual Modeling, Barcelona, Spain, October 20-24, 2008. Proceedings /
Έκδοση: (2008)

Formal Techniques for Distributed Systems Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings /
Έκδοση: (2009)

FM 2009: Formal Methods Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings /
Έκδοση: (2009)

FM 2006: Formal Methods 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings /
Έκδοση: (2006)

Verification, Model Checking, and Abstract Interpretation 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings /
Έκδοση: (2009)

Component-Based Software Engineering 12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings /
Έκδοση: (2009)

NASA Formal Methods Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings /
Έκδοση: (2011)

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

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