Encontrados 3 documentos, a visualizar página 1 de 1
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...
GamaBoogie : a contract-based slicer for Boogie programs
Coelho, MárcioDissertação de mestrado em Engenharia de Informática ; In the context of the Informatics Engineering MSc. degree (MEI), second year, this document describes and discusses a master thesis project in the area of source code analysis using slicing and program verification techniques. Design-by-Contract is an approach that allows a programmer to specify the expected behaviour of a component by the means of precond...
Modelação numérica de incidentes de tráfego rodoviário
Coelho, Márcio André FigueiredoOs transportes são uma componente essencial da economia europeia, contudo, este sector é responsável pelo aumento das emissões e dos consumos de combustível de ano para ano. O aumento de fluxo de tráfego rodoviário urbano conduz ao fenómeno de congestionamento, com inúmeras consequências prejudiciais em termos de saúde, poluição e segurança. O congestionamento urbano é uma fonte de custos elevados em termos de ...
| Financiadores do RCAAP | |||||||
|
|
|
|
|
|
||