Search Results for "computer-aided software engineering"

To give users the full control over the running application. This means that an application is working according to its purpose but the control over the whole interface is taken from developer and given to users. While an application is running, users can move, resize, and tune all the screen objects through which the communication with an application is going. Set of files includes the book (both in DOC and PDF formats), a big demonstration project with all its files available (all the...

HiPS tool is developed at the Department of Computer Science and Engineering, Shinshu University, which is a tool design and analysis of Petri nets, developed using Microsoft Visual C # and C++. HiPS tool has a way of intuitive GUI which enable hierarchical and/or timed-net design. HiPS tool has also functions of static/dynamic analysis : T-invariant detection, Reachability path analysis, deadlock state detection, and k-boundedness analysis.

You can develop your own database applications with this program. In addition, the program itself writes and compiles C# codes without the need for you to write code. You can see the codes and other project files in the project folder.

The Object-Role Modeling (ORM) standard version 2, associated schemas and generation tools, and a reference implementation in the form of the Natural Object-Role Modeling Architect for Visual Studio (NORMA) product.

All-in-one software for desing single skin paragliders like Ozone XXLite. Allow to modify wing shape, profile, settings. Allow to print sew templates with scale 1:1 in A4 or other small printer's formats. Export sew templates to DXF. Main code writen in Javascript, GUI writen in Visual C# 2010 Express.

Our project was born from the idea of creating gravitational fields near the visual controllers in a given application.In case of cursor “braking” near the controllers, gravitational fields are formed and become active, aiding and improving the correct placement and selection of the desired controller. All this process doesn’t put any restriction in free cursor movements: the fields are activated only in case of cursor braking near a predefined control. No unwanted interrelations or...

The Object Conversion Library aims to provide developers with a baseline template for object conversion. The library can included to a project to allow a developer to build specific object conversion features. A more detailed explanation can be found in the documentation section of the repository.

This project is attempting to create an maintain a public implementation of the Active Record pattern, to be used with ESRI products, coded using ArcObjects and C# 3.5.

CASE tool

BANAL - Banal And Not A Language. A prototyping notation compatible with Java and C# (via the largest possible common footprint between the two).

The VSR is a repository of tools and challenges in verification (see for example epubs.cclrc.ac.uk/work-details?w=33971). It is part of the international grand challenge on software verification (eg http://vstte.ethz.ch/pdfs/vstte-hoare-misra.pdf)

*** This tool has been superseded by ".Net Architecture Checker" at https://sourceforge.net/projects/dotnetarchitect/ ***. (ILDASM-Dependency Checker checks code dependencies in .Net projects to ensure a stable architecture).

The tool uses reverse engineering to build UML diagrams for C# project. It automates the displaying of connections between objects and provides convenient synchronization of code and diagrams.

A minimalistic CASE tool that will allow end-users to analyze their graphs (plain-old graphs, UML diagrams, ERDs, etc.) by applying various graph theory functions to them (such as a shortest path algorithm or a spanning tree algorithm.)

Group project to develop a campground reservation system as part of a Software Engineering class requirement.