Your service operation isn’t one-size-fits all, so your IT service management solution shouldn’t be either
The Vivantio Platform allows you to focus on the IT service management tools that make sense for your organization’s unique service model: from incident, problem and change requests, to service requests, client knowledge and asset management
Best-in-class automation, scalability, and single-pane IT management.
Don’t settle when it comes to managing your clients’ IT infrastructure. Exceed their expectations with ConnectWise RMM, our MSP RMM software that provides proactive tools and NOC services—regardless of device environment. With the number of new vulnerabilities rising each year, smart patching procedures have never been more important. We automatically test and deploy patches when they are viable and restrict patches that are harmful. Get better protection for clients while you spend less time managing endpoints and more time growing your business. It’s tough to locate, afford, and retain quality talent. In fact, 81% of IT leaders say it’s hard to find the recruits they need. Add ConnectWise RMM, NOC services and get the expertise and problem resolution you need to become the advisor your clients demand—without adding headcount.
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...
OpenJUMP is a community driven fork of JUMP the "Java Unified Mapping Platform" GIS software. The original JUMP was developed by Vivid Solutions, released under GPL2 in 2003 and discontinued in 2006.
During 2004 already some enthusiastic developers joined together to enhance further the features of JUMP. They launched an independent development branch called OpenJUMP. The name gives credit to the original JUMP development, and at the same time describes the objectives of this project to...
JML is a machine learning library in Java, it is a pure Java package, and thus is cross-platform. The goal of JML is to make machine learning methods very easy to use and speed up code conversion from MATLAB to Java.
Please be noted that JML has been replaced by LAML.
ABTools provides an open environment based on ANTLR and Java and provides some facilities for design and test the B language and somes extensions. ABTools est un environnement de développement base sur ANTLR et Java. Il permet de manipuler le langag
PRTG Network Monitor is an all-inclusive monitoring software solution developed by Paessler. Equipped with an easy-to-use, intuitive interface with a cutting-edge monitoring engine, PRTG Network Monitor optimizes connections and workloads as well as reduces operational costs by avoiding outages while saving time and controlling service level agreements (SLAs). The solution is packed with specialized monitoring features that include flexible alerting, cluster failover solution, distributed monitoring, in-depth reporting, maps and dashboards, and more.
Provides a Java library that allows clients that do not support MSN (such as iChat), but which do support XMPP (aka Jabber) to use MSN.
Uses the Java MSN Messenger Library (JML).
Liegkat-Archiv delivers ALK converters for spatial data formats (EDBS, BGRUND, SQD, DFK, HK) and coordinate systems used in German cadastral agencies before ALKIS into KML and JML. It delivers Python packages and XSL files.
Prototype of a Java Card application for smart cards and its client application. It was developed with the support of JML (Java Modeling Language) used to formally specify the requirements for developing the HealthCard application in Java Card.
Leverage the email service that customer-first brands trust for reliable inbox delivery at scale.
Email is the backbone of your customer engagement. The Twilio SendGrid Email API is the email service trusted by developers and marketers for time-savings, scalability, and delivery expertise. Our flexible Email API and proprietary Mail Transfer Agent (MTA), intuitive console, powerful features, and email experts make it easy to ensure all your email gets delivered in seconds and without interruption.
Interactive Nullness Annotation Propagation Application - assists a developer with adding nullness annotations (i.e. JML) to Java source code. This makes it easier to use a checker like ESC/Java for statically identifying potential null pointer bugs.
jppa is a pointer and purity analysis tool for Java programs. Mainly a purity analysis tool: given a full Java program, it detects pure JML-style methods, i.e., methods that do not mutate existing objects (they may mutate new ones).
Java Math Library (JML) is a fairly robust mathematics library that can be used for anything from basic calculations to some more advanced mathematical functions.