A Graphical, Multi-Language Software Development Environment

Areas:
    Basic Software Engineering:
    Formal Methods in Software Engineering
    Computer Security
    Human-Computer Interface:
    Programming Language Design and Implemention:
    Aritficial Intelligence:    
    Concurrent and Distributed Programming



Related Grants:


Related Pulbications


Past Grant Activity


Open Reasearch Problems




3.a It has already provide grad-level work, as evidenced by the following:

		PhD's	MS's	Pubs	Grant $
    Basic SE:	.5	2	1
    Formal SE:	.75	1	1
    Security	.25	0	.5
    HCI: 	1.5	12	6
    PL D&I	.5	1	1
    C&DP: 	.5	2	1
    AI: 1.5	0	1	1




The Scholar's Workstation