CROSS

An Infrastructure for Certification and Re-engineering of Open Source Software
View   r20  >  r19  >  r18  >  r17  >  r16  ...

Tools 20 - 08 Jul 2013 - Main.MariaJoaoFrade
Line: 1 to 1
 
META TOPICPARENT name="Publications"

Tools

Line: 22 to 22
 gBMC: a generic Bounded Model Checking tool for a simple imperative language.
Changed:
<
<
W3DS: 3D geospatial information as a web service
>
>
Web 3D Service, available from GitHub: git://github.com/nmco/geoserver.git

Android based Virtual Globe, available from BitBucket git@bitbucket.org:jgrocha/osgearthandroid.git

 
META FILEATTACHMENT attachment="TreeCycle-1.0-SNAPSHOT.jar" attr="h" comment="TreeCycle v1.0 - Sonar plugin" date="1280477275" name="TreeCycle-1.0-SNAPSHOT.jar" path="TreeCycle-1.0-SNAPSHOT.jar" size="755486" stream="TreeCycle-1.0-SNAPSHOT.jar" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="treecycle-1.2.jar" attr="h" comment="" date="1288390292" name="treecycle-1.2.jar" path="treecycle-1.2.jar" size="666148" stream="treecycle-1.2.jar" user="Main.MariaJoaoFrade" version="1"

Tools 19 - 06 Jul 2013 - Main.MariaJoaoFrade
Line: 1 to 1
 
META TOPICPARENT name="Publications"

Tools

Line: 20 to 20
 ???: a tool for assessing quality of aspect MATLAB programs
Changed:
<
<
W3DS: 3D geospatial information as a web service
>
>
gBMC: a generic Bounded Model Checking tool for a simple imperative language.

W3DS: 3D geospatial information as a web service

 
META FILEATTACHMENT attachment="TreeCycle-1.0-SNAPSHOT.jar" attr="h" comment="TreeCycle v1.0 - Sonar plugin" date="1280477275" name="TreeCycle-1.0-SNAPSHOT.jar" path="TreeCycle-1.0-SNAPSHOT.jar" size="755486" stream="TreeCycle-1.0-SNAPSHOT.jar" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="treecycle-1.2.jar" attr="h" comment="" date="1288390292" name="treecycle-1.2.jar" path="treecycle-1.2.jar" size="666148" stream="treecycle-1.2.jar" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="VCGEN.hs" attr="h" comment="VCGen for Separation Logic" date="1351465574" name="VCGEN.hs" path="VCGEN.hs" size="19897" stream="VCGEN.hs" user="Main.MariaJoaoFrade" version="1"
Added:
>
>
META FILEATTACHMENT attachment="gbmc.zip" attr="h" comment="" date="1373117484" name="gbmc.zip" path="gbmc.zip" size="924335" stream="gbmc.zip" user="Main.MariaJoaoFrade" version="1"

Tools 18 - 05 Jul 2013 - Main.PedroRangelHenriques
Line: 1 to 1
 
META TOPICPARENT name="Publications"

Tools

Line: 6 to 6
 GUISurfer: A Reverse engineering tool for GUI code (Java/Swing, Java/GWT, WxHaskell)
Changed:
<
<
GamaSlicer: the heart of Gama Project, a VCGen, a Slicer, and a Visualizer for Annotated Programs developed under DbC approach
>
>
GamaSlicer: the heart of Gama Project, a VCGen, a Slicer, and a Visualizer for Annotated Programs developed under DbC approach
 
Changed:
<
<
GamaPolarSlicer: a Java+JML annotated-source code slicer and analyzer to check the preservation of contracts when methods are called (version 1)
>
>
GamaPolarSlicer: a Java+JML annotated-source code slicer and analyzer to check the preservation of contracts when methods are called (version 1)
 Darius: an environment for Comment Analysis and Concept Location

Tools 17 - 27 Jun 2013 - Main.MariaJoaoFrade
Line: 1 to 1
 
META TOPICPARENT name="Publications"

Tools

Line: 6 to 6
 GUISurfer: A Reverse engineering tool for GUI code (Java/Swing, Java/GWT, WxHaskell)
Changed:
<
<
GamaSlicer: the heart of Gama Project, a VCGen, a Slicer, and a Visualizer for Annotated Programs developed under DbC? approach
>
>
GamaSlicer: the heart of Gama Project, a VCGen, a Slicer, and a Visualizer for Annotated Programs developed under DbC approach
 GamaPolarSlicer: a Java+JML annotated-source code slicer and analyzer to check the preservation of contracts when methods are called (version 1)

Tools 16 - 24 Jun 2013 - Main.PedroRangelHenriques
Line: 1 to 1
 
META TOPICPARENT name="Publications"

Tools

Line: 6 to 6
 GUISurfer: A Reverse engineering tool for GUI code (Java/Swing, Java/GWT, WxHaskell)
Added:
>
>
GamaSlicer: the heart of Gama Project, a VCGen, a Slicer, and a Visualizer for Annotated Programs developed under DbC? approach
 GamaPolarSlicer: a Java+JML annotated-source code slicer and analyzer to check the preservation of contracts when methods are called (version 1)

Darius: an environment for Comment Analysis and Concept Location

Added:
>
>
BPa2aQRp: a simple web application capable of certifying the quality of Rails projects based on the Best Practices followed
 DMOSS: (under development) a toolkit for gathering information about software packages from documentation files

CoordPat: a tool for extracting coordination data from legacy code


Tools 15 - 28 Oct 2012 - Main.MariaJoaoFrade
Line: 1 to 1
 
META TOPICPARENT name="Publications"

Tools

Line: 20 to 20
 
META FILEATTACHMENT attachment="TreeCycle-1.0-SNAPSHOT.jar" attr="h" comment="TreeCycle v1.0 - Sonar plugin" date="1280477275" name="TreeCycle-1.0-SNAPSHOT.jar" path="TreeCycle-1.0-SNAPSHOT.jar" size="755486" stream="TreeCycle-1.0-SNAPSHOT.jar" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="treecycle-1.2.jar" attr="h" comment="" date="1288390292" name="treecycle-1.2.jar" path="treecycle-1.2.jar" size="666148" stream="treecycle-1.2.jar" user="Main.MariaJoaoFrade" version="1"
Added:
>
>
META FILEATTACHMENT attachment="VCGEN.hs" attr="h" comment="VCGen for Separation Logic" date="1351465574" name="VCGEN.hs" path="VCGEN.hs" size="19897" stream="VCGEN.hs" user="Main.MariaJoaoFrade" version="1"

Tools 14 - 13 Apr 2012 - Main.MariaJoaoFrade
Line: 1 to 1
 
META TOPICPARENT name="Publications"

Tools

Line: 16 to 16
 ???: a tool for assessing quality of aspect MATLAB programs
Added:
>
>
W3DS: 3D geospatial information as a web service
 
META FILEATTACHMENT attachment="TreeCycle-1.0-SNAPSHOT.jar" attr="h" comment="TreeCycle v1.0 - Sonar plugin" date="1280477275" name="TreeCycle-1.0-SNAPSHOT.jar" path="TreeCycle-1.0-SNAPSHOT.jar" size="755486" stream="TreeCycle-1.0-SNAPSHOT.jar" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="treecycle-1.2.jar" attr="h" comment="" date="1288390292" name="treecycle-1.2.jar" path="treecycle-1.2.jar" size="666148" stream="treecycle-1.2.jar" user="Main.MariaJoaoFrade" version="1"

Tools 13 - 11 Apr 2012 - Main.MariaJoaoFrade
Line: 1 to 1
 
META TOPICPARENT name="Publications"

Tools


Tools 12 - 11 Apr 2012 - Main.MariaJoaoFrade
Line: 1 to 1
 
META TOPICPARENT name="Publications"

Tools

Changed:
<
<
TreeCycle (version 1.0): a Sonar plugin for design quality assessment of Java programs
>
>
TreeCycle: a Sonar plugin for design quality assessment of Java programs (version 1.0) (version 1.2)
 
Changed:
<
<
TreeCycle (version 1.2): a Sonar plugin for design quality assessment of Java programs
>
>
GUISurfer: A Reverse engineering tool for GUI code (Java/Swing, Java/GWT, WxHaskell)
 
Changed:
<
<
GamaPolarSlicer (version 1): a Java+JML annotated-source code slicer and analyzer to check the preservation of contracts when methods are called
>
>
GamaPolarSlicer : a Java+JML annotated-source code slicer and analyzer to check the preservation of contracts when methods are called (version 1)
 Darius: an environment for Comment Analysis and Concept Location

DMOSS: (under development) a toolkit for gathering information about software packages from documentation files

Changed:
<
<
CoordPat
>
>
CoordPat: a tool for extracting coordination data from legacy code
 
Changed:
<
<
GUISurfer: A Reverse engineering tool for GUI code (Java/Swing, Java/GWT, WxHaskell)
>
>
???: a tool for assessing quality of aspect MATLAB programs
 
META FILEATTACHMENT attachment="TreeCycle-1.0-SNAPSHOT.jar" attr="h" comment="TreeCycle v1.0 - Sonar plugin" date="1280477275" name="TreeCycle-1.0-SNAPSHOT.jar" path="TreeCycle-1.0-SNAPSHOT.jar" size="755486" stream="TreeCycle-1.0-SNAPSHOT.jar" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="treecycle-1.2.jar" attr="h" comment="" date="1288390292" name="treecycle-1.2.jar" path="treecycle-1.2.jar" size="666148" stream="treecycle-1.2.jar" user="Main.MariaJoaoFrade" version="1"

Tools 11 - 11 Apr 2012 - Main.JoseCampos
Line: 1 to 1
 
META TOPICPARENT name="Publications"

Tools

Line: 14 to 14
 CoordPat
Added:
>
>
GUISurfer: A Reverse engineering tool for GUI code (Java/Swing, Java/GWT, WxHaskell)
 
META FILEATTACHMENT attachment="TreeCycle-1.0-SNAPSHOT.jar" attr="h" comment="TreeCycle v1.0 - Sonar plugin" date="1280477275" name="TreeCycle-1.0-SNAPSHOT.jar" path="TreeCycle-1.0-SNAPSHOT.jar" size="755486" stream="TreeCycle-1.0-SNAPSHOT.jar" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="treecycle-1.2.jar" attr="h" comment="" date="1288390292" name="treecycle-1.2.jar" path="treecycle-1.2.jar" size="666148" stream="treecycle-1.2.jar" user="Main.MariaJoaoFrade" version="1"

Tools 10 - 09 Apr 2012 - Main.MariaJoaoFrade
Line: 1 to 1
 
META TOPICPARENT name="Publications"

Tools

Line: 12 to 12
 DMOSS: (under development) a toolkit for gathering information about software packages from documentation files
Added:
>
>
CoordPat
 
META FILEATTACHMENT attachment="TreeCycle-1.0-SNAPSHOT.jar" attr="h" comment="TreeCycle v1.0 - Sonar plugin" date="1280477275" name="TreeCycle-1.0-SNAPSHOT.jar" path="TreeCycle-1.0-SNAPSHOT.jar" size="755486" stream="TreeCycle-1.0-SNAPSHOT.jar" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="treecycle-1.2.jar" attr="h" comment="" date="1288390292" name="treecycle-1.2.jar" path="treecycle-1.2.jar" size="666148" stream="treecycle-1.2.jar" user="Main.MariaJoaoFrade" version="1"

Tools 9 - 15 Mar 2012 - Main.NunoCarvalho
Line: 1 to 1
 
META TOPICPARENT name="Publications"

Tools

Line: 10 to 10
 Darius: an environment for Comment Analysis and Concept Location
Added:
>
>
DMOSS: (under development) a toolkit for gathering information about software packages from documentation files
 
META FILEATTACHMENT attachment="TreeCycle-1.0-SNAPSHOT.jar" attr="h" comment="TreeCycle v1.0 - Sonar plugin" date="1280477275" name="TreeCycle-1.0-SNAPSHOT.jar" path="TreeCycle-1.0-SNAPSHOT.jar" size="755486" stream="TreeCycle-1.0-SNAPSHOT.jar" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="treecycle-1.2.jar" attr="h" comment="" date="1288390292" name="treecycle-1.2.jar" path="treecycle-1.2.jar" size="666148" stream="treecycle-1.2.jar" user="Main.MariaJoaoFrade" version="1"

Tools 8 - 23 Feb 2012 - Main.PedroRangelHenriques
Line: 1 to 1
 
META TOPICPARENT name="Publications"

Tools

Line: 8 to 8
 GamaPolarSlicer (version 1): a Java+JML annotated-source code slicer and analyzer to check the preservation of contracts when methods are called
Added:
>
>
Darius: an environment for Comment Analysis and Concept Location
 
META FILEATTACHMENT attachment="TreeCycle-1.0-SNAPSHOT.jar" attr="h" comment="TreeCycle v1.0 - Sonar plugin" date="1280477275" name="TreeCycle-1.0-SNAPSHOT.jar" path="TreeCycle-1.0-SNAPSHOT.jar" size="755486" stream="TreeCycle-1.0-SNAPSHOT.jar" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="treecycle-1.2.jar" attr="h" comment="" date="1288390292" name="treecycle-1.2.jar" path="treecycle-1.2.jar" size="666148" stream="treecycle-1.2.jar" user="Main.MariaJoaoFrade" version="1"

Tools 7 - 09 Mar 2011 - Main.PedroRangelHenriques
Line: 1 to 1
 
META TOPICPARENT name="Publications"

Tools

Line: 6 to 6
  TreeCycle (version 1.2): a Sonar plugin for design quality assessment of Java programs
Changed:
<
<
GamaPolarSlicer (version 1): a Java+JML annotated-source code slicer and analyzer to check the preservation of contracts when methods are called
>
>
GamaPolarSlicer (version 1): a Java+JML annotated-source code slicer and analyzer to check the preservation of contracts when methods are called
 
META FILEATTACHMENT attachment="TreeCycle-1.0-SNAPSHOT.jar" attr="h" comment="TreeCycle v1.0 - Sonar plugin" date="1280477275" name="TreeCycle-1.0-SNAPSHOT.jar" path="TreeCycle-1.0-SNAPSHOT.jar" size="755486" stream="TreeCycle-1.0-SNAPSHOT.jar" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="treecycle-1.2.jar" attr="h" comment="" date="1288390292" name="treecycle-1.2.jar" path="treecycle-1.2.jar" size="666148" stream="treecycle-1.2.jar" user="Main.MariaJoaoFrade" version="1"

Tools 6 - 29 Dec 2010 - Main.PedroRangelHenriques
Line: 1 to 1
 
META TOPICPARENT name="Publications"

Tools


Tools 5 - 07 Dec 2010 - Main.PedroRangelHenriques
Line: 1 to 1
 
META TOPICPARENT name="Publications"

Tools

Line: 6 to 6
  TreeCycle (version 1.2): a Sonar plugin for design quality assessment of Java programs
Added:
>
>
GamaPolarSlicer (version 1): a Java+JML annotated-source code slicer and analyzer to check the preservation of contracts when methods are called
 
META FILEATTACHMENT attachment="TreeCycle-1.0-SNAPSHOT.jar" attr="h" comment="TreeCycle v1.0 - Sonar plugin" date="1280477275" name="TreeCycle-1.0-SNAPSHOT.jar" path="TreeCycle-1.0-SNAPSHOT.jar" size="755486" stream="TreeCycle-1.0-SNAPSHOT.jar" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="treecycle-1.2.jar" attr="h" comment="" date="1288390292" name="treecycle-1.2.jar" path="treecycle-1.2.jar" size="666148" stream="treecycle-1.2.jar" user="Main.MariaJoaoFrade" version="1"

Tools 4 - 29 Oct 2010 - Main.MariaJoaoFrade
Line: 1 to 1
 
META TOPICPARENT name="Publications"

Tools

TreeCycle (version 1.0): a Sonar plugin for design quality assessment of Java programs

Added:
>
>
TreeCycle (version 1.2): a Sonar plugin for design quality assessment of Java programs
 
META FILEATTACHMENT attachment="TreeCycle-1.0-SNAPSHOT.jar" attr="h" comment="TreeCycle v1.0 - Sonar plugin" date="1280477275" name="TreeCycle-1.0-SNAPSHOT.jar" path="TreeCycle-1.0-SNAPSHOT.jar" size="755486" stream="TreeCycle-1.0-SNAPSHOT.jar" user="Main.MariaJoaoFrade" version="1"
Added:
>
>
META FILEATTACHMENT attachment="treecycle-1.2.jar" attr="h" comment="" date="1288390292" name="treecycle-1.2.jar" path="treecycle-1.2.jar" size="666148" stream="treecycle-1.2.jar" user="Main.MariaJoaoFrade" version="1"

Tools 3 - 30 Jul 2010 - Main.MariaJoaoFrade
Line: 1 to 1
 
META TOPICPARENT name="Publications"

Tools

\ No newline at end of file
Added:
>
>
TreeCycle (version 1.0): a Sonar plugin for design quality assessment of Java programs

META FILEATTACHMENT attachment="TreeCycle-1.0-SNAPSHOT.jar" attr="h" comment="TreeCycle v1.0 - Sonar plugin" date="1280477275" name="TreeCycle-1.0-SNAPSHOT.jar" path="TreeCycle-1.0-SNAPSHOT.jar" size="755486" stream="TreeCycle-1.0-SNAPSHOT.jar" user="Main.MariaJoaoFrade" version="1"

Tools 2 - 08 Oct 2009 - Main.MariaJoaoFrade
Line: 1 to 1
 
META TOPICPARENT name="Publications"
Deleted:
<
<

Tools

 \ No newline at end of file
Added:
>
>

Tools

 \ No newline at end of file

Tools 1 - 08 Oct 2009 - Main.MariaJoaoFrade
Line: 1 to 1
Added:
>
>
META TOPICPARENT name="Publications"

Tools


Revision 20r20 - 08 Jul 2013 - 09:41:16 - MariaJoaoFrade
Revision 19r19 - 06 Jul 2013 - 13:57:50 - MariaJoaoFrade
Revision 18r18 - 05 Jul 2013 - 11:05:04 - PedroRangelHenriques
Revision 17r17 - 27 Jun 2013 - 18:28:38 - MariaJoaoFrade
Revision 16r16 - 24 Jun 2013 - 20:08:15 - PedroRangelHenriques
Revision 15r15 - 28 Oct 2012 - 23:06:15 - MariaJoaoFrade
Revision 14r14 - 13 Apr 2012 - 14:15:17 - MariaJoaoFrade
Revision 13r13 - 11 Apr 2012 - 23:19:28 - MariaJoaoFrade
Revision 12r12 - 11 Apr 2012 - 12:05:09 - MariaJoaoFrade
Revision 11r11 - 11 Apr 2012 - 00:06:34 - JoseCampos
Revision 10r10 - 09 Apr 2012 - 22:02:43 - MariaJoaoFrade
Revision 9r9 - 15 Mar 2012 - 14:16:37 - NunoCarvalho
Revision 8r8 - 23 Feb 2012 - 12:21:50 - PedroRangelHenriques
Revision 7r7 - 09 Mar 2011 - 15:17:06 - PedroRangelHenriques
Revision 6r6 - 29 Dec 2010 - 10:51:50 - PedroRangelHenriques
Revision 5r5 - 07 Dec 2010 - 01:14:48 - PedroRangelHenriques
Revision 4r4 - 29 Oct 2010 - 22:11:32 - MariaJoaoFrade
Revision 3r3 - 30 Jul 2010 - 08:21:55 - MariaJoaoFrade
Revision 2r2 - 08 Oct 2009 - 17:22:34 - MariaJoaoFrade
Revision 1r1 - 08 Oct 2009 - 12:37:26 - MariaJoaoFrade
This site is powered by the TWiki collaboration platform Copyright by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM