[AG83]    A. Albrecht and J. Gaffney. Software Function, Source Lines of Code, and Development Effort Prediction. IEEE Transactions on Software Engineering, 9:639–648, June 1983.

[AKRS06]    C. Amelunxen, A. Königs, T. Rötschke, and A. Schürr. MOFLON: A standard-compliant metamodeling framework with graph transformations. In A. Rensink and J. Warmer, editors, Model Driven Architecture – Foundations and Applications: Second European Conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13, 2006, volume 4066 of Lecture Notes in Computer Science (LNCS), pages 361–375. Springer, 2006.

[AM01]    K. Auer and R. Miller. Extreme Programming Applied. Playing to win. Addison-Wesley, 2001.

[AMB⁺04]    A. Abran, J. Moore, P. Bourque, R. Dupuis, and L. Tripp. SWEBOK. Guide to the Software Engineering Body of Knowledge, 2004 Version, 2004.

[Ast02]    D. Astels. Refactoring With UML. In Third International Conference on Extreme Programming and Flexible Processes in Software Engineering, XP2002, May 26-30, Alghero, Italy, pages 67–70, 2002.

[Bal98]    H. Balzert. Lehrbuch der Software-Technik. Software-Management, Software-Qualitätssicherung, Unternehmensmodellierung. Spektrum Akademischer Verlag. Heidelberg, 1998.

[Bal00]    H. Balzert. Lehrbuch der Software-Technik. Software-Entwicklung, 2. Aufl. Spektrum Akademischer Verlag. Heidelberg, 2000.

[BB00]    F. Basanieri and A. Bertolino. A Practical Approach to UML-Based Derivation of Integration Tests. In Proc. 4th Intl. Software Quality Week Europe (QWE’2000), Brussels. QWE, 2000.

[BBB⁺85]    F.L. Bauer, R. Berghammer, M. Broy, W. Dosch, F. Geiselbrechtinger, R. Gnatz, E. Hangel, W. Hesse, B. Krieg-Brückner, A. Laut, T. Matzner, B. Möller, F. Nickl, H. Partsch, P. Pepper, K. Samelson, M. Wirsing, and H. Wössner. The Munich Project CIP, Vol 1: The Wide Spectrum Language CIP-L. LNCS 183. Springer-Verlag, 1985.

[BBK91]    G. Bernot, M. Bidoit, and T. Knapik. Observational Approaches in Algebraic Specifications: a Comparative Study. Technical report Liens-91-6, Laboratoire d’Informatique de l’Ecole Normale Superieure, 1991.

[BBWL01]    M. Boger, T. Baier, F. Wienberg, and W. Lamersdorf. Extreme Modeling. In G. Succi and M. Marchesi, editors, Extreme Programming Examined, pages 175–189. Addison-Wesley, 2001.

[BCGR09a]    M. Broy, M. Cengarle, H. Grönniger, and B. Rumpe. Considerations and Rationale for a UML System Model. In K. Lano, editor, UML 2 Semantics and Applications. John Wiley & Sons, 2009.

[BCGR09b]    M. Broy, M. Cengarle, H. Grönniger, and B. Rumpe. Definition of System Model. In K. Lano, editor, UML 2 Semantics and Applications. John Wiley & Sons, 2009.

[BDA⁺99]    P. Bourque, R. Dupuis, A. Abran, J. Moore, and L. Tripp. The Guide to the Software Engineering Body of Knowledge. IEEE Software, 16:35–44, 1999.

[Bec01]    K. Beck. Aim, Fire (Column on the Test-First Approach). IEEE Software, 18(5):87–89, 2001.

[Bec04]    K. Beck. Extreme Programming Explained. Embrace Change. Addison-Wesley, 2004.

[BEH⁺87]    F. L. Bauer, H. Ehler, A. Horsch, B. Möller, H. Partsch, O. Paukner, and P. Pepper. The Munich Project CIP, Volume II: The Program Transformation System CIP-S, volume 292 of Lecture Notes in Computer Science. Springer, 1987.

[Bei95]    B. Beizer. Black Box Testing. John Wiley & Sons, New York, 1995.

[Bei04]    B. Beizer. Software Testing Techniques. Dreamtech Press 2nd Edition, 2004.

[BF00]    K. Beck and M. Fowler. Planning Extreme Programming. Addison-Wesley, 2000.

[BFG⁺93]    M. Broy, C. Facchi, R. Grosu, R. Hettler, H. Hußmann, D. Nazareth, F. Regensburger, O. Slotosch, and K. Stølen. The Requirement and Design Specification Language Spectrum, An Informal Introduction, Version 1.0, Part 1. Technical Report TUM-I9312, Technische Universität München, 1993.

[BG98]    K. Beck and E. Gamma. Test-Infected: Programmers Love Writing Tests. JavaReport, July 1998.

[BG99]    K. Beck and E. Gamma. JUnit: A Cook’s Tour. JavaReport, August 1999.

[BHH⁺97]    R. Breu, U. Hinkel, C. Hofmann, C. Klein, B. Paech, B. Rumpe, and V. Thurner. Towards a Formalization of the Unified Modeling Language. In M. Aksit and S. Matsuoka, editors, ECOOP’97 – Object Oriented Programming. 11th European Conference, Proceedings. Springer-Verlag, LNCS 1241, 1997.

[BHW95]    M. Bidoit, R. Hennicker, and M. Wirsing. Behavioural and Abstractor Specifications. Science of Computer Programming, 25(2):149–186, 1995.

[Bin94]    R. Binder. Design for Testability in Object-Oriented Systems. Communications of the ACM, 37(9):87–101, 1994.

[Bin99]    R. Binder. Testing Object-Oriented Systems. Models, Patterns, and Tools. Addison-Wesley, 1999.

[BKPS04]    G. Böckle, P. Knauber, K. Pohl, and K. Schmid. Software-Produktlinien: Methoden, Einführung und Praxis. dpunkt.verlag, 2004.

[BL01]    L. Briand and Y. Labiche. A UML-based Approach to System Testing. In M. Gogolla and C. Kobryn, editors, ≪UML≫2001 – The Unified Modeling Language, 4th Intl. Conference, pages 194–208, LNCS 2185. Springer, 2001.

[BL02]    L. Briand and Y. Labiche. A UML-based Approach to System Testing. Technical report SCE-01-01, Carleton University, 2002.

[BLP01]    D. Björklund, J. Lilius, and I. Porres. Towards Efficient Code Synthesis from Statecharts. In A. Evans, R. France, A. Moreira, and B. Rumpe, editors, Practical UML-Based Rigorous Development Methods. Workshop of the pUML-Group. October 1st, Toronto, Canada, pages 29–41, LNI P–7. GI-Edition, Bonn, 2001.

[BMJ01]    L. Bousquet, H. Martin, and J.-M. Jezequel. Conformance Testing from UML Specifications. Experience Report. In A. Evans, R. France, A. Moreira, and B. Rumpe, editors, Practical UML-Based Rigorous Development Methods. Workshop of the pUML-Group. October 1st, Toronto, Canada, pages 43–55, LNI P–7. GI-Edition, Bonn, 2001.

[Boe81]    B. Boehm. Software Engineering Economics. Prentice Hall, Englewood Cliffs, 1981.

[Boe02]    B. Boehm. Get Ready for Agile Methods with Care. Computer, 35(1):64–69, 2002.

[Bog99]    M. Boger. Java in verteilten Systemen. Nebenläufigkeit, Verteilung, Persistenz. dpunkt.verlag Heidelberg, 1999.

[BPR04]    J. Botaschanjan, M. Pister, and B. Rumpe. Testing Agile Requirements Models. Journal of Zhejiang University, 5(5), 2004.

[BR11]    M. Backschat and B. Rücker. Enterprise JavaBeans und JPA: Grundlagen - Konzepte - Praxis zu EJB 3.1 und JPA 2.0, 3. Auflage. Spektrum Akademischer Verlag, 2011.

[Bra84]    W. Brauer. Automatentheorie: eine Einführung in die Technik endlicher Automaten. Teubner, 1984.

[Bro98]    M. Broy. Informatik. Eine grundlegende Einführung. Band 2. Systemstrukturen und Theoretische Informatik. 2. Auflage. Springer Verlag, 1998.

[BS01a]    M. Boger and T. Sturm. Tool-support for Model-Driven Software Engineering. In A. Evans, R. France, A. Moreira, and B. Rumpe, editors, Practical UML-Based Rigorous Development Methods. Workshop of the pUML-Group. October 1st, Toronto, Canada, pages 308–318, LNI P–7. GI-Edition, Bonn, 2001.

[BS01b]    M. Broy and K. Stoelen. Specification and Development of Interactive Systems. Focus on Streams, Interfaces and Refinement. Springer Verlag Heidelberg, 2001.

[BvW98]    R. Back and J. von Wright. Refinement Calculus - A Systematic Introduction. Springer, 1998.

[BW82]    F. L. Bauer and H. Wössner. Algorithmic Language and Program Development. Springer-Verlag, Berlin, 1982.

[BW02a]    A. Brucker and B. Wolff. A Proposal for a Formal OCL Semantics in Isabelle/HOL. In TPHOLs 2002, LNCS. Springer-Verlag, Berlin, 2002.

[BW02b]    A. Brucker and B. Wolff. HOL-OCL Experiences, Consequences and Design Choices. In J-M. Jézéquel and H. Hußmann, editors, ≪UML≫2002 – The Unified Modeling Language: Model Engineering, Concepts and Tools, 5th Intl. Conference. Springer, LNCS, 2002.

[BW06]    T. Baar and J. Whittle. On the Usage of Concrete Syntax in Model Transformation Rules. In Proc. of Sixth International Andrei Ershov Memorial Conference, Perspectives of System Informatics (PSI), Lecture Notes in Computer Science, pages 84–97, 2006.

[CCD02]    R. Cavarra, C. Crichton, and J. Davies. Using UML for Automatic Test Generation. In International Symposium on Software Testing and Analysis ISSTA. Springer-Verlag, 2002.

[CE00]    K. Czarnecki and U. Eisenecker. Generative Programming. Addison-Wesley Boston, 2000.

[CG98]    L. Cardelli and A. Gordon. Mobile Ambients. In Foundations of Software Science and Computation Structures, FoSSaCS’98, LNCS 1378, pages 140–155. Springer Verlag, 1998.

[CH06]    K. Czarnecki and S. Helsen. Feature-Based Survey of Model Transformation Approaches. IBM Systems Journal, 45(3):621–645, 2006.

[CHS10]    D. Clarke, M. Helvensteijn, and I. Schaefer. Abstract Delta Modeling. In Proceedings of the ninth international conference on Generative programming and component engineering, GPCE ’10, pages 13–22, New York, NY, USA, 2010. ACM.

[Coc06]    A. Cockburn. Agile Software Development, 2. Edition - The Cooperative Game. Addison-Wesley, 2006.

[Con95]    L. Constantine. Constantine on Peopleware. Yourdon Press, 1995.

[CW01]    A. Cockburn and L. Williams. The Costs and Benefits of Pair Programming. In G. Succi and M. Marchesi, editors, Extreme Programming Examined, pages 223–243. Addison-Wesley, 2001.

[DD08]    T. Dyba and T. Dingsoyr. Empirical studies of agile software development: A systematic review. Information and Software Technology, 50(9-10):833–859, 2008.

[Den91]    E. Denert. Software-Engineering. Springer-Verlag, 1991.

[DH99]    B. Demuth and H. Hußmann. Using UML/OCL Constraints for Relational Database Design. In R. France and B. Rumpe, editors, ≪UML’99≫ – The Unified Modeling Language: Beyond the Standard, pages 598–613, LNCS 1723. Springer, 1999.

[DHL01]    B. Demuth, H. Hußmann, and S. Loecher. OCL as a Specification Language for Business Rules in Data Base Applications. In M. Gogolla and C. Kobryn, editors, ≪UML≫2001 – The Unified Modeling Language, 4th Intl. Conference, pages 104–117, LNCS 2185. Springer, 2001.

[Dib01]    V. Dibartolo. FreeMarker: An open alternative to JSP. JavaWorld, San Francisco, Calif. : Web Publ. Inc., 2001.

[Dij76]    E. Dijkstra. A discipline of programming. Prentice-Hall, 1976.

[DN84]    J. Duran and S. Ntafos. An Evaluation of Random Testing. IEEE Transactions on Software Engineering, 10(7):438–444, July 1984.

[Dob10]    L. Dobrzanski. UML Model Refactoring: Support for Maintenance of Executable UML Models. Lambert Academic Publishing, 2010.

[Dou98]    B. P. Douglass. Real-Time UML. Developing Efficient Objects for Embedded Systems. Addison-Wesley, 1998.

[Dou99]    B. P. Douglass. Doing Hard Time. Developing Real-Time Systems with UML, Objekcts, Frameworks, and Patterns. Addison-Wesley, 1999.

[DW98]    D. D’Souza and A. Wills. Objects, Components and Frameworks with UML – the Catalysis Approach. Addison-Wesley, 1998.

[Eck09]     J. Eckstein. Agile Softwareentwicklung mit verteilten Teams. dpunkt.verlag, 2009.

[Eck11]    J. Eckstein. Agile Softwareentwicklung in großen Projekten: Teams, Prozesse und Technologien - Strategien für den Wandel im Unternehmen . dpunkt.verlag, 2011.

[EEKR99]    H. Ehrig, G. Engels, H. Kreowski, and G. Rozenberg. Handbook of Graph Grammars and Computing by Graph Transformations, Volume 2: Applications, Languages and Tools. World Scientific, 1999.

[EEPT06]    H. Ehrig, K. Ehrig, U. Prange, and G. Taentzer. Fundamentals of Algebraic Graph Transformation. Monographs in Theoretical Computer Science. An EATCS Series. Springer-Verlag New York, Inc., Secaucus, NJ, USA, 2006.

[EH00a]    A. Elting and W. Huber. Vorgehensmodelle contra Extreme Programming. 2 teilig. sw development. Magazin für Software-Entwicklung, 1&2, 2000.

[EH00b]    G. Engels and R. Heckel. Graph Transformation and Visual Modeling Techniques. Bulletin of the European Association for Theoretical Computer Science, 71, June 2000.

[EH01]    A. Elting and W. Huber. Immer im Plan? Programmieren zwischen Chaos und Planwirtschaft. c’t., 2, 2001.

[EHHS00]    G. Engels, J.-H. Hausmann, R. Heckel, and S. Sauer. Dynamic Meta-Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML. In A. Evans, S. Kent, and B. Selic, editors, ≪UML≫2000 – The Unified Modeling Language, 3th Intl. Conference, pages 323–337, LNCS 1939. Springer, 2000.

[EM85]    H. Ehrig and B. Mahr. Fundamentals of Algebraic Specifications I. Springer Verlag, Berlin, 1985.

[FELR98a]    R. France, A. Evans, K. Lano, and B. Rumpe. Developing the UML as a Formal Modelling Notation. In J. Bezivin and P.-A. Muller, editors, The Unified Modeling Language. ≪UML≫’98 Beyond the Notation. Mulhouse. Proceedings., pages 336–348, LNCS 1618. Springer, 1998.

[FELR98b]    R. France, A. Evans, K. Lano, and B. Rumpe. The UML as a Formal Modeling Notation. Computer Standards & Interfaces, 19:325–334, 1998.

[FG99]    M. Fewster and D. Graham. Software Test Automation. Effective Use of Test Execution Tools. ACM Press, New York & Addison-Wesley, 1999.

[FGJM85]    K. Futatsugi, J. Goguen, J.-P. Jouannaud, and J. Meseguer. Principles of OBJ2. In B. Reid, editor, Proceedings of 12th ACM Symposium on Principles of Programming Languages, Association for Computing Machinery, pages 52–66, 1985.

[FHFB09]    J. Fields, S. Harvie, M. Fowler, and K. Beck. Refactoring: Ruby Edition. Addison-Wesley, 2009.

[FHNS02]    G. Friedman, A. Hartman, K. Nagin, and T. Shiran. Projected State Machine Coverage for Software Testing. In Proceedings of the International Symposium of Software Testing and Analysis. ISSTA’02, New York, 2002. ACM Press.

[FK00]    D. Fields and M. Kolb. Web Development with Java Server Pages. Manning Greenwich, 2000.

[FKP⁺10]    N. M. Fisch, T. Kurpick, C. Pinkernell, S. Plesser, and B. Rumpe. The Energy Navigator - A Web based Platform for functional Quality Mangement in Buildings. In Proceedings of the 10th International Conference for Enhanced Building Operations (ICEBO’ 10), Kuwait City, Kuwait, October 2010.

[FNTZ00]    T. Fischer, J. Niere, L. Torunski, and A. Zündorf. Story Diagrams: A New Graph Rewrite Language Based on the Unified Modeling Language and Java. In Selected Papers from the 6th International Workshop on Theory and Application of Graph Transformations, pages 296–309, London, UK, 2000. Springer-Verlag.

[Fow99]    M. Fowler. Refactoring. Improving the Design of Existing Code. Addison-Wesley, 1999.

[Fow00]    M. Fowler. Refactoring. Wie Sie das Design vorhandener Software verbessern. Addison-Wesley, dt. Fassung von [Fow99], 2000.

[FPR01]    M. Fontoura, W. Pree, and B. Rumpe. The UML Profile for Framework Architecture. Addison-Wesley, 2001.

[FSJ99]    M. Fayad, D. Schmidt, and R. Johnson. Building Application Frameworks. Object Oriented Foundations of Framework Design. John Wiley & Sons, 1999.

[GH99]    A. Gargantini and C. Heitmeyer. Using Model-Checking to Generate Tests from Requirements Specifications. In Proceedings of the 7th European Software Engineering Conference (7th ACM SIGSOFT Symposium on the Foundations of Software Engineering), FSE’99, Toulouse, France. Springer Verlag, LNCS 1687, 1999.

[GHJV94]    E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns. Addison-Wesley, 1994.

[GJSB05]    J. Gosling, B. Joy, G. Steele, and G. Bracha. The Java Language Specification. Third Edition. Addison-Wesley, 2005.

[GKR⁺08]    H. Grönniger, H. Krahn, B. Rumpe, M. Schindler, and S. Völkel. MontiCore: A Framework for the Development of Textual Domain Specific Languages. In 30th International Conference on Software Engineering (ICSE). Companion Volume, Leipzig, Germany, 2008.

[Gla01]    H. Glazer. Dispelling the Process Myth: Having a Process Does Not Mean Sacrificing Agility or Creativity. Cross Talk. Journal of Defense Software Engineering, Nov. 2001:27–30, 2001.

[GR99]    J. Goguen and G. Rosu. Hiding more of Hidden Algebra. In FM’99, LNCS 1708, pages 1704–1719, 1999.

[GR10]    H. Grönniger and B. Rumpe. Modeling Language Variability. In Workshop on Modeling, Development and Verification of Adaptive Systems. (16th Monterey Workshop). Microsoft Research, Redmond, 2010.

[Grø09a]    R. Grønmo. Using Concrete Syntax in Graph-based Model Transformations. PhD thesis, Dept. of Informatics, University of Oslo, 2009.

[Gro09b]    Standish Group. CHAOS Summary 2009, 2009.

[Grö10]    H. Grönniger. Systemmodell-basierte Definition objektbasierter Modellierungssprachen mit semantischen Variationspunkten. Aachener Informatik-Berichte, Software Engineering, Band 4. Shaker Verlag, 2010.

[GRR10]    H. Grönniger, D. Reiß, and B. Rumpe. Towards a Semantics of Activity Diagrams with Semantic Variation Points. In D. Petriu, N. Rouquette, and Ø. Haugen, editors, Model Driven Engineering Languages and Systems, 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, LNCS 6394, pages 331–345. Springer, 2010.

[GS02]    J. Grabowski and M. Schmitt. TTCN-3 – Eine Sprache für die Spezifikation und Implementierung von Testfällen. at – Automatisierungstechnik, 50(3):A5–A8, März 2002.

[GSMD03]    P. Van Gorp, H. Stenten, T. Mens, and S. Demeyer. Towards Automating Source-Consistent UML Refactorings. In Proceedings of the International Conference on UML 2003 - The Unified Modeling Language. Modeling Languages and Applications, pages 144–158. Springer-Verlag, 2003.

[GWM⁺92]    J. Goguen, T. Winkler, J. Meseguer, K. Futatsugi, and J.-P. Jouannaud. Introducing OBJ. Technical Report CSL-92-03, Computer Science Laboratory, SRI, March 1992.

[Hal93]    N. Halbwachs. Synchronous Programming of Reactive Systems. Kluwer Academic Publishers, 1993.

[Han10]    E. Hanser. Agile Prozesse: Von XP über Scrum bis MAP. eXamen.press. Springer-Verlag, 2010.

[Har87]    D. Harel. Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming, 8:231–274, 1987.

[Har08]    E. R. Harold. Refactoring HTML: Improving the Design of Existing Web Applications. Addison-Wesley, 2008.

[HBG01]    M. Holcombe, K. Bogdanov, and M. Gheorghe. Functional Test Generation for Extreme Programming. In M. Marchesi and G. Succi, editors, Proceedings of the 2nd International Conference on Extreme Programming and Flexible Processes in Software Engineering (XP2001), May 2001.

[HDF00]    H. Hußmann, B. Demuth, and F. Finger. Modular Architecture for a Toolset Supporting OCL. In A. Evans, S. Kent, and B. Selic, editors, ≪UML≫2000 – The Unified Modeling Language, 3th Intl. Conference, pages 278–293, LNCS 1939. Springer, 2000.

[Hes01]    W. Hesse. RUP: A Process Model for Working with UML? In K. Sia and T. Halpin, editors, Unified Modeling Language: System Analysis, Design and Development Issues, pages 61–74. Idea Group Publishing Hershey, 2001.

[HG97]    D. Harel and E. Gery. Executable Object Modelling with Statecharts. In Proceedings of the 18th International Conference on Software Engineering. IEEE Computer Society Press, 1997.

[HH08]    R. Höhn and S. Höppner. Das V-Modell XT - Grundlagen, Methodik und Anwendungen. eXamen.press. Springer-Verlag, 2008.

[HHJ⁺87]    C. Hoare, I. Hayes, H. Jifeng, C. Morgan, A. Roscoe, J. Sanders, I. Sorensen, J. Spivey, and B. Suffin. Laws of Programming. Communications of the ACM, 30(8):672–686, 1987.

[HKR⁺11a]    A. Haber, T. Kutz, H. Rendel, B. Rumpe, and I. Schaefer. Delta-oriented Architectural Variability Using MontiCore. In ECSA ’11 5th European Conference on Software Architecture: Companion Volume, New York, NY, USA, September 2011. ACM New York.

[HKR⁺11b]    A. Haber, T. Kutz, H. Rendel, B. Rumpe, and I. Schaefer. Towards a Family-based Analysis of Applicability Conditions in Architectural Delta Models. In Variability for You Proceedings of VARY International Workshop affiliated with ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems (MODELS’11), IT University Technical Report Series TR-2011-144, pages 43–52. IT University of Copenhagen, October 2011.

[HL02]    R. Hightower and N. Lesiecki. Java Tools for Extreme Programming. Wiley Computer Publishing New York, 2002.

[HN96]    D. Harel and A. Naamad. The STATEMATE Semantics of Statecharts. ACM Transactions on Software Engineering and Methodology, 5(4):293–333, October 1996.

[Hop81]    G. Hopper. The first bug. Annals of the History of Computing, 3:285–286, 1981.

[HP02]    G. Halmans and K. Pohl. Modellierung der Variabilität einer Software-Produktfamilie. In M. Glinz and G. Müller-Luschnat, editors, Modellierung 2002, pages 63–74. GI, 2002.

[HR00]    D. Harel and B. Rumpe. Modeling Languages: Syntax, Semantics and All That Stuff. Technical Report MCS00-16, The Weizmann Institute of Science, Rehovot, Israel, 2000.

[HR04]    D. Harel and B. Rumpe. Meaningful modeling: what’s the semantics of semantics? IEEE Computer, 37(10):64–72, 2004.

[HRR98]    F. Huber, A. Rausch, and B. Rumpe. Modeling Dynamic Component Interfaces. In M. Singh, B. Meyer, J. Gil, and R. Mitchell, editors, TOOLS 26, Technology of Object-Oriented Languages and Systems. IEEE Computer Society, 1998.

[HRS09]    P. Hruschka, C. Rupp, and G. Starke. Agility kompakt: Tipps für erfolgreiche Systementwicklung. Spektrum Akademischer Verlag, 2009.

[HSSS96]    F. Huber, B. Schätz, A. Schmidt, and K. Spies. AutoFocus - A Tool for Distributed Systems Specification. In B. Jonsson and J. Parrow, editors, Proceedings FTRTFT’96 - Formal Techniques in Real-Time and Fault-Tolerant Systems, pages 467–470. LNCS 1135, Springer Verlag, 1996.

[HT90]    R. Hamlet and R. Taylor. Partition Testing does not Inspire Confidence. IEEE Transactions on Software Engineering, 16(12):1402–1411, December 1990.

[HU90]    J. Hopcroft and J. Ullman. Einführung in die Automatentheorie, Formale Sprachen und Komplexitätstheorie. Addison-Wesley, 1990.

[Huß97]    H. Hußmann. Formal Foundations for Software Engineering Methods. LNCS 1322. Springer-Verlag, Berlin, 1997.

[ISO92]    ISO/IEC. Information Technology – Open Systems Interconnection – Conformance Testing Methodology and Framework – Part 3: The Tree and Tabular Combined Notation (TTCN), 1992.

[IT07a]    ITU-T. SDL combined with UML, Recommendation Z.109 (06/07). International Telecommunication Union, 2007.

[IT07b]    ITU-T. Specification and Description Language (SDL), Recommendation Z.100 (11/07). International Telecommunication Union, 2007.

[IT11]    ITU-T. Message Seqeuence Chart (MSC), Recommendation Z.120 (02/11). International Telecommunication Union, 2011.

[JAH00]    R. Jeffries, A. Anderson, and C. Hendrickson. Extreme Programming Installed. Addison-Wesley, 2000.

[JK05]    F. Jouault and I. Kurtev. Transforming Models with ATL. In Satellite Events at the MoDELS 2005 Conference, volume 3844 of Lecture Notes in Computer Science (LNCS). Springer, 2005.

[Jon96]    M. P. Jones. An Introduction to Gofer, 1996.

[JR01]    C. Jacobi and B. Rumpe. Hierarchical XP. Improving XP for Large-Scale Projects in Analogy to Reorganization Processes. In G. Succi and M. Marchesi, editors, Extreme Programming Examined, pages 83–102. Addison-Wesley, 2001.

[JUn11]    JUnit. JUnit Testframework Homepage. http://www.junit.org/, 2011.

[KCM00]    S. Kim, J. Clark, and J. McDermid. The Rigorous Generation of Java Mutation Operators Using HAZOP. In J.-C. Rault, editor, Proceedings of the 12th International Conference on Software & Systems Engineering and their Applications (ICSSEA’99). Bd. 4, Paris, 2000.

[KCS05]    A. Kalnins, E. Celms, and A. Sostaks. Model Transformation Approach Based on MOLA. In ACM/IEEE 8th International Conference on Model Driven Engineering Languages and Systems, Workshop: Model Transformations in Practice (MTIP), Montego. Springer, 2005.

[Ker04]    J. Kerievsky. Refactorings to Patterns. Addison-Wesley, 2004.

[KFN93]    C. Kaner, J. Falk, and H. Nguyen. Testing Computer Software, 2nd Edition. Thompson Computer Press, 1993.

[KLM⁺97]    G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. Lopez, J.-M. Loingtier, and J. Irwin. Aspect-Oriented Programming. In ECOOP’97 – Object Oriented Programming, 11th European Conference, Jyväskylä, Finnland, LNCS 1241. Springer Verlag, 1997.

[KPR97]    C. Klein, C. Prehofer, and B. Rumpe. Feature Specification and Refinement with State Transition Diagrams. In P. Dini, editor, Fourth IEEE Workshop on Feature Interactions in Telecommunications Networks and Distributed Systems. IOS-Press, 1997.

[Kra10]    H. Krahn. MontiCore: Agile Entwicklung von domänenspezifischen Sprachen im Software-Engineering. Aachener Informatik-Berichte, Software Engineering, Band 1. Shaker Verlag, 2010.

[KRP11]    D. Kolovos, L. Rose, and R. Page. The epsilon Book. Available at: http://www.eclipse.org/gmt/epsilon/doc/book, Dec. 2011.

[Krü00]    I. Krüger. Distributed System Design with Message Sequence Charts. Doktorarbeit, Technische Universität München, 2000.

[Kru03]    P. Kruchten. The Rational Unified Process. An Introduction, Third Edition. Addison-Wesley, 2003.

[KRV08]    H. Krahn, B. Rumpe, and S. Völkel. MontiCore: Modular Development of Textual Domain Specific Languages. In R. F. Paige and B. Meyer, editors, Proceedings of the 46th International Conference Objects, Models, Components, Patterns (TOOLS-Europe). Zurich, Switzerland, 2008, LNBIP 11, pages 297–315. Springer-Verlag Berlin-Heidelberg, 2008.

[KRV10]    H. Krahn, B. Rumpe, and S. Völkel. MontiCore: a framework for compositional development of domain specific languages. International Journal on Software Tools for Technology Transfer (STTT), 12:353–372, 2010.

[Küb09]    S. Kübeck. Software-Sanierung: Weiterentwicklung, Testen und Refactoring bestehender Software. mitp Verlag, 2009.

[KW02]    D. König and H. Wegener. Geniestreich oder Mogelpackung. Extreme Programming: Pro und Contra. iX Journal, 1/2002:94–99, 2002.

[Leh07]    J. Lehmbach. Vorgehensmodelle im Spannungsfeld traditioneller, agiler und Open-Source-Softwareentwicklung. ibidem-Verlag, 2007.

[LF02]    J. Link and P. Fröhlich. Unit Tests mit Java. Der Test-First-Ansatz. dpunkt.verlag Heidelberg, 2002.

[Lig90]    P. Liggesmeyer. Modultest und Modulverifikation. B.I. Wissenschaftsverlag Mannheim, 1990.

[LKAS09]    E. Legros, F. Klar, C. Amelunxen, and A. Schürr. Generic and Reflective Graph Transformations for Checking and Enforcement of Modeling Guidelines. Journal of Visual Languages and Computing, 20(4):252–268, August 2009.

[Llo87]    J. Lloyd. Foundations of Logic Programming. 2nd Edition. Springer-Verlag, Berlin, 1987.

[LMB⁺01]    A. Ledeczi, M. Maroti, A. Bakay, G. Karsai, J. Garrett, C. Thomason, G. Nordstrom, J. Sprinkle, and P. Volgyesi. The Generic Modeling Environment. In International Workshop on Intelligent Signal Processing (WISP). IEEE, 2001.

[LOO01]    K. Lieberherr, D. Orleans, and J. Ovlinger. Aspect-Oriented Programming with Adaptive Methods. Communications of the ACM, 44(10):39–41, 2001.

[LRW02]    M. Lippert, S. Roock, and H. Wolf. Software entwicklen mit Extreme Programming. dpunkt.verlag, 2002.

[Lud02]    J. Ludewig. Modelle im Software Engineering – eine Einführung und Kritik. In M. Glinz and G. Müller-Luschnat, editors, Modellierung 2002, pages 7–22. GI, 2002.

[Mar09]    R. C. Martin. Clean Code - Refactorings, Patterns, Testen und Techniken für sauberen Code. mitp Verlag, 2009.

[MB03]    F. Marschall and P. Braun. Model Transformations for the MDA with BOTL. Technical report, University of Twente, 2003.

[McL06]    B. McLaughlin. Java and XML, 3rd Edition. O’Reilly, 2006.

[Mey97]    B. Meyer. Object-Oriented Software Construction. Prentice Hall, Englewood Cliffs, NJ, 1997.

[MFC01]    T. Mackinnon, S. Freeman, and P. Craig. Endo-testing: Unit Testing with Mock Objects. In G. Succi and M. Marchesi, editors, Extreme Programming Examined, pages 287–301. Addison-Wesley, 2001.

[MH00]    R. Monson-Haefel. Enterprise JavaBeans. O’Reilly Press, 2000.

[MMPH99]    P. Müller, J. Meyer, and A. Poetzsch-Heffter. Making Executable Interface Specifications More Expressive. In C. Cap, editor, JIT ’99 Java-Informations-Tage 1999, Informatik Aktuell. Springer-Verlag, 1999.

[Moo01]    I. Moore. Jester - a JUnit test tester. In M. Marchesi and G. Succi, editors, Proceedings of the 2nd International Conference on Extreme Programming and Flexible Processes in Software Engineering (XP2001), May 2001.

[MRR11]    S. Maoz, J. O. Ringert, and B. Rumpe. Semantically Configurable Consistency Analysis for Class and Object Diagrams. In Jon Whittle, Tony Clark, and Thomas Kühne, editors, Model Driven Engineering Languages and Systems (MODELS 2011), Wellington, New Zealand, LNCS 6981, pages 153–167. Springer, 2011.

[MT04]    T. Mens and T. Tourwé. A survey of software refactoring. IEEE Transactions on Software Engineering, 30:126–139, 2004.

[MTHM97]    R. Milner, M. Tofte, R. Harper, and D. MacQueen. The Definition of Standard ML (Revised). MIT Press, Cambridge, 1997.

[Mye79]    G. Myers. The Art of Software Testing. John Wiley & Sons, New York, 1979.

[Mye01]    G. Myers. Methodisches Testen von Programmen. Oldenbourg, München, 7.te Auflage, 2001.

[Nag79]    M. Nagl. Graph-Grammatiken: Theorie, Implementierung, Anwendungen. Vieweg, Braunschweig, 1979.

[NM01]    J. Newkirk and R. Martin. Extreme Programming in Practice. Addison-Wesley, 2001.

[NPW02]    T. Nipkow, L. Paulson, and M. Wenzel. Isabelle/HOL: A Proof Assistant for Higher-Order Logic. LNCS 2283, Springer Heidelberg, 2002.

[NS91]    M. Nagl and A. Schürr. A Specification Environment for Graph Grammars. In Proceedings of the 4th International Workshop on Graph-Grammars and Their Application to Computer Science, pages 599–609. Springer-Verlag, 1991.

[OB88]    T. Ostrand and M. Balcer. The Category-Partition Method for Specifying and Generating Functional Tests. Communications of the ACM, 31(6):676–686, 1988.

[OH98]    R. Orfali and D. Harkey. Client/Server Programming with Java and CORBA. John Wiley & Sons, 1998.

[OMG08]    OMG. Meta Object Facility (MOF) 2.0 Query/View/Transformation Specification. Technical Report OMG Document formal/08-04-03, Object Management Group, April 2008.

[OMG10]    OMG. OMG Unified Modeling Language: Infrastructure Specification, Superstructure Specification; formal/2010-05-03, formal/2010-05-05. Technical report, Object Management Group (OMG), May 2010.

[Opd92]    W. Opdyke. Refactoring Object-Oriented Frameworks. Ph.d. thesis, University of Illinois at Urbana-Champaign, 1992.

[Öve00]    G. Övergaard. Formal Specification of Object-Oriented Modelling Concepts. PhD Thesis, Department of Teleinformatics, Royal Institute of Technology, Stockholm, Sweden, 2000.

[Pae00]    B. Paech. Aufgabenorientierte Softwareentwicklung. Integrierte Gestaltung von Unternehmen, Arbeit und Software. Springer Verlag, 2000.

[Par90]    H. Partsch. Specification and Transformation of Programs. A Formal Approach to Software Development. Monographs in CS. Springer-Verlag, Berlin, 1990.

[Pau94]    L. Paulson. Isabelle: A Generic Theorem Prover. LNCS 929, Springer-Verlag, 1994.

[Pau01]    M. Paulk. Extreme Programming from a CMM Perspective. IEEE Software, 18(6):19–26, 2001.

[Pep84]    P. Pepper. Program Transformation and Programming Environments. Report on a Workshop directed by F. L. Bauer and H. Remus. NATO ASI Series F, Vol. 8. Springer, 1984.

[Pip02]    J. Pipka. Refactoring in a Test First-World. In Third International Conference on Extreme Programming and Flexible Processes in Software Engineering, XP2002, May 26-30, Alghero, Italy, pages 178–181, 2002.

[PJH⁺01]    S. Pickin, C. Jard, T. Heuillard, J.-M. Jezequel, and P. Desfray. A UML-integrated Test Description Language for Component Testing. In A. Evans, R. France, A. Moreira, and B. Rumpe, editors, Practical UML-Based Rigorous Development Methods. Workshop of the pUML-Group. October 1st, Toronto, Canada, pages 208–223, LNI P–7. GI-Edition, Bonn, 2001.

[PKS02]    M. Pol, T. Koomen, and A. Spilner. Management und Optimierung des Testprozesses, 2te Auflage. dpunkt.verlag, 2002.

[PLP01]    A. Pretschner, H. Lötzbeyer, and J. Philipps. Model Based Testing in Evolutionary Software Development. In Proc. 12th IEEE Intl. Workshop on Rapid System Prototyping (RSP’01), pages 155–160. IEEE Computer, 2001.

[PP02]    A. Pretschner and J. Philipps. Szenarien modellbasierten Testens. Technical report TUM-I0205, Technische Universität München, 2002.

[PR97]    J. Philipps and B. Rumpe. Refinement of Information Flow Architectures. In M. Hinchey, editor, ICFEM’97. IEEE CS Press, 1997.

[PR99]    J. Philipps and B. Rumpe. Refinement of Pipe And Filter Architectures. In FM’99, LNCS 1708, pages 96–115, 1999.

[PR03]     J. Philipps and B. Rumpe. Refactoring of Programs and Specifications. In H. Kilov and K. Baclawski, editors, Practical foundations of business and system specifications, pages 281–297. Kluwer Academic Publishers, 2003.

[Pre97]    C. Prehofer. Feature-Oriented Programming: A Fresh Look at Objects. In ECOOP’97 – Object Oriented Programming, 11th European Conference, Jyväskylä, Finnland, LNCS 1241. Springer Verlag, 1997.

[Pre00]    C. Prehofer. Flexible Construction of Software Components: A Feature-Oriented Approach. Habilitation Thesis, Technische Universtität München, May 2000.

[PTLP98]    S. Prowell, C. Trammell, R. Linger, and J. Poore. Cleanroom Software Engineering. Technology and Practice. SEI Series on Software Engineering. Addison-Wesley, 1998.

[PWC⁺95]    M. Paulk, C. Weber, B. Curtis, M. Chrissis, et al. The Capability Maturity Model: Guidelines for Improving the Software Process. Addison-Wesley, 1995.

[PYvB96]    A. Petrenk, N. Yevtushenko, and G. von Bochmann. Testing Deterministic Implementations from Nondeterministic FSM Specifications. In Proceedings of the 9th International Workshop on Testing of Communicating Systems (IWTCS’96), pages 125–140, 1996.

[RBGW10]    T. Rossner, C. Brandes, H. Götz, and M. Winter. Basiswissen - Modellbasierter Test. dpunkt.verlag, 2010.

[RDT95]    T. Ramalingam, A. Das, and K. Thulasiraman. Fault Detection and Diagnosis Capabilities of Test Sequence Selection Methods Based on the FSM Model. Computer Communications, 18(2):113–122, 1995.

[Rei99]    W. Reif. Formale Methoden für sicherheitskritische Software - Der KIV-Ansatz. Informatik Forschung und Entwicklung, 14(4):193–202, 1999.

[RFBLO01]    D. Riehle, S. Fraleigh, D. Bucka-Lasse, and N. Omorogbe. The Architecture of a UML Virtual Machine. In Proceedings of the 2001 Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), pages 327–341. ACM Press, 2001.

[RG02]    M. Richters and M. Gogolla. OCL: Syntax, Semantics and Tools. In T. Clark and J. Warmer, editors, Object Modeling with the OCL, pages 42–68, LNCS 2263. Springer Verlag, Berlin, 2002.

[RL04]    S. Roock and M. Lippert. Refactorings in großen Softwareprojekten. Komplexe Restrukturierung erfolgreich druchführen. dpunkt.verlag, 2004.

[RLNS00]    K. Rustan, M. Leino, G. Nelson, and J. Saxe. ESC/Java user’s manual. Technical Note 2000-02, Compaq Systems Research Center, Palo Alto, CA, 2000.

[Roz99]    G. Rozenberg. Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations. World Scientific, 1999.

[RS01]    B. Rumpe and A. Schröder. Quantitative Untersuchung des Extreme Programming Prozesses. Technical report TUM-I0110 and ViSEK/006D, Technische Universität München und Virtuelles Software Engineering Kompetenzzentrum, 2001.

[RS02]    B. Rumpe and A. Schröder. Quantitative Survey on Extreme Programming Projects. In Third International Conference on Extreme Programming and Flexible Processes in Software Engineering, XP2002, May 26-30, Alghero, Italy, pages 43–46, 2002.

[RT98]    B. Rumpe and V. Thurner. Refining Business Processes. In H. Kilov, B. Rumpe, and I. Simmonds, editors, Seventh OOPSLA Workshop on Precise Behavioral Semantics, I9820. Technische Universität München, June 1998.

[Rum96]    B. Rumpe. Formale Methodik des Entwurfs verteilter objektorientierter Systeme. Herbert Utz Verlag Wissenschaft, 1996.

[Rum98]    B. Rumpe. A Note on Semantics (with an Emphasis on UML). In Second ECOOP Workshop on Precise Behavioral Semantics. Technische Universität München, TUM-I9813, 1998.

[Rum01]    B. Rumpe. Extreme Programming - Back to Basics? In G. Engels, A. Oberweis, and A. Zündorf, editors, Proceedings of Modellierung 2001, 28.-30.3.2001 Bad Lippspringe, pages Lecture Notes in Informatics, Band 1. GI-Edition, Bonn, 2001.

[Rum02]    B. Rumpe. Executable Modeling with UML. In Issues & Trends of Information Technology Management in Contemporary Associations, Seattle, pages 697–701, Hershey, London, 2002. Idea Group Publishing.

[Rum03]    B. Rumpe. Model-Based Testing of Object-Oriented Systems. In et.al. F. de Boer, editor, Formal Methods for Components and Objects, page LNCS 2852. Springer Verlag, 2003.

[Rum04]    B. Rumpe. Agile Modeling with the UML. In S. Balsamo M. Wirsing, A. Knapp, editor, Radical Innovations of Software and Systems Engineering in the Future, RISSEF 2002, page LNCS 2941. Springer Verlag, 2004.

[Rum11]    B. Rumpe. Modellierung mit UML. Sprache, Konzepte und Methodik. 2. Auflage. Springer Verlag, 2011.

[Rum12]    B. Rumpe. Agile Modellierung mit UML. Codegenerierung, Testfälle, Refactoring. 2. Auflage. Springer Verlag, 2012.

[RW11]    B. Rumpe and I. Weisemöller. A Domain Specific Transformation Language. In ME 2011 - Models and Evolution, Wellington, New Zealand, 2011.

[RWH01]    B. Reus, M. Wirsing, and R. Hennicker. A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Model. In FASE 2001, ETAPS, Genova, LNCS 2029, pages 300–316. Springer Verlag, 2001.

[Sax08]    E. Sax. Automatisiertes Testen Eingebetteter Systeme in der Automobilindustrie. Carl Hanser Verlag, 2008.

[SBPM08]    D. Steinberg, F. Budinsky, M. Paternostro, and E. Merks. EMF Eclipse Modeling Framework. Addison-Wesley, 2. edition, 2008.

[Sch88]    A. Schürr. Modellierung und Simulation komplexer Systeme mit PROGRES. In W. Ameling, editor, Proc. 5. Symp. Simulationstechnik, Aachen, Germany, volume 179 of Informatik-Fachberichte, pages 84–91, Heidelberg, 1988. Springer Verlag.

[Sch91]    A. Schürr. Operationales Spezifizieren mit programmierten Graphersetzungssystemen. Deutscher Universitätsverlag, Wiesbaden, 1991.

[Sch94]    A. Schürr. Specification of Graph Translators with Triple Graph Grammars. In Proc. of the 20th Int. Workshop on Graph-Theoretic Concepts in Computer Science (WG ‘94), Herrsching (D). Springer, 1994.

[Sch04]    B. Schätz. Mastering the Complexity of Embedded Systems - The AutoFocus Approach. In F. Kordon and M. Lemoine , editor, Formal Techniques for Embedded Distributed Systems: From Requirements to Detailed Design. Kluwer, 2004.

[Sch12]    Martin Schindler. Eine Werkzeuginfrastruktur zur agilen Entwicklung mit der UML/P. Aachener Informatik-Berichte, Software Engineering, Band 11. Shaker Verlag, 2012.

[SD00]    J. Siedersleben and E. Denert. Wie baut man Informationssysteme? Überlegungen zur Standardarchitektur. Informatik Spektrum, 8/2000:247–257, 2000.

[SK04]    S. Sendall and J. Küster. Taming model round-trip engineering. In Proceedings of OOPSLA Workshop on Best Practices for Model-Driven Software Development, 2004.

[Sne96]    H. Sneed. Schätzung der Entwicklungskosten von objektorientierter Software. Informatik-Spektrum, 19:133–140, 1996.

[Som10]    I. Sommerville. Software Engineering, 9th Edition. Addison-Wesley Longman, Amsterdam, 2010.

[Sou01]    N. Soundarajan. Refactoring and Re-Reasoning. In G. Succi and M. Marchesi, editors, Extreme Programming Examined, pages 303–319. Addison-Wesley, 2001.

[Spi88]    J. Spivey. Understanding Z. Cambridge University Press, 1988.

[SPTJ01]    G. Sunye, D. Pollet, Y. Le Traon, and J.-M. Jezequel. Refactoring UML Models. In M. Gogolla and C. Kobryn, editors, ≪UML≫2001 – The Unified Modeling Language, 4th Intl. Conference, pages 134–148, LNCS 2185. Springer, 2001.

[SSSH01]    G. Succi, M. Stefanovic, M. Smith, and R. Huntrods. Design of an Experiment for Quantitative Assessment of Pair Programming Practices. In M. Marchesi and G. Succi, editors, Proceedings of the 2nd International Conference on Extreme Programming and Flexible Processes in Software Engineering (XP2001), May 2001.

[ST87]    D. Sanella and A. Tarlecki. On Observational Equivalence and Algebraic Specification. Journal of Computer and System Sciences, pages 150–178, 1987.

[Sta73]    H. Stachowiak. Allgemeine Modelltheorie. Springer Verlag Wien, 1973.

[Ste10]    M. Steyer. Agile Muster und Methoden: Agile Softwareentwicklung maßgeschneidert. Entwickler.Press, 2010.

[SVEH07]    T. Stahl, M. Völter, S. Efftinge, and A. Haase. Modellgetriebene Softwareentwicklung: Techniken, Engineering, Management, 2. Auflage. dpunkt.verlag, 2007.

[SvVB02]    T. Sturm, J. von Voss, and M. Boger. Generating Code for UML with Velocity Templates. In J-M. Jézéquel and H. Hußmann, editors, ≪UML≫2002 – The Unified Modeling Language: Model Engineering, Concepts and Tools, 5th Intl. Conference. Springer, LNCS, 2002.

[SZ01]    E. Sekerinski and R. Zurob. iState: A Statechart Translator. In M. Gogolla and C. Kobryn, editors, ≪UML≫2001 – The Unified Modeling Language, 4th Intl. Conference, pages 376–390, LNCS 2185. Springer, 2001.

[Tae04]    G. Taentzer. AGG: A Graph Transformation Environment for Modeling and Validation of Software. In Applications of Graph Transformations with Industrial Relevance, pages 446–453, 2004.

[TB01]    L. Tokuda and D. Batory. Evolving Object-Oriented Designs with Refactorings. Journal of Automated Software Engineering, 8:89–120, 2001.

[TDDN00]    S. Tichelaar, S. Ducasse, S. Demeyer, and O. Nierstrasz. A Meta-model for Language-Independent Refactoring. In Proceedings ISPSE 2000, IEEE, 2000.

[TFR02]    D. Turk, R. France, and B. Rumpe. Limitations of Agile Software Processes. In Third International Conference on Extreme Programming and Flexible Processes in Software Engineering, XP2002, May 26-30, Alghero, Italy, pages 43–46, 2002.

[vdB94]    M. von der Beeck. A Comparison of Statecharts Variants. In H. Langmaack, W.-P. de Roever, and J. Vytopil, editors, Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT’94), volume LNCS 863, pages 128–148. Springer-Verlag, 1994.

[vdB01]    M. von der Beeck. Formalization of UML-Statecharts. In M. Gogolla and C. Kobryn, editors, ≪UML≫2001 – The Unified Modeling Language, 4th Intl. Conference, pages 406–421, LNCS 2185. Springer, 2001.

[Vig10]    U. Vigenschow. Testen von Software und Embedded Systems, 2. Auflage. dpunkt.verlag, 2010.

[Viv01]    F. Vivaldi. Experimental Mathematics with Maple. CRC Press, Boca Raton, Florida, 2001.

[vO01]    D. von Oheimb. Hoare Logic for Java in Isabelle/HOL. Concurrency and Computation: Practice and Experience, 13(13):1173–1214, 2001.

[Voa95]    J. Voas. Software Testability Measurement for Assertion Placement and Fault Localization. In M. Ducasse, editor, AADEBUG, 2nd International Workshop on Automated and Algorithmic Debugging, Saint Malo, France, pages 133–144. IRISA-CNRS, 1995.

[Völ11]    S. Völkel. Kompositionale Entwicklung domänenspezifischer Sprachen. Aachener Informatik-Berichte, Software Engineering, Band 9. Shaker Verlag, 2011.

[W3C00]    W3C. Extensible Markup Language (XML) 1.0 (2nd edition 6 October 2000). http://www.w3.org/xml, 2000.

[Wak02]    W. Wake. Extreme Programming Explored. Addison-Wesley, 2002.

[Wil01]    A. Wills. Catalytic Modeling: UML meets XP. In A. Evans, R. France, A. Moreira, and B. Rumpe, editors, Practical UML-Based Rigorous Development Methods. Workshop of the pUML-Group. October 1st, Toronto, Canada, pages 288–307, LNI P–7. GI-Edition, Bonn, 2001.

[Wir71]    N. Wirth. Program Development by Stepwise Refinement. Communications of the ACM, 14:221–227, 1971.

[WKCJ00]    L. Williams, R. Kessler, W. Cunningham, and R. Jeffries. Strengthening the Case for Pair Programming. IEEE Software, 17(4):19–25, 2000.

[WKS10]    I. Weisemöller, F. Klar, and A. Schürr. Development of Tool Extensions with MOFLON. In H. Giese, G. Karsai, E. Lee, B. Rumpe, and B. Schätz, editors, Model-Based Engineering of Embedded Real-Time Systems: International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007, LNCS 6100, pages 337–343. Springer Verlag, 2010.

[Wol99]    S. Wolfram. The MATHEMATICA Book. Cambridge University Press, 1999.

[Woy08]    R. Woywod. Extreme Programming goes offshore - Der Einfluss der Kulturen auf den Projektmanagement-Prozess bei agilen Methoden. Grin Verlag, 2008.

[Zün96]    A. Zündorf. Eine Entwicklungsumgebung für PROgrammierte GRaphErsetzungsSysteme - Spezifikation, Implementierung und Verwendung. PhD thesis, RWTH Aachen, 1996.