Horst Lichter's publications

 

Books and Proceedings

  1. Ludewig, J., H. Lichter (2007)
    Software Engineering - Grundlagen, Menschen, Prozesse, Techniken.
    dpunkt.verlag, Heidelberg, ISBN 3-89864-268-2.

  2. Löhr, K.-P, H. Lichter (2005)
    Software Engineering im Unterricht der Hochschulen.
    SEUH 9 Aachen (Hrsg.), dpunkt.verlag, Heidelberg, ISBN 3-89864-328-X.

  3. Deininger, M., H. Lichter, J. Ludewig, K. Schneider (2005)
    Studienarbeiten ein Leitfaden zur Vorbereitung, Durchführung und Betreuung von Studien-, Diplom- und Doktorarbeiten am Beispiel Informatik

    5. Auflage, Verlag der Fachvereine Zürich, ISBN 3-7281-2815-5.

  4. Lichter, H., M. Glinz (2001)
    Software Engineering im Unterricht der Hochschulen.
    SEUH 7, Zürich (Hrsg.), dpunkt.verlag, Heidelberg, ISBN 3-7281-2052-9.

  5. Lichter, H. (1993)
    Entwicklung und Umsetzung von Architekturprototypen für Anwendungssoftware.
    Verlag der Fachvereine Zürich, ISBN 3-7281-2052-9.

 

Contributions to Journals and Books

  1. V. Hoffmann, H. Lichter, A. Nyßen, A. Walter (2009)
    Towards the Integration of UML- and textual Use Case Modeling.
    in Journal of Object Technology, vol. 8, no. 3, May-June 2009, pp. 85-100.

  2. C. Weidmann, V, Hoffmann, H. Lichter (2009)
    Einsatz und Nutzen von Use Cases - Ergebnisse einer empirischen Untersuchung.
    Softwaretechnik-Trends, Band 29, Heft 2, Mai 2009, ISSN 0720-8928, 62 -67.

  3. von der Maßen T., H. Lichter (2004)
    RequiLine - Ein Requirements Engineering Werkzeug für Software Produktlinien.
    Software-Technik Trends, Band 24, Heft 1, 19-20.

  4. Lichter, H., P. Mandl-Strignitz (1999)
    Defizite im Software-Projektmanagement – Erfahrungen aus einer industriellen Studie.
    Informatik/Informatique, no 5/99, 4-10.

  5. Lichter, H., A. Uhl (1999)
    World Wide Logistics System
    .
    Maffeis, Toenniessen, Zeidler (Hrsg.): Erfahrungen mit Java - Projekte aus Industrie und Hochschule, dpunkt.verlag, 141-170.

  6. Lichter, H., Schneider-Hufschmidt, M., Züllighoven, H. (1997)
    Prototyping in Industrial Software Projects - Bridging the Gap Between Theory and Practice.
    In: Chris F. Kemerer (Hrsg.) Software Project Management - Readings and Cases. Chapter 7 - Prototyping. Irwin Verlag, Chicago, Boston, 306-317.

  7. Lichter H., G. Riedinger (1997)
    Improving Software Quality by Static Programme Analysis
    .

    Software Process Improvement and Practice, vol. 3, no. 4, 235-243.

  8. Lichter, H., M. Schneider-Hufschmidt, H. Züllighoven (1993)
    Prototyping in Industrial Software Projects – Bridging the Gab between Theory and Practice
    .
    IEEE Transactions on Software Engineering, vol. 20, no. 11, 825-832.

  9. Kieback, A., H. Lichter, M. Schneider-Hufschmidt, H. Züllighoven (1992)
    Prototyping in Industrial Software Projects
    Information Science & People, vol. 6, no. 4.

  10. Kieback, A., H. Lichter, M. Schneider-Hufschmidt, H. Züllighoven (1992)
    Prototyping in industriellen Software-Projekten - Erfahrungen und Analysen.
    Informatik-Spektrum, vol. 15, no. 2, 65-79.

 

Contributions to Conferences and Workshops

  1. S. Pricope, H. Lichter (2009)
    Towards a Metric Based Approach to Evaluate SCAMPI Appraisals.
    In Bomarius F. et al. (eds)  Product Focused Software Development and Process Improvement, 10th International Conference  PROFES 2009, Oulu, Finland, June 15-17, Lecture Notes in Business Information Processing, vol 32, Springer, 261-174.
  2. H. Schackmann, H. Schaefer, H. Lichter (2009)
    Evaluating Process Quality based on Change Request Data - An Empirical Study of the Eclipse Project. A. Abran et al. (Eds): Proceedings of International Conference IWSM/Mensura 2009, Amsterdam, Netherlands, November 5-6, 2009. LNCS 5891, Springer-Verlag, Berlin, Heidelberg, pp 227-241.

  3. M. Vianden, H. Lichter, T. Rötschke (2009)
    Applying Test Case Metrics in a Tool Supported Iterative Architecture and Code Improvement Process. A. Abran et al. (Eds): Proceedings of International Conference IWSM/Mensura 2009, Amsterdam, Netherlands, November 5-6, 2009. LNCS 5891, Springer-Verlag, Berlin, Heidelberg, pp 170-181.
  4. H. Schackmann, M. Jansen, C. Lischkowitz, H. Lichter (2009)
    QMetric - A Metric Tool Suite for the Evaluation of Software Process Data.
    Companion Volumne of the 31th International Conference on Software Engineering (ICSE'09). Vancouver, Canada, May 16-24, 2009, pp 415-416.

  5. H. Schackmann, H. Lichter (2009)
    Evaluating Process Quality in GNOME based on Change Request Data.
    6th IEEE Working Conference on Mining Software Repositories (MSR'09). Vancouver, Canada, May 16-17, 2009, 95-98.

  6. H. Schackmann, H. Lichter (2009)
    Process Assessment by Evaluating Configuration and Change Request Management Systems
    .
    Proceedings of the Warm Up Workshop For ACM/IEEE ICSE 2010 (Cape Town, South Africa, April 01 - 03, 2009). N. Medvidovic and T. Tamai, Eds. WUP '09. ACM, New York, NY, 37-40.

  7. A. Walter, A. Nyßen, V. Hoffmann, H. Lichter (2008)
    Werkzeugunterstützung für die Use Case-Modellierung
    .
    K. Herrmann, B. Bruegge (Hrsg.) Software Engineering 2008, Lecture Notes in Informatics (LNI), Volume 121, GI, S. 58.

  8. A. Ganser, H. Schackmann, H. Lichter, H.-J. Schlebusch (2008)
    Test Case Structuring and Execution Control in an Integration Framework for Heterogeneous Automatic Software Tests
    .
    Workshop Testing of Software - From Research to Practice, in Software Engineering 2008 - Beiträge zu den Workshops, Lecture Notes in Informatics (LNI), Volume 122, GI, S. 387-394.

  9. M. Funk, A. Nyßen, H.Lichter (2008)
    FROM UML to ANSI-C - An Eclipse-Based Code Generation Framework
    .
    Proceedings of ICSOFT 2008, Proceedings of ICSOFT 2008, 3rd International Conference on Software and Data Technologies (ICSOFT), Porto, Portugal, Vol. SE/GSDCA/MUSE, pp 12-19, INSTICC Press, ISBN: 978-989-8111-52-4.

  10. A. Nyßen, H. Lichter, D. Streitferdt, P. Nenninger (2008)
    MeDUSA - A Model-Based Construction Method for Embedded & Real-Time Software
    .
    1st IEEE International Workshop on Industrial Experience in Embedded Systems Design (IEESD 2008), in Proceedings of 32nd Annual IEEE International Computer Software and Applications Conference (COMPSAC 2008), Turku, Finland, IEEE Computer Society, pp 1376-1382.

  11. D. Streitferdt, G. Wendt, P. Nenninger, A. Nyßen, H. Lichter (2008)
    Model Driven Development Challenges in the Automation Domain
    .
    1st IEEE International Workshop on Industrial Experience in Embedded Systems Design (IEESD 2008), in Proceedings of 32nd Annual IEEE International Computer Software and Applications Conference (COMPSAC 2008), Turku, Finland, IEEE Computer Society, pp 1372-1375.

  12. H. Schackmann, H. Lichter (2008)
    Comparison of Process Quality Characteristics Based on Change Request Data
    .
    Dumke, R.R.; Braungarten, R.; Büren, G.; Abran, A.; Cuadrado-Callego, J. (Eds.) International Conferences IWSM 2008, Metrikon 2008, and Mensura 2008 Munich, Germany, November 18-19, 2008. Proceedings. LNCS 5338, Springer-Verlag Berlin Heidelberg. ISBN: 978-3-540-89402-5, pp 127-140.

  13. A. Ganser, S. Hurtz, H. Lichter (2008)
    A Server Side SOA Meta Model for Assigning Aspect Services.
    Proceedings of the Workshop on Modeling Security (MODSEC08) in associations with MODELS'08, Toulouse, France, September 28, ISSN 1613-0073 Vol-413.

  14. L. Grammel, H. Schackmann, H. Lichter (2007)
    BugzillaMetrics - Design of an adaptable tool for evaluating user-defined metric specifications on change requests
    .
    MetriKon 2007 - Praxis der Software-Messung, in Büren, Bundschuh, Dumke (Hrsg.) Tagungsband des DASMA Software Metrik Kongresses MetriKon 2007, 15.-16. November 2007, Kaiserslautern, Shaker Verlag, Aachen, ISBN 978-3-8322-6703-2, pp 201-218.

  15. A. Nyßen, H. Lichter (2007)
    Use Case Modeling for Embedded Software Systems - Deficiencies & Workarounds
    .
    M. Gehrke, H. Giese, J. Stroop (Eds.) Preliminary Proceedings of the 4th Workshop on Object-oriented Modeling of Embedded Real-Time Systems (OMER4), 30.-31. October, HNF Museums Forum, Paderborn, Germany, pp 63-67.

  16. Grammel, L., H. Schackmann, H. Lichter (2007)
    BugzillaMetrics - An adaptable tool for evaluating metric specifications on change requests.
    Proceedings of 9th International Workshop on Principles of Software Evolution (IWPSE'07), September 3-4, 2007, Dubrovnik, Croatia, ACM Press, New York, ISBN 978-1-59593-798-8, 35-38.

  17. Schackmann, H., V. Hoffmann, H. Lichter (2007)
    An Integration Framework for Heterogeneous Automatic Software Tests
    .
    Workshop Testing of Software - From Research to Practice, in Bleek, Schwentner, Züllighoven (Hrsg.) Software Engineering 2007 - Beiträge zu den Workshops. Lecture Notes in Informatics (LNI), Volume 106, GI, 107-112.

  18. Schackmann, H., H. Lichter (2006)
    A Cost-Based Approach to Software Product Line Management.
    Requirements Engineering 2006, International Workshop on Software Product Management (IWSPM'06), Minneapolis, Sept, IEEE Computer Society, 13-18.

  19. Schackmann, H., H. Lichter (2006)
    Using Costing Information as Decision Support in Variability Management.
    In Clements P., D. Muthig, Proceedings of the Workshop Managing Variability for Software Product Lines: Working With Variability Mechanisms held in conjunction with the 10th Software Product Line Conference (SPLC-2006) SPLC 2006, Baltimore, IESE-Report No 152.06/E, 16-26.

  20. Nyßen, A., H. Lichter, J. Suchotzki, P. Müller, A. Stelter (2005)
    UML2-basierte Architekturmodellierung kleiner eingebetteter System - Erfahrungen einer Feldstudie.
    Klein, Rumpe, Schätz (Hrsg.), Tagungsband des Dagstuhl-Workshops Modellbasierte Entwicklung eingebetteter Systeme (MBEES), Technischer Bericht, TU Braunschweig, TUBS-SSE-2005-01, 147-158

  21. von der Maßen, T., H. Lichter (2005)
    Determining the Variation Degree of Feature Models
    .
    Proc. of Software Product Lines: 9th International Conference, SPLC 2005, LNCS, Volume 3714, Oct 2005, 82–88.

  22. Frank Houdek, Horst Lichter (2004)
    Einsatz der Feature-Modellierung in der Produktentwicklung.
    Bernhard Rumpe, Wolfgang Hesse (Eds.): Modellierung 2004, Proceedings zur Tagung, 23.-26. März 2004, Marburg, Proceedings. LNI 45 GI, 267-268.

  23. Nyßen, A., H. Lichter, P. Müller, J. Suchotzki (2004)
    Erfahrungen bei der systematischen Entwicklung kleiner eingebetteter Systeme mit der COMET-Methode
    .
    Hesse, Rumpe (Hrg.) Lecture Notes in Informatics (LNI) Modellierung 2004, Marburg, Volume P-45, 229-234.

  24. von der Maßen, T., H. Lichter (2004)
    Deficiencies in Feature Models
    .
    Tomi Männistö, Jan Bosch (eds.) Software Variability Management for Product Derivation – Towards Tool Support, International Workshop at SPLC 2004 Boston, MA, USA, August 2004, Proceedings, Technical Report, HUT-SoberIT-C6, ISBN 951-22-7218-0, 59-62.

  25. von der Maßen, T., H. Lichter (2004)
    RequiLine: A Requirements Engineering Tool for Software Product Lines
    .
    Frank van der Linden (ed.) Software Product-Family Engineering: 5th International Workshop, PFE 2003, Siena, LNCS, Vol. 3014, 168-180

  26. Lichter, H., R. Melchisedech, O. Scholz, T. Weiler (2003)
    Erfahrungen mit einem Workshop-Seminar im Software Engineering Unterricht
    .
    J. Siedersleben, D. Weber-Wulff (Hrsg.), Software Engineering im Unterricht der Hochschulen, SEUH 03, Berlin, dpunkt.Verlag, 89-100.

  27. von der Maßen, T., H. Lichter (2002)
    Modeling Variability by UML Use Case Diagrams.
    Proceedings of International Workshop on Requirements Engineering for Product Lines, IEEE Joint International Requirements Engineering Conference (RE02), Essen, Technical Report: ALR-2002-033, September 2002, 19-25.

  28. Uhl, A., H. Lichter (2002)
    A UML Variant for Modeling System Searchability
    .
    Proceedings of 8th International Conference, OOIS Object Oriented Information Systems, Montpellier, LNCS 2425, Springer, 755-760.

  29. Lichter, H, A. Uhl (2001)
    New-Wave Searchables: Changing the Paradigm of Internet-Scale Search
    .
    Proc. of International Conference on Advances in Infrastructure for Electronic Business, Science, and Education on the Internet SSGRR 2001, L’Aquila, Italy.

  30. Lichter, H, P. Fröhlich, M. Zeller: (2001)
    Enabling Local SPI in a Multi-National Company
    .
    Proc. of Int. Conference on Product Focussed Software Process Improvement PROFES’ 2001, Kaiserlautern, LNCS 2188, Springer, 227-239.

  31. Lichter, H, P. Fröhlich, M. Zeller: (2001)
    Software Process Improvement at ABB
    .
    Proc. of CONQUEST 2001, Nürnberg, 29-40.

  32. Lichter, H., T. von der Maßen (2001)
    Modellierung von Variabilitäten in Anforderungen bei Software-Produktlinien.
    Informatiktage 2001. Fachwissenschaftlicher Informatik-​Kongress, 9. und 10. November 2001, Bad Schussenried, Konradin Verlag Robert Kohlhammer GmbH.

  33. Lichter, H., M. Schnizler (2000)
    Test Automation for object oriented Frameworks
    .
    Proc. of First International Workshop on Automated Program Analysis, Testing and Verification, ICSE 2000, Limerick, Ireland.

  34. Lichter, H., M. Zeller (1999)
    Developing a Change Request Management Tool for a Distributed Environment
    .
    Proc of Int. Conference on Product Focussed Software Process Improvement PROFES’ 99, Oulu, Finland, ISBN 951-38-5271-7, 135-149.

  35. Lichter, H., M. Schnizler (1999)
    Testing Program Families Using a Framework Based Test Bench
    .
    Proc of 2nd Int. Nordic Workshop on Software Architectures, Karlskrona, Technical report 13/99 University of Karlskrona/Ronneby, ISSN 1103-1581.

  36. Mandl-Striegnitz, P., A. Drappa, H. Lichter (1998)
    S
    imulating Software Projects - An Approach for Teaching Project Management.
    Proc. of INSPIRE 98 International Software Process Improvement Conference in Education and Research, London, 87-98

  37. Lichter H., P. Mandl-Striegnitz (1998)
    A Case Study on Software Project Management in Industry - Experiences and Conclusions
    .
    Coombesi, H. et al. (eds.) Proc. of FESMA 98 Business Improvement through Software Measurement, Antwerp, Technological Institute Publications, Antwerp, 305-313.

  38. Lichter, H., G. Riedinger, P. Piwecki (1997)
    Statische Analyse von Programmen - Erfahrungen aus einem Process Improvement Experiment bei ABB Netzleittechnik
    .
    Proc. of CONQUEST-1, 21-22 Sept. Nürnberg.

  39. Lichter, H., C. Welsch (1997)
    Software Process Improvement at ABB - Common Issues and Lessons Learnt
    .
    Proceedings of Software Quality Management SQM 97, Bath UK, C. Hawkins, M. Ross, G. Staples (Editors), Software Quality Management V: The Quality Challenge, Mechanical Engineering Publications, 1997. ISBN 1 86058 110 2.

  40. Lichter H. (1997)
    Einsatz der Objekttechnologie im Engineeringbereich - Erfahrungen und Analysen
    .
    Proceedings der OOP 97, München, SIGS Publishing, 125-128.

  41. Bäumer, D., W. Bischofberger, H. Lichter, H. Züllighoven (1996)
    Objektorientiertes Prototyping - Konzepte und Erfahrungen.
    Proceedings der Softwaretechnik 96, Koblenz, Software-Technik Trends, Band 16, Heft 3, 89-96.

  42. Bäumer, D., W. Bischofberger, H. Lichter, H. Züllighoven (1996)
    User Interface Prototyping - Concepts, Tools, and Experience.
    Proceedings of the 18th international Conference on Software Engineering (Berlin, Germany, March 25 - 29, 1996). International Conference on Software Engineering. IEEE Computer Society, Washington, DC, 532-541.

  43.  Lichter, C. Welsch, M. Zeller (1995)
    Software Process Improvement at ABB Kraftwerksleittechnik GmbH.
    Elzer, P. F.; Richter, R. (editors) Proceedings of the 5th Ifac/Ifip/Gi/Gma Workshop MSP´95 Experiences with the Management of Software Processes, Karlsruhe, Elsevier North Holland, ISBN 0080426131, 41-47.

  44. Lichter, H, Schneider-Hufschmidt, M., Züllighoven H. (1993)
    Prototyping in Industrial Software Projects-Bridging the Gap Between Theory and Practice.
    Proceedings of the 15th international Conference on Software Engineering (Baltimore, Maryland, United States, May 17 - 21, 1993). International Conference on Software Engineering. IEEE Computer Society Press, Los Alamitos, CA, 221-229.

  45. Lichter, H., K. Schneider (1993)
    vis-A-vis - Ein objektorientiertes Framework für grafische Entwurfswerkzeuge
    .
    Mayr, H.C; Wagner, R. (ed.): Objektorientierte Methoden für Informationssysteme; Springer, Informatik aktuell, Springer Berlin, 187-207.

  46. Lichter, H., K. Schneider (1993)
    vis-A-vis - An Object-Oriented Framework for Graphical Design Tools
    .
    In Proceedings of the IFIP Tc5/Wg5.10 Working Conference on interfaces in industrial Systems For Production Engineering (March 15 - 17, 1993). J. Rix and E. G. Schlechtendahl, Eds. IFIP Transactions, vol. B-10. North-Holland Publishing Co., Amsterdam, The Netherlands, 43-57.

  47. Lichter, H., H. Züllighoven (1992)
    Objektorientierte Software-Entwicklung als Lehrinhalt
    .
    Ludewig, J., K. Schneider (eds.) Software Engineering im Unterricht der Hochschulen - Studienführer Software Engineering, Berichte des German Chapter of the ACM 37, B.G. Teubner Stuttgart, 26-33.

  48. Lichter, H (1992)
    Prototyping of Software-Architectures - A Seamless Transition into the Final System
    .
    Jarko Leponiemi, editor, NordDATA'92 Conference, Tampere, PITKY, Finland.

  49. Bäumer, D., H. Lichter (1992)
    Ein User Interface Management System für Eiffel auf der Basis des X-Window-Systems
    .
    In Eiffel, Gemeinsame Fachtagung Des German Chapter of the ACM Mit Der Gesellschaft FÜR informatik (Gi) (May 25 - 26, 1992). H. Hoffmann, Ed. Berichte des German Chapter of the ACM. Teubner, 91-104.

  50. Kieback, A., H. Lichter, M. Schneider-Hufschmidt, H. Züllighoven (1992)
    Assessing Industrial Prototyping Projects
    .
    Proceedings of the Hawaii International Conference on System Sciences -25, Koloa Hawaii, 7./ 10, Januar 1992, IEEE Computer Society Press, 564-567.

  51. Kieback, A., Lichter, H., Schneider-Hufschmidt, M., Züllighoven, H. (1991)
    Prototyping in industriellen Software-Projekten - Erfahrungen und Analysen.
    Fachgespräch "Benutzer-orientierte Systemmodellierung", Softwaretechnik-Trends, Band 11, Heft 3, 127-139.

  52. Lichter, H. (1988)
    PDSC: eine Methode zur Software-Entwicklung
    .
    Snelting G. (Hrsg.) Sprachspezifische Programmierumgebungen, Workshop der Fachgruppe “Implementierung von Programmiersprachen”, TU Darmstadt, April 4-6.

  53. Ludewig, J., H. Färberböck, H. Lichter, H. Matheis, E. Wallmüller (1987)
    Software-Entwicklung durch schrittweise Komplettierung
    .
    Schmitz, P.; Timm, M.; Windfuhr, M. (Hrsg.) Requirements. Engineering´87, GMD-Studien Nr. 121, Gesellschaft für Mathematik und Datenverarbeitung mbH, Sankt Augustin, ISBN 3-88457-121-4, 113-124.

 

Technical Reports

  1. A. Nyßen, H. Lichter (2008)
    The MeDUSA Reference Manual.
    Second Edition. Aachener Informatik Berichte, AIB-2008-07, ISSN 0935-3232.

  2. Nyßen, A., H. Lichter (2007)
    MeDUSA - MethoD for UML2-based Design of Embedded Software Applications
    .
    RWTH Aachen, Department for Computer Science , Aachener Informatik Berichte, AIB 2007-07.

  3. Lichter, H., T. von der Maßen, A. Nyßen, T. Weiler (2003)
    Vergleich von Ansätzen zur Feature Modellierung bei der Softwareproduktlinienentwicklung.
    RWTH Aachen, Department for Computer Science, Technical Report AIB-2003-07.

  4. Lichter, H., T. von der Maßen, T.Weiler (2002)
    Modeling Requirements and Architectures for Software Product Lines.
    RWTH Aachen, Department for Computer Science, Technical Report AIB-2002-05.

  5. Ludewig, J., Mandl-Striegnitz, P., Lichter, H. (1998)
    Software-Engineering im industriellen Software-Prozeß.
    Dritter Bericht des Software-Labors der Universität Stuttgart, Januar 1998, pp 167-180.

  6. Lichter, H., Riedinger G. (1998)
    Systematic Module and User Interface Testing.
    Final Report of ESSI PIE SMUIT.

  7. Hollender M., K. Langer, H. Lichter, M. Nübling, A. Rösel, A. Uhl, A. Zehnpfund, Ch. Zeidler (1997)
    Java for Distributed Control Systems
    Technical Report DECRC/I4-TR003, May 1997, ABB Corporate Research Center, Heidelberg, Germany.

  8. Mandl-Striegnitz, P., H. Lichter (1996)
    Software-Projektmanagement in der Industrie - Erfahrungen und Analysen.
    Bericht des Software-Labors Stuttgart, SL-2/96.

  9. Lichter, H (1996)
    Software Technology.
    Computer Science Forum Report, ABB TR SECRC/I2-TR034, ABB CRC Västeras, Sweden.

  10. Lichter, H (1995)
    Study of the Use of Rapid Prototyping in Industry.
    Computer Science Forum Report, ABB TR DECRC/I1-TR012, ABB CRC Heidelberg.

  11. Lichter, H (1995)
    Rapid Prototyping as a Structured Methodology.
    Computer Science Forum Report, ABB TR DECRC/I1-TR012, ABB CRC Heidelberg.

  12. Bäumer, D., W. Bischofberger, H. Lichter, M. Schneider-Hufschmidt, V. Sedlmeier-Scholz, H. Züllighoven (1994)
    Prototyping von Benutzungsoberflächen.
    UBILAB, Technical Report 94.9.2.

  13. Lichter, H. (1994)
    Software Engineering objektorientiert - Eine Herausforderung für die Praxis.
    SESAM Software-Engineering-Simulation durch animierte Modelle, Bericht der Fakultät Informatik der Universität Stuttgart 5/1994, pp 55-60.

  14. Kieback, A., H. Lichter, M. Schneider-Hufschmidt, H. Züllighoven (1992)
    Prototyping in industriellen Software-Projekten - Erfahrungen und Analysen
    .
    GMD-Studien Nr. 184.

  15. Beierle, C., Lichter, H., Olthoff, W., Voss, A. (1986)
    Integrated Software Development and Verification: A Case Study using the SPESY System
    .
    Universität Kaiserslautern, SEKI-Memo 86-7.

  16. Lichter, H. (1985)
    Ein interaktives und syntaxorientiertes Eingabesystem für algebraische und algorithmische Spezifikationen
    .
    Universität Kaiserslautern, SEKI-Memo 85-11.

 

 

 

Navigation