Rank: 2692 based on 22 downloads (last 30 days) and 7 files submitted
photo

Christian Bard

E-mail
Company/University
The MathWorks

Personal Profile:
Professional Interests:
Polyspace products

 

Watch this Author's files

 

Files Posted by Christian View all
  • 1 - 5 of
  • 7
Updated   File Tags Downloads
(last 30 days) 		Comments Rating
09 Nov 2012 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, coding rules, absence, formal method, comment density, formal proof 11 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 polyspace, setup, compilation, polyspace compiler te..., embedded code, polyspace templates 5 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 ... 3 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 batch, polyspace batch, batch download, launch, templates, scripts 1 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... 2 0
Comments and Ratings on Christian's Files View all
  • 1 - 3 of
  • 3
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 Groenewold, Rainer

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 Schlosser, Joachim

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 Kalincsak, Ferenc

There is a mistake in RemoteClassbyclassLaunch.sh file.
"$PRODUCT/bin/polyspace-remote-desktop-cpp" should be written instead of "$PRODUCT/bin/polyspace-desktop-cpp".
Top Tags Applied by Christian
  • 1 - 5 of
  • 63
polyspace, templates, utility, absence, aerospace
Files Tagged by Christian View all
  • 1 - 5 of
  • 7
Updated   File Tags Downloads
(last 30 days) 		Comments Rating
09 Nov 2012 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, coding rules, absence, formal method, comment density, formal proof 11 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 polyspace, setup, compilation, polyspace compiler te..., embedded code, polyspace templates 5 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 ... 3 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 batch, polyspace batch, batch download, launch, templates, scripts 1 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... 2 0

Contact us