The Software Technology Program focuses on the exploration of technologies whose application can benefit our projects. Programmers and managers can log issue reports, track the status of issues, and view project metrics using standard WWW browsers. WISE provides a non-intrusive method to coordinate project activities and allow software development teams to view their progress and performance. Top Software Reliability TCM Java - TCMJava provides a collection of graphical editors for editing software specifications.
All editors share a common user interface.
The current version of TCM does not yet support constraint checking across documents for integrated conceptual modeling. Future versions of TCMJava will be enhanced with cross-diagram checking functions. Back to Top Software Architectural Analysis Reliable Multicast Protocol - RMP provides an atomic, totally ordered, reliable multicast service on top of IP Multicasting. RMP is also being used as a testbed for verification efforts involving highly complex distributed applications.