A list of 50 sites similar to alloy.mit.edu

thumbnail for http://alloy.mit.edu/

http://alloy.mit.edu/

Site Info: Popularity:popularity of alloy.mit.edu  Language-Location: English - United States
Site Rating:
(Be the first to rate!)
Site Category: Programming / Testing
Site Topics: (Click on topics below to explore top sites in these categories)
Please describe site with a few words:
Filter search result by language: and/or by country:
250 views. Updated on:2018-4-26
 Suggest a similar site
Suggest a similar website (Enter a URL):
  1. http://www.agilemodeling.com/
    -
    Site Category: Programming / Agile
    Similarity: agilemodeling.com is 51% analogous to mit alloy  Popularity: traffic volumn of agilemodeling.com is low  Language-Location: English - United States
    This site has five matching tags. Top 5 matches are modeling, development, design, programming, software.
    Similar or Not? yes no  Rating:
    (Be the first to rate!)
  2. SLAM is a project for checking that software satisfies critical behavioral properties of the interfaces it uses and to aid software engineers in designing interfaces and software that ensure reliable and correct functioning. Static Driver Verifier...
    http://research.microsoft.com/slam/
    Similarity: http://research.microsoft.com/slam/ is 50% analogous to mit alloy  Popularity: traffic volumn of microsoft.com is very high  Language-Location: English - United States
    This site has five matching tags. Top 5 matches are programming, verification, software, tools, development.
    Similar or Not? yes no  Rating:
    (1.0, based on 1 vote)
  3. Visual Paradigm, a software design tool tailored for agile software projects. It supports UML, BPMN, ERD, DFD, SysML. It also supports use cases, wireframeing, code engineering, etc.
    http://www.visual-paradigm.com/
    -
    Site Category: Programming / Uml
    Similarity: visual-paradigm.com is 48% analogous to mit alloy  Popularity: traffic volumn of visual-paradigm.com is medium  Language-Location: English - United States
    This site has six matching tags. Top 5 matches are software, tools, programming, modeling, design.
    Similar or Not? yes no  Rating:
    (Be the first to rate!)
  4. http://ptolemy.eecs.berkeley.edu/index.html
    -
    Sites like Berkeley Eecs Ptolemy
    Site Category: Software / Simulation
    Similarity: ptolemy.eecs.berkeley.edu is 47% analogous to mit alloy  Popularity: traffic volumn of berkeley.edu is very high  Language-Location: English - United States
    This site has four matching tags. Top 4 matches are programming, software, modeling, design.
    Similar or Not? yes no  Rating:
    (Be the first to rate!)
  5. UML design and business analysis tool for modeling, documenting, reverse engineering, building and maintaining object-oriented software systems, fast and intuitive. Great features, great price.
    http://www.sparxsystems.com/
    -
    Sites like Sparxsystems
    Site Category: Software / Uml
    Similarity: sparxsystems.com is 47% analogous to mit alloy  Popularity: traffic volumn of sparxsystems.com is medium  Language-Location: English - United States
    This site has six matching tags. Top 5 matches are software, tools, modeling, design, development.
    Similar or Not? yes no  Rating:
    (Be the first to rate!)
  6. http://stackoverflow.com/
    -
    Site Category: Programming / Apps / Development
    Similarity: stackoverflow.com is 45% analogous to mit alloy  Popularity: traffic volumn of stackoverflow.com is very high  Language-Location: English - United States
    This site has three matching tags. Top 3 matches are programming, development, software.
    Similar or Not? yes no  Rating:
    (5.0, based on 5 votes)
  7. http://bandera.projects.cis.ksu.edu/
    Site Category: Tools / Java / Eclipse
    Similarity: bandera.projects.cis.ksu.edu is 44% analogous to mit alloy  Popularity: traffic volumn of ksu.edu is high  Language-Location: English - United States
    This site has three matching tags. Top 3 matches are verification, software, tools.
    Similar or Not? yes no  Rating:
    (Be the first to rate!)
  8. The Fundamental Modeling Concepts (FMC) primarily provide a framework for the comprehensive description of software-intensive systems. It is based on a precise terminology and supported by a graphical notation which can be easily understood.
    http://www.fmc-modeling.org/
    -
    Sites like Fmc-modeling
    Site Category: Software / Uml
    Similarity: fmc-modeling.org is 43% analogous to mit alloy  Popularity: traffic volumn of fmc-modeling.org is very low  Language-Location: English - Germany
    This site has four matching tags. Top 4 matches are modeling, software, design, programming.
    Similar or Not? yes no  Rating:
    (Be the first to rate!)
  9. http://www.makehuman.org/
    -
    Sites like Makehuman
    Site Category: Opensource / Software / Graphics
    Similarity: makehuman.org is 43% analogous to mit alloy  Popularity: traffic volumn of makehuman.org is low  Language-Location: English - Sweden
    This site has four matching tags. Top 4 matches are software, modeling, tools, design.
    Similar or Not? yes no  Rating:
    (Be the first to rate!)
  10. http://wb.mysql.com/
    -
    Sites like Mysql Wb
    Site Category: Opensource / Database
    Similarity: wb.mysql.com is 42% analogous to mit alloy  Popularity: traffic volumn of mysql.com is very high  Language-Location: English - *
    This site has five matching tags. Top 5 matches are tools, design, programming, modeling, software.
    Similar or Not? yes no  Rating:
    (Be the first to rate!)
  11. http://pvs.csl.sri.com/
    -
    Sites like Sri Csl Pvs
    Site Category: Tools / Software / Math
    Similarity: pvs.csl.sri.com is 41% analogous to mit alloy  Popularity: traffic volumn of sri.com is medium  Language-Location: English - United States
    This site has four matching tags. Top 4 matches are software, verification, tools, logic.
    Similar or Not? yes no  Rating:
    (Be the first to rate!)
  12. For people who want to make things themselves, Autodesk 123D is free 3D modeling software integrated with content community sharing and fabrication services
    http://www.123dapp.com/
    -
    Site Category: Tools / .3.d. / Modeling
    Similarity: 123dapp.com is 41% analogous to mit alloy  Popularity: traffic volumn of 123dapp.com is medium  Language-Location: English - *
    This site has four matching tags. Top 4 matches are software, modeling, tools, design.
    Similar or Not? yes no  Rating:
    (Be the first to rate!)