Encontrados 50 documentos, a visualizar página 1 de 5
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...
Choosing grammars to support language processing courses
Pereira, Maria João; Oliveira, Nuno; Cruz, Daniela; Henriques, PedroTeaching Language Processing courses is a hard task. The level of abstraction inherent to some of the basic concepts in the area and the technical skills required to implement efficient processors are responsible for the number of students that do not learn the subject and do not succeed to finish the course. In this paper we intend to list the main concepts involved in Language Processing subject, and identify...
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...
Problem domain oriented approach for program comprehension
Pereira, Maria João; Berón, Mario; Cruz, Daniela; Oliveira, Nuno; Henriques, PedroThis paper is concerned with an ontology driven approach for Program Comprehension that starts picking up concepts from the problem domain ontology, analyzing source code and, after locating problem concepts in the code, goes up and links them to the programming language ontology. Different location techniques are used to search for concepts embedded in comments, in the code (identifier names and execution trac...
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...
A DSL for PIM specifications: design and attribute grammar based implementation
Lukovic, Ivan; Pereira, Maria João; Oliveira, Nuno; Cruz, Daniela; Henriques, PedroIIS*Case is a model driven software tool that provides information system modeling and prototype generation. It comprises visual and repository based tools for creating various platform independent model (PIM) specifications that are latter transformed into the other, platform specific specifications, and finally to executable programs. Apart from having PIMs stored as repository definitions, we need to have th...
| Financiadores do RCAAP | |||||||
|
|
|
|
|
|
||