Browse

ftp://ftp.ips.cs.tu-bs.de (54)

	ftp://ftp.ips.cs.tu-bs.de/pub/local/softech/papers/resolution.ps.gz, 19930624 Resolution for Feature Logic Bernd Fischer AG Softwaretechnologie TU Braunschweig fisch@ips.cs.tu-bs.de June 15, 1993
	ftp://ftp.ips.cs.tu-bs.de/pub/local/softech/drafts/rubics-cube.ps.gz, 19931013 Solving Rubic's Cube: An Exercise in Term Rewriting Bernd Fischer AG Softwartechnologie TU Braunschweig fisch@ips.cs.tu-bs.de July 22, 1993
	ftp://ftp.ips.cs.tu-bs.de/pub/local/softech/papers/tr-93-10.ps.gz, 19940217 Style A Practical Type Checker for Scheme Christian Lindig Informatik-Bericht Nr. 93-10 Oktober 1993 c Arbeitsgruppe Softwaretechnologie Technische Universit at Braunschweig Gaussstrasse 17 D-38092 Braunschweig Germany Style\|A Practical Type Checker for Scheme Christian Lindig Arbeitsgruppe
	ftp://ftp.ips.cs.tu-bs.de/pub/local/softech/papers/infer-config.ps.gz, 19940218 On the Inference of Configuration Structures from Source Code Research Paper Maren Krone and Gregor Snelting Arbeitsgruppe Softwaretechnologie Technische Universit at Braunschweig Gaussstrasse 17, D-38106 Braunschweig
	ftp://ftp.ips.cs.tu-bs.de/pub/local/softech/papers/chaos-story.ps.gz, 19940218 Ins Chaos geblickt Nerven verloren Programmierer verliert den Verstand durch chaotische Software-Bibliothek FRANKFURT/BRAUNSCHWEIG, 17. Februar. Der junge Mann war vom Schrecken wie gel ahmt. Dann sprang er auf und riss das Fenster auf. Nur der beherzte Zugriff seiner Kollegen konnte ihn vor dem Sprung
	ftp://ftp.ips.cs.tu-bs.de/pub/local/softech/papers/nora-st.ps.gz, 19940218 Inferenzbasierte Werkzeuge in NORA Gregor Snelting, Andreas Zeller Arbeitsgruppe Softwaretechnologie Technische Universit at Braunschweig Gaussstrasse 17, D-38106 Braunschweig Zusammenfassung Die experimentelle Softwareentwicklungsumgebung NORA strebt die Nutzbarmachung neuer Ergebnisse im Bereich
	ftp://ftp.ips.cs.tu-bs.de/pub/local/softech/papers/nora-ife.ps.gz, 19940221 Die inferenzbasierte Softwareentwicklungsumgebung NORA Gregor Snelting, Bernd Fischer, Franz-Josef Grosch, Matthias Kievernagel, Andreas Zeller Informatik-Bericht Nr. 93 09 Oktober 1993 uberarbeitet Februar 1994 Arbeitsgruppe Softwaretechnologie Technische Universit at Braunschweig Gaussstrasse 17
	ftp://ftp.ips.cs.tu-bs.de/pub/local/softech/papers/tr-94-01.ps.gz, 19940301 Configuration Management with Feature Logics Andreas Zeller Informatik-Bericht No. 94-01 1. M arz 1994 Copyright c 1994 Arbeitsgruppe Softwaretechnologie Technische Universit at Braunschweig Gau stra e 17 D-38092 Braunschweig/Germany Configuration Management with Feature Logics Andreas Zeller
	ftp://ftp.ips.cs.tu-bs.de/pub/local/softech/papers/infer-config-thesis.ps.gz, 19940321 Reverse Engineering von Konfigurationsstrukturen Diplomarbeit Maren Krone September 1993 Aufgabenstellung und Betreuung : Prof. G. Snelting Andreas Zeller Institut f ur Programmiersprachen und Informationssysteme Arbeitsgruppe Softwaretechnologie Prof. Dr. G. Snelting Erkl arung Hiermit erkl are ich,
	ftp://ftp.ips.cs.tu-bs.de/pub/local/softech/drafts/retrieval-with-vdm.ps.gz, 19940325 VCR: A VDM-based software component retrieval tool B. Fischer M. Kievernagel W. Struckmann Institut f ur Programmiersprachen TU Braunschweig Gaussstrasse 17 D-38092 Braunschweig, Germany ffisch,mkiever,struckg@ips.cs.tu-bs.de
	ftp://ftp.ips.cs.tu-bs.de/pub/local/softech/papers/tr-94-04-old.ps.gz, 19940418 Incremental Configuration Management Based on Feature Unification Andreas Zeller and Gregor Snelting Informatik-Bericht No. 94-04 18. April 1994 Copyright c 1994 Institut f ur Programmiersprachen und Informationssysteme Abteilung Softwaretechnologie Technische Universit at Braunschweig Gau stra e 17
	ftp://ftp.ips.cs.tu-bs.de/pub/local/softech/papers/aladin.ps.gz, 19940913 ALADIN: A Scanner Generator for Incremental Programming Environments Bernd Fischer Technical University of Braunschweig, Institute for Programming Languages and Information Systems, Gaussstrasse 11, D-3300 Braunschweig, Germany Carsten Hammer Siemens AG, Corporate Research and Development, Dept. ZFE IS
	ftp://ftp.ips.cs.tu-bs.de/pub/local/softech/papers/poly-comp.ps.gz, 19940913 Polymorphic Components for Monomorphic Languages Franz-Josef Grosch and Gregor Snelting Arbeitsgruppe Softwaretechnologie Technische Universit at Braunschweig Gaussstrasse 17, D-33 Braunschweig
	ftp://ftp.ips.cs.tu-bs.de/pub/local/softech/papers/pdst.ps.gz, 19940913 Perspektiven der Softwaretechnologie Gregor Snelting Informatik-Bericht Nr. 93 02 Januar 1993 Arbeitsgruppe Softwaretechnologie Technische Universit at Braunschweig Gaussstrasse 17 D-33 Braunschweig West Germany Perspektiven der Softwaretechnologie Gregor Snelting Arbeitsgruppe Softwaretechnologie
	ftp://ftp.ips.cs.tu-bs.de/pub/local/softech/papers/tr-93-01.ps.gz, 19940913 A New Algorithm for Feature-Unification Bernd Fischer Informatik-Bericht Nr. 93-01 M arz (Dezember) 1993 Copyright c 1994 Arbeitsgruppe Softwaretechnologie Technische Universit at Braunschweig Gaussstrasse 17 D-38092 Braunschweig/Germany A New Algorithm for Feature-Unification Bernd Fischer
	ftp://ftp.ips.cs.tu-bs.de/pub/local/softech/papers/tr-94-08.ps.gz, 19941123 VCR: A VDM-based software component retrieval tool B. Fischer M. Kievernagel W. Struckmann Informatik-Bericht Nr. 94-08 November 1994 Copyright c 1994 Institut f ur Programmiersprachen und Informationssysteme Abteilung Softwaretechnologie Technische Universit at Braunschweig Gaussstrasse 17 D-38092
	ftp://ftp.ips.cs.tu-bs.de/pub/local/softech/papers/tr-94-07.ps.gz, 19941223 Inkrementelle, r uckgekoppelte Suche in Software-Bibliotheken Christian Lindig Arbeitsgruppe Softwaretechnologie Institut f ur Programmiersprachen Technische Universit at Braunschweig Gaussstrasse 17, D-38106 Braunschweig lindig@ips.cs.tu-bs.de November 1994
	ftp://ftp.ips.cs.tu-bs.de/pub/local/softech/papers/tr-94-04.ps.gz, 19950109 Handling Version Sets through Feature Logic Andreas Zeller and Gregor Snelting Informatik-Bericht No. 94-04 April 1994 / Uberarbeitet Januar 1995 Copyright c 1995 Institut f ur Programmiersprachen und Informationssysteme Abteilung Softwaretechnologie Technische Universit at Braunschweig Gau stra e 17
	ftp://ftp.ips.cs.tu-bs.de/pub/local/softech/papers/tr-95-02.ps.gz, 19950116 Reengineering of Configurations Based on Mathematical Concept Analysis Gregor Snelting Informatik-Bericht Nr. 95 02 Januar 1995 Abteilung Softwaretechnologie Technische Universit at Braunschweig Gaussstrasse 17 D-38106 Braunschweig West Germany Reengineering of Configurations Based on Mathematical
	ftp://ftp.ips.cs.tu-bs.de/pub/local/softech/papers/tr-95-03.ps.gz, 19950217 A Unified Configuration Management Model Andreas Zeller Informatik-Bericht Nr. 95-03 Februar 1995 Copyright c 1995 Institut f ur Programmiersprachen und Informationssysteme Abteilung Softwaretechnologie Technische Universit at Braunschweig Gau stra e 17 D-38092 Braunschweig/Germany A Unified
	ftp://ftp.ips.cs.tu-bs.de/pub/local/softech/papers/ddd-thesis.ps.gz, 19950403 Technische Universit at Braunschweig Diplomarbeit DDD { ein Debugger mit graphischer Datendarstellung Dorothea L utkehaus Betreuer: Dipl. Inform. Andreas Zeller November 1994 Institut f ur Programmiersprachen und Informationssysteme Arbeitsgruppe Softwaretechnologie Prof. Dr. Gregor Snelting
	ftp://ftp.ips.cs.tu-bs.de/pub/local/softech/papers/icse17-fmws.ps.gz, 19950518 VCR: A VDM-based software component retrieval tool B. Fischer M. Kievernagel W. Struckmann TU Braunschweig, Abteilung f ur Softwaretechnologie Gaussstrasse 17, D-38092 Braunschweig, Germany ffisch,mkiever,struckg@ips.cs.tu-bs.de
	ftp://ftp.ips.cs.tu-bs.de/pub/local/softech/papers/ijcai-reusews.ps.gz, 19950518 Deduction-Based Software Component Retrieval B. Fischer and M. Kievernagel and G. Snelting TU Braunschweig, Abteilung f ur Softwaretechnologie Gaussstrasse 17, D-38092 Braunschweig, Germany ffisch,mkiever,sneltingg@ips.cs.tu-bs.de
	ftp://ftp.ips.cs.tu-bs.de/pub/local/softech/papers/ijcai-li.ps.gz, 19950607 Concept-Based Component Retrieval Christian Lindig Abteilung Softwaretechnologie Technische Universit at Braunschweig D-38106 Braunschweig EMail: lindig@ips.cs.tu-bs.de
	ftp://ftp.ips.cs.tu-bs.de/pub/local/softech/papers/softec95.ps.gz, 19950607 Komponentensuche mit Begriffen Christian Lindig Institut f ur Programmiersprachen, Abteilung Softwaretechnologie Technische Universit at Braunschweig, 38106 Braunschweig lindig@ips.cs.tu-bs.de Zusammenfassung Mit Schl usselw ortern indexierte Komponenten einer Sammlung werden einmalig durch formale
	ftp://ftp.ips.cs.tu-bs.de/pub/local/softech/papers/fba-im-se.ps.gz, 19950620 Formale Begriffsanalyse im Software Engineering Christian Lindig, Gregor Snelting TU Braunschweig Abteilung Softwaretechnologie Zusammenfassung. Reuse und Reengineering sind aktuelle Probleme im Software-Engineering. Reuse zielt auf die Wiederverwendung von Software-Komponenten oder -Schablonen aus
	ftp://ftp.ips.cs.tu-bs.de/pub/local/softech/papers/tr-95-05.ps.gz, 19950726 No Type Stamps and No Structure Stamps \| a Referentially-Transparent Higher-Order Module Language Franz-Josef Grosch Informatik-Bericht Nr. 95-05 Juli 1995 c Abteilung Softwaretechnologie Institut f ur Programmiersprachen Technische Universit at Braunschweig Gaussstrasse 17 D-38106 Braunschweig Germany
	ftp://ftp.ips.cs.tu-bs.de/pub/local/softech/papers/badhonnef.ps.gz, 19950726 Eine typisierte, rein funktionale Modulsprache f ur das Programmieren-im-Grossen Erweiterte Zusammenfassung Franz-Josef Grosch Abt. Softwaretechnologie, TU Braunschweig 1 Einleitung Die Bausteine des Programmierens-im-Grossen, die Module, sind Sammmlungen einfacher Programmkomponenten: Werte, Funktionen
	ftp://ftp.ips.cs.tu-bs.de/pub/local/softech/papers/sqc95.ps.gz, 19950803 High-Precision Retrieval for High-Quality Software B. Fischer, M. Kievernagel and W. Struckmann Abteilung f ur Softwaretechnologie TU Braunschweig Gaussstrasse 17 D-38092 Braunschweig, Germany Tel. +49 531 3917579 Fax +49 531 3918111 ffisch,mkiever,struckg@ips.cs.tu-bs.de
	ftp://ftp.ips.cs.tu-bs.de/pub/local/softech/papers/tr-95-07.ps.gz, 19950807 DDD A Free Graphical Front-End for UNIX Debuggers Andreas Zeller and Dorothea L utkehaus Informatik-Bericht No. 95-07 7. August 1995 Copyright c 1995 Institut f ur Programmiersprachen und Informationssysteme Abteilung Softwaretechnologie Technische Universit at Braunschweig Gau stra e 17 D-38092
	ftp://ftp.ips.cs.tu-bs.de/pub/local/softech/drafts/ice.ps.gz, 19950922 Smooth Operations with Square Operators The Version Set Model in ICE Andreas Zeller Abteilung Softwaretechnologie Technische Universit at Braunschweig, Germany
	ftp://ftp.ips.cs.tu-bs.de/pub/local/softech/papers/tr-95-08.ps.gz, 19951006 Smooth Operations with Square Operators The Version Set Model in ICE Andreas Zeller Informatik-Bericht No. 95-08 15. September 1995 Copyright c 1995 Institut f ur Programmiersprachen und Informationssysteme Abteilung Softwaretechnologie Technische Universit at Braunschweig Gau stra e 17 D-38092
	ftp://ftp.ips.cs.tu-bs.de/pub/local/softech/papers/tr-95-09.ps.gz, 19960724 Algorithms for Concept Lattice Decomposition and their Application P. Funk, A. Lewien, G. Snelting TU Braunschweig Abteilung Softwaretechnologie
	ftp://ftp.ips.cs.tu-bs.de/pub/local/softech/papers/slice.ps.gz, 19960724 Combining Slicing and Constraint Solving for Validation of Measurement Software Gregor Snelting Technische Universit at Braunschweig Abteilung Softwaretechnologie B ultenweg 88, D-38106 Braunschweig
	ftp://ftp.ips.cs.tu-bs.de/pub/local/softech/papers/tr-96-02.ps.gz, 19960724 Validierung softwaregesteuerter Messsysteme durch Program Slicing und Constraint Solving Michael Goldapp LINEAS GmbH Braunschweig Ulrich Grottker Physikalisch-Technische Bundesanstalt Braunschweig Gregor Snelting Technische Universit at Braunschweig Zusammenfassung Messger ate, die zur Abwicklung von
	ftp://ftp.ips.cs.tu-bs.de/pub/local/softech/papers/wrkp96.ps.gz, 19960729 Software Configuration with Feature Logic Andreas Zeller Technische Universit at Braunschweig Abteilung Softwaretechnologie D-38092 Braunschweig zeller@acm.org
	ftp://ftp.ips.cs.tu-bs.de/pub/local/softech/papers/assessing-modules.ps.gz, 19960813 Assessing Modular Structure of Legacy Code Based on Mathematical Concept Analysis Christian Lindig, Gregor Snelting Technische Universit at Braunschweig Abteilung Softwaretechnologie B ultenweg 88 D-38104 Braunschweig, Germany +49 531 391 7577 lindig@ips.cs.tu-bs.de
	ftp://ftp.ips.cs.tu-bs.de/pub/local/softech/papers/tr-96-05.ps.gz, 19960903 A Syntactic Approach to Structure Generativity Franz-Josef Grosch Informatik-Bericht Nr. 96-05 Juli 1996 c Abteilung Softwaretechnologie Institut f ur Programmiersprachen Technische Universit at Braunschweig Gaussstrasse 17 D-38106 Braunschweig Germany A Syntactic Approach to Structure Generativity
	ftp://ftp.ips.cs.tu-bs.de/pub/local/softech/papers/tr-97-01.ps.gz, 19970114 Versioning Software Systems through Concept Descriptions Andreas Zeller Informatik-Bericht 97-01 14. Januar 1997 Copyright c 1997 Institut f ur Programmiersprachen und Informationssysteme Abteilung Softwaretechnologie Technische Universit at Braunschweig B ultenweg 88 D-38092 Braunschweig/Germany
	ftp://ftp.ips.cs.tu-bs.de/pub/local/softech/papers/cade-97.ps.gz, 19970516 SETHEO Goes Software Engineering: Application of ATP to Software Reuse Bernd Fischer1 and Johann M. Ph. Schumann2 1 Abt. Softwaretechnologie, TU Braunschweig, D-38092 Braunschweig fisch@ips.cs.tu-bs.de 2 Institut f ur Informatik, TU M unchen, D-80290 M unchen schumann@informatik.tu-muenchen.de Reuse of
	ftp://ftp.ips.cs.tu-bs.de/pub/local/softech/papers/zeller-phd-a5.ps.gz, 19970522 Vom Fachbereich f ur Mathematik und Informatik der Technischen Universit at Braunschweig genehmigte Dissertation zur Erlangung des Grades eines Doktor-Ingenieurs (Dr.-Ing.) Andreas Zeller Con guration Management with Version Sets A Uni ed Software Versioning Model and its Applications 1. April 1997 1.
	ftp://ftp.ips.cs.tu-bs.de/pub/local/softech/papers/zeller-phd-a4.ps.gz, 19970523 This page intentionally left blank. Vom Fachbereich f ur Mathematik und Informatik der Technischen Universit at Braunschweig genehmigte Dissertation zur Erlangung des Grades eines Doktor-Ingenieurs (Dr.-Ing.) Andreas Zeller Con guration Management with Version Sets A Uni ed Software Versioning Model and
	ftp://ftp.ips.cs.tu-bs.de/pub/local/softech/papers/zeller-phd-letter.ps.gz, 19970523 This page intentionally left blank. Vom Fachbereich f ur Mathematik und Informatik der Technischen Universit at Braunschweig genehmigte Dissertation zur Erlangung des Grades eines Doktor-Ingenieurs (Dr.-Ing.) Andreas Zeller Con guration Management with Version Sets A Uni ed Software Versioning Model and
	ftp://ftp.ips.cs.tu-bs.de/pub/local/softech/papers/tr-96-01.ps.gz, 19970603 Uni ed Versioning through Feature Logic Andreas Zeller and Gregor Snelting Informatik-Bericht No. 96-01 Uberarbeitete Fassung, 15. Februar 1997 Copyright c 1997 Institut f ur Programmiersprachen und Informationssysteme Abteilung Softwaretechnologie Technische Universit at Braunschweig B ultenweg 88
	ftp://ftp.ips.cs.tu-bs.de/pub/local/softech/papers/cade-97-ws.ps.gz, 19970630 NORA/HAMMR: Making Deduction-Based Software Component Retrieval Practical y Bernd Fischer Abt. Softwaretechnologie, TU Braunschweig, D-38092 Braunschweig fisch@ips.cs.tu-bs.de Johann Schumann Automated Reasoning, Institut f ur Informatik, TU M unchen, D-80290 M unchen schumann@informatik.tu-muenchen.de
	ftp://ftp.ips.cs.tu-bs.de/pub/local/softech/papers/m-fuer-pg.ps.gz, 19970630 M eine typisierte, funktionale Sprache f ur das Programmieren-im-Grossen Kurzfassung Franz-Josef Grosch TU Braunschweig, Abt. Softwaretechnologie grosch@ips.cs.tu-bs.de Zusammenfassung. Programmieren-im-Grossen (PG) kann man als typisiertes, funktionales Programmieren verstehen . Um diese Denkweise
	ftp://ftp.ips.cs.tu-bs.de/pub/local/softech/papers/tr-97-04.ps.gz, 19970630 M { eine typisierte, funktionale Sprache f ur das Programmieren-im-Grossen Franz-Josef Grosch Informatik-Bericht Nr. 97-04 Mai 1997 c Abteilung Softwaretechnologie Institut f ur Programmiersprachen Technische Universit at Braunschweig B ultenweg 88 D-38106 Braunschweig Germany M { eine typisierte,
	ftp://ftp.ips.cs.tu-bs.de/pub/local/softech/drafts/softools-a4.ps.gz, 19970704 This page intentionally left blank. Andreas Zeller Jens Krinke Software-Werkzeuge Anwendung und Grundlagen Technische Universit at Braunschweig Abteilung Softwaretechnologie B ultenweg 88 D-38092 Braunschweig Braunschweig 1997 Andreas Zeller und Jens Krinke: Software-Werkzeuge. Anwendung und Grundlagen.
	ftp://ftp.ips.cs.tu-bs.de/pub/local/softech/papers/ase-97.ps.gz, 19971112 NORA/HAMMR: Making Deduction-Based Software Component Retrieval Practical Johann Schumann Automated Reasoning, Institut f ur Informatik, TU M unchen, D-80290 M unchen schumann@informatik.tu-muenchen.de Bernd Fischer Abt. Softwaretechnologie, TU Braunschweig, D-38092 Braunschweig fisch@ips.cs.tu-bs.de
	ftp://ftp.ips.cs.tu-bs.de/pub/local/softech/papers/esec-97-ws.ps.gz, 19971112 Reuse by Contract Bernd Fischer Gregor Snelting Abt. Softwaretechnologie, Technische Universit at Braunschweig B ultenweg 88, D-38106 Braunschweig, Germany Tel: +49-531-391-7579 Fax: +49-531-391-8140 Email: ffisch,sneltingg@ips.cs.tu-bs.de
	ftp://ftp.ips.cs.tu-bs.de/pub/local/softech/papers/tr-98-01.ps.gz, 19980106 Validation of Measurement Software as an application of Slicing and Constraint Solving Jens Krinke, Gregor Snelting Informatik-Bericht Nr. 98-01 January 6, 1998 Copyright c 1998 Institut f ur Programmiersprachen und Informationssysteme Abteilung Softwaretechnologie Technische Universit at Braunschweig B
	ftp://ftp.ips.cs.tu-bs.de/pub/local/softech/papers/tr-97-07.ps.gz, 19980107 VALSOFT Abschlussbericht Gregor Snelting Technische Universit at Braunschweig Ulrich Grottker Physikalisch-Technische Bundesanstalt, Braunschweig Michael Goldapp LINEAS GmbH Braunschweig Zusammenfassung Die Physikalisch-Technische Bundesanstalt muss alle eichpflichtigen Messger ate pr ufen. Da heute
	ftp://ftp.ips.cs.tu-bs.de/pub/local/softech/papers/tr-98-04.ps.gz, 19980123 Analyse von Softwarevarianten Christian Lindig Informatik-Bericht Nr. 98-04 Januar 1998 c Abteilung Softwaretechnologie Institut f ur Programmiersprachen Technische Universit at Braunschweig B ultenweg 88 D-38092 Braunschweig Germany 2 Analyse von Softwarevarianten Christian Lindig TU Braunschweig
	ftp://ftp.ips.cs.tu-bs.de/pub/local/softech/papers/feyer.ps.gz, 19980127 Paul Feyerabend und die Softwaretechnologie Gregor Snelting Abteilung Softwaretechnologie Technische Universit at Braunschweig Zusammenfassung. Der folgende Beitrag ist ein Pl adoyer f ur st arkere methodische Standards in der Softwaretechnologie. Nicht immer werden solche wissenschaftstheoretischen