Linguagem de especificação leve Hoare-separação para java

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

El compilador interactivo Fifth

Tesis (Maestría en Ciencias de la Ingeniería Eléctrica con Especialidad en Electrónica) UANL

A.J. Ayer : introducción del compilador.

En la cub.: Materiales de historia de la filosofía, 2õ curso Bachillerato de Ciencias Humanas y Sociales

Um verificador seguro de integridade de arquivos

Este trabalho apresenta um modelo de mecanismo para o controle de integridade de arquivos em sistemas operacionais, com a capacidade de bloquear o acesso à arquivos inválidos de forma a conter os danos causados por possíveis ataques. O modelo foi inicialmente formulado a partir do estudo detalhado do processo de controle de integridade, revelando diversos pontos críticos de segurança nele existentes, e da avaliação dos mecanismos atualmente implementados nos sistemas operacionais que oferecem, mesmo que indiretamente, algum tipo de garantia de integridade dos arquivos do sistema. Durante o seu desenvolvimento, a segurança do próprio modelo foi detalhadamente analisada de forma a enumerar os seus pontos críticos e possíveis soluções a serem empregadas, resultando na definição dos requisitos mínimos de segurança que devem ser encontrados nesse tipo de mecanismo. Em seguida, visando a validação do modelo especificado e decorrente disponibilização do mecanismo para uso prático e em estudos futuros, um protótipo foi implementado no sistema operacional GNU/Linux. Procurando confirmar a sua viabilidade, foram realizadas análises do impacto causado sobre o desempenho do sistema. Por fim, foi confirmada a importância e viabilidade do emprego do modelo apresentado como mecanismo adicional de segurança em sistemas operacionais. Além disso, foi colocado em evidência um campo de pesquisa ainda pouco explorado e portanto atrativo para a realização de novos estudos.

Mensajes de error del compilador WATFOR

El documento contiene una lista de errores detectados por el compilador WATFOR/360

Mejora del Compilador/Generador de Esqueletos C++ para Componentes CoolBOT

Máster Universitario en Sistemas Inteligentes y Aplicaciones Numéricas en Ingeniería (SIANI)

Buela Lamas, Alberto (compilador). Pensadores nacionales iberoamericanos. Bs. As. Biblioteca del Congreso de la Nación, 1993 (dos tomos).

Fil: Matuschka, Daniel von.

Salvia, Agustín (compilador). Jóvenes promesas. Trabajo, educación y exclusión social de jóvenes pobres en la Argentina, Editorial Miño y Dávila, Colección Nuevas Teorías Económicas, Buenos Aires, 2008

Fil: Corsiglia Mura, Lucía. Universidad Nacional de La Plata. Facultad de Humanidades y Ciencias de la Educación; Argentina.

Juan Orbe (compilador), La situación autobiográfica. Buenos Aires, Corregidor, 1995, 168 páginas

Fil: Páez, Roxana Haydée. Universidad Nacional de La Plata. Facultad de Humanidades y Ciencias de la Educación; Argentina.

Juan Orbe (compilador), La situación autobiográfica. Buenos Aires, Corregidor, 1995, 168 páginas

Fil: Páez, Roxana Haydée. Universidad Nacional de La Plata. Facultad de Humanidades y Ciencias de la Educación; Argentina.

Salvia, Agustín (compilador). Jóvenes promesas. Trabajo, educación y exclusión social de jóvenes pobres en la Argentina, Editorial Miño y Dávila, Colección Nuevas Teorías Económicas, Buenos Aires, 2008

Fil: Corsiglia Mura, Lucía. Universidad Nacional de La Plata. Facultad de Humanidades y Ciencias de la Educación; Argentina.