Bereitstellung und Zuweisung von Ressourcen in der formalen algorithmischen Synthese

@misc{Ulbrich05,
  author        = {Mattias Ulbrich},
  title         = {{Bereitstellung und Zuweisung von Ressourcen in der formalen algorithmischen Synthese}},
  howpublished  = {Studienarbeit, Fakult{\"a}t f{\"u}r Informatik, Universit{\"a}t Karlsruhe},
  school        = {Fakult{\"a}t f{\"u}r Informatik, Universit{\"a}t Karlsruhe},
  type          = {Studienarbeit},
  year          = {2005},
  abstract      = {In dieser Studienarbeit wird ein Ansatz
                  vorgestellt, der zur Bestimmung von
                  Transformationsschritten der formalen
                  algorithmischen Synthese Ergebnisse externer
                  konventioneller Algorithmen verwendet. Durch die
                  Kooperation des formalen und konventionellen
                  Ansatzes werden die Vorz{\"u}ge beider Vorgehensweisen
                  synergetisch kombiniert.}
}