Stoiber, R., M. Glinz (2010). Supporting Stepwise, Incremental Product Derivation in Product Line Requirements Engineering. Proceedings of the 4th International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'10). Linz, Austria. [PDF]

Bencomo N., Blair G., France R., Jeanneret C., Muñoz F. (eds.) (2009). Proceedings of the 4th Workshop on Models@run.time, held at the ACM/IEEE 12th International Conference on Model Driven Engineering Languages and Systems (MoDELS'09). Denver, USA.

Fricker, S. (2009). Pragmatic Requirements Communication: The Handshaking Approach. Doctoral Thesis, University of Zurich, Switzerland.

Fricker, S. (2009). Specification and Analysis of Requirements Negotiation Strategy in Software Ecosystems, International Workshop on Software Ecosystems (IWSECO'09), Falls Church, VA, USA. [PDF]

Glinz, M., P. Heymans (eds.) (2009). Requirements Engineering: Foundation for Software Quality: 15th International Working Conference, REFSQ 2009, Amsterdam, The Netherlands June 8-9, 2009 Proceedings. Lecture Notes in Computer Science vol. 5512. Berlin, Heidelberg: Springer. [link]

Gorschek, T., S. Fricker, S. Brinkkemper, C. Ebert (eds.) (2009). Proceedings of the 3rd International Workshop on Software Product Management (IWSPM'09) at RE'09, Atlanta, GA, USA.

Jeanneret, C. (2009). Finding the Right Level of Abstraction. Doctoral Symposium of the 17th IEEE Internation Requirements Engineering Conference (RE'09). Atlanta, GA, USA. [PDF]

Meier, S. (2009). Aspect-Oriented Requirements Modeling. Doctoral Thesis, University of Zurich, Switzerland.

Stoiber, R., M. Glinz (2009). Modeling and Managing Tacit Product Line Requirements Knowledge. Proceedings of the 2nd International Workshop on Managing Requirements Engineering Knowledge (MaRK'09), at RE'09. Atlanta, GA, USA. [PDF]

Desel, J., M. Glinz (eds.) (2008). Modellierung in Lehre und Weiterbildung [Modeling in Teaching and Continuing Education (mostly in German)]. Workshop at Modellierung 2008, Berlin, Germany, March 2008. TR ifi-2008.04, University of Zurich.

Fricker, S., T. Gorschek, M. Glinz (2008). Goal-Oriented Requirements Communication in New Product Development. 2nd International Workshop on Software Product Management (IWSPM'08), Barcelona, Spain. [PDF]

Fricker, S., P. Grünbacher (2008). Negotiation Constellations - Method Selection Framework for Requirements Negotiation. In B. Paech, C. Rolland, P. Heymans, A. Persson (eds.), Proceedings of the 14th International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2008). Lecture Notes in Computer Science (LNCS) 5025, Berlin: Springer. 37-51. [PDF]

Fricker, S., R. Stoiber (2008). Relating Product Line Context to Requirements Engineering Processes Using Design Rationale. Workshop Produktlinien im Kontext: Technologie, Prozesse, Business und Organisation (PiK2008), Munich, Germany. [PDF]

Glinz, M. (2008). Modellierung in der Lehre an Hochschulen: Thesen und Erfahrungen. [Modeling in Education at Universities: Theses and Experience (in German with an English abstract)]. Informatik Spektrum 31, 5. 425-434. [PDF]

Glinz, M. (2008). A Risk-Based, Value-Oriented Approach to Quality Requirements. IEEE Software 25, 2. 34-41. [PDF]

Gorschek, T., S. Fricker, R. Felt, R. Torkar, C. Wohlin, M. Mattsson (2008). 1st International Global Requirements Engineering Workshop - GREW'07. Software Engineering Notes 33, 2: ACM SIGSOFT. [PDF]

Reinhard, T., S. Meier, R. Stoiber, C. Cramer, M. Glinz (2008) Tool Support for the Navigation in Graphical Models. 30th International Conference on Software Engineering (ICSE'08), Leipzig, Germany. 823-826. [PDF]

Stoiber, R., T. Reinhard, M. Glinz (2008). Visualization Support for Software Product Line Modeling. Proceedings of the 2nd International Workshop on Visualization in Software Product Line Engineering (ViSPLE'08), at SPLC'08. Limerick, Ireland. [PDF]

Fricker, S., T. Gorschek, P. Myllyperkiö (2007). Handshaking between Software Projects and Stakeholders Using Implementation Proposals. In P. Sawyer, B. Paech, P. Heymans (eds.), Proceedings of the 13th International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2007). Lecture Notes in Computer Science (LNCS) 4542, Berlin: Springer. 144-159. [PDF]

Glinz, M. (ed.) (2007). Special Issue on the Best Research Papers from RE'06. Requirements Engineering Journal 12, 2.
[Guest Editor's Introduction (PDF)]

Glinz, M. (2007). On Non-Functional Requirements. 15th IEEE International Requirements Engineering Conference (RE'07), Delhi, India.  [PDF]

Glinz, M., C. Seybold, S. Meier (2007). Simulation-Driven Creation, Validation and Evolution of Behavioral Requirements Models. Dagstuhl-Workshop Modellbasierte Entwicklung eingebetteter Systeme (MBEES 2007). Informatik-Bericht 2007-01, TU Braunschweig, Germany. 103-112. [PDF]

Glinz, M., R. Wieringa (eds.) (2007). IEEE Software Special Issue on Stakeholders in Requirements Engineering. IEEE Software 24, 2.

Glinz, M., R. Wieringa (2007). Stakeholders in Requirements Engineering. Guest Editors' Introduction. IEEE Software 24, 2. 18-20. [PDF]

Gorschek, T., S. Fricker (eds.) (2007). Proceedings of the 1st International Global Requirements Engineering Workshop (GREW'07), Munich, Germany. [PDF]

Meier, S., T. Reinhard, R. Stoiber, M. Glinz (2007). Modeling and Evolving Crosscutting Concerns in ADORA. Proceedings of the 11th Workshop on Early Aspects at the International Conference on Software Engineering, Minneapolis, USA. [PDF]

Mukhija, A. (2007). CASA - A Framework for Dynamically Adaptive Applications. Doctoral Thesis, University of Zurich. [PDF]

Reinhard, T., S. Meier, M. Glinz (2007). An Improved Fisheye Zoom Algorithm for Visualizing and Editing Graphical Models. 2nd International Workshop on Requirements Engineering Visualization (REV'07), in conjunction with RE'07. New Delhi, India. [PDF]

Stoiber, R., S. Meier, M. Glinz (2007). Visualizing Product Line Domain Variability by Aspect-Oriented Modeling. 2nd International Workshop on Requirements Engineering Visualization (REV'07), in conjunction with RE'07. New Delhi, India. [PDF]

Desel, J., M. Glinz (eds.) (2006). Modellierung in Lehre und Weiterbildung [Modeling in Teaching and Continuing Education (mostly in German)]. Workshop at Modellierung 2006, Innsbruck, Austria, March 2006. TR ifi-2006.03, University of Zurich.

Fricker, S., M. Glinz, P. Kolb (2006). A Case Study on Overcoming the Requirements Tar Pit. Journal of Universal Knowledge Management 1, 2. 85-98. [PDF]
(An earlier version of this paper has been published in the Proceedings of the Workshop on Learning Software Organizations and Requirements Engineering (LSO+RE 2006), Hannover, Germany, March 2006.)

Glinz, M., R. Lutz (eds.) (2006). Proceedings of the 14th IEEE International Requirements Engineering Conference. Minneapolis, MN, USA. IEEE Computer Society Press. [IEEE CS Digital Library]

Meier, S., T. Reinhard, C. Seybold, M. Glinz (2006). Aspect-Oriented Modeling with Integrated Object Models. Modellierung 2006. Innsbruck, Austria. GI-Edition - Lecture Notes in Informatics, Vol. P-82. 129-144. [PDF]

Reinhard, T., C. Seybold, S. Meier, M. Glinz, N. Merlo-Schett (2006). Human-Friendly Line Routing for Hierarchical Diagrams. Proceedings of the 21st IEEE International Conference on Automated Software Engineering (ASE'06), Tokyo, Japan. 273-276. [PDF]

Seybold, C. (2006). Simulation teilformaler Anforderungsmodelle [Simulation of semi-formal requirements models (in German)]. Doctoral Thesis, University of Zurich. Aachen: Shaker Verlag.

Seybold, C., S. Meier, M. Glinz (2006). Scenario-Driven Modeling and Validation of Requirements Models. 5th ICSE International Workshop on Scenarios and State Machines: Models, Algorithms and Tools, Shanghai, May 2006. [PDF]

Glinz, M. (2005). Rethinking the Notion of Non-Functional Requirements. Proceedings of the Third World Congress for Software Quality (3WCSQ 2005), Munich, Germany, Vol. II, 55-64. [PDF]

Glinz, M. (2005). Software Engineering: Eine Einführung. Vorlesungsskript, Universität Zürich. [PDF]

Mukhija, A., M. Glinz (2005). The CASA Approach to Autonomic Applications. Proceedings of the 5th Workshop on Applications and Services in Wireless Networks (ASWN 2005), Paris, France. 173-182. [PDF]

Mukhija, A., M. Glinz (2005). Runtime Adaptation of Applications through Dynamic Reconfiguration of Components. Proceedings of ARCS 2005 - 18th International Conference on Architecture of Computing Systems, Innsbruck, Austria. 124-138. [PDF]

Seybold, C., S. Meier, M. Glinz (2005). Simulation-based Validation and Defect Localization for Evolving, Semi-Formal Requirements Models. Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC 2005), Taipei, Taiwan. 408-417. [PDF]

Stoyan, R., M. Glinz (2005). Methoden und Techniken zum Erreichen didaktischer Ziele in Software-Engineering-Praktika. [Methods and Techniques for Achieving Didactic Goals in Software Engineering Lab Courses (in German)] In: K.-P. Löhr, H. Lichter (Eds.): Software Engineering im Unterricht der Hochschulen, SEUH-9 2005. Heidelberg: dpunkt-Verlag. 2-15. [PDF] - Received the best paper award.

Glinz, M. (ed.) (2004). Proceedings of the Doctoral Consortium at the 12th IEEE International Requirements Engineering Conference. Kyoto, Japan.

Glinz, M. (2004). Systematically Combining Specifications of Internal and External System Behavior Using Statecharts. Proceedings of the 3rd ICSE International Workshop on Scenarios and State Machines: Models, Algorithms and Tools, Edinburgh. 14-20. [PDF]

Mukhija, A., M. Glinz (2004). A Framework for Dynamically Adaptive Applications in a Self-organized Mobile Network Environment. Proceedings of the 4th ICDCS International Workshop on Distributed Auto-adaptive and Reconfigurable Systems (DARES 2004), Tokyo, Japan, March 2004. 368-374. [PDF]

Seybold, C., S. Meier, M. Glinz (2004). Evolution of Requirements Models by Simulation. Proceedings of IWPSE'04: International Workshop on Principles of Software Evolution, Kyoto, Japan, September 6-7, 2004. 43-48. [PDF]

Xia Y., M. Glinz (2004). Extending a Graphic Modeling Language to Support Partial and Evolutionary Specification. Proceedings of 11th Asia-Pacific Software Engineering Conference (APSEC 2004). [PDF]

Glinz, M. (2003). Desert Island Column. Automated Software Engineering 10, 4. 399-402. [PDF]

Glinz, M., G. Müller-Luschnat (eds.) (2003). Special section on 'Modellierung 2002'. Software and Systems Modeling 2, 1.[PDF]

Mukhija, A., M. Glinz (2003). CASA - A Contract-based Adaptive Software Architecture Framework. Proceedings of the 3rd Workshop on Applications and Services in Wireless Networks (ASWN 2003), Berne, Switzerland, July 2003. 275-286. [PDF]

Ryser, J. (2003). Szenarienbasiertes Validieren und Testen von Softwaresystemen [Scenario-based validation and test of software systems (in German)]. Ph.D. Thesis, University of Zurich. [download]

Seybold, C., M. Glinz, S. Meier, N. Merlo-Schett (2003). An Effective Layout Adaptation Technique for a Graphical Modeling Tool. (Formal research demostration). Proceedings of the 2003 International Conference on Software Engineering, Portland. 826-827. [PDF]

Xia Y., M. Glinz (2003). Rigorous EBNF-based Definition for a Graphic Modeling Language. Proceedings of 10th Asia-Pacific Software Engineering Conference (APSEC 2003). 186-196. [PDF]

Berner, S. (2002). Modellvisualisierung für die Spezifikationssprache ADORA. [Model visualization for the specification language ADORA (in German)]. Ph.D. Thesis, University of Zurich. [download]

Berner, S., M. Glinz, S. Joos, S. Meier, N. Merlo-Schett, J. Ryser, C. Seybold (2002). Entwicklungsrichtlinien für Java-Software (Version 3.0) [PDF]

Fuchs, N. E., U. Schwertel (2002). Reasoning in Attempto Controlled English. Technical Report. [PDF]

Glinz, M., S. Berner, S. Joos (2002). Object-oriented modeling with ADORA. Information Systems 27, 6. 425-444. [PDF]

Glinz, M. (2002). Statecharts For Requirements Specification - As Simple As Possible, As Rich As Needed. Proceedings of the ICSE 2002 Workshop on Scenarios and State Machines: Models, Algorithms, and Tools. [PDF]

Glinz, M., G. Müller-Luschnat (eds.) (2002). Modellierung 2002. GI-Workshop, Tutzing, Germany. [Modeling 2002 - Proceedings of a GI-workshop. (mostly in German)] GI-Edition - Lecture Notes in Informatics, Vol. P-12. [more]

Glinz, M., S. Berner, S. Joos, J. Ryser, N. Schett, Y. Xia (2001). The ADORA Approach to Object-Oriented Modeling of Software. In K.R. Dittrich, A. Geppert and M.C. Norrie (eds.): Advanced Information Systems Engineering, Proceedings of CAiSE 2001, Interlaken, Switzerland. Lecture Notes in Computer Science Vol. 2068. Berlin: Springer. 76-92. [PDF]

Lichter, H., M. Glinz (eds.) (2001). Software Engineering im Unterricht der Hochschulen - SEUH 7. [Teaching software engineering at universities - Proceedings of SEUH 7 (in German)] Heidelberg: dpunkt. [more]

Ryser, J., M. Glinz (2001). Dependency Charts as a Means to Model Inter-Scenario Dependencies. In G. Engels, A. Oberweis and A. Zündorf (eds.): Modellierung 2001. GI-Workshop, Bad Lippspringe, Germany. GI-Edition - Lecture Notes in Informatics, Vol. P-1. 71-80. [PDF]

Fuchs, N. E., U. Schwertel, S. Torge (2000). A Natural Language Front-End to Model Generation, Journal of Language and Computation 1, 2. 199-214. [PDF]

Glinz, M. (2000a). A Lightweight Approach to Consistency of Scenarios and Class Models. Proceedings of the Fourth IEEE International Conference on Requirements Engineering. Schaumburg, Illinois. 49-58. [PDF]

Glinz, M. (2000b). Improving the Quality of Requirements with Scenarios. Proceedings of the Second World Congress on Software Quality. Yokohama. 55-60. [PDF]

Glinz, M. (2000c). Problems and Deficiencies of UML as a Requirements Specification Language. Proceedings of the Tenth International Workshop on Software Specification and Design. San Diego. 11-22. [PDF]

Glinz, M., N. Schett (2000). Preliminary Validation of a Lightweight Approach to Consistency of Scenarios and Class Models. Technical Report 2000.02, Institut für Informatik, University of Zurich. [PDF]

Ryser, J., M. Glinz (2000a). SCENT - A Method Employing Scenarios to Systematically Derive Test Cases for System Test. Technical Report 2000.03, Institut für Informatik, University of Zurich. [PDF]

Ryser, J., M. Glinz (2000b). Using Dependency Charts to Improve Scenario-Based Testing. Proceedings of the 17th International Conference on Testing Computer Software (TCS2000). Washington D.C., June 2000. [PDF]

Schmid, R., J. Ryser, S. Berner, M. Glinz, R.Reutemann, E. Fahr (2000). A Survey of Simulation Tools for Requirements Engineering. Technical Report 2000.06, Institut für Informatik, University of Zurich. [PDF]

Schwertel, U. (2000). Controlling Plural Ambiguities in Attempto Controlled English. Proceedings of the 3rd International Workshop on Controlled Language Applications. Seattle. [PDF]

Berner, S., M. Glinz, S. Joos (1999). A Classification of Stereotypes for Object-Oriented Modeling Languages. Proceedings of the Second International Conference on the Unified Modeling Language, Fort Collins. Berlin, etc.: Springer. 249-264 [PDF]

Berner, S., N. Schett, Y. Xia, M. Glinz (1999). An Experimental Validation of the ADORA Language. Technical Report 99.07, Institut für Informatik, University of Zurich. [PDF]

Fuchs, N. E. (1999). Specifications Are (Preferably) Executable, Software Engineering Journal, September 1992, pp. 323-334; reprinted in: J. P. Bowen, M. G. Hinchey, High-Integrity System Specification and Design, Springer-Verlag London, 1999. [PDF]

Fuchs, N. E., U. Schwertel, R. Schwitter (1999a). Attempto Controlled English - Not Just Another Logic Specification Language. In P. Flener (ed.): Logic-Based Program Synthesis and Transformation, Eighth International Workshop LOPSTR'98, Manchester, UK. Lecture Notes in Computer Science 1559, Springer Verlag. [PDF]

Fuchs, N.E., U. Schwertel, R. Schwitter (1999b). Attempto Controlled English (ACE) Language Manual, Version 3.0. Technical Report 99.03, Department of Computer Science, University of Zurich. [PDF]

Fuchs, N.E., U. Schwertel, S. Torge (1999). Controlled Natural Language Can Replace First-Order Logic. Proceedings 14th IEEE International Conference on Automated Software Engineering, ASE'99, Cocoa Beach, Florida. [PDF]

Glinz, M. (1999). Eine geführte Tour durch die Landschaft der Software-Prozesse und -Prozessverbesserung. Informatik/Informatique 6, 6 (Dec 1999). [PDF]

Joos, S. (1999). ADORA-L - Eine Modellierungssprache zur Spezifikation von Software-Anforderungen [ADORA-L - A modeling language for specifying software requirements. In German]. PhD Thesis, University of Zurich. [download]

Ryser, J., M. Glinz (1999a). A Practical Approach to Validating and Testing Software Systems Using Scenarios. QWE'99: Third International Software Quality Week Europe, Brussels, Nov 1999. [PDF]

Ryser, J., M. Glinz (1999b). A Scenario-Based Approach to Validating and Testing Software Systems Using Statecharts. Proc. 12th International Conference on Software and Systems Engineering and their Applications, Paris, Dec 1999. [PDF]

Arnold, M., M. Erdmann, M. Glinz, P. Haumer, R. Knoll, B. Paech, K. Pohl, J. Ryser, R. Studer, K. Weidenhaupt (1998). Survey on the Scenario Use Twelve Selected Industrial Projects. Technical Report AIB 98-07, RWTH Aachen. [PDF]

Berner, S., S. Joos, M. Glinz, M. Arnold (1998a). A Visualization Concept for Hierarchical Object Models. Proceedings of the 13th IEEE International Conference on Automated Software Engineering (ASE-98). 225-228. [PDF]

Berner, S., Joos., S., Glinz, M, Arnold, M. (1998b). Visualizing Adora Models. TR-98-09, Department of Computer Science, University of Zurich; 1998. [PDF]

Joos, S., Berner, S. Glinz, M. (1998). Stereotypen und ihre Verwendung in objektorientierten Modellen - eine Klassifikation [Stereotypes and Their Usage in Object-Oriented Models - A Classification (in German)]. In: K.Pohl, A. Schürr, G. Vossen (eds.): Proceedings of the GI workshop Modellierung'98. TR 6/98-I, University of Münster, Germany. 111-115.

Richardson, J., N. E. Fuchs (1998). Development of Correct Transformation Schemata for Prolog Programs. In: N. E. Fuchs (ed.), Proceedings of the Seventh International Workshop on Logic Program Synthesis and Transformation LOPSTR '97, Leuven, Belgium, Lecture Notes in Computer Science, Springer Verlag. [PDF]

Ryser, J., S. Berner, M. Glinz (1998). On the State of the Art in Requirements-based Validation and Test of Software. Technical Report 98-12, Institut für Informatik, University of Zurich. [PDF]

Schwitter, R. (1998). Kontrolliertes Englisch für Anforderungsspezifikationen. PhD thesis (in German), Department of Computer Science, University of Zurich. [PDF]

Berner, S., Joos, S., Glinz M. (1997). Entwicklungsrichtlinien für die Programmiersprache Java. INFORMATIK/INFORMATIQUE, Nr. 3, Jun. 1997. (pp. 8-11) [PDF]

Joos, S., Berner, S., Arnold, M., Glinz, M. (1997). Hierarchische Zerlegung in objektorientierten Spezifikationsmethoden. Softwaretechnik-Trends 17, 1, Feb. 1997. 29-37. [PDF]

Antonioli, D. N., Berner, S., Cap, C. H., Pilz, M., Richter, L., Richter, M., Suezawa, T. (1996): Ein Glossar wichtiger Begriffe zur Java-Technologie. Institut für Informatik der Universität Zürich, 1996. [PDF]

Berner, S., Arnold, M., Joos, S., Glinz, M. (1996): Java Entwicklungsrichtlinen (Version 2.0.2). Requirements Engineering Research Group, IFI, University of Zurich, 1996. [PDF]

Fuchs, N. E., R. Schwitter (1996). Attempto Controlled English (ACE), CLAW 96, First International Workshop on Controlled Language Applications, University of Leuven, Belgium. [PDF]

Glinz, M. (1996). The Teacher: "Concepts!" The Student: "Tools!" - On the Number and Importance of Concepts, Methods, and Tools to be Taught in Software Engineering Education. Proceedings Third International Workshop on Software Engineering Education, Berlin. Published in Softwaretechnik-Trends 16,1 (Feb. 1996). 32-34 and 55. [PDF]

Fuchs, N. E. , R. Schwitter (1995). Specifying Logic Programs in Controlled Natural Language, Proceedings CLNLP 95, ELSNET/COMPULOG-NET/EAGLES Workshop on Computational Logic for Natural Language Processing, University of Edinburgh. [PDF]

Glinz, M., P. Baumann, H. Schauer (1995). Warum ist Software-Entwicklung schwierig? unizürich, Magazin der Universität Zürich, Nr. 1, April 1995. (pp. 12-15)

Glinz, M. (1995). Anforderungen: Wie sag ich's und wie schreib ich's auf. unizürich, Magazin der Universität Zürich, Nr. 1, Apr. 1995. (pp. 16-17)

Glinz, M. (1995). An Integrated Formal Model of Scenarios Based on Statecharts. In Schäfer, W. and Botella, P. (eds.) (1995). Software Engineering - ESEC '95. Proceedings of the 5th European Software Engineering Conference, Sitges, Spain. Berlin, etc.: Springer (Lecture Notes in Computer Science 989). 254-271. [Postscript | PDF]

Fuchs, N. E., M. P. J. Fromherz (1994). <cite>Transformational</cite><cite> Development of Logic Programs from Executable Specifications - Schema-Based Visual and Textual Composition of Logic Programs</cite>. In: C. Beckstein, U. Geske (eds.), Entwicklung, Test und Wartung deklarativer KI-Programme, GMD Studien Nr. 238, Gesellschaft für Mathematik und Datenverarbeitung.

Glinz, M. (1993). Hierarchische Verhaltensbeschreibung in objekt-orientierten Systemmodellen - eine Grundlage für modellbasiertes Prototyping. In Züllighoven, H. et. al. (eds.): Requirements Engineering '93: Prototyping. (Report No. 41 of the German Chapter of the ACM) Teubner, Stuttgart. 175-192. [PDF | Abstract (in English)]

Fuchs, N. E. (1992). Hoare Logic, Executable Specifications and Logic Programs. Structured Programming, vol 13, no. 3. [PDF] Fuchs, N. E., M. P. J. Fromherz (1992). <cite>Schema-Based Transformations of Logic Programs</cite>. In: K.-K. Lau, T. Clement (Eds.), Proceedings of LOPSTR '91, University of Manchester. Springer, Berlin etc.

Glinz, M. (1991). Probleme und Schwachstellen der Strukturierten Analyse [Problems and Weaknesses of Structured Analysis (in German)]. In M. Timm (ed.): Requirements Engineering '91. Informatik-Fachberichte Band 273, Berlin, etc.: Springer. 14-39.

Glinz, M. (1987). Objektorientierte, halbformale Spezifikation mit SPADES [Object-Oriented Semiformal Specification with SPADES (in German)]. In P. Schmitz et al. (eds.): Requirements Engineering '87. GMD-Studien Nr. 121. 163-174.

Glinz, M. , J. Ludewig (1986). SEED - A DBMS for Software Engineering Applications Based on the Entity-Relationship Approach. Proceedings of the 2nd International Conference on Data Engineering, Los Angeles. 654-660. [PDF]

Glinz, M., H. Huser, J. Ludewig (1985). SEED - A Database System for Software Engineering Environments. GI Fachtagung Datenbanksysteme in Büro, Technik und Wissenschaft, Karlsruhe. Informatik-Fachberichte Band 94, Berlin, etc.: Springer. 121-126.

Ludewig, J., M. Glinz, H. Huser, G. Matheis, H. Matheis, M.F. Schmidt (1985). SPADES - A Specification and Design System and its Graphical Interface. Proceedings of the 8th International Conference on Software Engineering, London. 83-89. [PDF]