Search Results for "research"

Ahp Software Created by : Mohamed Ali Khaskia Egypt - 2016 AHP Khaskia official version is a professional AHP AHP software. AHP Khaskia official version is powerful, convenient and easy to use. It supports the solution of AHP problems in decision-making and operational research, and automatically processes calculation results for you 1. AHP Khaskia has less analysis functions, so the operation is simple 2. A variety of decision analysis modes can be established in the first interface 3. Analysis can be performed on different targets in the calculation interface 4. It also supports the analysis of different criteria 5. ...

This framework supports a wide variety of model-based GUI testing techniques. The innovation lies in the architecture of GUITAR, which uses plug-ins to support flexibility and extensibility. Software developers and quality assurance engineers may use this architecture to create new toolchains, new workflows based on the toolchains, and plug in a variety of measurement tools to conduct GUI testing. More detail is presented in this publication: GUITAR: An Innovative Tool for Automated...

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)

The Project includes the TLA Language Package that defines the TLA+ language for VS 2005 IDE and the TLA Integration Package that adds menus in the VS 2005 IDE and assigns different functionalities to them.