Investigating the readability of state-based formal requirements specification languages

The readability of formal requirements specification languages is hypothesized as a limiting factor in the acceptance of formal methods by the industrial community. An empirical study was conducted to determine how various factors of state-based requirements specification language design affect read...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Proceedings - International Conference on Software Engineering S. 33 - 43
Hauptverfasser:	Zimmerman, Marc K., Lundqvist, Kristina, Leveson, Nancy
Format:	Tagungsbericht Journal Article
Sprache:	Englisch
Veröffentlicht:	New York, NY, USA ACM 01.01.2002
Schriftenreihe:	ACM Conferences
Schlagworte:	Applied computing > Physical sciences and engineering > Aerospace Applied sciences Computer science; control theory; systems Exact sciences and technology Software Software and its engineering > Software creation and management > Software development process management > Software development methods Software and its engineering > Software notations and tools > System description languages > Specification languages Software engineering Preliminary design Formal language Specification language Formal method Aerospace Experimental design Formal specification Legibility
ISBN:	158113472X, 9781581134728
ISSN:	0270-5257
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!