FTF-Newsletter Januar 2010

logo_newsMit dem FTF-Newsletter wollen wir sowohl einen Rückblick als auch Ausblick auf die Tätigkeiten des Fördervereins Technische Fakultät geben:


Rückblick:

Ausblick:

Alle Termine finden Sie natürlich auch im TEWI-Fakultätskalender der Universität Klagenfurt.

An- bzw. Abmeldung zum Newsletter via http://www.foerderverein-technische-fakultaet.at/ [RSS, Email, Twitter, PDF, Xing, LinkedIn].

Posted in News | Tagged | Kommentare deaktiviert für FTF-Newsletter Januar 2010

Frohe Weihnachten und einen guten Rutsch ins Neue Jahr

In Weihnachtszeiten von Hermann Hesse (1877-1962)

In Weihnachtszeiten reis‘ ich gern
Und bin dem Kinderjubel fern
Und geh‘ in Wald und Schnee allein.
Und manchmal, doch nicht jedes Jahr,
Trifft meine gute Stunde ein,
Daß ich von allem, was da war,
Auf einen Augenblick gesunde
Und irgendwo im Wald für eine Stunde
Der Kindheit Duft erfühle tief im Sinn
Und wieder Knabe bin…

Der Förderverein Technische Fakultät an der Universität KLagenfurt wünscht allen Mitgliedern ein frohes Weihnachtsfest und einen guten Start in ein erfolgreiches Jahr 2010!

weihnachten

Posted in News | Kommentare deaktiviert für Frohe Weihnachten und einen guten Rutsch ins Neue Jahr

Webseite des Fördervereins bequem auf dem iPhone & Co ansehen

IMG_1552Die Webseite des Fördervereins Technische Fakultät kann nun bequem auf iPhone, iPod Touch, Android bzw. BlackBerry Touch angesehen werden und zwar dank des WPtouch Theme. Siehe auch Screenshot auf der rechten Seite.

Desweiteren wurden zwei kurze URLs registriert und die Webseite kann nun auch via http://bit.ly/vereintewi bzw. http://bit.ly/verein-tewi abgerufen werden.

Happy surfing wünscht der Förderverein Technische Fakultät!

Wir freuen uns natürlich über jegliche Hinweise wie wir unser Angebot verbessern können. Schreiben Sie einfach ein Kommentar zu diesem Beitrag.

Posted in News | Tagged , , , , | Kommentare deaktiviert für Webseite des Fördervereins bequem auf dem iPhone & Co ansehen

Software Engineering Innovation Foundation Awards

Microsoft Research will shortly be accepting proposals for research grants in seminal software engineering areas, innovative software engineering education methods, and improvements in the software-development process. Microsoft Research anticipates making approximately twelve awards of about US$15,000 to US$25,000 each. Awards are made for the purpose of seed-funding larger initiatives, proofs of concept, or demonstrations of feasibility.

For more details please visit: http://research.microsoft.com/en-us/collaboration/focus/cs/seif.aspx

If you have any question, please contact: seif@microsoft.com.

Posted in News | Tagged , , | Kommentare deaktiviert für Software Engineering Innovation Foundation Awards

FTF-Newsletter Dezember 2009

logo_newsMit dem FTF-Newsletter wollen wir sowohl einen Rückblick als auch Ausblick auf die Tätigkeiten des Fördervereins Technische Fakultät geben:

Rückblick:

Ausblick:

An- bzw. Abmeldung zum Newsletter via http://www.foerderverein-technische-fakultaet.at/ [RSS, Email, Twitter, PDF, Xing, LinkedIn].

Posted in News | Tagged | Kommentare deaktiviert für FTF-Newsletter Dezember 2009

Ankündigung Exkursion: Besuch einer 3D Cave an der TU Graz

User in der Cave

User in der Cave

Im Rahmen der Veranstaltung „Computer Games Lab“ besuchen wir mit den Studierenden die 3D Cave DAVE am Institut für ComputerGraphik und WissensVisualisierung (CGV) an der TU Graz. In Gruppen zu 10 Leuten können sich die Leute die Cave ansehn. Danach gibt es eine Einführung in die Programmierung der Cave.

Was ist eigentlich eine Cave? Eine Cave besteht aus mehreren Projektionswänden, die einen User umgeben. Durch die Nutzung einer Shutter-Brille entsteht in Verbindung mit den richtigen Programmen eine 3-dimensionale Welt um den Benutzer herum. So wird ein viel besserer räumlicher Eindruck vermittelt, da der Benutzer „im Raum steht“ anstatt durch den Monitor hinein zu blicken.

Bei Interesse kann man sich bei Mathias Lux für die Teilnahme anmelden, ein paar Plätze sind noch übrig. Die Unkosten werden von der Fakultät dem Förderverein und der ÖH übernommen.

Termin: 27. Nov. 2009, Zeit 11.oo – 19.oo Uhr (~)

Posted in Veranstaltungen, News | Tagged , , , , , | Kommentare deaktiviert für Ankündigung Exkursion: Besuch einer 3D Cave an der TU Graz

Neues Forschungskompetenzzentrum an der Technischen Fakultät

kaltenbacherGroßer Erfolg für das Institut für Intelligente Systemtechnologien der Technischen Fakultät. Der K1-Antrag ACMIT (Austrian Center for Medical Innovation and Technology) innerhalb des Förderprogramms COMET (Competence Centers for Excellent Technologies) wurde als eines von vier neuen K1-Zentren in Österreich bewilligt.

Die Universität Klagenfurt ist dabei durch Univ.-Prof. Dr. Manfred Kaltenbacher vom Institut für Intelligente Systemtechnologien vertreten, welcher als Key Researcher den Bereich Sensors for Process Control, Treatment Monitoring and Evaluation leiten wird.

ACMIT konzentriert Wissen im Bereich der Medizintechnik und wird sich mit neuen Ansätzen im Bereich der Minimal Invasiven Operationstechnik beschäftigen. Dabei werden die Forschungsaktivitäten in die folgenden vier Bereiche unterteilt

  1. Technology and processes for the treatment of bones and tissues
  2. Medical Robotics and Positioning Systems
  3. Sensors for Process Control, Treatment Monitoring and Evaluation
  4. Work-Flow, Simulation and Human-Machine Interface

Dies ist ein weiterer erfolgreicher Schritt in Richtung des technischen Ausbaus der Alpen-Adria-Universität Klagenfurt.

Manfred Kaltenbacher

Weitere Informationen finden Sie hier.

Posted in News | Tagged , , , , , , , | Kommentare deaktiviert für Neues Forschungskompetenzzentrum an der Technischen Fakultät

Förderpreis der Technischen Fakultät: Ausschreibung 2009

Trophy WinnerAusschreibung 2009

Förderpreis der Technischen Fakultät

Prämierung der besten Diplom- bzw. Magisterarbeit aller Studien der Technischen Fakultät an der Universität Klagenfurt

Der Förderverein Technische Fakultät an der Universität Klagenfurt schreibt die Prämierung der besten Diplom- bzw. Magisterarbeit aller Studien der Technischen Fakultät an der Universität Klagenfurt des laufenden Studienjahres aus.

Der Preis besteht aus einer Urkunde und einer Prämie in Höhe von

EUR 1.500,–

Die Jury ist ermächtigt den Preis gegebenenfalls zwischen mehreren Diplom- bzw. Magisterarbeiten zu teilen. Antragsberechtigt sind Absolventinnen und Absolventen aller Studienrichtungen der Technischen Fakultät der Universität Klagenfurt, deren Diplom- bzw. Magisterarbeit mit „Sehr Gut“ beurteilt wurde. Es werden nur Diplom- bzw. Magisterarbeiten bewertet, die im Zeitraum vom 1. November 2008 bis zum 31. Oktober 2009 fertiggestellt wurden. Als Fertigstellungstermin gilt der Tag der Ausstellung des Gutachtens. Die Einreichfrist für die Verleihung des Preises für das Jahr 2009 endet am 31. März 2010 (Achtung: Verlängerung).

Der Antrag ist beim Geschäftsführer des Förderverein Technische Fakultät an der Universität Klagenfurt einzureichen. Er hat neben der gebundenen Diplom- bzw. Magisterarbeit (zweifach) ein Gutachten des Betreuers der Diplom- bzw. Magisterarbeit und allfällige Software (oder Verweise auf existierende Software) zu enthalten (die Rückgabe der Diplom- bzw. Magisterarbeitsexemplare nach der Begutachtung wird nicht garantiert). Weiters ist die Diplom- bzw. Magisterarbeit elektronisch als PDF-Datei oder Postscriptdatei und eine Zusammenfassung als Textdokument abzugeben. Diese Zusammenfassung soll so geschrieben sein, dass sie auch für Nicht-ExpertInnen verständlich ist!

Beurteilungskriterien für die Zuerkennung des Preises sind strikt fachlicher qualitätsbezogener Natur. Sie umfassen die Aspekte:

  • wissenschaftlicher Gehalt,
  • Innovationsgehalt und Umsetzbarkeit,
  • Klarheit der Darstellung und Qualität der Ausführung.

Die Zuerkennung des Preises erfolgt durch eine Jury. Die Jury besteht aus:

  • dem Obmann des Förderverein Technische Fakultät an der Universität Klagenfurt (Vorsitz),
  • je einem Vertreter der TEWI-Institute der Universität Klagenfurt und
  • zwei Vertretern der institutionellen Mitglieder des Förderverein Technische Fakultät an der Universität Klagenfurt.

Der Geschäftsführer des Förderverein Technische Fakultät an der Universität Klagenfurt kann zu den Sitzungen der Jury als nichtstimmberechtigtes Mitglied beigezogen werden. Die Sitzungen der Jury sind geschlossene Sitzungen und die Entscheidungen der Jury sind endgültig. Der Rechtsweg ist ausgeschlossen.

Die Preisverleihung findet üblicherweise im Rahmen der TEWI-Semestereröffnung im Oktober 2010 statt.

Posted in News | Tagged , | Kommentare deaktiviert für Förderpreis der Technischen Fakultät: Ausschreibung 2009

Specification Comprehension – Konzeptverwaltung am Beispiel zustandsbasierter Spezifikationen

Pohl_Daniela… ist der Titel einer der besten Diplom- bzw. Magisterarbeiten aller Studien der Technischen Fakultät an der Universität Klagenfurt und wurde vom Förderverein Technische Fakultät mit EUR 750,– ausgezeichnet. Die Autorin und Preisträgerin, Frau DI Daniela Pohl, ist nun Mitarbeiterin am Institut für Informatiksysteme, Forschungsgruppe „Software Engineering und Soft Computing„, und arbeitet dort als Universitätsassistentin unter anderem an ihrer Dissertation. Der Preis wurde im Rahmen der Eröffnung des akademischen Jahres 2010/2011 übergeben und wir möchten ihre Diplom- bzw. Magisterarbei kurz vorstellen.

Kurzfassung:

Man  stelle  sich  vor,  man  stünde  vor  einem  großen,  schönen  Haus  mit  einem  einzigen  Haken,  einem  Schild  an der Türe: „Betreten des Hauses auf eigene Gefahr!“. Würden Sie freiwillig eintreten?

Eigentlich stehen wir vor dem gleichen Problem wenn man an die Software‐Entwicklung denkt. Wer garantiert, dass Software auch dies hält, was sie verspricht oder zu versprechen scheint? Wenn man ehrlich ist: nicht immer kann es versprochen werden. Um sicherzustellen und zu überprüfen ob eine Software die Anforderungen hält, muss man in erster Linie eine Möglichkeit finden, sie zu bewerten. Dafür muss eine Software aber leichter und besser verstanden werden. Das Verstehen ist sowohl während als auch bei Aktivitäten nach der eigentlichen Entwicklung, wie der Wartung, notwendig. Dies ermöglicht es erst zu entscheiden, ob die Vorstellungen und Versprechungen der Software erfüllt wurden. [MBPR01, S 95] Dieser Gedanke bildet die Basis meiner Arbeit: die Unterstützung des Verstehens der Eigenschaften von Software. Dafür müssen Konzepte der Software identifiziert, sowie deren Zusammenhänge verstanden werden. Um diesen Prozess zu unterstützen wurde ein Framework implementiert. Es wurde dabei so konzipiert, dass es mit beliebigen Dokumenten umgehen kann. Exemplarisch werden im Rahmen der Arbeit formale Z‐Spezifikationen herangezogen.

Die Welt ist voller Konzepte und Abhängigkeiten. Somit beinhalten auch Dokumente der Softwareentwicklung, von Analysedokumenten über Design, bis hin zur Implementierung, Konzepte und Abhängigkeiten. Durch Änderungen im Projekt finden auch Änderungen der Konzepte im Dokument statt. Sie werden hinzugefügt, verworfen oder ausgebaut. Das Verständnis dieser Dokumente ist immer notwendig, daher gilt es den Verständnisprozess bestmöglich zu unterstützen. Dokumente besitzen eine bestimmte Struktur. Diese Struktur besteht aus unterschiedlichen Teilen, bei einem normalen Schriftstück zum Beispiel aus Kapiteln, Absätzen und Sätzen. Für das Gesamtverständnis müssen Teile innerhalb von Dokumenten häufig miteinander in Verbindung gebracht werden. Auch Verweise auf andere Dokumente können notwendig sein. Die im Dokument enthaltenen Teile beschreiben bestimmte, notwendige Konzepte und deren Zusammenhänge. Meist werden im Text beschriebene Konzepte und Zusammenhänge falsch interpretiert, weil sie vielleicht im Widerspruch mit unseren Vorstellungen stehen, oder sie werden auch einfach übersehen. Konzepte bilden ein wichtiges, wenn nicht sogar ein mächtiges, Hilfsmittel im Verständnis von Dokumenten jeglicher Art.

Ein Softwareprojekt, unabhängig vom dahinterliegenden Prozessmodell, besteht aus verschiedenen Phasen und Abschnitten, welche innerhalb der Laufzeit auch mehrmals durchlaufen werden können. Während jeder dieser Phasen werden Dokumente erstellt, in denen das Wissen und die Erkenntnisse über die entstehende Software festgehalten werden. Ideen werden dabei ausgebaut, verworfen oder neu aufgenommen. Dokumente weisen daher komplexe, umfangreiche Inhalte auf. Diese Dokumente werden erstellt, um den Entstehungsprozess zu unterstützen und zu erleichtern, um Informationen über Projektgrenzen hinweg zu kommunizieren und für die späteren Phasen festzuhalten. Dafür müssen Dokumente, von jedem der sie verwendet, verstanden werden. Während es einem einfach erscheint, Dokumente, welche man selbst geschrieben hat, zu verstehen, sind Dokumente aus anderen Quellen nicht immer sofort klar und verständlich.

Der Ursprung des Konzeptes stammt aus der Philosophie. Konzepte beschreiben Generalisierungen oder Abstraktionen, abgeleitet von spezifischen Merkmalen der Instanzen. Immanuel Kant, als einer der bedeutendsten Philosophen, beschreibt Begriffe für das Verstehen von Konzepten als eine notwendige Vorraussetzung für die Erkenntnis im Denkprozess [HaSc88]. Der Begriff bildet eine Abstraktion des Gesehenen aufgrund von unterschiedlichen Merkmalen ab. Dadurch wird es einem beispielsweise ermöglicht zwischen einer normalen Funkfernbedienung und einem Mobiltelefon zu unterscheiden. Genau diese Begriffe geben den Konzepten einen Namen und lassen uns mentale Modelle unserer Welt aufbauen und verstehen. Oft wird davon gesprochen, dass man sich ein mentales Modell aufbauen muss, um Dokumente verstehen zu können. Durch das mentale Modell kann die ursprüngliche Idee hinter dem Dokument aufgegriffen werden. Dies ist sowohl in Bereichen der Software‐Wartung und Evolution, als auch in der normalen fortschreitenden Entwicklung notwendig, vor allem wenn Informationen aufgrund der Menge vergessen werden oder neue Projektmitglieder hinzukommen. Konzepte helfen dieses Modell aufzubauen. Die Identifizierung von Konzepten, auch Concept‐Location genannt, erfolgt mittels unterschiedliche Verfahren [ChRa00, ACC+02 oder WHGT99]. Dabei können zum Beispiel jene Stellen im Code identifiziert werden, in denen aufgrund der Wartungsaktivitäten Änderungen durchgeführt werden müssen, oder auch Funktionalitäten ergänzt werden müssen.

Auch bei der komponentenbasierte Software‐Entwicklung ist das Aufbauen eines mentalen Modells wichtig [MBPR01]. Durch das Verstehen von Software‐Komponenten, kann festgestellt werden ob die gewünschte Funktionalität durch die Komponente gesichert ist. Reuse (Wiederverwendung) und Comprehension (Verständnis) stehen daher in engem Zusammenhang. Dabei stehen unterschiedliche Arten von Informationsquellen, wie beispielsweise Source‐Code und in idealen Situationen auch Spezifikationen, zur Verfügung. Mitglieder eines Softwareteams müssen daher bei dem Aufbau des mentalen Modells und bei der Identifizierung von Konzepte und der Verwaltung bereits identifizierter Konzepte unterstützt werden.

Spezifikationen sind, wenn vorhanden, eine wünschenswerte und wertvolle Informationsquelle. Sie beschreiben die Funktionalität bzw. die Eigenschaften eines Softwareproduktes in einer semantisch kompakten Arten und Weise [Boll04, S. 17]. Aufgrund dessen sind Spezifikationen oft nicht leicht verständlich, vor allem und in erschwerter Weise, wenn der Ursprung des Dokumentes nicht von eigener Hand kommt oder auch längere Zeit zurückliegt. Weiters bieten Spezifikationen einem die Möglichkeit, kompakt die Eigenschaften eines Systems zu beschreiben. Schon aufgrund der kompakten Schreibweise ist es hier wichtig Teile in Spezifikationen zu finden, die mit anderen Teilen in Verbindung stehen, um so Konzepte und ein Verständnis für diese Konzepte zu ermöglichen. Auch ein partielles Verständnis eines Spezifikationsdokuments kann notwendig sein, um beispielsweise Fehler auszubessern, Änderungen in Spezifikationen nach zu ziehen oder einen Einblick in die Eigenschaften der Software(‐Komponente) zu bekommen.

Aus diesem Grund beschreibt die eingereichte Arbeit, ein Konzeptverwaltungssystem, welches die Identifizierung und persistente Verwaltung von Konzepten in Spezifikationsdokumenten ermöglicht. Dadurch wird die Bildung eines mentalen Modells für ein bestimmtes Dokument erleichtert. Im Rahmen der Arbeit wird die Rekonstruktion von Konzepten als eine mehrdimensionale Repräsentation angesehen, in der Konzepte aufgrund ihres Charakters in unterschiedlichen Konzeptebenen kategorisiert werden. Die beschriebene mehrdimensionale Abbildung ermöglicht es, Konzepte von Dokumenten zu manifestieren und mit anderen Konzepten unterschiedlicher Ebenen in Beziehung zu setzen. Aufbauend auf diese Abbildung wurde ein Datenbankschema entwickelt, welches die gewonnen Informationen persistent speichert und im Rahmen des Entwicklungsprozesses ablegt. Die Abhängigkeiten zwischen Konzepten können über einfache Datenbankabfragen ermittelt werden.

Der Ansatz wurde generisch gehalten, um in weiterer Folge auch andere Dokumenttypen verwalten zu können. Zudem können zukünftig dadurch Konzepte verschiedener Dokumente des Entwicklungsprozesses miteinander in Verbindung gesetzt werden, um weiters die Rückführbarkeit (Traceability) oder die Entwicklung von Konzepten festzuhalten. Zur Veranschaulichung des Ansatzes wurden für die Extraktion Spezifikationsdokumente herangezogen. Hierfür wurde ein bestehendes System, das ViZ (Visualization of Z Specifications) Projekt des Instituts für Informatiksystem der Alpen‐Adria Universität Klagenfurt [Boll07], erweitert. Das System unterstützt die Suche von Konzepten in Z‐Spezifikationen. Jedoch werden dabei komplexe, rechenintensive Algorithmen zur Ermittlung der Informationen herangezogen und die Ergebnisse nicht persistent abgelegt.

Das grundsätzliche Ziel dieser Arbeit ist es zu zeigen, wie durch Konzeptverwaltung der Prozess der Software‐Entwicklung unterstützt werden kann. Ein Anforderungsdokument, eine Spezifikation oder ein Programm bauen auf verschiedenen Konzepten. Diese Konzepte bilden sich durch die Analysephase innerhalb der Anforderungserhebung. Es soll geklärt werden, inwiefern Konzepte den Entwicklungsprozess unterstützten können. Der Verhalt wird exemplarisch am Beispiel zustandsbasierter Z‐Spezifikationen gezeigt werden. Um dies jedoch erfolgreich zu diskutieren, müssen aber zusätzliche Teilbereiche näher durchleuchtet werden.

Es wurde gezeigt, wie Konzepte manifestiert, verwaltet und miteinander in Verbindung gebracht werden können. Dabei wurde als erstes der Begriff „Konzept“ näher untersucht. Viele Bereiche der Softwareentwicklung sprechen von Konzepten, ohne jedoch den Begriff im Detail zu definieren. Aus diesem Grund wurde der Konzeptbegriff im Bezug auf Z‐Spezifikationen klar abgegrenzt. Weiters wurde festgehalten, wie Konzepte miteinander in Verbindung stehen und wie diese Verbindungen lokalisiert werden können.

Um eine Unterstützung im Software‐Prozess zu ermöglichen, beschreibt die Arbeit zudem welche Funktionalitäten zur Unterstützung des Comprehension und Reengineering‐Prozesses für Spezifikationsdokumente von Nöten sind. Da die alleinige Speicherung von Konzepten nicht ausreichend ist, wurde in der Arbeit untersucht, wie Beziehungen zwischen Konzepten effizient abgebildet werden können. Weiters wurden verschiedene anderer Funktionalitäten für die Handhabung der verwalteten Konzepte im Bereich von Comprehension und Reengineering benötigt. Eine detaillierte Erarbeitung und Aufschlüsselung der Funktionalitäten war daher erforderlich.

Vollständige und vor allem aktuelle Spezifikationen sind im Bereich von Software‐Wartung und Evolution besonders hilfreich. Durch die Untersuchung von unterschiedlichen Vor‐ und Nachteilen, wird die Relevanz der Konzeptverwaltung im Bezug auf Software‐Wartung und Evolution ergründet. Da Konzepte auch hier eine entscheidende Rolle spielen, müssen mögliche Anforderungen ebenfalls für diese Bereiche erfasst werden. Durch die Berücksichtigung des Softwareentwicklungsprozess mit den wichtigsten Subdisziplinen werden die zu erfüllenden Anforderungen erhoben. Diese müssen durch eine geeignete Concept‐Location‐Repräsentation (vgl. mehrdimensionale Repräsentation) abgedeckt werden. Deshalb wird sowohl die gewählte Repräsentationsform als auch die im Rahmen der Arbeit durchgeführte Implementierung in Hinblick auf ihre Eignung durch aus der Literatur bekannten Beispielen für Z‐Spezifikationen evaluiert.

Literatur

[MBPR01] Roland T. Mittermeir, Andreas Bollin, Heinz Pozewaunig, and Dominik Rauner‐Reithmayer. Goal‐driven combination of software comprehension approaches for component based development. SIGSOFT Software Engineering Notes 26, Seiten 95‐‐102, New York, NY, USA, 2001. ACM.

[HaSc88] Robert Hartman und Wolfgang Schwarz. Immanuel Kant Logic. Dover Publications, Inc., Mineola, New York, 1988.

[ChRa00] Kunrong Chen und Václav Rajlich. Case Study of Feature Location Using De‐ pendence Graph. In IWPC ’00: Proceedings of the 8th International Workshop on …. Program Comprehension, Seite 241, Washington, DC, USA, 2000. IEEE Computer Society.

[ACC + 02] Giuliano Antoniol, Gerardo Canfora, Gerardo Casazza, Andrea De Lucia, und Ettore Merlo. Recovering Traceability Links between Code and Documentation. IEEE Trans. Softw. Eng., 28(10):970‐‐983, 2002.

[WHGT99] W. Eric Wong, Joseph R. Horgan, Swapna S. Gokhale, und Kishor S. Trivedi. Locating Program Features using Execution Slices. In ASSET ’99: Proceedings of the 1999 IEEE Symposium on Application ‐ Specific Systems and Software Engineering and Technology, Seite 194, Washington, DC, USA, 1999. IEEE Computer Society.

[Boll04] Andreas Bollin. Specification Comprehension Reducing the Complexity of Specifications. Dissertation, Institute for Informatics‐Systems, University of Klagenfurt, 2004.

[Boll07] Andreas Bollin. The ViZ Framework ‐ Support for Formal Z Specification Comprehension. Technical report, AAU KLU, Klagenfurt, Österreich, Juni 2007.

Posted in News | Tagged , , | Kommentare deaktiviert für Specification Comprehension – Konzeptverwaltung am Beispiel zustandsbasierter Spezifikationen

FTF-Newsletter November 2009

logo_newsMit dem FTF-Newsletter wollen wir sowohl einen Rückblick als auch Ausblick auf die Tätigkeiten des Fördervereins Technische Fakultät geben:

Rückblick:

Ausblick:

  • 9. Nov. 2009: TEWI-Kolloquium, Prof. Dr. Bosiljka Tadic, Jozef Stefan Institute – Slovenja
  • 12. Dez. 2009: FTF-Generalvollversammlung (voraussichtlich und wird noch gesondert angekündigt)
  • 18. Dez. 2009: Technik LIVE an der Alpen-Adria-Universität Klagenfurt
  • 25./26. Feb. 2010: inf2school an der Alpen-Adria-Universität Klagenfurt
Posted in News | Kommentare deaktiviert für FTF-Newsletter November 2009
RSS
EMAIL