Auflistung P051 - INFORMATIK 2004 - Informatik verbindet - Band 2 nach Erscheinungsdatum
1 - 10 von 136
Treffer pro Seite
Sortieroptionen
- KonferenzbeitragArbeitstagung Programmiersprachen (ATPS 2004)(Informatik 2004, Informatik verbindet, Band 2, Beiträge der 34. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 2004) Goerigk, Wolfgang; Hanus, Michael
- KonferenzbeitragSkill-Management in einer Unternehmensberatung - Praxisbeispiel(Informatik 2004, Informatik verbindet, Band 2, Beiträge der 34. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 2004) Deelmann, Thomas; Loos, PeterDer vorliegende Beitrag stellt zunächst das Geschäftsmodell einer Unternehmensberatung vor und arbeitet das Skill-Management als einen wesentlichen Bestandteil heraus. Anschließend werden Ansatzmöglichkeiten und Anforderungen für den Einsatz von Skill-Management in Beratungen aufgezeigt. Ein Praxisbeispiel beschreibt zunächst die Situation des Skill-Managements in einer Unternehmensberatung und der sich ergebenen Herausforderungen, formuliert darauf aufbauend einen Lösungsansatz und stellt den Stand der Umsetzung dar.
- KonferenzbeitragOn discovering user's needs in the ontology based portals using implicit relevance feedback(Informatik 2004, Informatik verbindet, Band 2, Beiträge der 34. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 2004) Stojanovic, NenadIn this paper we present a novel approach for discovering preferences of a user who searches for information in an ontology-based portal. The approach is based on analysing the user's searching behaviour regarding the given ontology and the content of the underlying information repository. In that way we develop so called short-term user's profile, that can be used for recommending relevant information to the user. The approach is realized as a method for ranking query refinements in the so-called step-by-step query refinement process. It is very suitable for modelling interactive searching in digital libraries or product catalogues.
- KonferenzbeitragModel checking Erlang programs – LTL-propositions and abstract interpretation(Informatik 2004, Informatik verbindet, Band 2, Beiträge der 34. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 2004) Huch, FrankWe present an approach for the formal verification of Erlang programs using abstract interpretation and model checking. In previous work we defined a framework for the verification of Erlang programs using abstract interpretation and LTL model checking. The application of LTL model checking yields some problems in the verification of state propositions, because propositions are also abstracted in the framework. While state propositions must be satisfied, negated state propositions have to be refuted. We show how this can be decided by means of the abstract domain. The approach is implemented as a prototype and we are able to prove properties like mutual exclusion or the absence of deadlocks and lifelocks for some Erlang programs.
- KonferenzbeitragMetriken und Regeln für eine durchgängige und modellbasierte SW-Entwicklung im Automobilbereich(Informatik 2004, Informatik verbindet, Band 2, Beiträge der 34. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 2004) Mutz, MartinIm Folgenden wird ein prototypisches Werkzeug zur Überprüfung der Einhaltung von Modellierungsregeln vorgestellt. Der Prototyp wurde im Rahmen eines Automotive-Projekts entwickelt und eingesetzt. Mit Hilfe des Programms können Modellierungsregeln in Java und OCL definiert werden, um Inkonsistenzen, Inkompatibilitäten sowie Designfehler in zustandsbasierten Modellen zu analysieren. Anschließend kann die Qualität der Zustandsautomaten durch Metriken bewertet werden.
- KonferenzbeitragNutzung der Echtzeitkommunikation im IP-basierten Netz zur Verbesserung der medizinischen Ausbildung(Informatik 2004, Informatik verbindet, Band 2, Beiträge der 34. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 2004) Kaiser, Gerd; Nguyen-Dobinsky, Trong-NghiaDie medizinische Lehre im klinischen Abschnitt ist geprägt durch die Ausbildung der Studierenden am Krankenbett. An der Charité wurde ein System entwickelt, mit dem diese Form der Lehre elektronisch unterstützt und partiell verbessert werden kann. Basis des Systems ist die audiovisuelle Kommunikation über Notebooks und ein Wireless LAN-gestütztes Lehrnetz, welches als VPN auf der IP-Infrastruktur der Charité realisiert wurde. Die Erprobung des technischen Systems und die Erprobung der dafür entwickelten Lehr-/Lernszenarien hat die grundsätzliche Eignung dieser elektronischen Unterstützung für die Lehre erwiesen, jedoch auch einige offene Fragen hervor gebracht.
- KonferenzbeitragSaliency extraction for gaze-contingent displays(Informatik 2004, Informatik verbindet, Band 2, Beiträge der 34. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 2004) Böhme, Martin; Krause, Christopher; Martinetz, Thomas; Barth, Erhardt
- KonferenzbeitragSystematische Integration von Refactoring und Test im Extreme Programming(Informatik 2004, Informatik verbindet, Band 2, Beiträge der 34. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 2004) Dissmann, Stefan; Schlüter, MichaelRefactoring und Testen bilden wesentliche Bausteine des Extreme Programming. In diesem Beitrag wird der konzeptionelle Zusammenhang zwischen beiden Praktiken herausgearbeitet. Insbesondere wird die Abhängigkeit zwischen der Durchführung eines Refactorings und den sich daraus ergebenden notwendigen Änderungen der Testumgebung betrachtet. Durch eine geeignete Typisierung von Refactorings werden diese Änderungen übersichtlich zusammengefasst und beschrieben. Die Beschreibung bildet die Grundlage für die Gestaltung eines systematischen Vorgehens, welches in weiten Teilen durch Werkzeuge unterstützt und damit effizient in der Entwicklung eingesetzt werden kann.
- KonferenzbeitragWokshop – Geschäftsprozessorientierte Architekturen(Informatik 2004, Informatik verbindet, Band 2, Beiträge der 34. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 2004) Reichert, Manfred; Hasselbring, Wilhelm; Weske, Mathias