Rank: 2304 based on 53 downloads (last 30 days) and 6 files submitted
photo

Christian Bard

E-mail
Company/University
The MathWorks

Personal Profile:

 

Watch this Author's files

 

Files Posted by Christian Bard View all
Updated   File Tags Downloads
(last 30 days)
Comments Rating
07 Nov 2014 Screenshot USING POLYSPACE® TO IMPLEMENT THE “SOFTWARE QUALITY OBJECTIVES FOR SOURCE CODE QUALITY” STANDARD This document defines a general and standard approach to measure the software quality. Author: Christian Bard quality, runtime error, absence, formal method, misra, formal proof 18 1
  • 5.0
5.0 | 1 rating
27 Apr 2012 Screenshot Polyspace Compiler Templates Polyspace Compiler template sets help at setup phase according to compiler and target Author: Christian Bard embedded code, setup, compilation, polyspace, polyspace templates, polyspace compiler te... 9 1
  • 4.0
4.0 | 1 rating
27 Mar 2012 Screenshot PolyspaceForGPS A very simple Polyspace Extension for AdaCore GPS Author: Christian Bard polyspace plugin gps ... 4 0
03 Jan 2012 Screenshot Polyspace Batch Templates This is a set of scripts allowing to launch verification in batch modules by modules. Author: Christian Bard polyspace, polyspace batch, scripts, templates, launch, batch download 10 1
  • 4.0
4.0 | 1 rating
08 Sep 2009 Post Preprocessing Templates post preprocessing scripts Author: Christian Bard polyspace, ppc, templates, pre processing, perl, postpreprocessingcomm... 4 0
Comments and Ratings by Christian Bard
Updated File Comments Rating
22 Jul 2014 Launch Polyspace from MATLAB A set of scripts to call Polyspace Bug Finder and Code Prover from MATLAB Author: Alex Debarros

Comments and Ratings on Christian Bard's Files View all
Updated File Comment by Comments Rating
16 Jul 2012 Polyspace Compiler Templates Polyspace Compiler template sets help at setup phase according to compiler and target Author: Christian Bard Rainer Groenewold

Usefull, when using Windows instaed of Linux-Server

06 Jul 2010 USING POLYSPACE® TO IMPLEMENT THE “SOFTWARE QUALITY OBJECTIVES FOR SOURCE CODE QUALITY” STANDARD This document defines a general and standard approach to measure the software quality. Author: Christian Bard Joachim Schlosser

Marvellous way to have a sound process for software quality improvement!

25 Jan 2008 Polyspace Batch Templates This is a set of scripts allowing to launch verification in batch modules by modules. Author: Christian Bard

There is a mistake in RemoteClassbyclassLaunch.sh file.
"$PRODUCT/bin/polyspace-remote-desktop-cpp" should be written instead of "$PRODUCT/bin/polyspace-desktop-cpp".

Contact us