GUPRO

MaRDI QIDQ21123swMATHFDO

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

Cited in

(13)

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

This page was built for software: GUPRO