@phdthesis{Betz2005,
  author    = {Betz, Christian},
  title     = {Scalable authoring of diagnostic case based training systems},
  url       = {http://nbn-resolving.de/urn:nbn:de:bvb:20-opus-17885},
  school      = {Universit{\"a}t W{\"u}rzburg},
  year      = {2005},
  abstract  = {Diagnostic Case Based Training Systems (D-CBT) provide learners with a means to learn and exercise knowledge in a realistic context. In medical education, D-CBT Systems present virtual patients to the learners who are asked to examine, diagnose and state therapies for these patients. Due a number of conflicting and changing requirements, e.g. time for learning, authoring effort, several systems were developed so far. These systems range from simple, easy-to-use presentation systems to highly complex knowledge based systems supporting explorative learning. This thesis presents an approach and tools to create D-CBT systems from existing sources (documents, e.g. dismissal records) using existing tools (word processors): Authors annotate and extend the documents to model the knowledge. A scalable knowledge representation is able to capture the content on multiple levels, from simple to highly structured knowledge. Thus, authoring of D-CBT systems requires less prerequisites and pre-knowledge and is faster than approaches using specialized authoring environments. Also, authors can iteratively add and structure more knowledge to adapt training cases to their learners needs. The theses also discusses the application of the same approach to other domains, especially to knowledge acquisition for the Semantic Web.},
  subject      = {Computerunterst{\"u}tztes Lernen},
  language  = {en}
}
@phdthesis{Boehler2005,
  author    = {B{\"o}hler, Elmar},
  title     = {Algebraic closures in complexity theory},
  url       = {http://nbn-resolving.de/urn:nbn:de:bvb:20-opus-16106},
  school      = {Universit{\"a}t W{\"u}rzburg},
  year      = {2005},
  abstract  = {We use algebraic closures and structures which are derived from these in complexity theory. We classify problems with Boolean circuits and Boolean constraints according to their complexity. We transfer algebraic structures to structural complexity. We use the generation problem to classify important complexity classes.},
  subject      = {Komplexit{\"a}tstheorie},
  language  = {en}
}
@phdthesis{Eichelberger2005,
  author    = {Eichelberger, Holger},
  title     = {Aesthetics and automatic layout of UML class diagrams},
  url       = {http://nbn-resolving.de/urn:nbn:de:bvb:20-opus-14831},
  school      = {Universit{\"a}t W{\"u}rzburg},
  year      = {2005},
  abstract  = {In the last years, visual methods have been introduced in industrial software production and teaching of software engineering. In particular, the international standardization of a graphical software engineering language, the Unified Modeling Language (UML) was a reason for this tendency. Unfortunately, various problems exist in concrete realizations of tools, e.g. due to a missing compliance to the standard. One problem is the automatic layout, which is required for a consistent automatic software design. The thesis derives reasons and criteria for an automatic layout method, which produces drawings of UML class diagrams according to the UML specification and issues of human computer interaction, e.g. readability. A unique set of aesthetic criteria is combined from four different disciplines involved in this topic. Based on these aethetic rules, a hierarchical layout algorithm is developed, analyzed, measured by specialized measuring techniques and compared to related work. Then, the realization of the algorithm as a Java framework is given as an architectural description. Finally, adaptions to anticipated future changes of the UML, improvements of the framework and example drawings of the implementation are given.},
  subject      = {URL},
  language  = {en}
}