Intent Specifications: An Approach to Building Human-Centered Specifications

  title={Intent Specifications: An Approach to Building Human-Centered Specifications},
  author={Nancy G. Leveson},
  journal={IEEE Trans. Software Eng.},
R.P. Agarwal, Department of Mathematics, National University of Singapure, 10 Kent Ridge Crescent 119260, SINGAPURE; Ya. Alber, Department of Mathematics,Technion-Israel Institute of Technology, Haifa 32000, ISRAEL; N. Azbelev, Department of Mathematics, Perm Technical University, Komsomolsky ave.29a, Perm 614600, RUSSIA; L. Berezanskii, Department of Mathematics, Ben-Gurion University of the Negev, P.O.Box 653, Beer-Sheva, ISRAEL; A. Chentsov, Institute of Math. and Mech., S.Kovalevskoi Str… CONTINUE READING
Highly Influential
This paper has highly influenced 16 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 324 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 160 extracted citations

Time-triggered real-time computing

Annual Reviews in Control • 2003
View 4 Excerpts
Highly Influenced

A modelling framework to support the design and analysis of distributed real-time control systems

Microprocessors and Microsystems - Embedded Hardware Design • 2000
View 5 Excerpts
Highly Influenced

Safety control structure analysis of intersecting air routes in CNS/ATM

2015 IEEE/AIAA 34th Digital Avionics Systems Conference (DASC) • 2015
View 13 Excerpts
Highly Influenced

325 Citations

Citations per Year
Semantic Scholar estimates that this publication has 325 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 44 references

Ecological interface design: theoretical foundations

IEEE Trans. Systems, Man, and Cybernetics • 1992
View 5 Excerpts
Highly Influenced

aInformation Processing and Human-Machine,o Interaction: An Approach to Cognitive Engineering, North-Holland

J. Rasmussen
View 7 Excerpts
Highly Influenced

aThe Role of Hierarchical Knowledge Representation in Decision Making and System Management,o

J. Rasmussen
IEEE Trans. Systems, Man, and Cybernetics, • 1985
View 4 Excerpts
Highly Influenced

aModeling Controller Tasks for Safety Analysis,o

M. Brown, N. G. Leveson
Proc. Second Workshop Human Error and System Development, • 1998
View 1 Excerpt

aEcological Interface Design for a Power Plant Feedwater Subsystem,o

N. Dinadis, K. J. Vicente
IEEE Trans. Nuclear Science, • 1996
View 1 Excerpt

Ecology of Work,o An Ecological Approach to Human Machine Systems I: A Global Perspective

J. Rasmussen, A. Pejtersen, aVirtual
N.J.: Erlbaum, • 1995
View 1 Excerpt

aAutomation Surprises,o Handbook of Human Factors/Ergonomics, second ed., G

N. D. Sarter, D. D. Woods, C. E. Billings
View 1 Excerpt

aToward a Theoretical Base for Representation Design in the Computer Medium: Ecological Perception and Aiding Human Cognition,o An Ecological Approach

D. D. Woods
Human Machine Systems I: A Global Perspective, • 1995
View 2 Excerpts

Similar Papers

Loading similar papers…