GUPRO

MaRDI QIDQ21123swMATHFDO

Official website http://www.sciencedirect.com/science/article/pii/S1571066105805286

Cited in

(13)

• Shimba
• Columbus
• Automated mass maintenance of a software portfolio
• Rigi
• Ciao
• SQuAVisiT
• Concept management: identification and storage of concepts in the focus of formal Z specifications
• LSEdit
• Edge
• LIFT
• SEXTANT
• TestQ
• Rigi-an environment for software reverse engineering, exploration, visualization, and redocumentation

This page was built for software: GUPRO