Evaluating visualization in formal requirements specification : an experiment with human subjects
Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Aeronautics and Astronautics, 2003. === Includes bibliographical references (leaves 53-54). === by Thomas Viguier. === S.M.
Main Author: | Viguier, Thomas, 1978- |
---|---|
Other Authors: | Nancy G. Leveson. |
Format: | Others |
Language: | English |
Published: |
Massachusetts Institute of Technology
2013
|
Subjects: | |
Online Access: | http://hdl.handle.net/1721.1/82784 |
Similar Items
-
Empirical evaluation of design principles for increasing reviewability of formal requirements specifications through visualization
by: Dulac, Nicolas, 1978-
Published: (2013) -
Investigating the readability of formal specification languages
by: Zimmerman, Marc Kenton, 1975-
Published: (2013) -
Algorithms for autonomous urban navigation with formal specifications
by: Chaudhari, Pratik (Pratik Anil)
Published: (2014) -
Algorithms for minimum-violation planning with formal specifications
by: Reyes Castro, Luis I. (Luis Ignacio), et al.
Published: (2014) -
A formal framework for specification-based embedded real-time system engineering
by: Ouimet, Martin, 1975-
Published: (2009)