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

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	Proceedings - International Conference on Software Engineering s. 33 - 43
Hlavní autoři:	Zimmerman, Marc K., Lundqvist, Kristina, Leveson, Nancy
Médium:	Konferenční příspěvek Journal Article
Jazyk:	angličtina
Vydáno:	New York, NY, USA ACM 01.01.2002
Edice:	ACM Conferences
Témata:	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
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!