SFB 501

Publications 1999

 Change Impact Analysis Support for Software Development Processes
    Dellen, B.
    University of Kaiserslautern
     -no abstract-  -no download-  Origin
 

 Software Engineering over the Internet
    Goldmann, S., Kötting, B.
    IEEE Internet Computing, Vol. 3, No 4, July/August 1999, pp 93 – 94, IEEE Computer Society Press, 1999
     Abstract  Download  Origin
 

 MILOS: A Model of Interleaved Planning, Scheduling, and Enactment
    Goldmann, S., Münch, J., Holz, H.
    ICSE 99 Workshop on Software Engineering over the Internet, 1999
     Abstract  Download  Origin
 

 Distributed Process Planning Support with MILOS
    Goldmann, S., Münch, J., Holz, H.
    Proceedings of the 11th International Software & Engineering and Knowledge Engineering Conference (SEKE ‘99), Knowledge Systems Institute, ISBN 1-891706-01-2, 1999
     Abstract  Download  Origin
 

 A Meta-Model for Distributed Software Development
    Goldmann, S., Münch, J., Holz, H.
    Proceedings of the 8th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WET ICE ’99), IEEE Computer Society Press, 1999
     -no abstract-  -no download-  Origin
 

 Distributed Workflow Management Approach for Process oriented Knowledge Management Systems
    Herzlinger, A.
    Diplomarbeit, Universität Kaiserslautern
     Abstract  -no download-  Origin
 

 A Distributed Web Based Software Configuration Management System
    Hoang, B., Maurer, F.
    To appear in the Proceedings of the ICSE ‘99, Los Angeles, California
     Abstract  Download  Origin
 

 A Concept for Supporting the Formation of Virtual Corporations through Negotiation
    Kötting, B., Maurer, F.
    Proceedings of the WET ICE '99, IEEE Computer Society Press
     Abstract  Download  Origin
 

 Approaching Software Support for Virtual Software Corporations
    Kötting, B., Maurer, F.
    Proceedings of the ICSE ‘99, Los Angeles, California
     Abstract  Download  Origin
 

 Process Support for Virtual Software Organizations
    Maurer, F., Dellen, B., Holz, H.
    Proceedings of the 11th International Software & Engineering and Knowledge Engineering Conference (SEKE ‘99), Knowledge Systems Institute, ISBN 1-891706-01-2, 1999
     Abstract  Download  Origin
 

 Process-Centered Knowledge Organization for Software Engineering
    Maurer, F., Holz, H.
    Aha, D.W., & Munoz Avila, H. (Eds.): Exploring Synergies of Knowledge Management and Case-Based Reasoning: A 1999 AAAI Workshop (Working Notes). (Technical Report AIC-99-008). Washington, DC: Naval Research Laboratory, Navy Center for Applied Research in Artificial Intelligence
     Abstract  Download  Origin
 

 Process-Oriented Knowledge Management For Learning Software Organizations
    Maurer, F., Holz, H.
    Proceedings of the 12th Knowledge Acquisition Workshop (KAW '99), Banff, Canada
     Abstract  Download  Origin
 

 Software Process Support over the Internet
    Maurer, F., Succi, G., Holz, H., Kötting, B.Goldmann, S., Dellen, B.
    Proceedings of the 21 th International Conference on Software Engineering (ICSE ’99), ACM Press, ISBN 1-58113-074-0, pp. 642-645, 1999
     Abstract  Download  Origin
 

 Entwicklung eines Ansatzes zur verteilten Abarbeitung eines Workflows in einem virtuellen Unternehmen
    Mungenas, S.
    Diplomarbeit, Universität Kaiserslautern
     -no abstract-  -no download-  Origin
 

 Vor- und Nachbedingungen für Prozesse in MILOS
    Petry, J.
    Diplomarbeit, Universität Kaiserslautern
     -no abstract-  -no download-  Origin
 

 Flexible Unterstützung für Entwurfsprozesse im Kontext von Verwaltungs-aufgaben
    Pews, G.
    University of Kaiserslautern
     -no abstract-  -no download-  Origin
 

 Dynamic Project Management for Distributed Construction Processes
    Raquet, A.
    Diplomarbeit, Universität Kaiserslautern
     -no abstract-  -no download-  Origin
 

 Flexibles Workflow Management in Software Development Processes
    Richter, M. M., Kötting, B., Goldmann, S.
    to appear in Proceedings of the “Forschungsforum Wissensmanagement und schnelle Produktentwicklung”, Stuttgart, Germany, 1999
     -no abstract-  Download  Origin
 

 Ein System zum Kommunikationsmanagement verteilter Objekte in JAVA
    Schaaf, M.
    Diplomarbeit, Universität Kaiserslautern
     -no abstract-  -no download-  Origin
 

 A Framework Using Computer Agents to Provide Automatic Execution Support for Processes in Software Development Projects
    Schlindwein, M.
    Diplomarbeit, Universität Kaiserslautern
     -no abstract-  -no download-  Origin
 

 PSiGene - A Pattern-Based Component Generator for Building Simulation
    M. Schütze, J. P. Riegel, G. Zimmermann
    Journal Theory and Practice of Object Systems (TAPOS), Vol. 5, No. 2, pp. 83-95, 4 1999
     Abstract  -no download-  Origin
 

 Modeling Software Architecture Using Domain-Specific Patterns
    J. P. Riegel, C. Kaesling, M. Schütze
    First Working IFIP Conference on Software Architecture (WICSA 1), Kluwer Academic Publishers, February 1999
     Abstract  Download  Origin
 

 An Interlink of Building Control System Prototypes and the Lighting Simulation Lumina
    A. Metzger
    University of Kaiserslautern, 8 1999
     -no abstract-  Download  Origin
 

 Eine musterbasierte Methode zur domänenspezifischen Modellierung und Generierung von Softwarekomponenten
    M. Schütze
    Dissertation, Universität Kaiserslautern, 1999
     -no abstract-  -no download-  Origin
 

 Erweiterung des Patternkonzeptes von PsiGene um Typen und Regeln
    R. Boos
    Diplomarbeit, Universität Kaiserslautern, 1999
     Abstract  -no download-  Origin
 

 Pattern-Basierte Anwendung Endlicher Automaten in PSiGene
    B. Noll
    Diplomarbeit, Universität Kaiserslautern, 1999
     Abstract  -no download-  Origin
 

 Gebäudeautomation mit CAN auf Basis des Philips P8xC592
    T. Disper
    Projektarbeit, 4 1999
     -no abstract-  -no download-  Origin
 

 Development of a Lightning Control System in SDL
    K. Haller
    Projektarbeit, University of Kaiserslautern, 1999
     -no abstract-  -no download-  Origin
 

 A Process View on Architecture-Based Software Development
    L. Baum, M. Becker, L. Geyer, G. Molter
    Proc. of 1st Working IFIP Conference on Software Architecture (WICSA-1), 22-24 Feb. 1999, San Antonio, Texas, USA
     -no abstract-  Download  Origin
 

 Integrating SAAM in Domain-Centric and Reuse-based Development Processes
    G. Molter
    Proc. of the 2nd Nordic Workshop on Software Architecture (NOSA), 12. - 13. August 1999, Ronneby, Sweden
     -no abstract-  Download  Origin
 

 Towards a Uniform Modeling Technique for Resource-Usage Scenarios
    L. Baum, T. Kramp
    Proc. of the 1999 Int'l Conf. on Parallel and Distributed Processing Techniques and Applications (PDPTA'99), 28 June - 2 July 1999, Las Vegas, USA
     -no abstract-  Download  Origin
 

 Towards Generating Customized Run-time Platforms from Generic Components
    L. Baum
    Proc. of the 11th Conf. on Advanced Systems Engineering (CAISE-99), 6th DC, 14/15 June 1999, Heidelberg, Germany
     -no abstract-  Download  Origin
 

 Reuse of Process Patterns.
    Jürgen Münch.
    In Proceedings of the SFB 501 Reuse Workshop, Kaiserslautern, Germany, February 22-23, 1999.
     Abstract  -no download-  Origin
 

 Adaptation of process models in the context of engineer-style software quality assurance.
    Jürgen Münch.
    In Proc. of the 6th Workshop der Fachgruppe 5.1.1 (GI): Vorgehensmodelle, Prozessverbesserung und Qualitaetsmanagement, Kaiserslautern, Germany, April 19-20, 1999 - in German.
     Abstract  Download  Origin
 

 MILOS: A Model of Interleaved Planning, Scheduling, and Enactment.
    Sigrid Goldmann, Jürgen Münch, and Harald Holz.
    In Web-Proceedings of the 2nd Workshop on Software Engineering over the Internet, Los Angeles, CA, USA, May 17, 1999.
     Abstract  Download  Origin
 

 Eine vergleichende Fallstudie mit CASE-Werkzeugen für objektorientierte und funktionale Modellierungstechniken.
    Erik Kamsties, Antje von Knethen, Jan Philipps, Bernhard Schätz.
    In OMER Workshop Proceedings, Bericht Nr. 1999-01, May 28-29, 1999.
     -no abstract-  Download  Origin
 

 Eine vergleichende Fallstudie mit CASE-Werkzeugen für formale und semi-formale Beschreibungstechniken.
    Erik Kamsties, Antje von Knethen, Jan Philipps, Bernhard Schätz.
    GI/ITG Fachgespräch formale Beschreibungstechniken für verteilte Systeme, 1999.
     Abstract  Download  Origin
 

 A Meta-Model for Distributed Software Development.
    Sigrid Goldmann, Jürgen Münch, and Harald Holz.
    In Proceedings of the 8th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WET-ICE'99), Stanford, California, USA, June 16-18, 1999.
     Abstract  Download  Origin
 

 Experimentation: Engine for Applied Research and Technology Transfer in Software Engineering.
    H. Dieter Rombach.
    In Proc. of the 24th Annual Software Engineering Workshop of the SEL, Greenbelt, USA, December 1-2, 1999.
     -no abstract-  -no download-  Origin
 

 Distributed Process Planning Support with MILOS.
    Sigrid Goldmann, Jürgen Münch, and Harald Holz.
    In Proc. of the 11th International Conference on Software Engineering and Knowledge Engineering (SEKE'99), Kaiserslautern, Germany, June 17-19, 1999. Extended Version in International Journal of Software Engineering and Knowledge Engineering, October 2000.
     Abstract  Download  Origin
 

 Bessere Aenderbarkeit durch Verfolgbarkeit: Auswahl eines Ansatzes.
    Kerstin Brockhage, Christiane Differding, Antje von Knethen.
    Technical Report Nr. 301/99, Dept. of Computer Science, University of Kaiserslautern, Germany, 1999 - in German.
     -no abstract-  -no download-  Origin
 

 Softwaresystemdokumentation eines Entwicklungsprojekts zur Erstellung eines eingebetteten Gebäudeautomationssystems in UML.
    Natalie Ardet, Raimund L. Feldmann, Antje von Knethen, Jürgen Münch, Stefan Vorwieger.
    Developmentproject, Dept. of Computer Science, University of Kaiserslautern, Germany, 1999 - in German.
     -no abstract-  -no download-  Origin
 

 Software Experience Factory: Basis für beschleunigte Prozessverbesserung.
    H. Dieter Rombach.
    GI-Workshop, Kaiserslautern, Germany, April 1999 - in German.
     -no abstract-  -no download-  Origin
 

 Innovationen im Software-Entwicklungsprozess.
    H. Dieter Rombach.
    Robert-Bosch Kolleg, Stuttgart, Germany, June 1999 - in German.
     -no abstract-  -no download-  Origin
 

 Software Process Improvement: Prerequisite for Future Competitiveness.
    H. Dieter Rombach.
    SEC Meeting, Baden, Switzerland, September 1999.
     -no abstract-  -no download-  Origin
 

 Continuous Improvement of Software Development Competence: Prerequisite for Future Competitiveness.
    H. Dieter Rombach.
    University of New South Wales, New South Wales, Australia, November 1999.
     -no abstract-  -no download-  Origin
 

 Experimental Software Engineering.
    H. Dieter Rombach.
    Colloquium, Nara Institute of Science and Technology (NAIST), School of Information Science, Nara, Japan, November 1999.
     -no abstract-  -no download-  Origin
 

 Evaluating the Effectiveness of Different Inspection Techniques on Informal Requirements Documents.
    Marcus Ciolkowski.
    Master's Thesis, Dept. of Computer Science, University of Kaiserslautern, Germany, 1999.
     -no abstract-  Download  Origin
 

 Objektorientierter Entwurfsprozeß zur Gewährleistung von Verfolgbarkeit im Bereich technischer Systeme.
    Marco Heide.
    Master's Thesis, Dept. of Computer Science, University of Kaiserslautern, Germany, 1999 - in German.
     -no abstract-  Download  Origin
 

 Export-/ Importschnittstelle für das Werkzeug GQMPlanner.
    Eric Ras.
    Research Project, Dept. of Computer Science, University of Kaiserslautern, Germany, 1999 - in German.
     -no abstract-  -no download-  Origin
 

 Modellierung eines adaptierbaren Sotware-Entwicklungsprozesses.
    Björn Schmidt.
    Research Project, Dept. of Computer Science, University of Kaiserslautern, Germany, 1999 - in German.
     -no abstract-  -no download-  Origin
 

 GQMaspect II: Entwicklung eines Werkzeugs zur Erstellung von GQM-Plänen.
    Christian Voigtländer.
    Research Project, Dept. of Computer Science, University of Kaiserslautern and Fraunhofer IESE, Germany, 1999 - in German.
     -no abstract-  -no download-  Origin
 

 Erstellung einer SW-Systemdokumentation mit StP.
    Wolfgang Wagenbichler.
    Research Project, Dept. of Computer Science, University of Kaiserslautern, Germany, 1999 - in German.
     -no abstract-  -no download-  Origin
 

 Software System Documentation of a Project concerning the Creation of an embedded Buildings-Automation-System with UML.
    Natalie Ardet, Raimund L. Feldmann, Antje von Knethen, Jürgen Münch, Stefan Vorwieger.
    Development Project, Dept. of Computer Science, University of Kaiserslautern, Germany, 1999 - in German.
     -no abstract-  -no download-  Origin
 

 Improving the Performance of Media Servers Providing Physical Data Independence - Problems, Concepts, and Challenges
    Marder, U.
    In: Bertino, E., Heuer, A., Özsu, M. T., Saake, G. (eds.): Multimedia Database Support for Digital Libraries, Dagstuhl-Seminar-Report 249, IBFI gGmbH, Schloss Dagstuhl, Germany, 1999, pp. 19-20
     Abstract  Download  Origin
 

 On a Buzzword "Extensibility" - What we have learned from the ORIENT Project
    Härder, T., Zhang, N.
    In: Proc. Intl. Database Engineering and Applications Symposium, IDEAS '99 (Montreal, Canada), August 1999, pp. 360-369
     Abstract  Download  Origin
 

 An Object-Relational SE-Repository with Generated Services
    Feldmann, R. L., Mahnke, W., Ritter, N., Steiert, H.-P.
    In: Proc. Intl. Resource Management Association Conference 1999, Managing Information Technology Resources in Organizations in the Next Millenium (Computer-Aided Software Engineering Track of IRMA '99) (Hershey, Pennsylvania, USA), May 1999, pp. 986-990
     Abstract  Download  Origin
 

 Generating Call-Level Interfaces for Advanced Database Application Programming
    Härder, T., Nink, U., Ritter, N.
    In: Proc. 25th Intl. Conf. on Very Large Data Bases, VLDB '99 (Edinburgh, U. K.), 1999, pp. 575-586
     Abstract  Download  Origin
 

 Towards Generating Object-Relational Software Engineering Repositories
    Mahnke, W., Ritter, N., Steiert, H.-P.
    In: Proc. 8. GI-Fachtagung 'Datenbanksysteme in Büro, Technik und Wissenschaft', BTW '99 (Informatik aktuell, Freiburg, März 1999), Buchmann, A. P. (ed.), Springer-Verlag, Heidelberg, Berlin, March 1999, pp. 251-270
     Abstract  Download  Origin
 

 A DBMS-based Approach for Checking OCL Constraints
    Marder, U., Ritter, N., Steiert, H.-P.
    In: Proc. OOPSLA'99-Workshop "Rigourous Modeling and Analysis with the UML: Challenges and Limitations" (Denver, Co.), 1999 (2 pages)
     Abstract  Download  Origin
 

 Medienspezifische Datentypen für objekt-relationale DBMS: Abstraktionen und Konzepte
    Marder, U.
    In: Proc. 8. GI-Fachtagung 'Datenbanksysteme in Büro, Technik und Wissenschaft' BTW '99 (Freiburg, March 1-3, 1999), Buchmann, A. P. (ed.), Springer-Verlag, Heidelberg, Berlin, March 1999, pp. 210-231
     Abstract  Download  Origin
 

 iWebDB - Integrated Web Content Management based on Object-Relational Database Technology
    Loeser, H., Ritter, N.
    In: Proc. Intl. Database Engineering and Applications Symposium, IDEAS '99 (Montreal, Canada), August 1999, pp. 92-97
     Abstract  Download  Origin
 

 Generating Repository Managers for Cooperative Design Applications
    Härder, T., Mahnke, W., Ritter, N., Steiert, H.-P.
    In: Proc. 2nd Intl. Symposium on Cooperative Database Systems for Advanced Applications, CODAS '99 (Singapore), Springer-Verlag, Heidelberg, Berlin, June 1999, pp. 177-191
     Abstract  Download  Origin
 

 Exploiting Reuse Techniques in the SERUM Approach
    Ritter, N., Steiert, H.-P.
    University of Kaiserslautern, 1999
     Abstract  Download  Origin
 

 Introducing the VirtualMedia Concept
    Marder, U.
    (Internal Report, AG DBIS), University of Kaiserslautern, 1999 (5 pages)
     Abstract  Download  Origin
 

 Supporting Parallel Navigation in Object-Relational Database Management Systems
    Gesmann, M., Härder, T.
    University of Kaiserslautern, 1999
     Abstract  Download  Origin
 

 Ein Editor zur Dokumentation von SDL Patterns
    D. Cisowski
    Diplomarbeit, Fachbereich Informatik, Universität Kaiserslautern, März 1999
     -no abstract-  Download  Origin
 

 The ORDBMS-Based SFB 501 Experience Base - Exemplified by the SDL-Pattern Approach
    R. Feldmann, B. Geppert, W. Mahnke, N. Ritter, F. Rößler
    SFB 501 Report 08/1999
     -no abstract-  -no download-  Origin
 

 Continuous Improvement of Reuse-Driven SDL System Development
    R. Feldmann, B. Geppert, F. Rößler
    Proceedings of the 11th International Confe rence on Software Engineering and Knowledge Engineering (SEKE'99), Kaiserslautern, Juni 1999
     -no abstract-  -no download-  Origin
 

 An Integrating Approach fo r Developing Distributed Software Systems - Combining Formal Methods, Software Reuse, and the Experience Base
    R. Feldmann, B. Geppert, F. Rößler
    Proceedings of the 5th International Conference on Engineering of Complex Computer Systems (ICECCS'99), Las Vegas, USA, Oktober 1999
     -no abstract-  -no download-  Origin
 

 Pattern-Based Reuse with SDL
    B. Geppert, F. Rößler
    Tutorial Notes, 9th SDL Forum (SDL'99), Montreal, Kanada, 21.-25. Juni 1999
     -no abstract-  -no download-  Origin
 

 Pattern Application vs. Inheritance in SDL
    B. Geppert, F. Rößler, R. Gotzhein
    3rd IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS '99, Florence, Italy, 1999
     -no abstract-  Download  Origin
 

 SDL Formal Semantics Definition
    U. Glässer, R. Gotzhein, A. Prinz
    Technischer Bericht tr-rsfb-99-065, Fachbereich Mathematik und Informatik, Universität Paderborn, 1999
     -no abstract-  -no download-  Origin
 

 Towards a New Formal SDL Semantics Based on Abstract State Machines
    U. Glässer, R. Gotzhein, A. Prinz
    in: R. Dssouli, G.v. Bochmann, Y. Lahav (Eds.), SDL'99 - The Next Millenium, Proc. of the 9th SDL FORUM, Elsevier Science B.V., Juli 1999
     -no abstract-  Download  Origin
 

 Pattern-Based Requirements Capture Applied: The SFB 501 Case Study
    R. Gotzhein, M. Kronenburg, C. Peper
    in: E. Börger, B. Hörger, D. Parnas, D. Rombach (Eds.): "Requirements Capture, Documentation, and Validation", Dagstuhl-Seminar-Report 242, June 1999
     -no abstract-  Download  Origin
 

 Pattern-Based Development of Communication Subsystems
    R. Gotzhein, P. Schaible
    in: Annals of Telecommunications, Special Issue on Protocol Engineering, Vol. 54, No. 11-12, 1999, pp. 508-525
     -no abstract-  Download  Origin
 

 Re-Engineering und Implementierung eines ATM-Signalisierungsprotokolls mit SDL-Patterns
    T. Groß
    Diplomarbeit, Fachbereich Informatik, Universität Kaiserslautern, Sept. 1999
     -no abstract-  Download  Origin
 

 Definition and Instantiation of a Reference Model for Problem Specifications
    M. Kronenburg , C. Peper
    11th Int. Conf. on Software Engineering and Knowledge Engineering (SEKE'99), Kaiserslautern, Germany, 1999, pp. 332-336
     -no abstract-  Download  Origin
 

 SDT-basierte Anbindung von SDL-Entwurfsspezifikationen an verschiedene Basistechnologien
    A. Kühlmeyer
    Diplomarbeit, Fachbereich Informatik, Universität Kaiserslautern, März 1999
     -no abstract-  Download  Origin
 

 Transformations in Pattern-based System Specifications
    C. Peper
    9th GI/ITG-Fachgespräch "Formale Beschreibungstechniken für verteilte Systeme" (FBT'99), München, 1999, Herbert-Utz-Verlag, ISBN 3-89675-918-3, pp. 165-173
     -no abstract-  Download  Origin
 

 Werkzeugunterstützte Anwendung von SDL Patterns
    M. Schwaiger
    Diplomarbeit, Fachbereich Informatik, Universität Kaiserslautern, März 1999
     -no abstract-  Download  Origin
 

  Software Engineering over the Internet .
    S. Goldmann, B. Kötting .
    IEEE Internet Computing, Vol. 3, No 4, July/August 1999, pp 93 – 94, IEEE Computer Society Press, 1999 .
     -no abstract-  Download  Origin
 

  Flexible Workflow Management in Software Development Processes .
    M.M. Richter, B. Kötting, S. Goldmann .
    Proceedings of the “Forschungsforum Wissensmanagement und schnelle Produktentwicklung”, Stuttgart, Germany, 1999 .
     -no abstract-  -no download-  Origin
 

  Software Process Support over the Internet .
    F. Maurer, G. Succi, H. Holz, B. Kötting, S. Goldmann, B. Dellen .
    Proceedings of the 21th International Conference on Software Engineering (ICSE ’99), ACM Press, ISBN 1-58113-074-0, pp. 642-645, 1999 .
     -no abstract-  Download  Origin
 

  Distributed Process Planning Support with MILOS .
    S. Goldmann, J. Münch, H. Holz .
    Proceedings of the 11th International Software & Engineering and Knowledge Engineering Conference (SEKE ‘99), Knowledge Systems Institute, ISBN 1-891706-01-2, 1999 .
     Abstract  Download  Origin
 

  MILOS: A Model of Interleaved Planning, Scheduling, and Enactment .
    S. Goldmann, J. Münch, H. Holz .
    presented at the ICSE ’99 Workshop on „Software Engineering over the Internet“; Web proceedings only: http://sern.cpsc.ucalgary.ca/~wetice-1998b/ICSE99WS/Program.htm .
     Abstract  Download  Origin
 

  A Meta-Model for Distributed Software Development .
    S. Goldmann, J. Münch, H. Holz .
    Proceedings of the 8 th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WET ICE ’99), IEEE Computer Society Press, 1999 .
     Abstract  Download  Origin
 

  Working Group Report of the 2nd Workshop on Coordinating Distributed Software Development Projects .
    S. Goldmann, B. Kötting .
    Proceedings of the 8 th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WET ICE ’99), IEEE Computer Society Press, 1999 .
     -no abstract-  -no download-  Origin
 

 FOREST - Entwurf und Implementierung einer Umgebung zur Erstellung formaler System-Anforderungs-Beschreibungen
    Tobias Schmidt-Samoa
    Fachbereich Informatik, Universität Kaiserslautern, Diplomarbeit
     -no abstract-  -no download-  Origin
 

 Dokumentation der Problemspezifikation der Streckenbeeinflussungsanlage A 61 Bingen-Rheinböllen
    Markus Kaiser
    Fachbereich Informatik, Universität Kaiserslautern, Projektarbeit
     -no abstract-  -no download-  Origin
 

 A Termination Detection Algorithm: Specification and Verification
    Robert Eschbach
    Proc. of FM'99 - World Congress on Formal Methods in the Development of Computing Systems, LNCS pp. 1720-1737
     -no abstract-  -no download-  Origin
 

 An Approach to the Combination of Formal Description Techniques: Statecharts and TLA
    Thomas Deiß
    Integrated Formal Methods 1999 pp. 231-250
     -no abstract-  -no download-  Origin
 

 Systematische Integration von Prozess- und Produktmanagement.
    Jürgen Münch and Martin Verlage.
    In Proceedings of the GI-Jahrestagung 1999, (Springer) (GI'99), Paderborn, Germany, October 5-9, 1999.
     Abstract  -no download-  Origin
 

 An Integrating Approach for Developing Distributed Software Systems -Combining Formal Methods, Software Reuse, and the Experience Base.
    Raimund L. Feldmann, Birgit Geppert and Frank Rößler.
    In Proceedings of the 5th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'99)Las Vegas, Nevada, USA, October 18-22, 1999, p.54ff.
     -no abstract-  -no download-  Origin
 

 Continuous Improvement of Reuse-Driven SDL System Development.
    Raimund L. Feldmann, Birgit Geppert and Frank Rößle.
    In Proceedings of the 11th International Conference on Software Engineering and Knowledge Engineering (SEKE'99), Kaiserslautern, Germany, June 17-19, 1999, p.320ff.
     Abstract  Download  Origin
 

 An Object-Relational SE-Repository with Generated Services.
    Raimund L. Feldmann, Wolfgang Mahnke, Norbert Ritter and Hans-Peter Steiert.
    In Proceedings of the 1999 Information Resources Management Association International Conference (IRMA99), Hershey, Pennsylvania, USA, May 16-19, 1999, p.986ff.
     Abstract  Download  Origin
 

 Developing a Repository Structure that Allows Comprehensive Reuse and Continuous Improvement.
    Raimund L. Feldmann.
    In Proceedings of the 8. Kolloquium Software-Entwicklung -Methoden, Werkzeuge, Erfahrungen , Ostfildern, Germany, September 20-22, 1999.
     Abstract  Download  Origin
 

 Developing a Tailored Reuse Repository Structure -Experience and First Results.
    Raimund L. Feldmann.
    In Proceedings of the Workshop on Learning Software Organizations 1999 (LSO'99) Kaiserslautern, Germany, June 16, 1999, p.45ff.
     Abstract  Download  Origin
 

 
Wed May 19 17:11:55 CEST 2004


SFB 501 - Development of Large Systems with Generic Methods