Search Results for "computer aided software engineering" - Page 4
Sort By:
Showing 308 open source projects for "computer aided software engineering"
View related business solutions-
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
Fully Managed MySQL, PostgreSQL, and SQL ServerCloud SQL handles your database ops end to end, so you can focus on your app.
-
1
SOA4All Design Time Composer (DTC) is a tool service that automates some process modelling tasks at design time and it is integrated into the SOA4All Process Editor.
-
2
RegexLord is the IDE for developing regular expression assemblies for .NET. Full stop. It provides syntax highlighting (via the sharpdevelop text editor, http://sharpdevelop.net/), bracket matching, namespace management, code folding, and an easy to
-
3
A Eclipse-based toolset for early verification and validation of goal-based requirements models for the KAOS methodology.
-
4
JSPWikiWinWin Involves the requirement negotiation and elicitation in software engineering and improves the negotiation process based on WinWin Spiral Model, which supports the negotiation in different locations and time
-
Build Agents and Models on One PlatformGemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
-
5
This is the page for my MSc project, which concerns the convertion of some UML diagrams into UPPAAL timed automata, in order to apply model-checking.
-
6
An Unit Test tool for PowerBuilder Applicatoin development. Command line support mode and xml result generation make it easily fitting into CruiseContol integration server.
-
7
Volta is a suite of development tools for distributed, hard real-time systems. It includes Cascade, a control flow analysis tool for Java, and Clepsydra, a worst-case execution time analyzer. Also included is a Clepsydra plug-in for jEdit.
-
8
-
9
A openArchitectureWare based Generator for deriving a WS-Agreement document from a formal description of a (Web-)Service and its associated assertions (SLO) to Quality Of Service (QoS). You can use predefined QoS parameters as well as introduce new ones.
-
$300 Free Credits to Build on Google CloudPut your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
-
10
-
11
The aim of ALIVE is to develop new approaches to the engineering of flexible, adaptable distributed service-oriented systems based on the adaptation of social coordination and organisation mechanisms.
-
12
Xuse manages requirements, use cases & other artefacts that drive software design. Xuse focuses on clear documentation & communication. It defines an XML data model for requirements & use cases with XSLT providing multiple derived views: HTML/SVG/PDF. Note there is no GUI for entering requirements, however another project (https://sourceforge.net/projects/xguse/) will provide a GUI.
-
13
Requirement Heap is a web based requirement management /business analysis application. It allows to enter requirement in rich text, supports versioning and the management of requirements. It also handles use cases, interviews and test cases. It allows multiple projects. Stakeholders and glossaries can be handled per project or globally.
-
14
The Coverage Simulator transforms test models. The satisfaction of a weaker coverage criterion on the target model corresponds to the satisfaction of a stronger coverage criterion on the source model. Thus, it supports many model-based test generators.
-
15
Simple UML is an extremely simplified modeling tool for requirements, use cases and concepts. The tool is built on Hakaya Studio 3.5.
-
16
Allows screen sharing over email, or through 'conversations' with contacts, so that when a contact receives a screenshot it's automatically displayed with its default image viewer.
-
17
-
18
BPMN & POEM (Process Oriented Enterprise Modelling) Package Of Plugins contains Visio stencil and templates for integrated organizational and business process modelling.
-
19
GGredit is library that implements base functionality for a generic graphic editor. DDraw is a diagram editor designed for Gnome that use GGredit. DDraw is inspired to DIA, it can be used to draw many different kinds of diagrams.
-
20
Mr. Arch Brooks, Software Engineer This application produces a donate button used by Sourceforge projects. https://bcsjava.com/blg/bcs/article.php?story=20100823161323933
-
21
JPEd is a graphical editor for processes descriptions. It uses the XPDL 1.0 interchange format as specified by the WfMC.
-
22
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.
-
23
Sigerar is a software requirements management tool. Currently available only in Brazilian Portuguese.
-
24
Strandz is an API that enables developers to connect users with their data. It is the middle layer that connects a Java Swing UI with Data Objects, employing a strict Model/View/Controller structure to enable the rapid development of maintainable cod
-
25
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.
