Tag #german
49 papers:
Ada-2002-BichlerS #question #uml- Objektorientierte Entwicklung eingebetteter (Echtzeit-) Systeme mit UML? (LB, AS), pp. 11–28.
- Ada-2002-FreiningKW
- Ein Vergleich der Programmbeweiser FPP, NPPV und SPARK (CF, SK, JFHW), pp. 127–145.
- Ada-2002-Plodereder
- Codeanalysen (EP), pp. 79–126.
- Ada-2002-Siara #ada #algebra
- Ada trifft Algebra (RS), pp. 147–151.
- Ada-2002-Wachsmuth #uml
- UML Entwurfsmuster zum Einsatz in sicherheitskritischen Systemen (KW), pp. 67–77.
ICRE-1993-Bartsch-SporlR #prototype #standard- Prototyping mit Standard-Anwendunges-Software (BBS, HR), pp. 67–78.
- ICRE-1993-Beck #prototype
- Analyse der Aufgabenmerkmale als Voraussetzung für erfolgreiches Prototyping (AB), pp. 79–92.
- ICRE-1993-BenzienFS
- Beschreibungsmodell für ein Werkzeug zur wissenbasierten Dialoggestaltung in Softwareprodukten (GB, PF, ES), pp. 247–266.
- ICRE-1993-BergannBK #prototype
- Software-Sanierung mit Benutzerbeteiligung und Prototyping (RB, HB, AK), pp. 93–105.
- ICRE-1993-BurkleWZ #prototype
- Prototyping in einem objektorientierten Bankenprojekt (UB, VW, HZ), pp. 11–32.
- ICRE-1993-DoberkatFKS #prototype
- Verwaltung persistenter Daten in einer Prototyping-Umgebung (EED, WF, UK, WS), pp. 147–163.
- ICRE-1993-EbertB #prototype
- Konzeptionelles und Analytisches Prototyping (CE, PB), pp. 107–123.
- ICRE-1993-Floyd #prototype
- Prototyping, Erkenntnis, Realitätskonstruktion (CF), pp. 379–395.
- ICRE-1993-FrankeGHPSS #prototype
- Prototyping mit Mengen — der PROSET — Ansatz (WF, UG, WH, CP, HGS, BS), pp. 165–174.
- ICRE-1993-Glinz #object-oriented #prototype
- Hierarchische Verhaltensbeschreibung in objekt-orientierten Systemmodellen — eine Grundlage für modellbasiertes Prototyping (MG), pp. 175–192.
- ICRE-1993-Gramberg #prototype
- Der Prototyp als fertiges Produkt (oder der Weg ist das Ziel) (BG), pp. 33–39.
- ICRE-1993-JanssenWZ
- Generierung graphischer Benutzungschnittstellen aus Datenmodellen und Dialognetz-Spezifikationen (CJ, AW, JZ), pp. 335–347.
- ICRE-1993-Kohring #interpreter
- Ein flexibler Interpreter für ausfürhrbare Anforderungsdokumente (CK), pp. 193–208.
- ICRE-1993-Lubbecke #prototype
- Prototyping als Entwicklungsmethode für ein Anwendungs-(Teil-) projekt (HL), pp. 41–48.
- ICRE-1993-Meuser
- Graphische Präsentationen von ausführbaren SA/RT — Modellen (MM), pp. 349–368.
- ICRE-1993-Sachs
- Ein Werkzeug für den Entwurf von Bedienoberflächen medizinischer Geräte (SS), pp. 369–377.
- ICRE-1993-Spitta #prototype
- Sechs Jahre Anwendungsentwicklung mit Prototyping (TS), pp. 49–66.
- RE-1991-Denert #question
- Strukturierte Analyse oder objektorientierte Methodik für die Systemspezifikation? (ED), pp. 137–138.
- RE-1991-FarberbockGH #metamodelling #requirements
- Ein Vergleich von Requirements Engineering Methoden auf Metamodell-Basis (HF, TG, MH), pp. 40–66.
- RE-1991-Forbrig
- Ein Konzept zur Wiederverwendung von Dokumenten der Strukturierten Analyse (PF), pp. 129–136.
- RE-1991-FranzenS #petri net
- Die Methode der Strukturierten Analyse mit Petri-Netzen (SA/PN) als Echtzeiterweiterung (HF, GS), pp. 178–190.
- RE-1991-Glinz #problem
- Probleme und Schwachstellen der Strukturierten Analyse (MG), pp. 14–39.
- RE-1991-HansenR #requirements
- Requirements Engineering bei der Techniker Krankenkasse: Ein Erfahrungsbericht (DH, CR), pp. 67–85.
- RE-1991-Hruschka #analysis #standard
- Structured Analysis auf dem Weg zum De-facte-Standard (PH), pp. 1–13.
- RE-1991-JogunSB
- Erfahrungen mit der Anwendung von SA-Methoden zur Beschreibung von Informations-Systemen (KJ, MS, JB), pp. 86–92.
- RE-1991-LeszakFF #integration
- Integration Strukturierter Methoden zur Anforderungsspezifikation von Informationssystemen (ML, BF, KF), pp. 139–159.
- RE-1991-PfeifferKHG
- Die Engineering-Sprache GRAPES (MP, JK, RH, RG), pp. 160–177.
- RE-1991-TheisgesD
- Zustandsübergangsdiagramme als strukturbestimmende Sicht eines Systems (WT, HD), pp. 93–128.
- RE-1991-Wittstadt #analysis #question
- Structured Analysis: Ein Weg aus der Krise? (WW), pp. 191–208.
- RE-1983-Dette #prototype
- Erfahrungen mit Programm-Prototypen (WD), pp. 56–63.
- RE-1983-Eckert
- Erfahrungen beim Einsatz des Spezifikationssystems ESPRESO (KE), pp. 104–118.
- RE-1983-EppleK
- Benutzernahe Anforderungsanalyse mit SARS (WKE, GRK), pp. 223–239.
- RE-1983-Fischer
- Drei Jahre SADT bei SCS: Blick zurück ohne Zorn (AF), pp. 64–76.
- RE-1983-FlorekS #problem
- Zielgerichtetes und regelgesteuertes Problemlösen mit der Requirements-Engineering Methodologie IBIS (SF, HJS), pp. 15–28.
- RE-1983-Hruschka #named #requirements
- Requirements — einmal anders betrachtet (PH), pp. 1–14.
- RE-1983-Jovalekic
- Erstellung von Anforderungsspezifikationen für Automatisierungssysteme mit EPOS — Eigenschaften und Erfahrungen (SJ), pp. 92–103.
- RE-1983-KuhnelT
- Systematische Aufgabenklärung am Beispiel Software (BK, GT), pp. 159–172.
- RE-1983-Mittermeir
- Anforderungsmodellierung für Realzeitsysteme — Ansätze zur Bewältigung von Komplexität und von Unschärfe (RM), pp. 208–222.
- RE-1983-Schnupp #prolog
- Prolog als Spezifikations- und Modellierungswerkzeug (PS), pp. 173–182.
- RE-1983-SchweizerK
- Erfahrungen mit Modellbildung, Entwurf und Dokumentation von rechnergestützten Leitsystemen im Verkehrsbereich (GS, SK), pp. 119–137.
- RE-1983-Trauboth
- Entwicklung von Prozeßinformationssystemen — ein Lernprozeß für Entwickler und Andwender (HT), pp. 183–197.
- RE-1983-Winkler #simulation
- Anforderungsbeschreibung und Simulation mit Net-Modellen (PW), pp. 198–207.
ICALP-1974-Hotz - Komplexitätsmaße für Ausdrücke (GH), pp. 398–412.
- ICALP-1974-Kemp
- Mehrdeutigkeiten Kontextfreier Grammatiken (RK), pp. 534–546.
