Title: Software Foundations and Formal
Development Methodology for CAETI
Performer(s):
Jose Meseguer
SRI International
Computer Science Laboratory
333 Ravenswood Avenue
Menlo Park, CA 94025
Carolyn Talcott
Stanford University
Computer Science Department
Stanford, CA 94305
|
Cluster: ENABLING TECHNOLOGIES
Contact Information:
Phone: 415-859-3044
Fax: 415-859-2844
email: meseguer@cal.sri.com
Phone: 415-723-0936
Fax: 415-723-7411
email: clt@cs.stanford.edu
|
1. Instructional Focus:
Content areas/topics: Not applicable.
Process skills: Not applicable.
2. Target Population: CAETI performer teams.
3. Summary Description: The main product will be a prototype implementation of the Maude specification language. The tool is intended for the formal specification and executable prototyping of CAETI-relevant system designs developed by other groups. The primary thrust will be on getting the basic functionality of the Maude interpreter implemented in prototype form, but effort will also be devoted to examples.
4. Training and Staff Development:
- Teacher prerequisite skills/knowledge needed: Not applicable.
- Student prerequisite skills needed: Not applicable.
- Training needed/provided: None specified.
- Technical support needed/provided: None specified.
5. Technological Resources Needed: Sun/Solaris. Sun SPARC workstations with standard configurations are sufficient.
6. Intended Outcomes:
Students: Not applicable.
Teachers: Not applicable.
7. Instructional Time Required: Not applicable.
8. Role of the Pilot Teacher(s): Not applicable.
9. Example(s) of the Use of this Product (Scenario): None supplied.
