DocumentCode
1934056
Title
Disambiguation of industrial standards through formalization and graphical languages
Author
Dietsch, Daniel ; Arenis, Sergio Feo ; Westphal, Bernd ; Podelski, Andreas
Author_Institution
Albert-Ludwigs-Univ. Freiburg, Freiburg, Germany
fYear
2011
fDate
Aug. 29 2011-Sept. 2 2011
Firstpage
265
Lastpage
270
Abstract
Natural language safety requirements in industrial standards pose risks for ambiguities which need to be resolved by the system manufacturer in concertation with the certificate authority. This is especially challenging for small and medium-sized enterprises (SME). In this paper we report on our experiences with applying traditional requirements engineering techniques, formal methods, and visual narratives in an exploratory case-study in an SME.
Keywords
formal specification; formal verification; natural languages; security of data; small-to-medium enterprises; certificate authority; formal methods; graphical language formalization; industrial standard disambiguation; medium-sized enterprises; natural language safety requirements; requirements engineering techniques; small-sized enterprises; Alarm systems; Companies; Conferences; Real time systems; Software; Standards; Visualization;
fLanguage
English
Publisher
ieee
Conference_Titel
Requirements Engineering Conference (RE), 2011 19th IEEE International
Conference_Location
Trento
ISSN
1090-705X
Print_ISBN
978-1-4577-0921-0
Electronic_ISBN
1090-705X
Type
conf
DOI
10.1109/RE.2011.6051634
Filename
6051634
Link To Document