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...

Full description

Saved in:

Bibliographic Details
Published in:	Proceedings - International Conference on Software Engineering pp. 33 - 43
Main Authors:	Zimmerman, Marc K., Lundqvist, Kristina, Leveson, Nancy
Format:	Conference Proceeding Journal Article
Language:	English
Published:	New York, NY, USA ACM 01.01.2002
Series:	ACM Conferences
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!