Prof. Dr. Mark Minas

Projekte

Requirements Engineering in der Automatisierungstechnik
Projektleitung: Prof. Dr. Manfred Broy (TU München)
Mitarbeiter: Schneider, H.; Billing, G.; Minas, M.

Lehrveranstaltungen

SS 2002

WS 2001/2002

SS 2001

WS 2000/2001

SS 2000

WS 1999/2000

SS 1999

WS 1998/1999

SS 1998

WS 1997/1998

SS 1997

WS 1996/1997

Publikationen

  1. Schneider, H.; Minas, M.: Graph transformation by computational category theory. In: Engels, G.; Lewerentz, C.; Schäfer, W.; Schürr, A.; Westfechtel, B. (Hrsg.): Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday, Lecture Notes Computer Science, Berlin/Heidelberg: Springer, 2010, S. 33-58 - ISBN 978-3-642-17321-9 (BibTeX)
  2. Minas, M.: Bootstrapping visual components of the DiaGen specification tool with DiaGen. In: Pfaltz, J.; Nagl, M.; Böhlen, B. (Hrsg.): Proc. International Workshop on Applications of Graph Transformations with Industrial Relevance (AGTIVE'03, Charlottesville/ USA)., 2003, S. 391-405 (BibTeX)
  3. Drewes, F.; Hoffmann, B.; Minas, M.: Context-exploiting shapes for diagram transformation. In: Machine Graphics & Vision 12 (2003) Nr. 1 S. 117-132 (BibTeX)
  4. Bottoni, P.; Minas, M. (Hrsg.): Proc. of Graph Transformation and Visual Modeling Techniques.GT-VMT'2002, Barcelona/Spain. Amsterdam: Elsevier Science Publishers,2003 (Electronic Notes in Theoretical Computer ScienceBd. 72/3) - ISBN 0444514082 (BibTeX)
  5. Minas, M.: Visual specification of visual editors with DiaGen. In: Pfaltz, J.; Nagl, M.; Böhlen, B. (Hrsg.): Proc. International Workshop on Applications of Graph Transformations with Industrial Relevance (AGTIVE'03, Charlottesville/ USA)., 2003, S. 461-466 (BibTeX)
  6. Minas, M.: XML-based specification of diagram editors. In: Bardohl, R.; Ehrig, H. (Hrsg.): Proc. Uniform Approaches to Graphical Process Specification Techniques (UNIGRA'03) (Satellite Workshop to ETAPS'2003, Warschau/Polen). Amsterdam, NL: Elsevier Science Publishers, 2003, S. CDROM, Electronic Notes in Theoretical Computer Science Bd. 82 (BibTeX)
  7. Minas, M.: Concepts and realization of a diagram editor generator based on hypergraph transformation. In: Science of Computer Programming 44 (2002) Nr. 2 S. 157-180 (BibTeX)
  8. Drewes, F.; Hoffmann, B.; Minas, M.: Constructing shapely nested graph transformations. In: Kreowski, H.; Plump, D. (Hrsg.): Proc. AGT'2002 (APPLIGRAPH Workshop on Applied Graph Transformation) - Satellite Event to ETAPS 2002 (AGT'2002, Grenoble/France)., 2002, S. 107-118 (BibTeX)
  9. Drewes, F.; Hoffmann, B.; Minas, M.: Context-exploiting shapes for diagram transformations. In: Suwa, M. (Hrsg.): 1st European Workshop on Diagrammatics and Design (D&D 2002, Bielsko-Biala/Poland)., 2002, S. 39-40 (BibTeX)
  10. Minas, M.: Specifying diagram languages by means of hypergraph grammars. In: Anderson, M.; Meyer, B.; Olivier, P. (Hrsg.): Diagrammatic representation and reasoning (Thinking with Diagrams '98, Aberystwyth, UK). London; New York: Springer, 2002, S. 151-157. - ISBN 1852332425 (BibTeX)
  11. Minas, M.: Specifying graph-like diagrams with DiaGen. In: Mens, T.; Schürr, A.; Taentzer, G. (Hrsg.): Proc. Internationaler Workshop on Graph-Based Tools (GraBaTs'02 affil. with ICGT 2002, Barcelona/ Spain). Amsterdam: Elsevier Science Publishers, 2002, S. -, Electronic Notes in Theoretical Computer Science Bd. 72 (BibTeX)
  12. Frey, G.; Minas, M.; John, K.: Steuerungsentwurf mit Petrinetzen. In: SPS-Magazin 4/5 (2002) S. 44-47 (BibTeX)
  13. Köth, O.; Minas, M.: Structure, abstraction and direct manipulation in diagram editors. In: Hegarty, M.; Meyer, B.; Narayanan, N. (Hrsg.): Diagrammatic Representation and Inference (2nd Int. Conf. Diagrams 2002, Callaway Gardens/USA). Berlin: Springer Verlag, 2002, S. 290-304, Lecture Notes in Artificial Intelligence Bd. 2317 (BibTeX)
  14. Minas, M.; Strüber, F.: Unparsing of diagrams with DiaGen. In: Corradini, A.; Ehrig, H.; Kreowski, H.; Rozenberg, G. (Hrsg.): Proc. 1st International Conference on Graph Transformation (ICGT 2002, Barcelona/Spain). Berlin: Springer Verlag, 2002, S. 302-316, Lecture Notes in Computer Science Bd. 2505 (BibTeX)
  15. Minas, M.; Frey, G.: Visual PLC-programming using signal interpreted petri nets. In: IEEE (Hrsg.): Proc. of the American Control Conference 2002 (ACC2002, Anchorage, Alaska/USA)., 2002, S. 5019-5024 (BibTeX)
  16. Köth, O.; Minas, M.: Abstraction in graph-transformation based diagram editors. In: Baresi, L.; Pezze, M.; Taentzer, G. (Hrsg.): Second International Workshop on Graph Transformation and Visual Modeling Techniques (Second International Workshop on Graph Transformation and Visual Modeling Techniques, Crete/Greece). Amsterdam: Elsevier Science Publishers, 2001, S. -, Electronic Notes in Theoretical Computer Science Bd. 50 (BibTeX)
  17. Frey, G.; Minas, M.; John, K.: Integration von Petrinetzen in den Steuerungsentwurf nach IEC 61131. In: - (Hrsg.): Tagungsband SPS/IPC/Drives 2001 (SPS/IPC/Drives 2001, Nürnberg)., 2001, S. 197-205 (BibTeX)
  18. Frey, G.; Minas, M.: Internet-based development of logic controllers using signal interpreted Petrinets and IEC 61131. In: Callaos, N.; da Silva, I.; Molero, J. (Hrsg.): 5th World Multi-Conference on Systemics, Cybernetics and Informatics (SCI 2001, Orlando/ USA).Bd. 3, 2001, S. 297-302 (BibTeX)
  19. Minas, M.; Hoffmann, B.: Specifying and implementing visual process modeling languages with diagen. In: Ehrig, H.; Ermel, C.; Padberg, J. (Hrsg.): Specifying and implementing visual process modeling languages with diagen (Satellite Workshop to ETAPS'2001 on Uniform Approaches to Graphical Process Specification Techniques (UniGra'2001), Genova/Italy).Bd. 44 Amsterdam: Elsevier Science Publishers, 2001, S. -, Electronic Notes in Theoretical Computer Science Bd. 44 (BibTeX)
  20. Minas, M.: Specifying diagram languages by means of hypertraph grammars. In: Anderson, M.; Meyer, B.; Olivier, P. (Hrsg.): Diagrammatic Representation and Reasoning, Berlin: Springer Verlag, 2001, S. - - ISBN 1-85233-242-5 (BibTeX)
  21. Minas, M.: Spezifikation und Generierung graphischer Diagrammeditoren. Erlangen, Universität, Habilitation, 2001. (BibTeX)
  22. Hoffmann, B.; Minas, M.: Transformation of shaped nested graphs and diagrams. In: van den Brand, M.; Verma, R. (Hrsg.): Proc. 2nd International Workshop on Rule-based Programming (RULE 2001, affil. with "Principles, Logics, and Implementations of High-Level Programming Language" PLI 2001, Florenze/Italy). Amsterdam: Elsevier Science Publishers, 2001, S. -, Electronic Notes in Theoretical Computer Science Bd. 59 (BibTeX)
  23. Hoffmann, B.; Minas, M.: A generic model for diagram syntax and semantics. In: Rolim, J. (Hrsg.): Proceedings in Informatics 8, Workshops on Graph Transformation and Visual Modelling Techniques (ICALP Workshops 2000/GT-VMT 2000, Genova, Switzerland). Waterloo, Onterio/CA: Carleton Scientific, 2000, S. 443-450 (BibTeX)
  24. Minas, M.; Köth, O.: Creating semantic representations of diagrams. In: Nagl, M.; Schürr, A.; Münch, M. (Hrsg.): Applications of Graph Tranformations with Industrial Relevance (International Workshop AGTIVE'99, Kerkrade/Netherlands). Berlin: Springer Verlag, 2000, S. 209-224, Selected Papers of Lecture Notes in Computer Science Bd. 1779. - ISBN 3-540-67658-9 - ISSN 0302-9743 (BibTeX)
  25. Frey, G.; Minas, M.: Editing, visualizing, and implementing signal interpreted petri nets. In: Philippi, S. (Hrsg.): Proc. 7. Workshop Algorithmen und Werkzeuge für Petrinetze; Fachberichte Informatik Universität Koblenz-Landau, Institut für Informatik, TR 7/2000 (AWPN'2000, Koblenz)., 2000, S. 57-62 (BibTeX)
  26. Köth, O.; Minas, M.: Generating diagram editors providing free-hand editing as well as syntax-directed editing. In: Ehrig, H.; Taentzer, G. (Hrsg.): Proc. Joint APPLIGRAPH/GETGRATS Workshop on Graph Transformation Systems (GraTra'2000, Berlin/Germany). Berlin: Technical University, 2000, S. 32-39, Technical Report 2000-2 - ISSN 1436-9915 (BibTeX)
  27. Minas, M.; Köth, O.: Generating diagram editors with DiaGen. In: Nagl, M.; Schürr, A.; Münch, M. (Hrsg.): Applikations of Graph Transformations with Industrial Relevance (International Workshop AGTIVE'99, Kerkrade, Netherlands). Berlin: Springer Verlag, 2000, S. 433-440, Lecture Notes in Computer Science Bd. 1779 - ISSN 0302-9743 (BibTeX)
  28. Minas, M.: Hypergraphs as a uniform diagram representation model. In: Ehrig, H.; Engels, G.; Kreowski, H.; Rozenberg, G. (Hrsg.): Theory and Application of Graph Tranformations 6th International Workshop (TAGT'98, Paderborn/Germany). Berlin: Springer Verlag, 2000, S. 281-295, Lecture Notes in Computer Science Bd. 1764. - ISBN 3-540-67203-6 - ISSN 0302-9743 (BibTeX)
  29. Hoffmann, B.; Minas, M.: Towards generic rule-based visual programming. In: IEEE (Hrsg.): Proc. IEEE Symposium on Visual Languages 2000 (VL'2000, Seattle, Washington/USA). Los Alamitos: IEEE Computer Society Press, 2000, S. 65-66 (BibTeX)
  30. Hoffmann, B.; Minas, M.: Towards rule-based visual programming of generic visual systems. In: Dershowitz, N.; Kirchner, C. (Hrsg.): Proc. of the First International Workshop on Rule-Based Programming (RULE'2000, Montreal, Canada/USA)., 2000, S. 111-125 (BibTeX)
  31. Hoffmann, B.; Minas, M.: Über generisches visuelles Programmieren. In: Diehl, S.; Kerren, A. (Hrsg.): Tagungsband des GI-Workshops (Softwarevisualisierung 2000, Schloß Dagstuhl/Germany). Saarbrücken: Universität, 2000, S. 41-51 (BibTeX)
  32. Bardohl, R.; Minas, M.; Schürr, A.; Taentzer, G.: Application of graph transformation to visual languages. In: Ehrig, H.; Engels, G.; Kreowski, H.; Rozenberg, G. (Hrsg.): Applications, Languages and Tools, Handbook of Graph Grammars and Computing by Graph Transformation, Singapur: World Scientific, 1999, S. 105-180 - ISBN 9810240201 (BibTeX)
  33. Minas, M.: Translating diagrams. Technischer Bericht: University, Erlangen, 1999 (BibTeX)
  34. Minas, M.: Automatically generating environments for dynamic diagram languages. In: IEEE (Hrsg.): 1998 IEEE Symposium on Visual Languages (VL'98, Halifax/Canada). Los Alamitos: IEEE Computer Society Press, 1998, S. 70-71 (BibTeX)
  35. Minas, M.: Hypergraph representation of diagrams in diagram editors. In: Jensen, D.; Goldberg, H. (Hrsg.): AAAI FAll Symposium 1998 (Workshop on Formalizing Reasoning with Visual and Diagrammatic Representations, Orlando, Florida/USA). Menlo Park, Calif.: AAAI Press, 1998, S. 79-85. - ISBN 1577350758 (BibTeX)
  36. Minas, M.: Diagram editing with hypergraph parser support. In: IEEE (Hrsg.): Proceedings of the 1997 IEEE Symposium on Visual Languages (VL '97) (IEEE Symposium on Visual Languages (VL '97), Capri, Italy). Los Alamitos: IEEE Computer Society Press, 1997, S. 226-233 (BibTeX)
  37. Shklar, L.; Minas, M.: Visual definition of virtual documents for the world-wide web. In: Nicholas, C.; Wood, D. (Hrsg.): Principles of Document Processing (Third International Workshop, PODP'96, Palo Alto, California, USA). Berlin: Springer-Verlag, 1997, S. -, Lecture Notes in Computer Science Bd. 1293. - ISBN 3-540-63620-X (BibTeX)
  38. Heidenreich, G.; Minas, M.; Kips, D.: A New Approach to Consistency Control in Software Engineering. In: Rombach, H. (Hrsg.): Proceedings of the 18th International Conference on Software Engineering (18th International Conference on Software Engineering, Berlin). New York: ACM, 1996, S. 289-297 (BibTeX)
  39. Minas, M.; Shklar, L.: A high-level visual language for generating web structures. In: IEEE (Hrsg.): Proceedings of the IEEE Symposium on Visual Languages (VL '96, Boulder, Colorado/USA). Los Alamitos: IEEE Computer Society Press, 1996, S. 284 (BibTeX)
  40. Heidenreich, G.; Minas, M.; Landauer, J.: Interval Construction with Partially Ordered Object Versions. In: von Gudenberg, J. (Hrsg.): Proc. Interval 96 (Interval 96, Würzburg/Germany). -: -, 1996, S. - (BibTeX)
  41. Minas, M.; Shklar, L.: Visualizing information repositories on the world-wide web. In: Krause, J.; Herfurth, M.; Marx, J. (Hrsg.): Herausforderungen an die Informationswirtschaft (5th International Symposium for Information Science, ISI'96, Berlin). Konstanz: Universitätsverlag, 1996, S. 297-309 (BibTeX)
  42. Minas, M.: Detecting quantified global predicates in parallel programs. In: Haridi, S.; Ali, K.; Magnusson, P. (Hrsg.): EURO-PAR'95, Parallel Processing (1st International EURO-PAR Conference, Stockholm/Schweden). Berlin: Springer Verlag, 1995, S. 403-414, Lecture Notes in Computer Science Bd. 966 (BibTeX)
  43. Viehstaedt, G.; Minas, M.: DiaGen: A generator for diagram editors based on a hypergraph model. In: Motro, A.; Tennenholtz, M. (Hrsg.): 2nd International Workshop on Next Generation Information Technologies and Systems (NGITS'95, Naharia/ Israel). -: -, 1995, S. 155-162 (BibTeX)
  44. Minas, M.; Viehstaedt, G.: DiaGen: A generator for diagram editors providing direct manipulation and execution of diagrams. In: Haarslev, V. (Hrsg.): 11th IEEE International Symposium on Visual Languages (VL'95, Darmstadt/ Germany). Los Alamitos/CA/USA: IEEE Computer Society Press, 1995, S. 203-210 (BibTeX)
  45. Viehstaedt, G.; Minas, M.: Generating editors for direct manipulation of diagrams. In: Blumenthal, B.; Gornostaev, J.; Unger, C. (Hrsg.): Human-Computer Interaction : Selected Papers (5th International Conference, EWHCI'95, Moscow/Russia). Berlin: Springer Verlag, 1995, S. 17-25, Bd. 1015 (BibTeX)
  46. Minas, M.: Cyclic debugging for pSather, a parallel object-oriented programming language. In: Makedon, F. (Hrsg.): Proc. DAGS'94 Symposium (Proc. DAGS'94 Symposium, Hanover, NH, USA). -: -, 1994, S. -, Dartmout Institute for Advanced Graduate Studies in Parallel Computation (BibTeX)
  47. Minas, M.: Fault detection for sequentially controlled machines using temporal constraint nets. In: Ruakonen, T. (Hrsg.): Preprints IFAC Symposium on Fault Detection (Supervision and Sefety for Technical Processes, Safeprocess '94, Helsinki/ Finland). -: -, 1994, S. 323-328 (BibTeX)
  48. Viehstaedt, G.; Minas, M.: Interaction in really graphical user interfaces. In: Ambler, A.; Kimura, T. (Hrsg.): Proc. 1994 IEEE Symposium on Visual Languages (VL'94, St. Louis/USA). Los Alamitos: IEEE Computer Society Press, 1994, S. 270-277 (BibTeX)
  49. Minas, M.: Modelling and monitoring real-time systems with temporal contraint nets. In: Chung, P.; Lovegrove, G.; Ali, M. (Hrsg.): Proc. 6th International Conferece on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems (IEA/AIE'93, Edinburgh, Scotland). London: Gordon and Breach Science Publishers, 1993, S. - (BibTeX)
  50. Minas, M.; Viehstaedt, G.: Specification of diagram editors providing layout adjustment with minimal change. In: IEEE (Hrsg.): Proceedings of the IEEE Symposium on Visual Languages (1993) (IEEE Symposium on Visual Languages (1993), Bergen/ Norway). -: IEEE Computer Sociaty Press, 1993, S. 324-329 (BibTeX)
  51. Minas, M.: Spezifikation von Diagrammeditoren mit automatischer Layoutanpassung. In: Reichel, H. (Hrsg.): Informatik - Wirtschaft - Gesellschaft (23. GI-Jahrestagung, Dresden). Berlin: Springer Verlag, 1993, S. 334-339, Informatik aktuell (BibTeX)
  52. Minas, M.: Überwachung technischer Prozesse mit Zeitconstraintnetzen. Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Dissertation, 1992. - 201 Seiten (BibTeX)

Betreute Examensarbeiten

Abgeschlossene Arbeiten

  1. Andreas Reiber: Visuelle Spezifikation von Diagrammeditoren mit DiaGen.[DA]
    Betreuer: Minas, M.: abgeschlossen am 3. Januar 2003
  2. Vladyslav Ukis: Konzept für eine systemweite Konfiguration medizinischer Applikationen auf Basis der Syngo-Plattform.[DA]
    Betreuer: Minas, M.: abgeschlossen am 2. Dezember 2002
  3. Frank Strüber: Unparsing von Diagrammen in DIAGEN.[DA]
    Betreuer: Minas, M.; Schneider, H.: abgeschlossen am 2. Juli 2002
  4. Zoltán Tóth: Visualisation of Evolutionary Algorithms.[MA]
    Betreuer: Kókai, G.; Minas, M.: abgeschlossen am 3. Juni 2002
  5. Róbert Ványi: Evolutionary Design with Graph Grammars.[MA]
    Betreuer: Kókai, G.; Minas, M.: abgeschlossen am 3. Juni 2002
  6. Volker Mend: Konzeption von modular und hierarchisch aufgebauten SPS-Programmen zur Steuerung von Platinenschneideanlagen.[DA]
    Betreuer: Minas, M.; Schneider, H.: abgeschlossen am 14. März 2002
  7. Armin Michel: Erstellen von flexiblen sicherheitskritischen Web-Applikationen.[DA]
    Betreuer: Minas, M.; Schneider, H.: abgeschlossen am 1. August 2001
  8. Friederic Pröls: Komponentenorientierte Programmierschnittstelle für technische Berechnungsprogramme.[DA]
    Betreuer: Minas, M.; Schneider, H.: abgeschlossen am 1. Juni 2001
  9. Oliver Köth: Semantisches Zoomen in Diagrammeditoren am Beispiel von UML.[DA]
    Betreuer: Minas, M.; Schneider, H.: abgeschlossen am 2. April 2001
  10. Matthias Fuchs: Entwurf und Implementierung eines Formeleditors zum Einsatz im Schulbereich.[DA]
    Betreuer: Minas, M.; Schneider, H.: abgeschlossen am 1. Dezember 2000
  11. Christian Weigand: Entwurf und Entwicklung von Active-X-Komponenten, lauffähig unter Windows CE R und Windows 95/98 sowie NT 4.0.[SA]
    Betreuer: Minas, M.; Schneider, H.: abgeschlossen am 4. Oktober 2000
  12. Günther Lörcher: Implementierung einer Benutzeroberfläche zur Parametrierung einer Netzwerkkomponente.[SA]
    Betreuer: Minas, M.; Schneider, H.: abgeschlossen am 1. September 2000
  13. Oliver Köth: Entwurf und Implementierung eines generischen graphischen Editors.[SA]
    Betreuer: Minas, M.; Schneider, H.: abgeschlossen am 5. April 2000
  14. Daniel Gast: Konzepte zur Entwicklung von Benutzeroberflächen eines technischen Berechnungsprogrammes für das Internet.[SA]
    Betreuer: Minas, M.; Schneider, H.: abgeschlossen am 8. März 1999
  15. Bettina Stingl: Spezifikation animierter Diagrammklassen mittels Graphtransformationssystemen.[DA]
    Betreuer: Minas, M.; Schneider, H.: abgeschlossen am 2. Juli 1998
  16. Jörg Poetzsch: Entwurf eines Generators für graphische Editoren und seine Implementierung in der Programmiersprache Java.[SA]
    Betreuer: Minas, M.; Schneider, H.: abgeschlossen am 5. Februar 1998
  17. Michael Strauß: Entwurf und Realisierung eines Computerprogramms zur Benutzerunterstützung bei der Parametrierung automatischer Lackieranlagen im Automobilbau.[DA]
    Betreuer: Minas, M.; Schneider, H.: abgeschlossen am 2. Dezember 1997
  18. Wolfgang Kleß: Bereitstellung einer Schnittstelle für Berechnungsdienste im Internet.[DA]
    Betreuer: Minas, M.; Schneider, H.: abgeschlossen am 14. November 1997
  19. Bernd Raschke: Genetische Programmierung in der Programmiersprache Java.[SA]
    Betreuer: Jacob, C.; Schneider, H.; Minas, M.: abgeschlossen am 5. August 1997
  20. Johann Gottschall: Entwurf und Realisierung eines objektorientierten Frameworks zur Algorithmenanimation in der Programmiersprache Java.[DA]
    Betreuer: Minas, M.; Schneider, H.: abgeschlossen am 2. Juni 1997
  21. Dirk Reichelt: Design eines Laufzeitsystems für graphische Editoren und seine Implementierung in der Programmiersprache Java.[SA]
    Betreuer: Minas, M.; Schneider, H.: abgeschlossen am 2. Juni 1997
  22. Hans Jörg Schmölz: Einsatz eines inkrementellen Hypergraph-Parsers in Diagrammeditoren.[DA]
    Betreuer: Minas, M.; Schneider, H.: abgeschlossen am 20. März 1997
  23. Till Hoenig: Entwicklung hybrider Softwaresysteme: Integration funktions- und objektorientierter verteilter Systeme mit Hilfe des CORBA-Standards.[SA]
    Betreuer: Minas, M.; Schneider, H.: abgeschlossen am 15. Januar 1997
  24. Anja Löser: Entwurf und Realisierung einer Graphik-Klassenbibliothek in der Programmiersprache Java.[DA]
    Betreuer: Minas, M.; Schneider, H.: abgeschlossen am 4. November 1996
  25. Andrea J. Hauth: Integration effizienter Mechanismen für Kommunikation und Multithreading in eine parallele objektorientierte Programmiersprache.[DA]
    Betreuer: Schneider, H.; Minas, M.: abgeschlossen am 7. August 1996
  26. Peter Balzer: Konzeption, Realisierung und Integration eines objektorientierten Domänenframeworks.[DA]
    Betreuer: Schneider, H.; Minas, M.: abgeschlossen am 1. August 1996
  27. Olaf Janßen: Klassendesign zur Berechnung von Getriebelagerungen.[DA]
    Betreuer: Schneider, H.; Minas, M.: abgeschlossen am 31. Juli 1996
  28. Roland Förther: Entwurf und Implementierung einer generischen, graphischen Benutzerschnittstelle für Debugger.[DA]
    Betreuer: Schneider, H.; Minas, M.: abgeschlossen am 15. November 1995
  29. Stephan Evert: Klassendesign für technische Berechnungsprogramme.[DA]
    Betreuer: Schneider, H.; Minas, M.: abgeschlossen am 15. November 1995
  30. Thomas Mangold: Erkennung von existentiell quantifizierten globalen Prädikaten in parallelen Programmen.[DA]
    Betreuer: Schneider, H.; Minas, M.: abgeschlossen am 3. November 1995
  31. Andreas Schneider: Konzeption und Implementierung einer Klassenhierarchie graphischer Objekte.[SA]
    Betreuer: Schneider, H.; Minas, M.; Viehstaedt, G.: abgeschlossen am 26. Januar 1994
  32. Roland Scholz: Konzeption und Implementierung eines Laufzeitsystems für Diagrammeditoren.[SA]
    Betreuer: Schneider, H.; Minas, M.; Viehstaedt, G.: abgeschlossen am 26. Januar 1994
  33. Ute Bauer: Effizienzsteierung beider Fehlererkennung mit Zeitconstraintnetzen.[SA]
    Betreuer: Schneider, H.; Minas, M.: abgeschlossen am 10. Mai 1993
watermark seal