Consistent document engineering

Scheffczyk, Jan; Borghoff, Uwe M.; Rödig, Peter; Schmitz, L.

doi:10.1145/958220.958246

Cited by 13 publications

(11 citation statements)

References 18 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…For checking the quality of the Lexical Database, the Frame Database, and documentation, FrameNet employs the CDE toolkit (Scheffczyk et al (2004(Scheffczyk et al ( , 2003). …”

Section: B3 Tolerant Quality Managementmentioning

confidence: 99%

Chapter 3. Constructicography at work

Lyngfelt¹,

Bäckström²,

Borin³

et al. 2018

Constructional Approaches to Language

View full text Add to dashboard Cite

“…For checking the quality of the Lexical Database, the Frame Database, and documentation, FrameNet employs the CDE toolkit (Scheffczyk et al (2004(Scheffczyk et al ( , 2003). …”

Section: B3 Tolerant Quality Managementmentioning

confidence: 99%

Chapter 3. Constructicography at work

Lyngfelt¹,

Bäckström²,

Borin³

et al. 2018

Constructional Approaches to Language

View full text Add to dashboard Cite

“…For checking the quality of the Lexical Database, the Frame Database, and documentation, FrameNet employs the CDE toolkit (Scheffczyk et al (2004(Scheffczyk et al ( , 2003). 5 , see Here, declarative consistency rules define quality in formal logic.…”

Section: B3 Tolerant Quality Managementmentioning

confidence: 99%

Chapter 1. Introduction

Lyngfelt¹

2018

Constructional Approaches to Language

View full text Add to dashboard Cite

“…B. bei der Erstellung von Dokumentationen, Büchern oder Software-Spezifikationen ergeben. Unser Ansatz [29,30] umfasst folgende Teile, die wir am Beispiel der Spezifikationsbausteine von sd&m vorstellen:…”

Section: Einführung and Motivationunclassified

“…Im Folgenden beschreiben wir unseren allgemeinen Ansatz zur Konsistenzüberwachung heterogener Repositories [29] am Beispiel der Spezifikationsbausteine. Viele weitere Anwendungsgebiete sind denkbar, z.…”

Section: Konsistenzunclassified

Formale Konsistenzsicherung in informellen Software-Spezifikationen

Scheffczyk

Stutz

Borghoff

et al. 2004

Informatik Forsch. Entw.

Self Cite

View full text Add to dashboard Cite

Zusammenfassung. Die Spezifikation ist die Grundlage für den Erfolg eines Software-Projekts. Der Praktiker konzentriert sich hier i. d. R. auf die größte Herausforderung: die vollständi-ge und inhaltlich korrekte Erfassung aller Anforderungen an das zu erstellende Software-System. Dass Spezifikationen für große Systeme aus vielen Dokumenten verschiedener Ausprägung in Form und Inhalt bestehen, tritt dabei meist in den Hintergrund. Ihre Konsistenz wird meist mit hohem manuellem Aufwand sichergestellt. Der Erstellung formal korrekter und konsistenter Software-Spezifikationen widmen sich zahlreiche theoretische Arbeiten. In der Praxis sind sie jedoch meist nicht mit der gewohnten Arbeitsweise vereinbar. In diesem Artikel stellen wir einen Mittelweg vor: Wir nutzen die Spezifikationsbausteine von sd&m für die Spezifikation, die als Ergebnisse Dokumente in natürlicher Sprache sowie semiformale Darstellungen umfasst. Für Spezifikationen, die nach diesen Bausteinen erstellt wurden, definieren wir Konsistenz durch formale zeitbehaftete Konsistenzregeln. Ein von uns entwickeltes Auswertungswerkzeug ermittelt Inkonsistenzen präzise. Unterstützt von einem solchen Werkzeug kann sich der Software-Ingenieur wieder ganz auf das Hauptanliegen der Spezifikation konzentrieren: ihre inhaltliche Korrektheit und Vollständigkeit.Abstract. Specification is the base for the success of a software project. Usually, practitioners concentrate on completely and correctly capturing all requirements for the specified system. In practice, a serious problem often fails to gain attention: Specifications for large systems consist of many documents with heterogeneous structure and content. Their consistency is often achieved by time-consuming manual effort. On the other hand, many theoretical approaches aim at formally correct and consistent software specifications. In practice, however, these approaches fail to be integrated into the every day work of software engineers. This article is located at the boundary between theory and practice: For specifying software we use analysis modules developed at sd&m, the results of which are documents in natural language or semi-formal documents. For a specification using our analysis modules we define consistency via formal temporal consistency rules. Our newly developed tool pinpoints inconsistencies precisely. Supported by our tool, software designers can concentrate on their actual work: the technical correctness and completeness of a specification.

show abstract

Consistent document engineering

Cited by 13 publications

References 18 publications

Chapter 3. Constructicography at work

Chapter 3. Constructicography at work

Chapter 1. Introduction

Formale Konsistenzsicherung in informellen Software-Spezifikationen

Contact Info

Product

Resources

About