To access this work you must either be on the Smith College campus OR have valid Smith login credentials.

On Campus users: To access this work if you are on campus please Select the Download button.

Off Campus users: To access this work from off campus, please select the Off-Campus button and enter your Smith username and password when prompted.

Non-Smith users: You may request this item through Interlibrary Loan at your own library.

Publication Date


First Advisor

Alicia Grubb

Document Type

Honors Project

Degree Name

Bachelor of Arts


Computer Science


Goal Modeling, Constraint Satisfaction Problems, Visualizations Experiment, Tropos Visualization Technique, Requirements Engineering, Empirical Software Engineering


Goal-oriented requirements engineering (GORE) allows stakeholders to visualize project scenarios and evaluate their changes over time, which assists them in making early trade-off decisions. However, goal models use formal notation that raises stakeholder concerns about comprehension when evaluating a model’s evolution over time or exploring other potential solutions. This thesis aims to assist users in interpreting the results of automated analysis in answering time-based questions over goal models. To do so, we validate a previous approach that uses color visualization to improve model comprehension, extend it to assist users in exploring alternate scenarios, and implement filtering to allow stakeholders to interpret models and generate their own scenarios.


©2023 Yesugen Baatartogtokh. Access limited to the Smith College community and other researchers while on campus. Smith College community members also may access from off-campus using a Smith College log-in. Other off-campus researchers may request a copy through Interlibrary Loan for personal use.




54 pages. Includes charts and figures. Unpaged bibliographical references at the end.