Notice: Trying to get property 'name' of non-object in
/h/cnswww-cur.aa/cur.aa.ufl.edu/htdocs/wp-content/plugins/goodlayers-core-course/include/pb-element-course-info.php on line
144
Notice: Trying to get property 'name' of non-object in
/h/cnswww-cur.aa/cur.aa.ufl.edu/htdocs/wp-content/plugins/goodlayers-core-course/include/pb-element-course-info.php on line
144
Notice: Undefined index: mentor in
/h/cnswww-cur.aa/cur.aa.ufl.edu/htdocs/wp-content/plugins/goodlayers-core-course/include/pb-element-course-info.php on line
149
Time Commitment
6-10 hours/week
Possible Co-Authorship
Yes
We are looking for motivated students who have exceptional programming skills and significant experience in GUI design. We have a new formal modeling language (State Machines with Callbacks or SMACK for short) for software systems designed in a programming model with callbacks such as the Android framework. This project will involve developing a GUI interface that can help developers visualize and navigate their SMACK models.
Email: tyavuz@ufl.edu
Phone: (352) 846-0202
