S3 :: Website

Department of Economics >>
Institute for Computer Science and Business Information Systems >>
Specification of Software Systems | Prof. Dr. Michael Goedicke

University of Duisburg-Essen

	Projects & Research Work Our working group focuses on research with respect to technical specification and realization of software systems. We aim at developing, enhancing and applying systematical approaches for design, verification and evaluation of software architectures. To learn more about our research activities and projects, feel free to browse through the list of topics below. Software Architecture & Modeling GenEDA - DFG project "Structured Generation and Evaluation of Design Alternatives for Software Architectures" (2009-2012) Embedded Models - Representation and Integration of Formal Specifications in Object-oriented Program Code Formal Component Modeling and Component Frameworks MHP-KDB - EU project "Multimedia Home Platform - Knowledge Data Base" (2003-2006) E-learning and E-assessment JACK - A System for Computer-Aided Assessments and Exercises Using Games for Teaching Java Software Tests and Verification BART - A Tool for Management and Control of Regression Tests SyLaGen - Synthetic Load Generator and Performance Measurement Tool Syntax Graphs and Graph Transformations GGX Toolbox - A Toolkit for Parsing and Rewriting Java Syntax Graphs as well as Extended Control of Graph Transformations Analysis of Java Syntax Graphs - Finding and Manipulating Dependencies Campus Services CampusKontakt - A job platform for students and companies. IT-Standort-Essen - A portal to connect IT companies of the region.

	© 2004-2010 Specification of Software Systems [ Contact ]	[ internal ]

Site Search

Student Login

News

Several open positions - apply now! [more]

New offers for seminar, bachelor and master theses [more]

Boerse fuer Praktikumsplaetze, Abschlussarbeiten in Unternehmen etc. offen [more]

News Archive >>