CROSS

An Infrastructure for Certification and Re-engineering of Open Source Software
View   r14  >  r13  >  r12  >  r11  >  r10  ...

CrossCafe 14 - 29 Jun 2011 - Main.MariaJoaoFrade
Line: 1 to 1
 

CROSS Café

Wednesdays at 14:30 in the DI meeting room
Line: 39 to 39
 
Wed, 11 Nov, 2009 at 14:30
GUISurfer as a starting point for CROSS Task 3 (slides)
João Carlos Silva
Changed:
<
<
Correctness of GUI’s code is essential to the correct execution of the overall software. Models can help in the evaluation of interactive applications by allowing designers to concentrate on its more important aspects. This talk presents a generic approach for language-independent reverse engineering of graphical user interface based applications. It explores the integration of testing techniques in the proposed approach, thus allowin fogr the detection of faults in the GUI under analysis. A prototype tool has been constructed (GUISurfer), which is already capable of deriving and testing a user interface behavioral model of applications written in Java/Swing and WxHaskell? .
>
>
Correctness of GUI’s code is essential to the correct execution of the overall software. Models can help in the evaluation of interactive applications by allowing designers to concentrate on its more important aspects. This talk presents a generic approach for language-independent reverse engineering of graphical user interface based applications. It explores the integration of testing techniques in the proposed approach, thus allowin fogr the detection of faults in the GUI under analysis. A prototype tool has been constructed (GUISurfer), which is already capable of deriving and testing a user interface behavioral model of applications written in Java/Swing and WxHaskell.
 

CrossCafe 13 - 16 Jan 2011 - Main.MariaJoaoFrade
Line: 1 to 1
 

CROSS Café

Wednesdays at 14:30 in the DI meeting room
Line: 20 to 20
 

Past talks

Tue, 11 Jan, 2011 at 14:30
Changed:
<
<
Information Discovering and Sharing
>
>
Information Discovering and Sharing (slides)
 
Nuno Carvalho

Tue, 30 Nov, 2010 at 14:30
Line: 46 to 46
 

META FILEATTACHMENT attachment="slides-11Nov2009.pdf" attr="h" comment="Palestra de João Carlos Silva" date="1258126086" name="slides-11Nov2009.pdf" path="slides-11Nov2009.pdf" size="577513" stream="slides-11Nov2009.pdf" user="Main.MariaJoaoFrade" version="1"
Added:
>
>
META FILEATTACHMENT attachment="Information_Discovery_and_Sharing.pdf" attr="h" comment="Palestra do Nuno Carvalho" date="1295218203" name="Information_Discovery_and_Sharing.pdf" path="Information_Discovery_and_Sharing.pdf" size="1310826" stream="Information_Discovery_and_Sharing.pdf" user="Main.MariaJoaoFrade" version="1"

CrossCafe 12 - 16 Jan 2011 - Main.MariaJoaoFrade
Line: 1 to 1
 

CROSS Café

Wednesdays at 14:30 in the DI meeting room
Line: 19 to 19
 

Past talks

Added:
>
>
Tue, 11 Jan, 2011 at 14:30
Information Discovering and Sharing
Nuno Carvalho
 
Tue, 30 Nov, 2010 at 14:30
Quality Assessment of Java Source Code
Miguel Veiga

CrossCafe 11 - 02 Dec 2010 - Main.MariaJoaoFrade
Line: 1 to 1
 

CROSS Café

Wednesdays at 14:30 in the DI meeting room
Line: 14 to 14
 

Upcoming talks

Added:
>
>
None at the moment.

Past talks

 
Tue, 30 Nov, 2010 at 14:30
Quality Assessment of Java Source Code
Miguel Veiga
Software quality assessment is a crucial process in software development. To evaluate source code quality it is essential to use tools that help to analyse the code in its different aspects. Sonar is an open source tool used to analyse and manage source code quality. In this talk will we present a Sonar plugin (the TreeCycle) for design qual- ity assessment of Java programs. The TreeCycle plugin represents the dependencies between packages in a tree graph highlighting it’s dependency cycles. Moreover, for each package it represents in a graphical way the results of a suite of metrics for object-oriented design. This plugin provides an overall picture of the design quality of Java projects. We will make a concise presentation of the Sonar platform. We will also briefly describe the ISO/IEC 9126 model for software product quality and the main suites of object-oriented design metrics that are use in the plugin.
Deleted:
<
<

Past talks

 
Wed, 13 Jan, 2010 at 14:30
GamaSlicer: an online laboratory for program verification and analysis
Daniela Cruz

CrossCafe 10 - 17 Nov 2010 - Main.MariaJoaoFrade
Line: 1 to 1
 

CROSS Café

Wednesdays at 14:30 in the DI meeting room
Line: 14 to 14
 

Upcoming talks

Changed:
<
<
None at the moment.
>
>
Tue, 30 Nov, 2010 at 14:30
Quality Assessment of Java Source Code
Miguel Veiga
Software quality assessment is a crucial process in software development. To evaluate source code quality it is essential to use tools that help to analyse the code in its different aspects. Sonar is an open source tool used to analyse and manage source code quality. In this talk will we present a Sonar plugin (the TreeCycle) for design qual- ity assessment of Java programs. The TreeCycle plugin represents the dependencies between packages in a tree graph highlighting it’s dependency cycles. Moreover, for each package it represents in a graphical way the results of a suite of metrics for object-oriented design. This plugin provides an overall picture of the design quality of Java projects. We will make a concise presentation of the Sonar platform. We will also briefly describe the ISO/IEC 9126 model for software product quality and the main suites of object-oriented design metrics that are use in the plugin.
 

Past talks


CrossCafe 9 - 13 Jan 2010 - Main.MariaJoaoFrade
Line: 1 to 1
 

CROSS Café

Wednesdays at 14:30 in the DI meeting room
Line: 14 to 14
 

Upcoming talks

Added:
>
>
None at the moment.

Past talks

 
Wed, 13 Jan, 2010 at 14:30
GamaSlicer: an online laboratory for program verification and analysis
Daniela Cruz
Line: 21 to 25
 
Deleted:
<
<

Past talks

 
Wed, 11 Nov, 2009 at 14:30
GUISurfer as a starting point for CROSS Task 3 (slides)
João Carlos Silva

CrossCafe 8 - 15 Dec 2009 - Main.MariaJoaoFrade
Line: 1 to 1
 

CROSS Café

Wednesdays at 14:30 in the DI meeting room
Line: 14 to 14
 

Upcoming talks

Changed:
<
<
Wed, 16 Dez, 2009 at 14:30
>
>
Wed, 13 Jan, 2010 at 14:30
 
GamaSlicer: an online laboratory for program verification and analysis
Daniela Cruz
In the context of Software Engineering, Program Verification is a valuable area for program development, as is Program Analysis for program maintenance, but both should be effective. In this talk, we present a tool (GamaSlicer) that is two fold: a Verification Condition Generator and a Slicer. On one hand, it generates a set of proof obligations for a software component annotated with pre and postconditions (written in Java+JML). Generating such proof obligations in the SMT-lib language, we enable the use of different automatic provers (e.g. Z3, Alt-Ergo, CVC3, etc). The tool allows the execution step-by-step of the VCGen algorithm; it is particularly useful for teaching Program Verification. On the other hand, a set of slicing algorithms can be applied to the same annotated software component, for program analysis. These slicing algorithms take the annotations of a component into account to remove spurious code that does not contribute to the contract verification. In addition to pre and postcondition based slicing algorithms, the tool implements a new approach to specification-based slicing, that considers both preconditions and postconditions. This is a novelty of our work at the theoretical level, and in fact other current work at this level is being progressively incorporated in the tool. GamaSlicer is a module of GamaProject that also includes GamaViz, another tool to help program analysis; GamaProject will also be outlined.

CrossCafe 7 - 14 Dec 2009 - Main.MariaJoaoFrade
Line: 1 to 1
 

CROSS Café

Wednesdays at 14:30 in the DI meeting room
Line: 15 to 15
 

Upcoming talks

Wed, 16 Dez, 2009 at 14:30
Changed:
<
<
to be announced
>
>
GamaSlicer: an online laboratory for program verification and analysis
 
Daniela Cruz
Added:
>
>
In the context of Software Engineering, Program Verification is a valuable area for program development, as is Program Analysis for program maintenance, but both should be effective. In this talk, we present a tool (GamaSlicer) that is two fold: a Verification Condition Generator and a Slicer. On one hand, it generates a set of proof obligations for a software component annotated with pre and postconditions (written in Java+JML). Generating such proof obligations in the SMT-lib language, we enable the use of different automatic provers (e.g. Z3, Alt-Ergo, CVC3, etc). The tool allows the execution step-by-step of the VCGen algorithm; it is particularly useful for teaching Program Verification. On the other hand, a set of slicing algorithms can be applied to the same annotated software component, for program analysis. These slicing algorithms take the annotations of a component into account to remove spurious code that does not contribute to the contract verification. In addition to pre and postcondition based slicing algorithms, the tool implements a new approach to specification-based slicing, that considers both preconditions and postconditions. This is a novelty of our work at the theoretical level, and in fact other current work at this level is being progressively incorporated in the tool. GamaSlicer is a module of GamaProject that also includes GamaViz, another tool to help program analysis; GamaProject will also be outlined.
 

Past talks


CrossCafe 6 - 01 Dec 2009 - Main.MariaJoaoFrade
Line: 1 to 1
Deleted:
<
<
META TOPICPARENT name="CrossCafe"
 

CROSS Café

Wednesdays at 14:30 in the DI meeting room
Line: 15 to 14
 

Upcoming talks

Changed:
<
<
Wed, 9 Dez, 2009 at 14:30
>
>
Wed, 16 Dez, 2009 at 14:30
 
to be announced
Daniela Cruz

CrossCafe 5 - 13 Nov 2009 - Main.MariaJoaoFrade
Line: 1 to 1
Added:
>
>
META TOPICPARENT name="CrossCafe"
 

CROSS Café

Wednesdays at 14:30 in the DI meeting room
Line: 22 to 23
 

Past talks

Wed, 11 Nov, 2009 at 14:30
Changed:
<
<
GUISurfer as a starting point for CROSS Task 3
>
>
GUISurfer as a starting point for CROSS Task 3 (slides)
 
João Carlos Silva
Correctness of GUI’s code is essential to the correct execution of the overall software. Models can help in the evaluation of interactive applications by allowing designers to concentrate on its more important aspects. This talk presents a generic approach for language-independent reverse engineering of graphical user interface based applications. It explores the integration of testing techniques in the proposed approach, thus allowin fogr the detection of faults in the GUI under analysis. A prototype tool has been constructed (GUISurfer), which is already capable of deriving and testing a user interface behavioral model of applications written in Java/Swing and WxHaskell? .

Added:
>
>
META FILEATTACHMENT attachment="slides-11Nov2009.pdf" attr="h" comment="Palestra de João Carlos Silva" date="1258126086" name="slides-11Nov2009.pdf" path="slides-11Nov2009.pdf" size="577513" stream="slides-11Nov2009.pdf" user="Main.MariaJoaoFrade" version="1"

CrossCafe 4 - 12 Nov 2009 - Main.MariaJoaoFrade
Line: 1 to 1
 

CROSS Café

Wednesdays at 14:30 in the DI meeting room
Line: 14 to 14
 

Upcoming talks

Changed:
<
<
Wed, 11 Nov, 2009 at 14:30
GUISurfer as a starting point for CROSS Task 3
João Carlos Silva
Correctness of GUI’s code is essential to the correct execution of the overall software. Models can help in the evaluation of interactive applications by allowing designers to concentrate on its more important aspects. This talk presents a generic approach for language-independent reverse engineering of graphical user interface based applications. It explores the integration of testing techniques in the proposed approach, thus allowin fogr the detection of faults in the GUI under analysis. A prototype tool has been constructed (GUISurfer), which is already capable of deriving and testing a user interface behavioral model of applications written in Java/Swing and WxHaskell? .
>
>
Wed, 9 Dez, 2009 at 14:30
to be announced
Daniela Cruz
 

Past talks

Changed:
<
<
None at the moment.
>
>
Wed, 11 Nov, 2009 at 14:30
GUISurfer as a starting point for CROSS Task 3
João Carlos Silva
Correctness of GUI’s code is essential to the correct execution of the overall software. Models can help in the evaluation of interactive applications by allowing designers to concentrate on its more important aspects. This talk presents a generic approach for language-independent reverse engineering of graphical user interface based applications. It explores the integration of testing techniques in the proposed approach, thus allowin fogr the detection of faults in the GUI under analysis. A prototype tool has been constructed (GUISurfer), which is already capable of deriving and testing a user interface behavioral model of applications written in Java/Swing and WxHaskell? .
 
Deleted:
<
<
-- MariaJoaoFrade - 06 Nov 2009
 

CrossCafe 3 - 10 Nov 2009 - Main.MariaJoaoFrade
Line: 1 to 1
 

CROSS Café

Wednesdays at 14:30 in the DI meeting room
Line: 16 to 16
 
Wed, 11 Nov, 2009 at 14:30
GUISurfer as a starting point for CROSS Task 3
Changed:
<
<
João Paulo Silva
>
>
João Carlos Silva
 
Correctness of GUI’s code is essential to the correct execution of the overall software. Models can help in the evaluation of interactive applications by allowing designers to concentrate on its more important aspects. This talk presents a generic approach for language-independent reverse engineering of graphical user interface based applications. It explores the integration of testing techniques in the proposed approach, thus allowin fogr the detection of faults in the GUI under analysis. A prototype tool has been constructed (GUISurfer), which is already capable of deriving and testing a user interface behavioral model of applications written in Java/Swing and WxHaskell? .

CrossCafe 2 - 06 Nov 2009 - Main.JoseCampos
Line: 1 to 1
 

CROSS Café

Wednesdays at 14:30 in the DI meeting room
Line: 15 to 15
 

Upcoming talks

Wed, 11 Nov, 2009 at 14:30
Changed:
<
<
EGUISurfer as a starting point for CROSS Task
>
>
GUISurfer as a starting point for CROSS Task 3
 
João Paulo Silva
Correctness of GUI’s code is essential to the correct execution of the overall software. Models can help in the evaluation of interactive applications by allowing designers to concentrate on its more important aspects. This talk presents a generic approach for language-independent reverse engineering of graphical user interface based applications. It explores the integration of testing techniques in the proposed approach, thus allowin fogr the detection of faults in the GUI under analysis. A prototype tool has been constructed (GUISurfer), which is already capable of deriving and testing a user interface behavioral model of applications written in Java/Swing and WxHaskell? .

CrossCafe 1 - 06 Nov 2009 - Main.MariaJoaoFrade
Line: 1 to 1
Added:
>
>

CROSS Café

Wednesdays at 14:30 in the DI meeting room

The CROSS Café is a monthly scientific colloquium organized by the CROSS project.

Moderator: Maria João Frade.

Attendance is open to all.

If you would like to contribute a talk, please contact the moderator.

Upcoming talks

Wed, 11 Nov, 2009 at 14:30
EGUISurfer as a starting point for CROSS Task
João Paulo Silva
Correctness of GUI’s code is essential to the correct execution of the overall software. Models can help in the evaluation of interactive applications by allowing designers to concentrate on its more important aspects. This talk presents a generic approach for language-independent reverse engineering of graphical user interface based applications. It explores the integration of testing techniques in the proposed approach, thus allowin fogr the detection of faults in the GUI under analysis. A prototype tool has been constructed (GUISurfer), which is already capable of deriving and testing a user interface behavioral model of applications written in Java/Swing and WxHaskell? .

Past talks

None at the moment.

-- MariaJoaoFrade - 06 Nov 2009


Revision 14r14 - 29 Jun 2011 - 17:00:58 - MariaJoaoFrade
Revision 13r13 - 16 Jan 2011 - 22:52:20 - MariaJoaoFrade
Revision 12r12 - 16 Jan 2011 - 20:15:17 - MariaJoaoFrade
Revision 11r11 - 02 Dec 2010 - 19:06:43 - MariaJoaoFrade
Revision 10r10 - 17 Nov 2010 - 13:58:42 - MariaJoaoFrade
Revision 9r9 - 13 Jan 2010 - 16:30:10 - MariaJoaoFrade
Revision 8r8 - 15 Dec 2009 - 19:17:42 - MariaJoaoFrade
Revision 7r7 - 14 Dec 2009 - 15:11:17 - MariaJoaoFrade
Revision 6r6 - 01 Dec 2009 - 23:04:10 - MariaJoaoFrade
Revision 5r5 - 13 Nov 2009 - 15:37:05 - MariaJoaoFrade
Revision 4r4 - 12 Nov 2009 - 19:57:00 - MariaJoaoFrade
Revision 3r3 - 10 Nov 2009 - 00:25:43 - MariaJoaoFrade
Revision 2r2 - 06 Nov 2009 - 14:43:52 - JoseCampos
Revision 1r1 - 06 Nov 2009 - 12:39:31 - MariaJoaoFrade
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM