Specware Design

• Y V Srinivas, Richard Jullig, Allen Goldberg

Specware Implementation

• Jim McDonald, Y V Srinivas, Limei Gilham, David Espinosa, Stephen Westfold, Lee Blaine, Allen Goldberg

Specware Specification Library

• Generic Specification Library: Lee Blaine, Y V Srinivas, Allen Goldberg, Richard Jullig
• Resource Specification Taxonomy: Doug Smith, Junbo Liu
• Global Search Theories: Junbo Liu, Doug Smith

Theorem Prover

• KITP: TC Wang
• Specware/KITP Interface: Limei Gilham

Specware Documentation

• Specware Manual
  • Authors: Richard Waldinger, Y V Srinivas, Allen Goldberg, Richard Jullig
  • Lay-out: Maria Pryce
  • Cover Design: Cordell Green, Rafe Furst
• About Specware: Richard Waldinger
• Specware Brochure: Rafe Furst, Cordell Green
• Specware 2.0 Release Notes
  • Code Generation: Y V Srinivas, David Espinosa, Allen Goldberg
  • Theorem Proving: Richard Waldinger, TC Wang, Rafe Furst, Limei Gilham
• Specweb: Lee Blaine

Management and Coordination

• Cordell Green, Richard Jullig, Allen Goldberg, Y V Srinivas

Packaging and Artistic Design

• Rafe Furst, Cordell Green, Lydia Terrill

Administrative and System Support

• Jeff Kitson, Carol Lei, Grace Chan, Lydia Terrill