Search Results for "https"

This sourceforge site for the project is now DEPRECATED and not updated. All current work and new releases are on github: https://github.com/OpenJML/OpenJML. The 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. The principal current tool of the project is OpenJML -- cf. https://www.openjml.org, with binary downloads from https://github.com/OpenJML/OpenJML/releases/latest

With this portable version of Eclipse, you can develop software directly from your removable mass storage device, even without admin rights. To get started, please visit the Eclipse Portable wiki: https://sourceforge.net/p/eclipse-neon-portable/wiki GitHub: https://github.com/Berny23/eclipse-portable Thank you for over 180,000 Downloads! Please note: A few months ago, I completely switched to Linux (now Arch btw). So, I'll be no longer active creating portable apps for Windows.

The HL7 Inspector project has moved to Bitbucket. https://bitbucket.org/crambow/hl7inspector All new releases can be found there. The web-based version can still be found at www.hl7inspector.com

GDBServer Extender（gdbx）顾名思义就是为GDB调试扩展一些本来没有的功能。例如线程（任务）感知调试（OS Aware）、线程（任务）堆栈检查等。支持FreeRTOS、eCos。支持OpenOCD、J-Link、QEMU。支持Cortex-M、i386。 请移步https://code.csdn.net/zoomdy/gdbx获得更多内容。

Code base moved to: https://github.com/Data-to-Insight-Center/ProvErr A statistical fault diagnosis tool that leverages an application's dependency model to automatically infer an oending piece of software/system in event of failure

(Diver is in the process of being moved to GitHub. Please find us at https://github.com/thechiselgroup/Diver. Support requests & messages sent here may never be seen.) Dynamic Interactive Views For Reverse Engineering. Div/er is a set of Eclipse Plugins that aid developers in understanding software. It uses dynamic analysis and reverse engineering to offer views and filters that aid comprehension and discovery.

jclasslib is now located at https://github.com/ingokegel/jclasslib

Like the well-known tee program on UNIX systems, HttpTea is sitting between the client and the server of a HTTP connection. It allows you to modify the requests and responses before submission. HTTPS traffic can be decrypted an displayed as well.