Search Results for "computer" - Page 6

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

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.

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.

Project consists in a software that reads a copied web site to your computer and generates a graph model of it. The model is based on the links, which are seen as the edges, and the pages, which are the vertices of the graph.

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.

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.

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

BundleParser is a Bouml plugout for modelling OSGi and Eclipse bundles .

The Java Code Clone Detection API (JCCD) allows to implement individual code clone detectors. These code clone detectors can be easily integrated into other Java applications. JCCD is based on a pipeline architecture which allows to replace whole par

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.

A simple textual feature model editor to generate feature model diagrams as DOT and SVG files. The DOT files can be used as an input for GraphViz' dot. SVG requires dot installed on your computer and added to your classpath.

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.

QWACK is a computer application aimed primarily at students and scientists allowing them to explore and experiment the concepts of computer programming by using the simple, but yet powerful graphical interface.

A web-based courseware system for programming courses. Provides support for on-line submission testing, static analysis, code coverage, peer and instructional code reviews and grading. Works with projects in any programming language.

Extending Alloy with Dynamic Behaviour

JPEd is a graphical editor for processes descriptions. It uses the XPDL 1.0 interchange format as specified by the WfMC.

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

JAva DIstributed Framework provides a secure and flexible Framework for distributed grid and volunteer computing applications (separate client & server Framework). For more informations take a look at the project page http://jadif.sourceforge.net

Dream Machine Preservation Project is a project with the goal to create a software emulator for the Amiga computer on the Java Virtual Machine.

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.

It is a supplement of version control system to support software development. It helps programmers to track personal working time spending on source files, and to easily find experienced people who may help you to comprehend certain code fragment.

ROMA want to change the way to do Web Applications. It's a Java framework totally POJO based and designed with the concepts taken from Ruby On Rails. The current release is full working and allows to build Ajax Web Apps with database and CRUD in minutes

OpenSoul Metamodeler is a MOF 1.4 based metamodeling tool. It is built on Enki repository (originaly Netbeans MDR) and JGraph component.

NOTE: This project is not actively maintained at the moment. If you'd like to continue developing Jacareto, please send an e-mail to: wikipedian@users.sf.net Jacareto is a capture & replay tool for programs written in Java. You can capture actions on applications and replay them later on (like macros). Jacareto can be used for GUI tests, the creation of animated demonstrations, and analyses of user behavior.

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.