„Informatik - Software“
Suchergebnisse
3.042 Treffer
-
Clean Architecture Praxisbuch – für saubere Software-Architekturen und wartbaren Code. Mit Codebeispielen in Java
-
Algebraische Spezifikation und Korrektheit von Compilern
-
Die Komplexität von Schedulingproblemen mit Resourcenbeschränkungen
-
Modernes Software Engineering – bessere Software schneller und effektiver entwickeln
-
Diskursive Anforderungsanalyse und Validierung – ein Beitrag zum Reduktionsproblem bei Systementwicklungen in der Informatik
-
Die Methode der Anforderungsflussanalyse zur Qualitätssicherung bei der Entwicklung von Software-Produkten
-
Validation and verification of software process models
-
Ein Software-System zur Synthese von Rechnerstrukturen und zur Erzeugung von Mikrocode
-
Anforderungsflüsse in der Software-Entwicklung als Grundlage für die Qualitätssicherung
-
Manual on REC – a language for use and cost analysis of recursion over arbitraty data structures
-
Eine Produktbibliothek zur inkrementellen Programmentwicklung
-
Software-implementierte Fehlertoleranzmechanismen für objektorientierte, verteilte Systeme
-
Ziele und Inhalte für die Befähigung der Schüler der Klassen 9 und 10 auf dem Gebiet der Informatik insbesondere zur Weiterentwicklung des fakultativen Kurses "Informationsverarbeitung-Prozessautomatisierung" der Klassen 9 und 10 aus der Sicht neuer pädagogischer Erkenntnisse bei der Anwendung spezieller Softwaresysteme
-
Foundations of software technology and theoretical computer science – 11th conference, New Delhi, India, December 17 - 19, 1991 ; proceedings
-
Skriptum Informatik – eine konventionelle Einführung
-
Softwarearchitektur eines Datenbanksystems auf der Basis eines Mehr-Mikrorechnersystems für den Einsatz in der Prozessdatenverarbeitung
-
Graphische Grund-Software im Rechenzentrum der Universität Kiel
-
Integrative Systementwicklung – e. Ansatz zur Orientierung d. Softwaretechnik auf d. benutzergerechte Entwicklung rechnergestützter Systeme
-
Entwurf und Implementierung eines Grafik-Compilers mit Layout-Ausgabe als Software-Bausteine eines CAD-Systems für den LSI-VLSI-Entwurf auf RT-Ebene
-
Development, specification and semantics of strictly modular systems – (seminar notes) ; presented at the Seminar on State of the Art and Perspectives of Software Technology in Europe, USA and Japan, ICC Berlin, September 1983