Enable your developers to do their best work and increase time-to-market speed with a leading DevOps and Hybrid Cloud platform.
Learn More
PageDNA: Web-to-Print eCommerce Software
eCommerce for Print, Signs and Fulfillment Trusted by In‑Plants and Commercial Print Leaders
PageDNA enables successful eCommerce strategies for commercial print sales organizations, internal print shops, and brand owners. PageDNA’s online ordering platform increases print volume while decreasing touch costs for all stakeholders: clientele, print operations, and the organizations they support.
Hades aims to become the reference open source environment for developing, validating and deploying PLUTO (Procedure Language for Users in Test and Operations) procedures.
We extend the Eclipse IDE with tools for development in Haskell, a functional programming language, providing support for a wide range of tools (compilers, interpreters, doc tools etc.) in a coherent, convenient and configurable environment.
RESOLVE is an integrated specification and programming language designed to develop component-based software that is fully specified and verified to be correct. It is one of the longest running software engineering projects in the USA.
RES is a pure Java based Open Source Cobol to Java translator. It creates maintainable Java code for a subset of VS Cobol syntax. It has been developed with JDK, JTB and Javacc.
Planview is the leading end-to-end platform for Strategic Portfolio Management (SPM) and Digital Product Development (DPD)
Manage project and product portfolios enterprise-wide
Planview AdaptiveWork (formerly Clarizen) with embedded AI helps you proactively plan and deliver any type and size of portfolio, project, and work. Gain AI-enhanced visibility and insights, drive collaboration, and achieve better business outcomes across your organization.
DKU is an embedded parallel language, or "piggy-back" language that uses function calls to invoke the language's execution model. It tunes task-size to the hardware while hiding hardware details for high performance portability of parallel code.
A framework for data-flow based program analysis, implemented as a set of Java APIs. By using this framework, researchers and developers can easily implement analyses, test their correctness, and evaluate their performance. In addition, the framework all