Resolve 2007 will be held at Clemson University′s Madren Conference Center in Clemson, SC USA. The university is located in the foothills of the Blue Ridge Mountains, on the shores of Lake Hartwell, approximately midway between Charlotte, NC and Atlanta, GA. <b>Keywords:</b> –– Verifying compiler technology –– Specification and verification of performance properties –– Modular approaches to detecting component interface violations –– Trade–offs among testing, formal verification, and model checking –– Combining concurrency–oriented formalisms with model–based behavioral specification approaches –– Formal characterization of user interfaces –– Formal modeling of file system behavior –– Formal characterization of mathematical and program types –– Formal semantics and proofs of correctness –– Resolve language and implementation issues –– Software engineering environments and tools –– Component–based software –– Client–view–first pedagogy –– Industrial insights for Resolve research –– Integrating analytical reasoning principles in computer science education –– Collaborative instruction in computer science education
Abbrevation
Resolve
City
ClemsonSC
Country
United States
Deadline Paper
Start Date
End Date
Abstract