Search results for "Entwurf"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
64	Christoph Meinel, Thorsten Theobald	Geordnete binäre Entscheidungsgraphen und ihre Bedeutung im rechnergestützten Entwurf hochintegrierter Schaltkreise.	Inform. Spektrum	1997	DBLP DOI BibTeX RDF	rechnergestützter Entwurf, hochintegrierte Schaltungen, formale Verifikation, Datenstrukturen für Boolesche Funktionen, binäre Entscheidungsgraphen, VLSI Design
53	Hans-Jürgen Hoffmann	Betrachtungen zum Entwurf interaktiver Systeme.	IBM Symposium: Interactive Systems	1976	DBLP DOI BibTeX RDF
53	Christoph Hübel, Wolfgang Käfer, Horst Pahle, Ernst Siepmann	Basismechanismen zur Kooperation beim parallelen VLSI-Entwurf.	Entwurf und Betrieb verteilter Systeme	1990	DBLP DOI BibTeX RDF
53	Uwe Vehlies, Andreas Münzner	Automatisierter Entwurf von Schaltungen für die schnelle digitale Signalverarbeitung.	Rechnergestützter Entwurf und Architektur mikroelektronischer Systeme	1990	DBLP DOI BibTeX RDF
53	Ernst J. Lehner, H. Hofestädt	Testbarkeitsanalyse beim hierarchischen top-down Entwurf.	Rechnergestützter Entwurf und Architektur mikroelektronischer Systeme	1990	DBLP DOI BibTeX RDF
53	Hendrik Decker	Rechnergestützter Entwurf von Software-Systemen mit homogenen Werkzeugen.	Entwurf großer Software-Systeme	1984	DBLP BibTeX RDF
53	Hermann von Issendorff	Entwurf großer Software-Systeme mit Hilfe der Netzwerkprogrammierung.	Entwurf großer Software-Systeme	1984	DBLP BibTeX RDF
53	Wolfgang Hesse	Von der Problemanalyse zum Software-Entwurf: Acht Kernfragen der Methodendiskussion.	Entwurf großer Software-Systeme	1984	DBLP BibTeX RDF
53	Ute Leibrandt, Peter Schnupp	Spezifikation, Entwurf und Prototyping unter UNIX.	Entwurf großer Software-Systeme	1984	DBLP BibTeX RDF
53	Monika Rheindt, Anton Seigis	Ein guter Programm-Entwurf lohnt sich: Erfahrung aus Entwicklung und Einsatz eines Software-Entwicklungssystems nach der Jackson-Technik.	Entwurf großer Software-Systeme	1984	DBLP BibTeX RDF
53	Hans-Jürgen Appelrath, J. Freitag	Der Entwurf eines dialogorientierten Bluttransfusions-Informationssystems.	Entwurf großer Software-Systeme	1984	DBLP BibTeX RDF
53	Christiane Floyd, Jürgen Pasch	Methoden für den Entwurf großer Softwaresysteme.	Entwurf großer Software-Systeme	1984	DBLP BibTeX RDF
50	Hartmut Krasemann	Welche Ausbildung brauchen Informatiker?	Inform. Spektrum	1997	DBLP DOI BibTeX RDF	Informatik-Curriculum, Entwurf, Entwurfsmuster, Objektorientierung, Modellierung
39	Clemens Beckstein, Günther Görz, M. Tielemann	FORK: A System for Object- and Rule-Oriented Programming.	ECOOP	1987	DBLP DOI BibTeX RDF
39	Theo Härder, Hartmut Wedekind, Gerhard Zimmermann (eds.)	Entwurf und Betrieb verteilter Systeme, Fachtagung des Sonderforschungsbereiche 124 und 182, Dagstuhl, 19.-21. September 1990, Proceedings	Entwurf und Betrieb verteilter Systeme	1990	DBLP DOI BibTeX RDF
39	Bernd Reusch (eds.)	Rechnergestützter Entwurf und Architektur mikroelektronischer Systeme, GME/GI/ITG-Fachtagung, Dortmund, Oktober 1990, Proceedings	Rechnergestützter Entwurf und Architektur mikroelektronischer Systeme	1990	DBLP DOI BibTeX RDF
39	Jürgen Nehmer, Thomas Gauweiler	Design Rationale for the MOSKITO Kernel.	Entwurf und Betrieb verteilter Systeme	1990	DBLP DOI BibTeX RDF
39	P. Koller, Heinrich Niemann	Gewinnung von dichten Tiefenbildern aus Farbsteueraufnahmen durch "Simuliertes Ausfrieren".	Entwurf und Betrieb verteilter Systeme	1990	DBLP DOI BibTeX RDF
39	Helge Scheidig, R. Spurk	Interkonnektionsarchitektur für Multicomputer.	Entwurf und Betrieb verteilter Systeme	1990	DBLP DOI BibTeX RDF
39	Ferri Abolhassan, Jörg Keller 0001, Wolfgang J. Paul	Überblick über PRAM-Simulationen und ihre Realisierbarkeit.	Entwurf und Betrieb verteilter Systeme	1990	DBLP DOI BibTeX RDF
39	Helmut Wächter, Andreas Reuter 0001	Grundkonzepte und Realisierungsstrategien des ConTract-Modells.	Entwurf und Betrieb verteilter Systeme	1990	DBLP DOI BibTeX RDF
39	Ulrich Herzog	Formal Description, Time and Performance Analysis. A Framework.	Entwurf und Betrieb verteilter Systeme	1990	DBLP DOI BibTeX RDF
39	Mario Dal Cin	Fehlertoleranz in universellen Hochleistungs-Parallelrechnern.	Entwurf und Betrieb verteilter Systeme	1990	DBLP DOI BibTeX RDF
39	Dieter Maurer, Martin Raber, St. Ingbert	Implementierung einer funktionalen Programmiersprache auf einem Transputernetz.	Entwurf und Betrieb verteilter Systeme	1990	DBLP DOI BibTeX RDF
39	Peter Schlenk	PM: Eine Umgebung zur Programmierung verteilter Systeme.	Entwurf und Betrieb verteilter Systeme	1990	DBLP DOI BibTeX RDF
39	Peter Buhler, Peter Sturm 0001	Performance Analysis of Distributed Systems in the COIN Environment.	Entwurf und Betrieb verteilter Systeme	1990	DBLP DOI BibTeX RDF
39	Richard Hofmann, Rainer Klar, Norbert Luttenberger, Bernd Mohr, Andreas Quick, Franz Sötz	Integrating Monitoring and Modeling to a Performance Evaluation Methodology.	Entwurf und Betrieb verteilter Systeme	1990	DBLP DOI BibTeX RDF
39	Stefan Jablonski, Berthold Reinwald, Thomas Ruf, Hartmut Wedekind	Von Transaktionen zu Problemlösungszyklen: Erweiterte Verarbeitungsmodelle für Non-Standard-Datenbanksysteme.	Entwurf und Betrieb verteilter Systeme	1990	DBLP DOI BibTeX RDF
39	Harald Schöning	Realisierungskonzepte für die parallele Bearbeitung von Anfragen auf komplexen Objekten.	Entwurf und Betrieb verteilter Systeme	1990	DBLP DOI BibTeX RDF
39	Christian Schiedermeier	Verteilte Termersetzung als Berechnungsmodell für objektorientierte Systeme.	Entwurf und Betrieb verteilter Systeme	1990	DBLP DOI BibTeX RDF
39	Norbert Wehn, Manfred Glesner, A. Kister, S. Kastner	Timing Driven Partitioning of Combinational Logic.	Rechnergestützter Entwurf und Architektur mikroelektronischer Systeme	1990	DBLP DOI BibTeX RDF
39	Peter Gutberlet, Heinrich Krämer, Wolfgang Rosenstiel	CASCH - ein Scheduling-Algorithmus für "High-Level"-Synthese.	Rechnergestützter Entwurf und Architektur mikroelektronischer Systeme	1990	DBLP DOI BibTeX RDF
39	Marek Gondzio	A Concept of Defining Semantics of Concurrent Microprograms.	Rechnergestützter Entwurf und Architektur mikroelektronischer Systeme	1990	DBLP DOI BibTeX RDF
39	Christian Wolters	Synthese von Komplexgatter-Schaltnetzen unter Berücksichtigung der Transistoranzahl.	Rechnergestützter Entwurf und Architektur mikroelektronischer Systeme	1990	DBLP DOI BibTeX RDF
39	Rainer Brück 0001, Elmar Migas	TANGO: Ein objektorientierter Ansatz zur Technologieanpassung von IC-Layouts.	Rechnergestützter Entwurf und Architektur mikroelektronischer Systeme	1990	DBLP DOI BibTeX RDF
39	Peter V. Kraus, Dieter A. Mlynski, Chong-Min Kyung	Diffusion - An analytic procedure applied to global macro cell placment.	Rechnergestützter Entwurf und Architektur mikroelektronischer Systeme	1990	DBLP DOI BibTeX RDF
39	Ernst Lüder, Joerg Schaepperle	Optimierung von Schaltungen mit determinierten und statistischen Suchverfahren.	Rechnergestützter Entwurf und Architektur mikroelektronischer Systeme	1990	DBLP DOI BibTeX RDF
39	Thomas Schwederski, Thomas Büchner, Werner Haas, Martin Zahn	ATTACC - an Automated Tool for Timing Analysis and Cell Characterization.	Rechnergestützter Entwurf und Architektur mikroelektronischer Systeme	1990	DBLP DOI BibTeX RDF
39	Ulrich Röttcher, J. Fritz, F. Krohm, G. Hess	HIPARE: Hierarchical Circuit and Parameter Extraction from Mask Layout Data.	Rechnergestützter Entwurf und Architektur mikroelektronischer Systeme	1990	DBLP DOI BibTeX RDF
39	E. Aposporidis, W. Jud, F. Lohnert	Parallele Simulatoren für VLSI - Stand und Zukunftslinien des DISIM-Systems.	Rechnergestützter Entwurf und Architektur mikroelektronischer Systeme	1990	DBLP DOI BibTeX RDF
39	Michael Bechtold, Th. Leyendecker, Matthias Niemeyer, A. Oczko, Christel Oczko	Das Simulatorkopplungsprojekt.	Rechnergestützter Entwurf und Architektur mikroelektronischer Systeme	1990	DBLP DOI BibTeX RDF
39	Georg Klein-Heßling, Manfred Schäfer	Architekturentwurf für nebenläfige, funktionssichere Steuerungen.	Rechnergestützter Entwurf und Architektur mikroelektronischer Systeme	1990	DBLP DOI BibTeX RDF
39	Wolfgang Meier	Hierarchical Netlist Extraction and Design Rule Check.	Rechnergestützter Entwurf und Architektur mikroelektronischer Systeme	1990	DBLP DOI BibTeX RDF
39	Peter Schwarz, Christoph Clauß, Ulrich Donath, Jürgen Haufe, Gunter Kurth, Peter Trappe	KOSIM-ein Mixed-Mode, Multi-Level-Simulator.	Rechnergestützter Entwurf und Architektur mikroelektronischer Systeme	1990	DBLP DOI BibTeX RDF
39	Bernhard H. Seiß, Michael H. Schulz	Ein neues, effizientes Verfahren zum Testpunkteeinbau in kombinatorischen Schaltungen.	Rechnergestützter Entwurf und Architektur mikroelektronischer Systeme	1990	DBLP DOI BibTeX RDF
39	Klaus Hoffmann, Michael Mertens, Klaus Milzner, Werner Brockherde, Günther Hess, Roland Klinke, Florian Frohm	OASE: A Knowledge Based Environment for Analog Circuit Design.	Rechnergestützter Entwurf und Architektur mikroelektronischer Systeme	1990	DBLP DOI BibTeX RDF
39	Jürgen Bortolazzi, Klaus D. Müller-Glaser	Rechnergestützte Spezifikation in einer integrierten Entwrusumgebung für anwendungsspezifische Systeme.	Rechnergestützter Entwurf und Architektur mikroelektronischer Systeme	1990	DBLP DOI BibTeX RDF
39	Christian Ewering	A New Allocation Method for the Synthesis of Partitioned Busses.	Rechnergestützter Entwurf und Architektur mikroelektronischer Systeme	1990	DBLP DOI BibTeX RDF
39	DeForest Tovey, Victor Valdivia	A Methodology for Hierarchical Module Generator Specification.	Rechnergestützter Entwurf und Architektur mikroelektronischer Systeme	1990	DBLP DOI BibTeX RDF
39	Harald Gundlach, Klaus D. Müller-Glaser	Zum automatischen Einfügen von Testpunkten in sequentielle Schaltungen.	Rechnergestützter Entwurf und Architektur mikroelektronischer Systeme	1990	DBLP DOI BibTeX RDF
39	Klaus Scherer, Oliver Rettig	Rapid Prototyping mikroelektronischer Hardware-Software-Systeme durch Emulation.	Rechnergestützter Entwurf und Architektur mikroelektronischer Systeme	1990	DBLP DOI BibTeX RDF
39	Michael May 0004	Über ein Min-Cross Kanalrouting-Problem.	Rechnergestützter Entwurf und Architektur mikroelektronischer Systeme	1990	DBLP DOI BibTeX RDF
39	Horst Morgenbrod, Werner Remmele (eds.)	Entwurf großer Software-Systeme, Workshop des German Chapter of the ACM vom 8. bis 11.5.1984 in Grassau	Entwurf großer Software-Systeme	1985	DBLP BibTeX RDF
39	Claus Lewerentz	Inkrementelles Programmieren-im-Großen: Syntax-gestützte Erstellung und Wartung von Systemspezifikationen.	Entwurf großer Software-Systeme	1984	DBLP BibTeX RDF
39	Jack Gorissen, Franz Kapsner, T. Lützeler	Einsatz der Simulation während der einzelnen Phasen des Entwicklungsprozesses komplexer digitaler Systeme.	Entwurf großer Software-Systeme	1984	DBLP BibTeX RDF
39	Harry M. Sneed	Experience in the Maintenance and Renovation of a Large Application System.	Entwurf großer Software-Systeme	1984	DBLP BibTeX RDF
39	G. Reelsen	Der Aufbau eines großen integrierten EDV-System bei der Bundesversicherungsanstalt für Angestellte unter dem Gesichtpunkt der Zuverlässigkeit und der kontinuierlichen Weiterentwicklung.	Entwurf großer Software-Systeme	1984	DBLP BibTeX RDF
39	K. Lutz	CADOSR - Ein erfolgversprechender Weg zum Requirement Engineering.	Entwurf großer Software-Systeme	1984	DBLP BibTeX RDF
39	Horst Morgenbrod, Werner Remmele	Ergebnisse der Arbeitsgruppe 'Der Softwareentwurf in der Prüfung'.	Entwurf großer Software-Systeme	1984	DBLP BibTeX RDF
39	André Renold	Parallele Echtzeitprogrammierung: Erfahrungen mit verschiedenen Entwurfsmethoden.	Entwurf großer Software-Systeme	1984	DBLP BibTeX RDF
39	Alfred L. Luft	Der Modellierung-Schritt bei der Spezifikation: Konstruktion und Verifikation großer Software-Systeme.	Entwurf großer Software-Systeme	1984	DBLP BibTeX RDF
39	Johann Maierhofer, Helmuth Schmitt, Stephan Zorn	Softwaretechnologische Aspekte bei Entwicklung und Einsatz großer Simulationsprogramme.	Entwurf großer Software-Systeme	1984	DBLP BibTeX RDF
39	Hanns-Martin Meyer	Erprobte und eine Wege des Software-Technologie-Transfers: Acht Probleme der Technologie-Einfürung.	Entwurf großer Software-Systeme	1984	DBLP BibTeX RDF
39	Bernd J. Krämer	Formal and Semi-Graphic Specification of Non-Sequential Systems.	Entwurf großer Software-Systeme	1984	DBLP BibTeX RDF
39	Horst Morgenbrod, Werner Remmele	Ergebnisse der Arbeitsgruppe 'Unterstützung des Softwareentwurfs'.	Entwurf großer Software-Systeme	1984	DBLP BibTeX RDF
39	Horst Morgenbrod, Werner Remmele	Ergebnisse der Arbeitsgruppe 'Der Softwareentwurf in der Anwendung'.	Entwurf großer Software-Systeme	1984	DBLP BibTeX RDF
39	Christoph Oeters	Graphische Darstellung von Software-Architektur.	Entwurf großer Software-Systeme	1984	DBLP BibTeX RDF
39	Matthias Schneider 0001	Programmdokumentation als wissenbasierter Kommunikationsprozess.	Entwurf großer Software-Systeme	1984	DBLP BibTeX RDF
39	Peter Graubmann, Ekkart Rudolph	Prozessanalyse und Testdatengewinning für Vermittlungssysteme mit Hilfe von Petrinetzen.	Entwurf großer Software-Systeme	1984	DBLP BibTeX RDF
39	Wolfgang Graetsch	Entwurfsleitlinien im UNIX Betriebsystem.	Entwurf großer Software-Systeme	1984	DBLP BibTeX RDF
39	Horst Morgenbrod, Werner Remmele	Ergebnisse der Arbeitsgruppe 'Methoden des Softwareentwurfs'.	Entwurf großer Software-Systeme	1984	DBLP BibTeX RDF
39	Almuth Fischer	Wo greifen graphisch orientierte Verfahren? Erfahrungen mit SADT und DSA.	Entwurf großer Software-Systeme	1984	DBLP BibTeX RDF
39	Manfred Sommer 0001, Manfred P. Stadel	Erfahrungen beim Implementieren eines modernen Compilers.	Entwurf großer Software-Systeme	1984	DBLP BibTeX RDF
34	Klaus Uhl, Marco Ziegenmeyer, Bernd Gaßmann, Johann Marius Zöllner, Rüdiger Dillmann	Entwurf einer semantischen Missionssteuerung für autonome Serviceroboter.	AMS	2007	DBLP DOI BibTeX RDF
34		Ethische Leitlinien der GI: Entwurf des Arbeitskreises "Verantwortung".	Inform. Spektrum	2003	DBLP DOI BibTeX RDF
31	Georg Fehling, Bernd Jahnke	Wirtschaftsinformatik und Ethik - Komplementarität oder Konkurrenz? (Zur Diskussion Gestellt).	Inform. Spektrum	1999	DBLP DOI BibTeX RDF	Ethik, Organisatorische Auswirkungen, Wirtschaftsinformatik, Informatik, Informationssysteme, Entwurf und Nutzung von Anwendungssystemen
28	Joachim Schelp, Robert Winter 0001	Entwurf von Anwendungssystemen und Entwurf von Enterprise Services.	Wirtschaftsinf.	2008	DBLP DOI BibTeX RDF	enterprise service design, service orientation, application design, enterprise services
28	Christian Märtin	Modellierung, Entwurf und automatische Konstruktion interaktiver Softwaresysteme: Entwurf der modellbasierten Entwicklungsumgebung Application Modeling Environment (AME).		1995	RDF
28	Wolfgang Glunz	Hardware-Entwurf auf abstrakten Ebenen unter Verwendung von Methoden aus dem Software-Entwurf.		1994	RDF
28	Norbert Wehn	Effiziente Verfahren für den physikalischen Entwurf von MOS-VLSI-Schaltungen und ihre Anwendung beim Entwurf eines defekttoleranten Mikroprozessors.		1989	RDF
28	Marc Domenig	Entwurf eines dedizierten Datenbanksystems für Lexika: Problemanalyse u. Software-Entwurf anhand e. Projektes für maschinelle Sprachübers.		1987	RDF
28	Thomas F. Gordon, Gerald Quirchmayr	Der Einsatz der Modellierungssprache OBLOG zum Entwurf von Juristischen Expertensystemen im Wege des Prototyping am Beispiel eines Modells des Verfahrens der Eidesstattlichen Versicherung.	EMISA	1987	DBLP DOI BibTeX RDF
28	Joachim Niemeier, Andreas J. Ness, Friedemann Reim	Werkzeuge zum Entwurf von verteilten Informationssystemen.	EMISA	1987	DBLP DOI BibTeX RDF
28	Gerhard Winkler	Die gemeinsame Benutzung zweier unterschiedlicher Strukturierungsprinzipien beim Entwurf von Systemen.	Software Engineering	1980	DBLP BibTeX RDF
28	Dietmar Hoffmann	Probleme beim Software-Entwurf für verteilte Realzeitsysteme.	Software Engineering	1980	DBLP BibTeX RDF
28	W. Oostendorp	PSDL/PSDA - Ein methodisch integrierter Ansatz für die Spezifikation und den Entwurf von Applikationssoftware.	Software Engineering	1980	DBLP BibTeX RDF
28	Ekke Weber	Software-Entwurf nach dem Modell der hierarchisch strukturierten Interaktion HSI.	Software Engineering	1980	DBLP BibTeX RDF
20	Manfred Broy, Albert Endres	Informatik überall, jederzeit und für alle.	Inform. Spektrum	2009	DBLP DOI BibTeX RDF
20	Wolfgang Schröder-Preikschat, Daniel Lohmann, Fabian Scheler, Olaf Spinczyk	Dimensions of variability in embedded operating systems.	Inform. Forsch. Entwickl.	2007	DBLP DOI BibTeX RDF	Schlagworte Eingebettete Systeme, Betriebssysteme, Erweiterbarkeit, Spezialisierung, Portabilität, Nichtfunktionale Eigenschaften, Querschneidende Belange
20	Wilhelm Hasselbring	Software-Architektur.	Inform. Spektrum	2006	DBLP DOI BibTeX RDF
20	Kathrin Roberts, Gábor Szabó 0003, Uwe D. Hanebeck	Sensorgestützte Bewegungssynchronisation von Operationsinstrumenten am schlagenden Herzen.	AMS	2005	DBLP DOI BibTeX RDF
20	Stefanie Rinderle, Peter Dadam	Schemaevolution in Workflow-Management-Systemen.	Inform. Spektrum	2003	DBLP DOI BibTeX RDF
20	Thorsten Bernholt, Alexander Gülich, Thomas Hofmeister, Niels Schmitt, Ingo Wegener	Komplexitätstheorie, effiziente Algorithmen und die Bundesliga.	Inform. Spektrum	2002	DBLP DOI BibTeX RDF
20	Manfred Broy, Johannes Siedersleben	Objektorientierte Programmierung und Softwareentwicklung - Eine kritische Einschätzung.	Inform. Spektrum	2002	DBLP DOI BibTeX RDF
20	Hartmut Ehrig, Martin Große-Rhode	Integration von Techniken der Softwarespezifkation fuer ingenieurwissenschaftliche Anwendungen.	Inform. Forsch. Entwickl.	2001	DBLP DOI BibTeX RDF	DFG-Schwerpunktprogramm, Softwarespezifikation, Integration von Spezifikationstechniken, Produktionsautomatisierung, Verkehrsleittechnik
20	Reiner Kolla	Technology Binding.	Inform. Spektrum	2000	DBLP DOI BibTeX RDF
20	Johannes Siedersleben, Ernst Denert	Wie baut man Informationssysteme? Überlegungen zur Standardarchitektur.	Inform. Spektrum	2000	DBLP DOI BibTeX RDF	Business Information, Standard Architectures, Object Orientation, Variability, Systems
20	Wolfgang Reif	Formale Methoden für sicherheitskritische Software - Der KIV-Ansatz.	Inform. Forsch. Entwickl.	1999	DBLP DOI BibTeX RDF	Softwaretechnik, Qualitätssicherung, Sichere und korrekte Systeme, Formale Methoden, Spezifikation, Verifikation, Maschinelles Beweisen
20	Lutz Prechelt, Barbara Unger 0001	Methodik und Ergebnisse einer Experimentreihe über Entwurfsmuster.	Inform. Forsch. Entwickl.	1999	DBLP DOI BibTeX RDF	Empirische Methodik, Kontrollierte Experimente, Entwurfsmuster
20	Ulrich Thiel, André Everts, Barbara Lutes, Kostas Tzeras	Integration und Suche in Digitalen Bibliotheken: Ein logikbasierter Ansatz.	Inform. Forsch. Entwickl.	1998	DBLP DOI BibTeX RDF	Digitale Bibliotheken, abduktive Logik, Information Retrieval