Operation Specification: Extending GitLab to Incorporate Specifications
Kika Kovaleski, Aline Marra, Sydney Weisberg
Lab Projects
2024
2023
Slide to Hide: Allowing Users to Specify Elements’ Presence Intervals
Xinran Bi, Emily Kung, Karenna Kung, Caroline Zouloumian
On the Verge of Merge: Creating a User-friendly Merge Interface
Molly Daniel, Annie Karitonze, Karenna Kung, Emma Ruckle, Caroline Zouloumian
2022
Presence Conditions Within BloomingLeaf Tool
Venus Nguyen, Xinran Bi
Matching Software Requirements to Git Artifacts
Sonora Halili, Anisha Jain, and Joey Elsbernd
Evaluation Visualization Overlay (EVO): A User Validation Study
Yesugen Baatartogtokh, Irene Foster, Joey Elsbernd
A More Perfect Union: Enabling Collaborative Goal Modeling through Model Merge
Kathleen Hablutzel, Anisha Jain
Implementing Intention Filtering and EVO in Next State
Yesugen Baatartogtokh, Irene Foster, Venus Nguyen, Thu Tran
All the International Color Palettes You Could’ve I-magenta-ed
Catherine Kung, Sonora Halili, Yanning Tan, Cyrine Ben Ayed
2021
Frontend Refactor of BloomingLeaf to Backbone.js
Manar Alnazer, Yesugen Baatartogtokh, Angela Chu, Irene Foster, Catherine Kung
Thesis: Bilattices and the Logic of Goal Modeling
Isabel Montesanto
Restructuring Model Analysis Features in BloomingLeaf
Kathleen Hablutzel, Ali Eshghi, Ester Zhao, Isabella Brody-Calixto, Yanning Tan, and Yesugen Baatartogtokh
2020
Enabling Continuous Integration of Forked MMINT Repository
Ella Chang and Sophie Crane
Exploring Uncertainties in COVID-19 Modeling
Kate M. B. Spencer and Megan H. Varnum
Color Visualization in Modeling and Analysis
Megan H. Varnum and Kate M. B. Spencer
Thesis: Model Merging and Layout
Yilin Lucy Wang
2019
Porting BloomingLeaf to Local Node.js Server
Omema Ibrahim and Lucy Wang
Goal Model Construction Study
Naomi Cebula and Lily Diao