Write, check, index and diagram Z specifications in Microsoft Word.
...Provides: WYSIWYG editing fully integrated into Word; Typechecking using fuzz (for Spivey Z) or CZT (for ISO standard Z); Indexing and cross-referencing; Diagrams of specification structure; Conversion from Spivey to Standard Z- also available as a stand-alone program and Java class for non-windows users. See project website for details.
Ganesa is knowledge management framework developed to support knowledge organization, structuring, visualization, maintenance, search,... in object oriented way.
Jefe is a Workflow Management Solution in a form of a web portal that unifies the enterprise information and applications in the domain of Software Development. It integrates CASE tools which are highly use in the industry of software engineering.
With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.
You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
Eclipse 3.4 Plugin with several JSP Refatoring Tools. The short term planning is to have the following tools: 1) List/Remove JSP Comments; 2) List/Resolve/Rollback JSP Imports. And for long term: 1) Merge / dif jsp files (back and forth from import).
Business analysys/documentation management tool, inspired by the book "Writing Effective Use Cases" by Alistair Cockburn. Key wanted features are:managing & browsing versionable project requirements,use-cases,screen specs,docs generation,work with JIRA
Colimas is a Component Library Management System. The objective is to store all reusable resets for enterprises or organizations and to help all developers to know where and how to get the needed components and reduce understanding time for project maint
Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity.
Freshservice is an intuitive, AI-powered platform that helps IT, operations, and business teams deliver exceptional service without the usual complexity. Automate repetitive tasks, resolve issues faster, and provide seamless support across the organization. From managing incidents and assets to driving smarter decisions, Freshservice makes it easy to stay efficient and scale with confidence.
Crackleback is a Java servlet framework for back-office business systems. Its goal is to address 90% of a system's function points, to cut development costs by 90%, and to permit the business analyst--not the programmer--to build 90% of the system.
Xphere IDE is an Integrated Development Environment based on Eclipse and intended for developing JAVA Applications, JAVA Applets, JAVA SERVLETS, EJB's and PHP software. Xphere IDE is a compilation of Eclipse plugins and other software.
JBeanGen is a software to generate Java classes to build JSP in an esier way, because it helps webdevelopers to create Value Object Classes and DAO classes that can easily be integrated in a web application using MVC (Model Controller View) Arquitecture.
Genesis is a software engineer integrated tool that provides many ways to manage all artifacts related to a software development process. Includes requirements management functionalities, and a complete environment to execute tests.