Search for Author All Reviews
	Leveson, Nancy G.     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 5 of 5 reviews       Intent Specifications: An Approach to Building Human-Centered Specifications Leveson N. IEEE Transactions on Software Engineering 26(1): 15-35, 2000.  Type: Article Specifications must be understood because each is a contract between a programmer and his or her client (according to Carroll Morgan). Although precise specifications tell us how, and abstract ones tell us what, these may not be enough...... Apr 1 2000     Completeness and Consistency in Hierarchical State-Based Requirements Heimdahl M., Leveson N. IEEE Transactions on Software Engineering 22(6): 363-377, 1996.  Type: Article The authors have revised and extended their excellent paper from the 1995 International Conference on Software Engineering. It describes the automatic validation and verification of a software requirements specification (SRS) of a nont...... Jul 1 1997     Software Requirements Analysis for Real-Time Process-Control Systems Jaffe M., Leveson N., Heimdahl M., Melhart B. IEEE Transactions on Software Engineering 17(3): 241-258, 1991.  Type: Article The authors discuss a set of criteria useful for the detection of errors in the requirements specification of real-time process-control systems. The criteria are based on an abstract state-machine model and defined formally using first...... Mar 1 1992     Analysis of Faults in an N-Version Software Experiment Brilliant S., Knight J., Leveson N. IEEE Transactions on Software Engineering 16(2): 238-247, 1990.  Type: Article In this experiment, 27 versions of a program, all produced by different programmers, were given one million randomly produced sets of input data and their reactions were compared, with special regard to the use of the different version...... Oct 1 1991     The Use of Self Checks and Voting in Software Error Detection: An Empirical Study Leveson N., Cha S., Knight J., Shimeall T. IEEE Transactions on Software Engineering 16(4): 432-443, 1990.  Type: Article This unusually clear and honest paper deals with an experiment designed to compare the effectiveness of self-checking facilities to that of N-version voting. The experiment studied 27 small avionics programs (350–900 lines of...... Dec 1 1990
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy