{"shortname": "jmlspecs", "name": "Java Modeling Language (JML)", "_id": "50b516a92718462dc75af8ad", "url": "https://sourceforge.net/p/jmlspecs/", "private": false, "short_description": "This sourceforge site for the project is now DEPRECATED and not updated.\r\nAll current work and new releases are on github: https://github.com/OpenJML/OpenJML.\r\n\r\nThe Java Modeling Language (JML) is a behavioral interface specification language that can be used to specify the behavior of Java modules (as in design by contract -- DBC). It has many tools to do assertion checking, unit testing, etc.\r\n\r\nThe principal current tool of the project is OpenJML -- cf. https://www.openjml.org, with binary downloads from https://github.com/OpenJML/OpenJML/releases/latest\r\n", "creation_date": "2002-10-22", "summary": "", "external_homepage": "http://www.jmlspecs.org", "video_url": null, "socialnetworks": [{"accounturl": null, "socialnetwork": "Twitter"}, {"accounturl": null, "socialnetwork": "Facebook"}, {"accounturl": null, "socialnetwork": "Fediverse"}, {"accounturl": null, "socialnetwork": "Instagram"}], "status": "moved", "moved_to_url": "https://www.github.com/OpenJML/OpenJML", "preferred_support_tool": "_url", "preferred_support_url": "https://github.com/OpenJML/OpenJML", "developers": [{"username": "amorkan", "name": "Alan Morkan", "url": "https://sourceforge.net/u/amorkan/"}, {"username": "mikolas_janota", "name": "Mikolas", "url": "https://sourceforge.net/u/mikolas_janota/"}, {"username": "sidewinder16", "name": "Barry Denby", "url": "https://sourceforge.net/u/sidewinder16/"}, {"username": "timmcq", "name": "Timothy McQuillan", "url": "https://sourceforge.net/u/timmcq/"}, {"username": "dhouck", "name": "Daniel Houck", "url": "https://sourceforge.net/u/dhouck/"}, {"username": "gaggarwal", "name": "Gunjan Aggarwal", "url": "https://sourceforge.net/u/gaggarwal/"}, {"username": "ghaitho", "name": "ghaitho", "url": "https://sourceforge.net/u/ghaitho/"}, {"username": "greenrd", "name": "Robin Green", "url": "https://sourceforge.net/u/greenrd/"}, {"username": "rsetty", "name": "Rakesh Setty", "url": "https://sourceforge.net/u/rsetty/"}, {"username": "mdernst", "name": "Michael Ernst", "url": "https://sourceforge.net/u/mdernst/"}, {"username": "yoshiki", "name": "Yoshiki Hayashi", "url": "https://sourceforge.net/u/yoshiki/"}, {"username": "danielbruns", "name": "Daniel Bruns", "url": "https://sourceforge.net/u/danielbruns/"}, {"username": "mhuisman", "name": "Marieke Huisman", "url": "https://sourceforge.net/u/mhuisman/"}, {"username": "klee", "name": "Keunwoo Lee", "url": "https://sourceforge.net/u/klee/"}, {"username": "qbproger", "name": "qbproger", "url": "https://sourceforge.net/u/qbproger/"}, {"username": "cjbooms", "name": "Conor Gallagher", "url": "https://sourceforge.net/u/cjbooms/"}, {"username": "alx-sforge", "name": "Aleksy Schubert", "url": "https://sourceforge.net/u/alx-sforge/"}, {"username": "iainhull", "name": "iain", "url": "https://sourceforge.net/u/iainhull/"}, {"username": "flyingroc", "name": "Roy Patrick Tan", "url": "https://sourceforge.net/u/flyingroc/"}, {"username": "robdyer", "name": "Robert Dyer", "url": "https://sourceforge.net/u/robdyer/"}, {"username": "smitra", "name": "Simanta", "url": "https://sourceforge.net/u/smitra/"}, {"username": "cheon", "name": "Yoonsik Cheon", "url": "https://sourceforge.net/u/cheon/"}, {"username": "placidoneto", "name": "Pl\u00e1cido A. S. Neto", "url": "https://sourceforge.net/u/placidoneto/"}, {"username": "g_karab", "name": "George Karabotsos", "url": "https://sourceforge.net/u/g_karab/"}, {"username": "erikpoll", "name": "Erik Poll", "url": "https://sourceforge.net/u/erikpoll/"}, {"username": "fishtechonline", "name": "FishTech", "url": "https://sourceforge.net/u/fishtechonline/"}, {"username": "sjohnson-gt", "name": "Scott Johnson", "url": "https://sourceforge.net/u/sjohnson-gt/"}, {"username": "wahlst", "name": "Tim Wahls", "url": "https://sourceforge.net/u/wahlst/"}, {"username": "henriquerebelo", "name": "Henrique Reb\u00ealo", "url": "https://sourceforge.net/u/henriquerebelo/"}, {"username": "hridesh", "name": "Hridesh Rajan", "url": "https://sourceforge.net/u/hridesh/"}, {"username": "rainybao", "name": "Yuyan Bao", "url": "https://sourceforge.net/u/rainybao/"}, {"username": "robby_sf", "name": "Robby", "url": "https://sourceforge.net/u/robby_sf/"}, {"username": "kiniry", "name": "Joseph Kiniry", "url": "https://sourceforge.net/u/kiniry/"}, {"username": "jooyong_lee", "name": "jlee", "url": "https://sourceforge.net/u/jooyong_lee/"}, {"username": "millstein", "name": "Todd Millstein", "url": "https://sourceforge.net/u/millstein/"}, {"username": "riejo", "name": "Johannes Rieken", "url": "https://sourceforge.net/u/riejo/"}, {"username": "atstcyr", "name": "Alexandre Tristan St-Cyr", "url": "https://sourceforge.net/u/atstcyr/"}, {"username": "brian6504", "name": "Brian", "url": "https://sourceforge.net/u/brian6504/"}, {"username": "farazhussain", "name": "Faraz Hussain", "url": "https://sourceforge.net/u/farazhussain/"}, {"username": "carlosvilhena", "name": "Carlos Vilhena", "url": "https://sourceforge.net/u/carlosvilhena/"}, {"username": "rosemarym", "name": "Rosemary Monahan", "url": "https://sourceforge.net/u/rosemarym/"}, {"username": "tobkin", "name": "Toby Tobkin", "url": "https://sourceforge.net/u/tobkin/"}, {"username": "jsinglet", "name": "jsinglet", "url": "https://sourceforge.net/u/jsinglet/"}, {"username": "mueller55", "name": "Peter Mueller", "url": "https://sourceforge.net/u/mueller55/"}, {"username": "woj76", "name": "Wojciech Mostowski", "url": "https://sourceforge.net/u/woj76/"}, {"username": "apolo_imagod", "name": "Apolo Imagod", "url": "https://sourceforge.net/u/apolo_imagod/"}, {"username": "davidcok", "name": "David Cok", "url": "https://sourceforge.net/u/davidcok/"}, {"username": "xinl", "name": "Xin Li", "url": "https://sourceforge.net/u/xinl/"}, {"username": "delara", "name": "Wladimir Araujo", "url": "https://sourceforge.net/u/delara/"}, {"username": "radugrigore", "name": "Radu GRIGORE", "url": "https://sourceforge.net/u/radugrigore/"}, {"username": "sbarreiros", "name": "Silvino Barreiros", "url": "https://sourceforge.net/u/sbarreiros/"}, {"username": "cdchambers", "name": "Craig Chambers", "url": "https://sourceforge.net/u/cdchambers/"}, {"username": "chalin", "name": "Patrice Chalin", "url": "https://sourceforge.net/u/chalin/"}, {"username": "dmzimmerman", "name": "Daniel M. Zimmerman", "url": "https://sourceforge.net/u/dmzimmerman/"}, {"username": "leavens", "name": "Gary T. Leavens", "url": "https://sourceforge.net/u/leavens/"}, {"username": "cormacflanagan", "name": "Cormac Flanagan", "url": "https://sourceforge.net/u/cormacflanagan/"}, {"username": "cruby", "name": "Clyde D. Ruby", "url": "https://sourceforge.net/u/cruby/"}, {"username": "patrickdgr81", "name": "Patrick", "url": "https://sourceforge.net/u/patrickdgr81/"}, {"username": "wdietl", "name": "Werner Dietl", "url": "https://sourceforge.net/u/wdietl/"}, {"username": "abassel", "name": "Alexandre  Bassel", "url": "https://sourceforge.net/u/abassel/"}, {"username": "jgcharles", "name": "J. Charles", "url": "https://sourceforge.net/u/jgcharles/"}, {"username": "uic007", "name": "cheng", "url": "https://sourceforge.net/u/uic007/"}, {"username": "bolandmg", "name": "Michael Boland", "url": "https://sourceforge.net/u/bolandmg/"}], "tools": [{"name": "mailman", "mount_point": "mailman", "url": "https://sourceforge.net/p/jmlspecs/mailman/", "mount_label": "Mailing Lists"}, {"name": "summary", "mount_point": "summary", "url": "https://sourceforge.net/p/jmlspecs/summary/", "mount_label": "Summary", "sourceforge_group_id": 65346}, {"name": "tickets", "mount_point": "feature-requests", "url": "https://sourceforge.net/p/jmlspecs/feature-requests/", "mount_label": "Feature Requests", "api_url": "https://sourceforge.net/rest/p/jmlspecs/feature-requests/"}, {"name": "tickets", "mount_point": "bugs", "url": "https://sourceforge.net/p/jmlspecs/bugs/", "mount_label": "Bugs", "api_url": "https://sourceforge.net/rest/p/jmlspecs/bugs/"}, {"name": "tickets", "mount_point": "support-requests", "url": "https://sourceforge.net/p/jmlspecs/support-requests/", "mount_label": "Support Requests", "api_url": "https://sourceforge.net/rest/p/jmlspecs/support-requests/"}, {"name": "files-sf", "mount_point": "files", "url": "https://sourceforge.net/p/jmlspecs/files/", "mount_label": "Files"}, {"name": "blog", "mount_point": "news", "url": "https://sourceforge.net/p/jmlspecs/news/", "mount_label": "News", "api_url": "https://sourceforge.net/rest/p/jmlspecs/news/"}, {"name": "svn", "mount_point": "code", "url": "https://sourceforge.net/p/jmlspecs/code/", "mount_label": "Code", "api_url": "https://sourceforge.net/rest/p/jmlspecs/code/", "clone_url_https_anon": "https://svn.code.sf.net/p/jmlspecs/code/", "clone_url_ro": "svn://svn.code.sf.net/p/jmlspecs/code/"}, {"name": "tickets", "mount_point": "things-to-do", "url": "https://sourceforge.net/p/jmlspecs/things-to-do/", "mount_label": "Things to Do", "api_url": "https://sourceforge.net/rest/p/jmlspecs/things-to-do/"}, {"name": "tickets", "mount_point": "patches", "url": "https://sourceforge.net/p/jmlspecs/patches/", "mount_label": "Patches", "api_url": "https://sourceforge.net/rest/p/jmlspecs/patches/"}, {"name": "support", "mount_point": "support", "url": "https://sourceforge.net/p/jmlspecs/support/", "mount_label": "Support"}, {"name": "reviews", "mount_point": "reviews", "url": "https://sourceforge.net/p/jmlspecs/reviews/", "mount_label": "Reviews"}, {"name": "activity", "mount_point": "activity", "url": "https://sourceforge.net/p/jmlspecs/activity/", "mount_label": "Activity", "api_url": "https://sourceforge.net/rest/p/jmlspecs/activity/"}, {"name": "wiki", "mount_point": "wiki", "url": "https://sourceforge.net/p/jmlspecs/wiki/", "mount_label": "Wiki", "api_url": "https://sourceforge.net/rest/p/jmlspecs/wiki/"}], "labels": [], "categories": {"audience": [{"id": 363, "shortname": "information-technology", "fullname": "Information Technology", "fullpath": "Intended Audience :: by Industry or Sector :: Information Technology"}, {"id": 367, "shortname": "science-research", "fullname": "Science/Research", "fullpath": "Intended Audience :: by Industry or Sector :: Science/Research"}, {"id": 360, "shortname": "education", "fullname": "Education", "fullpath": "Intended Audience :: by Industry or Sector :: Education"}, {"id": 3, "shortname": "developers", "fullname": "Developers", "fullpath": "Intended Audience :: by End-User Class :: Developers"}], "developmentstatus": [{"id": 10, "shortname": "4-beta", "fullname": "4 - Beta", "fullpath": "Development Status :: 4 - Beta"}], "environment": [{"id": 229, "shortname": "x-window-system-x11", "fullname": "X Window System (X11)", "fullpath": "User Interface :: Graphical :: X Window System (X11)"}, {"id": 230, "shortname": "win32-ms-windows", "fullname": "Win32 (MS Windows)", "fullpath": "User Interface :: Graphical :: Win32 (MS Windows)"}, {"id": 310, "shortname": "cocoa-macos-x", "fullname": "Cocoa (MacOS X)", "fullpath": "User Interface :: Graphical :: Cocoa (MacOS X)"}], "language": [{"id": 198, "shortname": "java", "fullname": "Java", "fullpath": "Programming Language :: Java"}], "license": [{"id": 15, "shortname": "gnu-general-public-license-version-2.0-gplv2", "fullname": "GNU General Public License version 2.0 (GPLv2)", "fullpath": "License :: OSI-Approved Open Source :: GNU General Public License version 2.0 (GPLv2)"}], "translation": [{"id": 275, "shortname": "english", "fullname": "English", "fullpath": "Translations :: English"}], "os": [{"id": 201, "shortname": "linux", "fullname": "Linux", "fullpath": "Operating System :: Linux"}, {"id": 235, "shortname": "os-independent", "fullname": "OS Independent", "fullpath": "Operating System :: OS Independent"}, {"id": 202, "shortname": "bsd", "fullname": "BSD", "fullpath": "Operating System :: BSD"}, {"id": 3615, "shortname": "mac", "fullname": "Mac", "fullpath": "Operating System :: Mac"}, {"id": 3616, "shortname": "windows", "fullname": "Windows", "fullpath": "Operating System :: Windows"}], "database": [], "topic": [{"id": 259, "shortname": "code-generators", "fullname": "Code Generators", "fullpath": "Topic :: Software Development :: Code Generators"}, {"id": 47, "shortname": "debuggers", "fullname": "Debuggers", "fullpath": "Topic :: Software Development :: Debuggers"}, {"id": 48, "shortname": "compilers", "fullname": "Compilers", "fullpath": "Topic :: Software Development :: Compilers"}, {"id": 71, "shortname": "education", "fullname": "Education", "fullpath": "Topic :: Education"}]}, "icon_url": "https://sourceforge.net/p/jmlspecs/icon", "screenshots": []}