@inproceedings{1a58334228da4957ac08a40a32bd2d8e,
title = "Sequence-based specification of critical software systems",
abstract = "The plant safety and regulatory requirements for software-based systems mandate rigorous verification and validation to ensure adequate reliability. As software systems become increasingly complex, testing as the sole means to assure confidence in the end product becomes impractical. Modern software engineering provides many tools which have been used successfully to reason about software, including formal systems such as Z and CSP. Many such formal notations have tools to support their use. The use of these notations and tools requires specialized training in software engineering methods. Sequence-based software specification techniques provide a connection between the initial requirements obtained from the domain experts and the formal software derivations, which can be in any appropriate notation.",
keywords = "Formal methods, Rigorous specification, Software specification",
author = "Prowell, {Stacy J.} and Swain, {W. Thomas}",
year = "2004",
language = "English",
isbn = "0894486888",
series = "American Nuclear Society 4th International Topical Meeting on Nuclear Plant Instrumentation, Control and Human Machine Interface Technology",
pages = "553--562",
booktitle = "American Nuclear Society 4th International Topical Meeting on Nuclear Plant Instrumentation, Control and Human Machine Interface Technology",
note = "American Nuclear Society 4th International Topical Meeting on Nuclear Plant Instrumentation, Control and Human Machine Interface Technology ; Conference date: 19-09-2004 Through 22-09-2004",
}