Search Results for "computer-aided software engineering" - Page 2

In the tradition of Hilbert's program we create a formal correct (checkable by a proof verifier) but readable (like an ordinary LaTeX textbook) mathematical knowledge base which is freely accessible within the internet. Logic and set theory started.

Web-based editor for the Gateway Description Language (GDL).

Use Case Maker helps software developers to write organized use cases and to maintain related requirements.

To investigate, describe and develop methods and approaches to generating maps with computers. This is not another GIS project. This one is focused on how to develop programs which make useful end user maps and programs using map backgrounds.

RoboCup GameController is an open source software used in the RoboCup Humanoid League and the Standard Platform League. Referee commands are sent to the robots on the playing field via wireless network to reach a higher autonomy of the players.

Additional dictionary files for the NetBeans spellchecker.

Transliterator between any Language files - Map Fonts, Create Encoding Scheme, Input Phonetic, Indian, Roman, Tamil, Hindi, English, French, German, Spanish or Any World Language Keyboard. Ex: [Phonetic Input]-[Any World Language Output] or ViceVersa.

OmniHelp is a cross-platform, browser-independent, tri-pane help viewer built in pure JavaScript and CSS with HTML 4. Some functions (such as help embedding) may in the future be in Java, C, or C++; CSH is fully supported. All code is under the LGPL.

current build is now 12_8_11: Code reformulation, not only to improve/repair, but also to take into account libraries that I don't release (e.g., the applet one). The Jars are compiled under Sun Windows JVM 1.7.0_1.

Crow is a ASPICE PAM-compliant requirements management and control tool with a special focus on maintaining the bilateral traceability between artifacts (CRS, TRS, architecture, design, code and tests) and tracing the impact of software change requests.

ThManager is a tool for creating and visualizing knowledge organization models, such as thesauri, classification schemes, glosaries and other types of controlled vocabulary in SKOS format

JSeqUnit enhances Javadoc documentation with UML sequence diagrams that are generated with the help of JUnit tests. It uses JSeq to trace the execution of test executions. It supports re-engineering of components through improved reverse engineering of methods with the help of sequence diagrams.

A web design notation designed to be more lightweight than UML and to be understandable by those who do not come from a formal S/W Engineering background. The notation allows you to create a very high-level diagram (map) of a web-application.

WebGoo is the Internet browser was working from 1999 and was named as the first Net-M@X been changed its name to WebGoo and program development program has been programmed to open more than one location and shake the idea was basically add additional

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.

Guidance to tiinker a small balloon, able to fly by hot air, made from cheap materials. Complete and easy, for kids from ten years up and adults, Source: LaTeX-text & pencil drawings, to use as .ps or .pdf -file (to print) Still only in german.

RekZit is a requirement management web tool attempting to speed a system's requirement elicitation, documentation and management. Its main feature is the separation of template and information, presenting data in different ways to different people.

ILEDocs is a documentation tool which helps the software developers to document their programs in a convenient way similar to javadoc.

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.

ARREA (A Reasonable Requirements Engineering Application) is a simple yet powerful requirements management tool that uses arbitrary files to store information and Subversion to allow team collaboration. Its simple conventions make it suitable for much other purposes. In fact, for any document-oriented tasks focused on collaborative work and exhaustive change and traceability management. At its heart, ARREA provides a thin layer on top of SVN that allows it to be used as a powerful...

This project brings the following disciplines together: - Functional Safety according ISO°26262 - Automotive SPICE - Project Management - Requirements engineering - Open Source The build a powerful database structure for handling large projects.

Mindway is now a powful platform of browser,programed calcuating&extracting tool,simple editor.you can create a professional text based guide format(xdf) easily, and then everyone could know what&how to do next clearly.See also http://www.qvandi.com

CASE tool

Using internal names for windows, buttons, menu choices etc., this program automatically annotates tutorial sequence screenshots. Each instructor action generates a screenshot and corresponding descriptive natural language text. Program is in alpha.

GUI based VB.net line count program for multiple extensions. The count is executed by folder, not by individual files. Includes the option to create and save the count to an excel workbook. Counts are accurate for .cpp and .h file types.