PolyspaceForGPS 1.0

Date Added: August 17, 2013 | Visits: 222

Report Broken Link
Printer Friendly Version

Product Homepage
Download (47 downloads)

This is a very simple plug-in allowing to launch Polyspace for Ada or C++ on a selected file in GNAT Programming Studio IDE (GPS).As soon as you want to Polyspace a file in your current project, you can do that from GPS:* Verify a particular file before beginning a campaign of unit testing.* Then, allow to open results.

Requirements: No special requirements

Platforms: Matlab

Keyword: Beginning, Campaign, Current, Project, Results, Testing, Verify

Users rating: 0/10

License: Shareware

Size: 757.76 KB

USER REVIEWS

More Reviews or Write Review

POLYSPACEFORGPS RELATED

Simulation Games - American Political Science: Campaign Simulator 0.1 American Political Science: Campaign Simulator project is a statistically based political campaign simulation game. The Campaign Simulator is an attempt to statistically model and predict the outcome of an American presidential election....	30 MB
Network & Internet - Current 1.7.6 Current project is an open source implementation of a server to interact with the Up2date Agent shipped in Red Hat Linux. Everything is implemented for a basic, anonymous only system. We are working to extend support for non-anonymous (fully...	204.8 KB
Programming - Project Source Tracker 1.1 Project Source Tracker - A plug-in for Microsoft Visual C++ 6.0 used to collect various statistical information on the current project. Project Source Tracker will answer the following questions for you: - How often and much do you work? - What...	545 KB
Programming - lbDMF 1.0.4 RC 1 That was not the intention as of the beginning of this project. The beginning was a circumstance that a commercial development tool has been discontinued and I was confronted with the following problem: What do I with my old code and what do I if...	13.37 MB
Development Tools - RTH - Requirements and Testing Hub 1.7.2 One of the features of RTH - Requirements and Testing Hub:To implement bug fixsAnd the current status and Demo (Live) system is only for testing of RTH.	5.36 MB
Networking - Search Engine query in WordPress 1.2.5 The widget aim is trying to reduce the bounce rate of your blog and provide the visitor a better navigation experience.When a visitor lands on your site from a search engine result page, he is in need of a certain information / service your page...	10 KB
Automation Tools - Testing Anywhere 9.3 Testing Anywhere is powerful, no-programming-required software that lets you record, edit, and run test cases-no matter how complex-in record time, enabling your team to focus on more thorough, comprehensive testing. Using Testing Anywhere's...	149.7 MB
Arcade Style Games - The Pycadia Project 0.5.1 The Pycadia Project is a Vector-based games written in Python. The Pycadia Project is home to vector gaming, python style. Current project members are SpaceWarpy (a clone of the classic "SpaceWar") and Vektoroids (an Asteroids clone). The...	97.28 KB
Business - A VIP Project Tracking Solution 3.52 VIP Project Tracking Solution is a professional client/server software for task tracking.It is full-featured project management tool which combines a project organizer, planner, tracker, notepad and reminder in one powerful application. It lets...	24.06 MB
Programming - Project Pisces 1.2.2 Pisces is an innovative open source JUnit extension which adds functionality to JUnit but does not require any changes to the way you currently use it. Pisces lets you write test suites composed of several JUnit tests which can run on remote...	64.51 KB

NEW DOWNLOADS IN SCRIPTS, DEVELOPMENT TOOLS

Scripts - Freelancer Script 5.05 Main Features: 100% Secured. Email Support (3 Years). FREE Updates (3 Years). Post projects. Featured projects. Private projects. Sealed projects. Edit/delete projects. Select freelancers....	5.49 MB
Scripts - B2B Script 4.20 Main Features: 100% Secured. Email Support (3 Years). FREE Updates (3 Years). Sign-up Account (Registration of account). Lead generation tools (for the sellers). Email verification to...	5.49 MB
Scripts - B2C Script 5.06 Main Features: 100% Secured. Email Support (3 Years). FREE Updates (3 Years). The script comes with totally editable site colors, icons and graphics Multilevel categories allows extensive browsing Admin can change Category ordering or...	5.49 MB
Scripts - Social Networking Script 2.86 Main Features: 100% Secured. Email Support (3 Years). FREE Updates (3 Years). Registration with name, email, password, date of birth etc. User can add multiple school, college, university with start...	5.49 MB
Scripts - Business Networking Script 8.04 Main Features: 100% Secured. Email Support (3 Years). FREE Updates (3 Years). Ajax based interface. Profile creation. Different types of profile. Profile for jobseekers, employers and employed...	5.49 MB
Development Tools - Aml2CHM 3.50 Those who use the popular Aml Pages text editor might be looking out for a way of generating help files from their text and notes. Aml2CHM is a plug-in that was developed to offer people a quick and efficient way of converting Aml Pages documents...	549.99 KB
Development Tools - VMP Viewer 1.0 This is a very rudimentary tool to visualize the VMP files generated by BrainVoyager. Useful to share files with people who do not have BV.	10 KB
Development Tools - Sending reports and timestamped file by emailing 1.0 main executing reference usage:[1] usage_send_mail.mIllustrates email sending with multiple separate files or single timestamped tar file. Attachment failure is properly handled, with continuation of report emailing without the attachment.[2]...	768 KB
Development Tools - IrisMVC 2.0 rc1 IrisMVC is an OOP PHP framework that developers can use as a strong and secure foundation to build on various web applications following the Model-View-Controller (MVC) pattern. It provides the basic functionality developers need, without...	51.2 KB
Development Tools - 7-Zip for Script 4.42 7-Zip is a file archiver with a high compression ratio.Features:- High compression ratio in new 7z format with LZMA compression- Supported formats:- Packing / unpacking: 7z, ZIP, GZIP, BZIP2 and TAR- Unpacking only: RAR, CAB, ISO, ARJ, LZH, CHM,...	624.64 KB

Windows Software	BeOS Software
Macintosh Software	Linux Software
PDA Software	OS/2 Software
Mobile Software	Scripts