User contributions
From SE Wiki
- 12:14, 16 January 2011 (diff | hist) . . (+1,901) . . N Project M5: Reasoning about Web Services (Created page with "== Overview == Web service applications are dynamic, highly distributed, and loosely coupled orchestrations of services which are notoriously difficult to debug. We have done p...")
- 00:27, 14 January 2011 (diff | hist) . . (+2) . . ProspectiveStudents
- 23:53, 13 January 2011 (diff | hist) . . (-57) . . People (→Grad students)
- 23:52, 13 January 2011 (diff | hist) . . (+118) . . People (→PhD Students)
- 23:46, 13 January 2011 (diff | hist) . . (+630) . . People (→PhD Students)
- 23:42, 13 January 2011 (diff | hist) . . (+14) . . People (→Post-docs)
- 23:41, 13 January 2011 (diff | hist) . . (+79) . . People (→Adjuncts)
- 23:40, 13 January 2011 (diff | hist) . . (+57) . . People (→Profs)
- 23:38, 13 January 2011 (diff | hist) . . (+216) . . Project M7: Support for Capturing and Inferring Model Roles (current)
- 23:37, 13 January 2011 (diff | hist) . . (+4,160) . . N Project M7: Support for Capturing and Inferring Model Roles (Created page with " == Overview == Every model is created for a purpose and plays a distinct role within a collection of models. This role is specified as a set of constraints (role constraints) ...")
- 23:33, 13 January 2011 (diff | hist) . . (+66) . . ProspectiveStudents
- 23:31, 13 January 2011 (diff | hist) . . (+21) . . Project M4: Software Model Checking (current)
- 23:30, 13 January 2011 (diff | hist) . . (-2) . . Project M6: Partial Behavioural Models of Software (current)
- 23:29, 13 January 2011 (diff | hist) . . (+3,452) . . N Project M6: Partial Behavioural Models of Software (Created page with "'''Investigating partial modelling techniques to improve scalability of automated reasoning''' == Overview == As software systems grow larger and more complex, the design a...")
- 23:22, 13 January 2011 (diff | hist) . . (-56) . . Project M4: Software Model Checking
- 23:21, 13 January 2011 (diff | hist) . . (+75) . . Project M4: Software Model Checking
- 23:21, 13 January 2011 (diff | hist) . . (+961) . . N Project M4: Software Model Checking (Created page with "'''Model Checking-based Software Verification''' The goal of this research is to improve the overall precision and scalability of software model checking algorithms [1]. To att...")
- 23:19, 13 January 2011 (diff | hist) . . (+185) . . ProspectiveStudents