Encontrados 77 documentos, a visualizar página 1 de 8
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...
Alfarrábio: adding value to an heterogeneous site collection
Almeida, José; Henriques, Pedro Rangel; Simões, Alberto; Rocha, Jorge GustavoAlfarrábio: adding value to an heterogeneous site collection
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...
Domain-Specific Language for Coordination patterns
Oliveira, Nuno; F. Rodrigues, Nuno; Henriques, Pedro RangelThe integration and composition of software systems requires a good architectural design phase to speed up communications between (remote) components. However, during implementation phase, the code to coordinate such components often ends up mixed in the main business code. This leads to maintenance problems, raising the need for, on the one hand, separating the coordination code from the business code, and on ...
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...
PFTL : a systematic approach for describing filesystem tree processors
Carvalho, Nuno; Simões, Alberto; Almeida, J. J.; Henriques, Pedro RangelToday, most developers prefer to store information in databases. But plain filesystems were used for years, and are still used, to store information, commonly in files of heterogeneous formats that are organized in directory trees. This approach is a very flexible and natural way to create hierarchical organized structures of documents. We can devise a formal notation to describe a filesystem tree structure, si...
Towards rigorous analysis of open source software
Barbosa, L. S.; Henriques, Pedro Rangel; Sanchez, AlejandroWorkshop proceedings with local publication by the University of Oslo ; This paper discusses the (often hidden) potential of Open Source Software development to resort to, benefit from and cross-fertilize formal engineering methods, whose role is indisputable in the production of trustworthy software components. A strategy addressing the incorporation of formal verification methods in the Open Source Software ...
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...
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...
| Financiadores do RCAAP | |||||||
|
|
|
|
|
|
||