Wissenschaftliche LiteraturQualitätssicherungInformatik

Marco Link

Anforderungskonforme Prozessmotivation

Ein stufenweiser Ansatz zum anforderungskonformen Prozessmanagement mit BPMN

Studien zur Wirtschaftsinformatik

Unternehmen stehen vor der Herausforderung, geeignete Strukturen und Maßnahmen zu etablieren, um mit internen und externen Anforderungen konform zu sein. Es besteht jedoch nicht nur die Herausforderung, den Konformitätszustand zeitpunktbezogen zu erreichen, sondern auch der Anspruch, diesen dauerhaft gewährleisten…

Marcus Deininger

Quantitative Erfassung der Software und ihres Entstehungsprozesses

Forschungsergebnisse der Programmentwicklung

Auch 25 Jahre nach „Erfindung" des Software Engineerings sind die damit verbundenen Ziele noch nicht annähernd erfüllt. Die besonderen Eigenschaften des Produkts Software verhindern die erwartete einfache „Übertragung ingenieurmäßiger Prinzipien auf die Software-Entwicklung. Mehr als jedes andere industrielle…

Marion Kremer

Entwurf eines sprachunabhängigen Verifikationssystems auf der Basis denotationaler Semantikbeschreibungen

Forschungsergebnisse zur Informatik

Da Software in zunehmendem Maße auch in sicherheitsrelevanten Anwendungen eingesetzt wird, steigt der Bedarf an Software-Prüfung, die über das Testen hinausgeht. In dieser Arbeit wird ein System zur Prüfung von mit Zusicherungen angereicherten Programmen entwickelt, dessen Kern konstant ist und bei dem die…

Thomas Pálffy

Rechnergestützte Qualitätssicherung im betrieblichen Software-Entwurf

Studien zur Wirtschaftsinformatik

In seiner Studie zeigt Pálffy, wie der Rechner im betrieblichen Software-Entwurf zur Qualitätssicherung eingesetzt werden kann.

Die Hauptschwierigkeit bei der Sicherung der Qualität betrieblicher Software liegt in der Komplexität der entwickelten Informationssysteme. Die Vielzahl der Teilaspekte und ihrer…