Encontrados 15 documentos, a visualizar página 1 de 2
Partial correctness and continuous integration in computer supported education
Fonte, Daniela; Vilas Boas, Ismael; Oliveira, Nuno; Cruz, Daniela da; Gançarsky, Alda Lopes; Henriques, Pedro RangelIn this paper we support the idea that students and teachers will benefit from a computer-based system that assesses programming exercises and provide immediate and detailed feedback: students would be able to evolve in the right direction and teachers would follow and assess more fairly their students. This assessment should outperform the typical right/wrong evaluation returned by existing tools, allowing for...
Assertion-based slicing and slice graphs
Barros, José Bernardo; Cruz, Daniela da; Henriques, Pedro Rangel; Pinto, Jorge SousaThis paper revisits the idea of slicing programs based on their axiomatic semantics, rather than using criteria based on control/data dependencies. We show how the forward propagation of preconditions and the backward propagation of postconditions can be combined in a new slicing algorithm that is more precise than the existing specification-based algorithms. The algorithm is based on (i) a precise test for re...
Contract-based slicing helps on safety reuse
Areias, Sérgio; Cruz, Daniela da; Pinto, Jorge SousaIn this poster we describe a work in progress aimed at using a variant of specification-based slicing to improve the reuse of annotated software components, developed under the so called design-by-contract approach. We have named this variant as contract-based because we use the annotations, more precisely the pre and post-conditions, to slice programs intra and inter-procedures. The idea, expressed in the post...
Parser generation in Perl : crafting an AnTLR back-end
Areias, Hugo; Simões, Alberto; Henriques, Pedro Rangel; Cruz, Daniela daCompletely convinced of the benefits of Perl for the implementation of language processors and after doing a deep review of the state of the art on parser generation in Perl, we have identified a clear need for a powerful tool that accepts attribute grammars and builds compilers in Perl. The ob jective of this paper is to present a solution based on the developing of a back-end for ANTLR to generate attribute bas...
GammaPolarSlicer
Areias, Sérgio; Cruz, Daniela da; Rangel Henriques, Pedro Rangel; Pinto, Jorge SousaIn software development, it is often desirable to reuse existing software components. This has been recognized since 1968, when Douglas Mcllroy of Bell Laboratories proposed basing the software industry on reuse. Despite the failures in practice, many efforts have been made to make this idea successful. In this context, we address the problem of reusing annotated components as a rigorous way of assuring the qua...
A visual inspector for Boogie programs
Coelho, Márcio; Cruz, Daniela da; Henriques, Pedro Rangel; Pinto, Jorge SousaDesign-by-Contract is an approach that allows a program- mer to specify the expected behavior of a component by means of pre- conditions, postconditions and invariants. These annotations (or logical assertions that complement the code) can be seen as a form of enriched software documentation and they can be used to verify that a program is correct with respect to its contracts. Boogie is an intermediate verific...
Verification, slicing, and visualization of programs with contracts
Cruz, Daniela daTese de doutoramento em Informática (área de especialização em Ciências da Computação) ; As a specification carries out relevant information concerning the behaviour of a program, why not explore this fact to slice a program in a semantic sense aiming at optimizing it or easing its verification? It was this idea that Comuzzi, in 1996, introduced with the notion of postcondition-based slicing ; slice a program...
XATA 2010 XML : associated technologies and applications
Simões, Alberto; Cruz, Daniela da; Ramalho, José CarlosThese are the proceedings for the eighth national conference on XML, its Associated Technologies and its Applications (XATA'2010). The paper selection resulted in 33% of papers accepted as full papers, and 33% of papers accepted as short papers. While these two types of papers were distinguish during the conference, and they had different talk duration, they all had the same limit of 12 pages. We are happy th...
Contract-based slicing
Cruz, Daniela da; Henriques, Pedro Rangel; Pinto, Jorge SousaIn the last years, the concern with the correctness of programs has been leading programmers to enrich their programs with annotations following the principles of design-by-contract, in order to be able to guarantee their correct behaviour and to facilitate reuse of verified components without having to reconstruct proofs of correctness. In this paper we adapt the idea of specification-based slicing to the scope...
Assertion-based slicing and slice graphs
Barros, José Bernardo; Cruz, Daniela da; Henriques, Pedro Rangel; Pinto, Jorge Sousa© 2010 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works. ; This paper revisits the ide...
| Financiadores do RCAAP | |||||||
|
|
|
|
|
|
||