Tools supporting the communication of critical domain knowledge in high-consequence systems development

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2788, Issue , 2003, Pages 317-330

  Wasson, Kimberly S ^a   Knight, John C ^a   Strunk, Elisabeth A ^a   Travis, Scan R ^a  

^a University of Virginia   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BIOMEDICAL EQUIPMENT;

APPLICATION DOMAIN KNOWLEDGE; COGNITIVE PSYCHOLOGY; CRITICAL DOMAIN; DOMAIN KNOWLEDGE; HIGH-CONSEQUENCE SYSTEM; MEDICAL DEVICES; RELATED WORKS; TOOLSETS;

LIFE CYCLE;

EID: 35248866382     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-39878-3_25     Document Type: Article

References (19)

1. Berry, D.: The Importance of Ignorance in Requirements Engineering. Journal of Systems and Software 28 (1995) 179-184
2. Curtis, B., Krasner, H., Iscoe, N.: A Field Study of the Software Design Process for Large Systems. Communications of the ACM 31(11) (1988) 1268-1287
3. Goguen, J.: Formality and Informality in Requirements Engineering. Journal of Systems and Software 28 (1995) 179-184
4. Hanks, K., Knight, J.: Improving Communication of Critical Domain Knowledge in High-Consequence Software Development: An Empirical Study. Proceedings: 21st International System Safety Conference (2003)
5. Hanks, K., Knight, J., Strunk, E.: A Linguistic Analysis of Requirements Errors and Its Application. University of Virginia Department of Computer Science Technical Report CS-2001-30 (2001)
6. Hanks, K., Knight, J., Strunk, E.: Erroneous Requirements: A Linguistic Basis for Their Occurrence and an Approach to Their Reduction. Proceedings: 26th Annual IEEE NASA Software Engineering Workshop (2001) 115-119
7. Hayhurst, K., Holloway, C.M.: Challenges in Software Aspects of Aerospace Systems. Proceedings: 26th Annual IEEE NASA Software Engineering Workshop (2001) 7-13
8. Heninger, K.: Specifying Requirements for Complex Systems: New Techniques and Their Applications. IEEE Transactions on Software Engineering SE-6(1) (1980) 2-12
9. International Electrotechnical Commission: Maritime Navigation and Radio Communication Equipment and Systems - Track Control Systems -Operational and Performance Requirements, Methods of Testing and Required Test Results. Project number: 62065/Ed. 1 (2000)
10. Knight, J., Hanks, K., Travis, S.: Tool Support for Production Use of Formal Techniques. Proceedings: International Symposium on Software Reliability Engineering (2001)
11. Langacker, R.: Concept, Image, and Symbol: The Cognitive Basis of Grammar. Mouton de Gruyter, Berlin (1990)
12. Leveson, N.: Intent Specifications: An Approach to Building Human-Centered Specifications. IEEE Transactions on Software Engineering 26 (2000) 15-35
13. Leveson, N., Reese, J., Heimdahl, M.: SpecTRM: A CAD Tool for Digital Automation. Proceedings: 17th Digital Avionics Systems Conference (1998)
14. Lutz, R.: Analyzing Software Requirements Errors in Safety-Critical, Embedded Systems. Proceedings: IEEE International Symposium on Requirements Engineering (1993) 126-133
15. Maiden, N., Hare, M.: Problem Domain Categories in Requirements Engineering. Int. J. Human-Computer Studies 49 (1998) 281-304
16. Potts, C., Newsletter, W.: Naturalistic Inquiry and Requirements Engineering: Reconciling Their Theoretical Foundations. Proceedings: IEEE International Symposium on Requirements Engineering (1997) 118-127
17. Potts, C., Takahashi, K., Anton, A. Inquiry-Based Requirements Analysis. IEEE Software 2(11) (1994) 21-32
18. Ungerer, F., Schmid, H.: An Introduction to Cognitive Linguistics. Longman, London (1996)
19. Zave, P., Jackson, M.: Four Dark Corners of Requirements Engineering. ACM Transactions on Software Engineering and Methodology 6(1) (1997) 1-30