Amir Pnueli, Pioneer of Temporal Logic, Dies at 68

Amir Pnueli, Pioneer of Temporal Logic, Dies at 68

By KENNETH CHANG

Published: November 14, 2009

Amir Pnueli, who turned a philosopher's explorations of time, logic and free will into a critical technique for verifying the reliability of computers, died on Nov. 2 in Manhattan. He was 68. (leia mais)

People you know on hi5...

Hi rocky, We have found some hi5 members you may know, click on the link below or on their pictures to view your friend suggestions: http://www.hi5.com/friend/displaySearchSuggestions Reena Anju MARIA nandz priya naughty Atreyee rojalin DyDy ISHITA Go to your hi5 page now! Thanks for being a part of hi5! The hi5 Team If you do not wish to receive these emails, click the link below http://www.hi5.com/friend/account/optOutOfDigest.do hi5 respects your privacy. If you have any concerns about your privacy, please view our privacy page. If you forget your password, you can reset it by clicking here.

------------------------------------------------------ Copyright 2002-2008 hi5 Networks, Inc. All rights reserved. 55 Second Street, Suite 300, San Francisco, CA 94105 Privacy Policy | Unsubscribe | Terms of Service

Suely Vilela (reitora da USP) e o plágio

Caros leitores, algum de vocês pode achar que é uma coisa óbvia, mas acho importante falar: não dá para engolir a defesa que a reitora da USP, Suely Vilela, apresenta para as acusações de plágio que pairam sobre seu grupo de pesquisa, relatadas ontem em reportagem de Eduardo Geraque.

(...)

Qualquer cientista sabe que, em um estudo com número muito grande de autores, poucos são aqueles que escreveram mesmo algo ou atuaram efetivamente na pesquisa que originou ou trabalho. Muitos nomes entram por razões bem paroquiais e pouco "autorais", como empréstimo de material para experimentação, cessão de dados etc.

É comum até mesmo o etéreo "empréstimo de prestígio", quando se trata de um cientista mais conhecido. Um nome de fama no meio acadêmico abre muitas portas --sobretudo portas de revistas científicas cujos artigos são revisados por outros cientistas. E um cientista, como qualquer outro ser humano, é um animal político. Em troca de emprestar seu nome, o figurão engorda seus números de produtividade de artigos sem ter muito trabalho. Alguns cientistas acham isso errado, outros acham que faz parte do jogo. Tanto faz.

O problema é que essas particularidades do sistema de publicações científicas nunca são debatidas quando o que está em evidência é o mérito de um trabalho, e não sua desgraça. Se o plágio do referido estudo nunca tivesse sido descoberto, provavelmente o artigo serviria apenas para entrar na conta do cientista sênior, engordar os valores de suas bolsas de estudo e somar pontos em avaliações acadêmicas.

(...)

Leia mais em http://bit.ly/3cUcvG

CAPES aprova Mestrado Profissional em Computação Aplicada da UTFPR

Fonte: http://200.134.10.12/dainf/ExibeNoticias.php?noticia=34193&p_operacao=Ver

Foi publicada hoje no site da CAPES a seguinte notícia:

"A Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (Capes/MEC) divulga nesta quinta-feira, 12, os resultados da apreciação de propostas de cursos novos de 2009. As propostas foram analisadas e recomendadas durante a 113ª Reunião do Conselho Técnico-Científico da Educação Superior (CTC-ES), entre os dias 27 a 30 de outubro, em Brasília.

As fichas, com os pareceres das propostas recomendadas e das não recomendadas, encontram-se disponíveis às instituições proponentes na página eletrônica da Capes. Outras propostas ainda estão em processo de análise. Acesse aqui os resultados."

Clique no link resultados para ver a lista dos programas de pós-graduação aprovados pela CAPES.

Em breve serão divulgadas neste site e no site da UTFPR informações sobre o Processo Seletivo para Ingresso no Mestrado em Computação Aplicada da UTFPR.

A Contracultura Matemática e o Espírito Libertário, por Ruy de Queiroz

9 de novembro de 2009 - Diz-se excêntrico, segundo o Houaiss, do "indivíduo que age ou pensa de maneira original, extravagante, fora dos padrões considerados normais ou comuns.

" O que dizer de um matemático que, após (1) resolver um dos problemas mais difíceis do milênio de forma reconhecidamente engenhosa e criativa, (2) publicar seus resultados em página da internet sem o devido "peso" de reconhecimento formal como é o caso de revistas científicas tradicionais, e (3) recusar os prêmios a que teria direito (uma Medalha Fields, o mais prestigioso prêmio a que um matemático pode aspirar, e uma premiação em dinheiro no valor de um milhão de dólares concedida por uma espécie de fundação sem fins lucrativos para o desenvolvimento da matemática), recusa ofertas de emprego como professor em algumas das melhores universidades do mundo (Princeton, Stanford)? Além de toda essa renúncia, esse indivíduo de capacidade intelectual privilegiada ainda declara que todas essas ofertas não passam de graves insultos, pois acredita que a monetização da realização é o pior dos insultos à matemática. Mais ainda, decide deixar a matemática, e, segundo se conta, continua vivendo com sua mãe na periferia de São Petersburgo. A bem da verdade, esse mesmo sujeito excêntrico já em 1996 havia se recusado a receber um prêmio para jovens matemáticos a ele concedido pela Sociedade Européia de Matemática.

Leia mais em http://www.investimentosenoticias.com.br/ultimas-noticias/artigos-especiais/a-contracultura-matematica-e-o-espirito-libertario.html

UTFPR é representada na Maratona de Programação

Notícia no eCampus Curitiba, o Informativo online da UTFPR:

A competição é destinada a alunos de cursos de graduação e início de pós-graduação na área de Computação e afins (Ciência da Computação, Engenharia de Computação, Sistemas de Informação, Matemática, etc). Ela proporciona aos alunos incentivo à criatividade, capacidade de trabalho em equipe, busca de novas soluções de software e habilidade de resolver problemas sob pressão.

Quem coordena as atividades relativas à participação de alunos do Campus Curitiba é o Professor João Alberto Fabro, do DAINF. O campeonato é organizado mundialmente pela ACM (Association for Computing Machinery) americana.

A seletiva regional da maratona aconteceu no dia 19 de setembro de 2009, na Pontifícia Universidade Católica do Paraná. Nessa, a UTFPR participou com quatro equipes e obteve os primeiro, 4º, 5º e 9º lugares.

A equipe que conquistou o primeiro lugar foi classificada para a final nacional, que aconteceu no dia 24 de outubro, em Campinas. Os alunos são do 6º período do curso de Engenharia de Computação do Campus Curitiba: Alexandre Marin, Lucas Paiva e Luiz Gustavo Ribeiro.

Na final, a equipe obteve a 12ª colocação de um total de 52 equipes de todo o Brasil. O professor Fabro ressalta que "o resultado obtido é mérito dos alunos. Eu apenas auxilio".

Semanalmente, ele, ao lado do professor Adolfo Neto, realizam um encontro, que funciona como um treinamento aos que irão participar.

Leia mais e veja mais fotos em http://informativo.ct.utfpr.edu.br/leia_mais.php?pub=9&noticia=53

Leia também a página na Wiki DAINF que descreve a Participação da equipe "sudo make a sandwich" na Final Brasileira da Maratona de Programação 2009 e a preparação da UTFPR para a Maratona de Programação - Seletiva Regional 2009.

Observações importantes em face da divulgação do resultado oficial da Final Brasileira da Maratona de Programação:

• A equipe "sudo make a sandwich" ficou a duas posições de uma medalha.
• A equipe "sudo make a sandwich" ficou a duas posições de participar da final mundial.
• A equipe "sudo make a sandwich" foi a melhor equipe em que todos os membros eram estreantes em finais brasileiras.

Curso de Técnicas Ágeis

Técnicas Ágeis para o Desenvolvimento de Software em Java
Curso de Extensão (UTFPR - Campus Curitiba)
Turma de 21/11/09 a 05/12/09 (aos sábados, das 8h20 às 12h00)

Motivação: O conhecimento de métodos ágeis deixou de ser exclusividade de alguns apaixonados por desenvolvimento de software e passou a ser pré-requisito para contratações de profissionais em boas empresas. Vários eventos no Brasil e no mundo são dedicados exclusivamente a métodos ágeis (por exemplo, Ágiles - http://www.agiles2009.org, Encontro Ágil - http://www.encontroagil.com.br/, XP Conference - http://www.xp2009.org/). Neste curso iremos apresentar algumas técnicas (introduzidas pelos praticantes de métodos ágeis) que aumentam a produtividade no desenvolvimento de software.

Conteúdo programático: Introdução a Métodos Ágeis. Desenvolvimento Dirigido por Testes. Testes Automatizados. Testes Unitários. Testes de Aceitação. Programação Pareada.Refatoração. Obs.: os exemplos e exercícios apresentados durante o curso serão em Java, mas as técnicas aplicam-se a qualquer boa linguagem de programação comercial.

Objetivo: Capacitar os participantes a dominar as técnicas e ferramentas preconizadas pelos métodos ágeis para o desenvolvimento de software no desenvolvimento em Java. Aprendendo estas técnicas, a produtividade do participante como desenvolvedor de software aumentará.

Público alvo: Profissionais e estudantes interessados em obter conhecimentos de técnicas ágeis para o desenvolvimento de software utilizando a linguagem Java.

Pré-requisito: Conhecimentos básicos de programação na linguagem Java.

Sobre o instrutor: Adolfo Neto é bacharel, mestre e doutor em Ciência da Computação. Durante seu doutorado na USP (2003-2007), conheceu os métodos ágeis, através do professor Fabio Kon (membro-fundador da Agilcoop, a Cooperativa de Desenvolvimento Ágil de Software - http://ccsl.ime.usp.br/agilcoop, uma das principais organizações brasileiras que atuam na disseminaçaão dos conceitos de métodos ágeis na comunidade brasileira de desenolvimento de software). O professor Adolfo Neto é também desenvolvedor de software livre. O código-fonte de seu demonstrador de teoremas, o KEMS, está inteiramente disponível em http://github.com/adolfont/KEMS. Além disso, foi desenvolvedor de software por dois anos na Inmetrics, de Campinas.

Páginas do professor Adolfo Neto:
http://www.dainf.ct.utfpr.edu.br/~adolfo
http://twitter.com/adolfont
http://adolfoneto.wikidot.com/ágil
http://professoradolfo.blogspot.com/search/label/ágil

Reserva de vaga e inscrição: Para fazer reserva de vaga ligue nos telefones: 3310 - 4569 ou 3310 - 4571, e fique sabendo da data de validade de sua reserva.

Para fazer a inscrição venha até a Divisão de Cursos de Extensão (DIECE) da Universidade Tecnológica Federal do Paraná (UTFPR), Av. Sete de Setembro, 3165, esq. com Westphalen, preencha a ficha de inscrição e efetue o pagamento, ou mande um e-mail para diece-ct@utfpr.edu.br solicitando sua inscrição.

Link para mais informações: http://bit.ly/46sqSB

Os campeões da Maratona de Programação 2009

Na foto acima (de camiseta azul) estão os campeões da Final Brasileira da Maratona de Programação 2009, que aconteceu no último sábado, 24 de outubro de 2009, em Campinas-SP. A Maratona de Programação é uma competição que funciona como seletiva para a final mundial do ICPC (http://icpc.baylor.edu), a principal olimpíada científica da área de ciência da computação, organizada pela ACM desde a década de 70. Os melhores times ganham o direito de representar o país na próxima final mundial, que ocorrerá nos dias 1 a 5 de fevereiro de 2010 em Harbin, China.

O nome do time campeão é "Pedrov, Victorov e Mairova", do Centro de Informática da UFPE (CIn-UFPE). Seus integrantes são:

• Víctor Barbosa de Oliveira Medeiros, 21 anos - aluno de Ciência da Computação, 6º período
• Maíra Tavares de Melo Araújo, 20 anos - aluna de Ciência da Computação, 6º período
• Pedro Augusto Bello, 20 anos - aluno de Engenharia da Computação, 8º período

Os três integrantes do time, em times diferentes, ganharam medalhas de ouro no ano passado também. Víctor e Maíra eram do time "YaThreeSobas", 3º lugar (os três primeiros times ganham ouro), e Pedro do time "Prático, Cícero e Heitor", primeiro lugar. Além da classificação para a próxima etapa, “Pedrov, Victorov e Mairova” também conquistaram o título de penta campeões brasileiros, ganhando assim o troféu definitivo da Maratona de Programação para o CIn-UFPE. Desde o início do evento, em 1996, várias instituições almejam os cinco títulos, entre elas Unicamp, ITA, IME-USP e PUC-RIO.

A segunda melhor equipe na competição foi "Anuncie Aqui", da Universidade Federal de Sergipe (UFS). Os três integrantes da equipe são:

• Maurício Collares, aluno de Engenharia Elétrica
• Ramon Fernandes, aluno de Engenharia Elétrica
• Felipe Carvalho, aluno de Ciência da Computação

Observação: dois dos integrantes da equipe, Maurício e Ramon, ganharam medalha de bronze na Final Brasileira da Maratona de Programação em 2007. Vale destacar que este bom resultado veio de uma universidade de Sergipe, o menor estado do país, como consequência do trabalho de vários anos dos professores da UFS no estímulo de competições como a Maratona de Programação e a Olimpíada Brasileira de Informática (OBI) (clique aqui para ler mais sobre o trabalho com a OBI e a Maratona em Sergipe). É, nas palavras da professora Leila Silva, da UFS, uma prova de que "os talentos brasileiros estão espalhados por todos os cantos do país". A equipe que ficou na terceira colocação, e também ganhou medalha de ouro, foi a equipe eh_muita_grana, do IME-USP, formada por Raphael Henrique Ribas (aluno de mestrado do IME-USP, formado em Ciência da Computação pela UFPR), Joel da Silva Uchoa, Gabriel Ribeiro da Cruz Peixoto (que faz mestrado na Estatística) e técnico Wanderley Guimarães da Silva. Observação: Raphael Henrique Ribas ganhou medalha de ouro também no ano passado como integrante da equipe Triforce da UFPR. A equipe "sudo make a sandwich", do DAINF-UTFPR, (clique aqui para ler notícia sobre a classificação desta equipe para a Final Brasileira), estreante em finais brasileiras, ficou numa excelente 12a. colocação. Esta equipe é formada por três alunos da primeira turma do curso de Engenharia de Computação: Alexandre Marin, Lucas Campiolo Paiva e Luiz Ribeiro, e treinada pelo professor João Alberto Fabro. É importante ressaltar que não apenas a equipe era estreante, mas a própria UTFPR participou pela primeira vez da final brasileira da principal competição de programação para universitários, com seus alunos ficando atrás de alunos de apenas 8 outras instituições, todas com bem mais tradição em Maratonas do que a UTFPR. Por fim, parabenizo todas as equipes que participaram da Final Brasileira. Para muitas delas, já foi uma grande vitória estar lá. Parabenizo também todos os professores, alunos e funcionários que de alguma forma contribuíram com a organização deste evento da Sociedade Brasileira de Computação. Para as equipes que vão para a final mundial, é hora de estudar e treinar para obterem boa classificação lá. E, para os não classificados, é hora de começar os terinamentos para a Maratona de Programação 2010. Leia mais sobre:

• A conquista da equipe do CIn-UFPE
• A equipe "Anuncie Aqui" da UFS
• Site da Final Brasileira da Maratona de Programação 2009
• Site da Maratona de Programação

Profissão da minha vida

Um site que pode ser útil a estudantes que estão decidindo que carreira seguir:

http://www.profissaodaminhavida.com.br




É um site da Universidade Positivo, mas acredito que pode ser utilizado por pessoas que pretendem estudar em outros lugares.

Futuris

Do Blog do Prof. Palazzo:

Mensagens do além!

setembro 20th, 2009

Mandar mensagens em uma data logínqua no futuro é uma das possibilidades da Futuris. A comunidade social é uma start up brasileira, desenvolvida pela agência multimídia Go2nPlay Studios e se propõe a enviar mensagens programadas para o futuro.

Através do Futuris é possível enviar mensagens com fotos e vídeos, escrever blogs alimentados no passado, construir álbuns de fotos que acompanhem seu envelhecimento e adicionar amigos para dividir essas informações.

Pela comunidade Futuris é possível agendar o recebimento de suas mensagens para até 50 anos da data de envio, parabenizar alguém por um aniversário que ainda não chegou, dividir com seus filhos, quando eles tiver a mesma idade que você tem, a sua experiência, e o que mais você tiver vontade de fazer agora, no futuro.

Você deve saber inglês e acreditar na sobrevivência da empresa.

---

About Us

Futuris is a privately funded startup with offices in the Downtown area of Curitiba, Brazil. Started as a side project in January of 2008, a timeless messaging service that works over multiple networks and devices.

How is Futuris built?

Our engineering duo works with a web application framework called Ruby on Rails. Our web site and user interface were designed using Photoshop.

We built Futuris using Ruby on Rails because it allows us to work quickly and easily–our team likes to deploy features and changes multiple times per day. Rails provides skeleton code frameworks so we don't have to re-invent the wheel every time we want to add something simple like a sign in form or a picture upload feature.

How do you make money from Futuris?

Futuris has many appealing opportunities for generating revenue but we are holding off on implementation for now because we don't want to distract ourselves from the more important work at hand which is to create a compelling service and great user experience for millions of people around the world.

While our business model is in a research phase, we spend more money than we make. As a result, making a conversation with you and yourself 30 years later possible has a lot of value to us.

A son can have more minutes of unseen moments with someone that's not here anymore is very compeling, so far, we are being able to afford the challenge since we have a New Media Company, that finances our cost.

Started with a concept, but we have travel across time and dimensions possible.

Join Us!

http://www.futuristk.com/

The world’s first formal machine-checked proof of a general-purpose operating system kernel

NICTA today announced the completion of the world's first formal machine-checked proof of a general-purpose operating system kernel, promising safety-critical software of unprecedented levels of reliability.

There is now a way to mathematically prove that the software governing critical safety and security systems in aircraft and motor vehicles is free of a large class of errors – long before the plane takes off or the car's engine starts.

The Secure Embedded L4 (seL4) microkernel, designed for real-world use, has potential applications in defence and other safety and security industries where the flawless operation of complex embedded systems is of critical importance.

"It is hard to comment on this achievement without resorting to clichés," says Professor of Computational Logic at Cambridge University's Computer Laboratory, Lawrence C Paulson. "Proving the correctness of 7,500 lines of C code in an operating system's kernel is a unique achievement, which should eventually lead to software that meets currently unimaginable standards of reliability."

"Formal proofs for specific properties have been conducted for smaller kernels, but what we have done is a general, functional correctness proof which has never before been achieved for real-world, high-performance software of this complexity or size," explains NICTA Principal Researcher Dr Gerwin Klein, who leads NICTA's formal verification research team.

(...)

Leia mais em

http://bit.ly/D2Ghf

ou, resumido em português, em

http://www.inovacaotecnologica.com.br/noticias/noticia.php?artigo=primeiro-sistema-operacional-100-livre-erros-esta-pronto&id=010150091020&ebol=sim

Transferência para a UTFPR

A UTFPR publicou o edital para o "Processo Seletivo de Transferência e Aproveitamento de Cursos de Graduação da UTFPR para o 1º semestre de 2010". As inscrições vão de 26/out/2009 a 06/nov/2009.

São várias vagas em diversos campi da UTFPR. Em Curitiba, na área de Computação,  são 9 vagas para Engenharia de Computação e 6 vagas para Sistemas de Informação.

Mais informações em

http://www2.utfpr.edu.br/futuros-alunos/transferencia-e-aproveitamento-de-curso

Jornal francês destaca investimento do Brasil em Educação

Do Portal do MEC:

O jornal francês Le Monde publicou duas reportagens sobre o ensino superior no Brasil. As matérias estão traduzidas e reproduzidas na seqüência e também em sua versão original.

Lula inventa a universidade brasileira do século XXI

São Paulo - Num cinturão operário de São Paulo, onde lançou sua carreira, o Presidente brasileiro implanta um campus para formar os engenheiros do amanhã

"Não, a universidade do ABC não tem nada a ver com os Jackson's Five!", se diverte Armando Milioni. ABC são as iniciais dos três municípios desta região industrial: Santo André, São Bernardo e São Caetano. "A UFABC é um estabelecimento criado em 2005 para inventar a universidade brasileira do século 21 e fornecer mais engenheiros ao Brasil", define o vice-reitor da nova universidade federal.


Leia mais em http://portal.mec.gov.br/index.php?option=com_content&view=article&id=14487

Democratização na USP: Entrevista com Francisco Miraglia, professor do IME-USP, candidato à reitoria da Universidade de São Paulo

"A democratização da estrutura de poder da Universidade de São Paulo (USP) é uma das principais necessidades da instituição na atualidade, avalia Francisco Miraglia, de 63 anos, professor titular do Instituto de Matemática e Estatística e candidato a reitor. Ele defende também que se discuta a adoção de cotas sociais pela universidade."

Leiam mais em

http://g1.globo.com/Noticias/Vestibular/0,,MUL1336583-5604,00-A+USP+PRECISA+DISCUTIR+COTAS+SOCIAIS+E+A+SUA+DEMOCRATIZACAO+INTERNA.html

ou

http://g1.globo.com/Noticias/Vestibular/0,,MUL1336583-5604,00.html

Carta da Professora Angela Siqueira à Coordenação de PG em Educação da UFF

(...)

Enfim, creio que venho cumprindo com o que me cabe como professora de uma universidade pública, desenvolvendo atividades de ensino, pesquisa, extensão, além representação em órgãos deliberativos internos. Não tenho a preocupação de buscar um "veículo qualis" para enviar um texto para publicação e nem de ter que obedecer uma definição heterônoma, mas já incorporado e aceita por todos os programas de pós-graduação, sobre quando, como e onde publicar. Mais ainda, não considero que essa seja a única ou mais importante forma de divulgar e colocar em debate o conhecimento produzido, seja pelos pares, pela sociedade ou pelos "ímpares".

Leia mais em http://bit.ly/1v9EiW

Farinha de trigo, açúcar e cocaína, por Denis Russo Burgierman

Se um dia alguém resolver erigir um monumento em praça pública às boas intenções frustradas do pensamento científico, podia ser uma estátua monumental de um prato cheio de pó branco. Assim homenagearíamos de uma só vez três enganos cientificistas: a farinha de trigo refinada, o açúcar branco e a cocaína. Três pós acéticos e quase idênticos, três frutos do pensamento que dominou o último século e meio: o reducionismo científico. Três matadores de gente.

Não é por acaso que os três são tão parecidos. Todos eles são o resultado de um processo de "refino" de uma planta – trigo, cana e coca. Refino! Soa quase como ironia usar essa palavra chique para definir um processo que, em termos mais precisos, deveria chamar-se "linchamento vegetal" ou algo assim. Basicamente se submete a planta a todos os tipos de maus-tratos imagináveis: esmagamento entre dois cilindros de aço, fogo, cortes de navalha, ataques com ácido. Até que tenha-se destruído ou separado toda a planta menos a sua "essência". No caso do trigo e a da cana, o carboidrato puro, pura energia. No caso da coca, algo bem diferente, mas que parece igual. Não a energia que move as coisas do carboidrato, mas a sensação de energia ilimitada, injetada diretamente nas células do cérebro.




Leia mais em http://veja.abril.com.br/blog/denis-russo/saude/farinha-de-trigo-acucar-e-cocaina/

Tem brasileiro no kernel (IV): acme cria nova syscall no Linux

Mesmo sem ser dotado de ufanismo no estilo Galvão Bueno de narrar ações de brasileiros, sempre fico feliz quando tenho oportunidade de noticiar os produtos dos desenvolvedores daqui, e é o caso de hoje, com a nova syscall criada pelo Arnaldo Carvalho de Melo (mais conhecido como acme), co-fundador da saudosa Conectiva e atualmente desenvolvedor na Red Hat, onde se ocupa, entre outros temas interessantes, da eficiência de transmissão (aumento do throughput, redução da latência, etc.) em redes de alta velocidade.

A nova syscall é a recvmmsg, e permite realizar em uma única chamada uma operação bastante comum (e mais custosa, se realizada da forma tradicional, com loops e polls): receber de uma vez só todas as mensagens que já estão em buffer, ou todas as que chegarem em um timeout dado. O LWN tem mais detalhes técnicos, para os interessados.

Leia mais em http://softwarelivre.org/rminformatica/blog/tem-brasileiro-no-kernel-iv-acme-cria-nova-syscall-no-linux

Homenagem ao prof. Newton da Costa na UFSC

08/10 10:48> Homenagem ao Prof. Dr. Newton C. da Costa

O Prof. Newton C. da Costa, mundialmente famoso pelos seus estudos em lógica e atualmente professor visitante do Programa de Pós-graduação em Filosofia, será homenageado pelo Programa e pelo Departamento de Filosofia por ocasião dos seus 80 anos de vida. A homenagem será no Auditório do CFH, no dia 15 de Outubro, Dia do Professor, às 16 hs. O ilustre mestre irá proferir uma palestra sobre o tema "Lógicas não reflexivas". Convidamos a professores e alunos, e a toda a comunidade universitária, para esta merecida homenagem.

Fonte: http://www.cfh.ufsc.br/

Técnicas Ágeis para o Desenvolvimento de Software em Java

Público alvo

Profissionais e estudantes interessados em obter conhecimentos de técnicas ágeis para o desenvolvimento de software utilizando a linguagem Java.

Pré-requisito: Conhecimento básico de programação na linguagem Java.

Objetivo
Capacitar os participantes a dominar as técnicas e ferramentas preconizadas pelos métodos ágeis para o desenvolvimento de software no desenvolvimento em Java. Aprendendo estas técnicas, a produtividade do participante como desenvolvedor de software aumentará.

Realização
Local: UTFPR - Bloco B - Sala B-109

Turma de 21/11/09 a 05/12/09
Aos sábados, das 8h20 às 12h00

 

 

Carga horária:  12 horas-aula (cada hora-aula = 50 minutos)

Preço do curso: R$ 210,00
 (inclui material didático, certificado e coffee-break)

 

Forma de Pagamento:  Boleto - 1 vez para  13/11/09

 

                                    

Observações:

• Receberá o certificado o participante que tiver no mínimo 75% de freqüência.

• No caso de não atingirmos um número suficiente de inscritos, a DIECE tem o direito de cancelar ou alterar/prorrogar a data do referido curso, restituindo integralmente o valor pago.

 

Instrutor

Adolfo Gustavo Serra Seca Neto

Doutor em Ciência da Computação (USP)

Mestre em Ciência da Computação (UFPE);

Bacharel em Ciência da Computação (UFAL);

Professor do Departamento de Informática (DAINF) da UTFPR - Campus Curitiba;

É também desenvolvedor de software, com experiência em empresas. Atualmente, desenvolve e mantém um software livre, o KEMS (http://github.com/adolfont/KEMS)

Conteúdo programático

• Introdução a Métodos Ágeis;

• Desenvolvimento Dirigido por Testes;

• Testes Automatizados;

• Testes Unitários;

• Testes de Aceitação;

• Programação Pareada

• Refatoração.

 

Reserva de vaga e inscrição

Para fazer reserva de vaga ligue nos telefones: (41) 3310 - 4569 ou 3310 - 4571, e fique sabendo da data de validade de sua reserva.

Para fazer a inscrição venha até a Divisão de Cursos de Extensão da Universidade Tecnológica Federal do Paraná, Av. Sete de Setembro, 3165, esq. com Westphalen, preencher a ficha de inscrição e efetuar o pagamento, ou mande um e-mail para diece-ct@utfpr.edu.br solicitando sua inscrição.

"Seja inteligente e não use Agile", por Diego Pacheco

O artigo abaixo está dando o que falar...

Não concordo com vários argumentos do autor (principalmente com chamar "métodos ágeis" de agile), mas acho que vale a pena ler o que ele escreve:

"Você não precisa ser agile, você pode fazer um projeto e ter sucesso sem usar agile. Mais softwares foram feitos sem agile ou qualquer metodologia, leia-se AD-HOC, do que com métodos ágeis. Neste artigo gostaria de esclarecer os diversos enganos que os ditos "agilistas" erram quando falamos de processos tradicionais e desenvolvimento de software.

Em outro artigo vou falar dos pontos positivos, ou seja, do que é bom mesmo. Mas aqui vou focar nestes equívocos que as pessoas comentem - ou omitem de propósito. Vou falar de algumas falácias também...

Hoje em dia muitos colocam como os métodos ágeis sendo a única solução que funciona para o desenvolvimento de software.Será que isso é verdade, será que não existem outras opções? Será que esta é a única solução e será que isso funciona sempre e não tem defeitos?"

Leia mais em http://imasters.uol.com.br/artigo/14565/desenvolvimento/seja_inteligente_e_nao_use_agile/

E fiz um comentário lá mesmo:

Por que "Agile"?

Só não entendi porque você usou tanto o termo "Agile"? Mais de 20 vezes (pelas minha contas). O certo, na minha humilde opinião, seria usar "métodos ágeis" (ou "técnicas ágeis", dependendo do que você esteja querendo falar).

Sites sérios, como o da Agilcoop (http://agilcoop.org.br/), evitam usar o termo "Agile", a menos que estejamos nos expressando em inglês.

De fato, não há qualquer comprovação científica da eficiência de métodos ágeis. Nem de qualquer outro método para engenharia de software, que eu saiba. E é difícil fazer comprovação científica de qualquer destes métodos. Como fazer uma experiência duplo-cego comparando metodologias? Como alguém vai aplicar métodos ágeis ou RUP num projeto sem saber o que está aplicando???

Realmente é chato esse uso do termo "Agile" por marketeiros e interesseiros.

Mas ainda assim acho que os métodos ágeis são a coisa mais interessante que surgiu na Engenharia de Software nos últimos 20 anos, de longe.