Search Results for "computer aided software engineering" - Page 9
Sort By:
Showing 564 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.
-
Save Up to 91% on Cloud Compute With Spot VMsRun batch jobs at 60-91% off with Spot VMs. Long-running workloads get automatic discounts with sustained use.
-
1
-
2
QuCoSi is a C++ library for simulating a quantum computer. The used qubits and gates are plain vectors and matrices that can be inspected and modified easily. Its emphasis lies on readability and ease of use.
-
3
A graphical process designer and engine extension for JBoss jBPM with dataflow capabilities, common task nodes: SQL, FTP, R (Stats), Groovy and email and round-trip process engineering/management from an Eclipse-based editor
-
4
EAT is a new set of accessible abstractions for composition and diffusion that are currently under development in Pure Data Extended.
-
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
BotoSeis
This version is deprecated
BotoSeis is a collection of interactive Java programs for seismic data processing. It may work also as a graphical user interface for packages like CWP/SU (Seismic Un*x), Madagascar and user home made programs. A new version is available at: https://github.com/botoseis/BotoSeis You can find a user guide at: https://germangarabito.wordpress.com -
6
The Open Instrumentation Project provides open source software for graphical user interface and control of computer-based lab instruments. Current instruments include an oscilloscope, waveform generator, CircuitGear, multimeter and network analyser.
-
7
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.
-
8
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
-
9
pfc2ide is a GUI front end for the Pascal-FC compiler. Pascal-FC is Alan Burns' and Geoff Davies' version of Pascal for Concurrent Programming education. Pfc2 is my slightly improved version of PFC.
-
$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
A Eclipse-based toolset for early verification and validation of goal-based requirements models for the KAOS methodology.
-
11
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
-
12
BlueDS is a library that contains the implementation of frequently used data structures and algorithms in Computer Science. BlueDS is designed to be fast and efficient.
-
13
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.
-
14
What's ? Tux2live is a toolkit to build your Linux live environment from what you installed in hard disk and it's easy to customize and configure. Official web site: [En] http://tux2live.sourceforge.net/ [zh_TW] http://tux.nchc.org.tw/trac/tux2live
-
15
An Unit Test tool for PowerBuilder Applicatoin development. Command line support mode and xml result generation make it easily fitting into CruiseContol integration server.
-
16
A framework and Java class for rapid development of quiz apps for Android-smartphones. Preview-clip: http://youtu.be/QmBexUPsqm0 I have currently no resources to push this project further. However, if you're interested feel free to contact me - depending on the feedback I receive I might re-arrange my priorities.
-
17
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.
-
18
-
19
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.
-
20
-
21
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.
-
22
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.
-
23
A simple program that solves linear equation systems. As of now only numerical coefficients are supported. The program is very simple and not suited for big matrices, since it uses laplace's method.
-
24
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.
-
25
The program Virtual Network Simulator for Web 2.0 is a tool that allows the simulation of assembly and configuration of computer network projects, virtual or physical. It also simulate the sending of a package between the hots of origin and destinati
