Addresses all necessary organization and architecture topics, but concise enough to be appropriate for a single-term course. ...
WeiterlesenThis book starts by reintroducing the database as a integral part of the software development ecosystem. You'll learn how ...
WeiterlesenExtreme Programming has come a long way since its ?rst use in the C3 project almost 10 years ago. Agile methods have found ...
WeiterlesenIn its first editions, this conference was a get-together of a few pioneers who - bated about how to make agile processes ...
WeiterlesenThe workshop program included two invited talks, by Anna Slobodova from Intel on “Challenges for Formal Veri?cation in ...
WeiterlesenThis book constitutes the refereed proceedings of the 9th International Conference on Formal Engineering Methods, ICFEM 2007, ...
WeiterlesenThis book constitutes the refereed proceedings of the 8th International Conference on Formal Engineering Methods, ICFEM 2006, ...
WeiterlesenThis book constitutes the refereed proceedings of the 10th International Conference on Formal Engineering Methods, ICFEM ...
WeiterlesenThis book presents 8 tutorial survey papers by leading researchers who lectured at the 5th International School on Formal ...
WeiterlesenBy presenting state-of-the-art research results on various aspects of formal and visual modeling of software and systems, ...
WeiterlesenETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...
WeiterlesenETAPS 2006 was the ninth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...
WeiterlesenJava design patterns are reusable and proven solutions to software design problems. This book covers over 60 battle-tested ...
WeiterlesenThis book constitutes the refereed proceedings of UNISCON 2008 held in Klagenfurt, Austria, during April 22-25, 2008.UNISCON ...
WeiterlesenProvides an in-depth introduction to software design, with a focus on object-oriented design, and using the Java programming ...
WeiterlesenCombines clear explanations of data structure and algorithm theory with practical code samples, examples and exercises, all ...
WeiterlesenThis volumecontainsa selectionofthe the paperspresentedatthe 17thInter- tional Symposium on Logic-Based Program Synthesis ...
WeiterlesenThis open access book presents the outcomes of the “Design for Future – Managed Software Evolution” .The different ...
WeiterlesenThis book describes in contributions by scientists and practitioners the development of scientific concepts, technologies, ...
WeiterlesenThis book constitutes the refereed proceedings of the 10th International Conference on Model Driven Engineering Languages ...
Weiterlesen