Skip to topic
|
Skip to bottom
IST-15905
Tools Web
Mobius Public Home
Mobius Intranet
Tools Web Home
Overview
Tools Summary
Tools Contacts
Component Index
Related Tools
Download Tools
Scientific Issues
Tools Publications
Project Management
Development Schedule
Project Status
Documentation And Coding Standards
Latest News
Tools Meetings
Site Visits
GForge
Tools
Index
Search
Changes
RSS Feed
Statistics
Preferences
Edit Toolbar
Help
Start of topic |
Skip to actions
Many Mobius partners work closely with non-Mobius partners on tool development projects. We must coordinate these efforts to ensure maximum utilization of development resources. Currently the following coordination is taking place: * Main.JosephKiniry is coordinating with KansasStateUniversity on the development of the Cadena, Bogor, Kiesan, and Indus systems. There are also discussions afoot wrt developing an information flow logic in ESC/Java. * Main.JosephKiniry is coordinating with ConcordiaUniversity on several pieces of work including new assertion semantics for JML (realized in the JML tool suite and ESC/Java) and the use of the JML compiler for ESC/Java. * Main.JosephKiniry is coordinating with StanfordResearchInternational on the development of PVS 4.0, SAL, and Yices. * Main.JosephKiniry is coordinating with MassachusettsInstituteOfTechnology on the development of Daikon and their Continuous Unit Testing framework. * Main.JosephKiniry is coordinating with the UniversityOfIowa on the development of CVC3.
End of topic
Skip to action links
|
Back to top
r1.1 :
Edit
|
Attach image or document
|
Printable version
|
Raw text
|
Page history
|
More actions
You are here:
Tools
>
CoordinationWithNonMobiusPartners
to top
Ideas, requests, problems regarding the Mobius site