ArgoUML

ArgoUML is the leading open source UML modeling tool and includes support for all standard UML 1.4 diagrams. It runs on any Java platform and is available in ten languages. See the feature list for more details. ArgoUML 0.26 and 0.26.2 were downloaded over 80,000 times and are in use all over the world. See the download statistics. ArgoUML is distributed under the Eclipse Public License (EPL) 1.0.


References in zbMATH (referenced in 13 articles )

Showing results 1 to 13 of 13.
Sorted by year (citations)

  1. Kádár, István; Hegedűs, Péter; Ferenc, Rudolf: Runtime exception detection in Java programs using symbolic execution (2014)
  2. Zhang, Weiqiang; Nie, Liming; Jiang, He; Chen, Zhenyu; Liu, Jia: Developer social networks in software engineering: construction, analysis, and applications (2014)
  3. Zamani, Bahman; Butler, Greg: Pattern language verification in model driven design (2013)
  4. Arbuckle, Tom: Studying software evolution using artefacts’ shared information content (2011)
  5. Shaikh, Asadullah; Wiil, Uffe Kock; Memon, Nasrullah: Evaluation of tools and slicing techniques for efficient verification of UML/OCL class diagrams (2011)
  6. Jirapanthong, Waraporn; Zisman, Andrea: XTraQue: traceability for product line systems (2009)
  7. Zamani, Bahman; Butler, Greg; Kayhani, Sahar: Tool support for pattern selection and use (2009)
  8. Röttger, Simone; Zschaler, Steffen: Tool support for refinement of non-functional specifications (2007)
  9. Mammar, Amel; Laleau, Régine: A formal approach based on UML and B for the specification and development of database applications (2006)
  10. Gogolla, Martin; Bohling, Jørn; Richters, Mark: Validating UML and OCL models in use by automatic snapshot generation (2005)
  11. Gogolla, Martin; Bohling, Jørn; Richters, Mark: Validating UML and OCL models in use by automatic snapshot generation (2005)
  12. Mota, Edjard; Clarke, Edmund M.; Groce, Alex; Oliveira, Waleska; Falcão, Marcia; Kanda, Jorge: Veriagent: An approach to integrating UML and formal verification tools. (2004)
  13. Stoller, Scott D.: Testing concurrent Java programs using randomized scheduling. (2002)