O que é especificação?, por C. A.R. Hoare

"Sir Charles Antony Richard Hoare é um cientista da computação britânico, provavelmente mais conhecido pelo desenvolvimento do Quicksort, um dos  algoritmos de ordenação mais amplamente usados. Ele também desenvolveu a lógica de Hoare para verificar a correção de programas, e a linguagem formal CSP, usadapara especificar as interações entre processos concorrentes (que serviu de inspiração para a linguagem de programação Occam)." (Fonte: http://www.infoq.com/presentations/tony-hoare-computing-engineering)

Tony Hoare ministrou uma palestra na QCon London 2009.

Você pode assistir a palestra "The Science of Computing and the Engineering of Software", de Tony Hoare em http://www.infoq.com/presentations/tony-hoare-computing-engineering

Uma afirmação feita bem no final da palestra e que me chamou a atenção foi a seguinte analogia usada para definir especificação:

Uma especificação é apenas um teste generalizado

Ou, no original:

A specification is just nothing but a generalised test.

Ele falou isso ao responder uma pergunta de uma pessoa que falava sobre como o Desenvolvimento Dirigido por Testes de certa forma faz com se especifique um sistema através de testes executáveis.

Leia mais sobre a palestra de C.A.R. Hoare em:

• QCon London 2009: Is software engineering?

• The Science of Computing and the Engineering of Software

• QOTD

Mulheres e matemática: A culpa não é do cérebro!

Por que temos tantos "Pitágoras" para tão poucas "Teanos"?! Será que o cérebro das mulheres é menos inclinado a entender a Matemática?! Não é o que diz o estudo de Janet Hyde e Janet Mertz da Universidade de Wisconsin-Madison, publicado em junho de 2009, na PNAS. Para as pesquisadoras o potencial "biológico" feminino para a Matemática é igual ao dos homens, mas elas acabam tendo menos incentivo para se empenhar nesta área de conhecimento. O que não ocorre no Oriente, já que meninas criadas em países asiáticos costumam ter, em média, notas maiores que as dos EUA. Sendo assim, ao invés de uma diferença biológica inerente ao sexo, a chave do problema parece ser uma questão sociocultural! (LSBP, jun 2009)

Hyde J S, Mertz J E (2009). Gender, culture, and mathematics performance. PNAS 106 (22), 8801-8807.

Fonte:http://www.cerebronosso.bio.br/novidades/2009/6/16/mulheres-e-matematica.html

Fwd: [Sbc-l] Saiu no portal "Investimentos e Notícias" (SP) e no Blog de Jamildo (JC Online, Recife): "Startups criam Empregos"

---------- Forwarded message ----------
From: Ruy de Queiroz <ruy@cin.ufpe.br>
Date: 2009/6/8

Saiu no portal "Investimentos e Notícias" (São Paulo) e no Blog de Jamildo (Jornal do Commercio Online, Recife): "

Startups criam Empregos

",

(Outros artigos em temas correlatos: no blog "Os Ventos da Liberdade".)

Ruy
----

ARTIGOS ESPECIAIS

08/06 - 07:30

Startups criam Empregos

São Paulo, 8 de junho de 2009 - Conforme a Wikipedia, uma "startup" (ou "start-up") é uma empresa com uma história de operação limitada. Essas empresas, geralmente recém-criadas, estão numa fase de desenvolvimento e pesquisa por mercados, e por essa razão não têm acesso a crédito nos moldes tradicionais. É aí que entram os investidores de capital privado (investidor anjo, capitalista de aventura, etc.), que são atraídos pela relação entre risco e recompensa, além da escalabilidade de tais empresas: se, por um lado, os riscos são maiores, por outro lado, os custos de inicialização são mais baixos e o retorno no investimento é potencialmente recompensador. Startups bem sucedidas são frequentemente mais escaláveis que empresas já estabelecidas porque tipicamente crescem mais rapidamente mesmo com limitações de capital e de força de trabalho. A empresa deixa de ser uma startup à medida que sobrevive às diversas fases de evolução, desde o período verdadeiramente inicial chamado "vale da morte" em função do altíssimo risco enfrentado, até se tornar rentável ou entrar no mercado de bolsa de valores através de um IPO (abreviação de "initial public offering", oferta pública inicial), ou ainda deixar de existir como uma entidade independente através de uma fusão ou aquisição por empresa maior. O termo é usualmente associado a empresas de tecnologia com alto potencial de crescimento, e se tornou popular internacionalmente durante o período do estouro da bolha ponto-com quando um grande número de empresas de internet foram fundadas. A maior concentração da atividade de criação de startups está localizada no Vale do Silício, uma região no norte da Califórnia em torno da Stanford University.

Em meio a um recorde de desemprego, um estudo de Janeiro passado do US Census Bureau financiado pela Ewing Marion Kauffman Foundation já mostrava que empresas startups são um principal ator na criação de empregos. As "Estatísticas de Dinâmica de Negócios" (Business Dynamic Statistics) indicam que enquanto as startups de negócios diminuem levemente na maioria das baixas cíclicas, tais empresas permanecem robustas mesmo na mais severa recessão durante o mesmo período de amostragem (no início dos anos 1980s). Os dados das BDS mostram que o emprego contabilizado ao setor de empresas privadas startups dos EUA durante o período 1980-2005 foi de cerca de 3% por ano. Embora ainda uma pequena fração do total de empregos, esses postos de startups refletem novos empregos, que é uma grande percentagem comparada com a média anual líquida de crescimento de empregos no setor privado nos EUA para o mesmo período (cerca de 1,8%). Tal padrão implica que, se forem excluídos os empregos das novas empresas, a taxa líquida de crescimento do emprego nos EUA é negativa na média. Em outras palavras, o relatório indica que, de 1980 a 2008, as startups, definidas nesse caso como empresas com menos de 5 anos, foram responsáveis por todo o crescimento líquido de empregos nos EUA.  (...)  (leia mais)

Tese da área de Ciência da Computação ganha o Grande Prêmio Capes de Tese

---------- Forwarded message ----------
From: Alejandro C. Frery
Date: 2009/6/10

Pessoal,

Boa noite. É com muita alegria que compartilho esta excelente notícia:

# Grande Prêmio Capes de Tese "Leopoldo Nachbin" - Ciências Exatas e da Terra

Área: Ciências da Computação
Grande Área: Ciências Exatas e da Terra
Autor: Eduardo Freire Nakamura
Tese: Fusão de Dados em Redes de Sensores sem Fio
Orientador: Antônio Alfredo Ferreira Loureiro

http://www.capes.gov.br/avaliacao/premios-capes-de-teses/2778

Tive o privilégio de fazer parte da banca que avaliou esse trabalho, e
posso atestar pela sua qualidade.

Parabéns Nakamura e Loureiro pelo excelente trabalho!

Alejandro

--
Alejandro C. Frery
Maceió, AL - Brazil
http://acfrery.googlepages.com
http://www.researcherid.com/rid/A-8855-2008

Bonecas Didáticas para Amamentação

Recebi o email abaixo e me senti na obrigação de divulgar. É de uma empresa que fabrica bonecas grávidas, bonecas amamentando, etc.

Um fato destacado pela autora da mensagem e criadora da empresa: " Não existe no mercado nenhuma boneca que amamente, a industria já ensina as crianças a usarem as mamadeiras. "

Que absurdo, não é mesmo?


Clique nos links abaixo para mais informações:
www.flordosul.com
http://amamentacaobonecasemamas.blogspot.com/

---------- Forwarded message ----------
From: Jane Santos
Date: Jun 9, 2009 10:14 PM
Subject: Amamentação Bonecas Didáticas
To: flor do sul <flordosul@hotmail.com>

 

Olá

Tudo bem?

Nosso objetivo é uma melhor qualidade de vida, mais especificamente para os bebês através do aleitamento.

 

Nossas bonecas são usadas em cursos de capacitação de enfermeiras, em cursinhos de gestantes, por profissionais de áreas da pedagogia, psicologia... Além de outras pessoas que as compra, pois compartilham desta idéia.

 

Acreditamos que através delas, possamos ajudar a vencer as indústrias de alimentos e mamadeiras que por anos vêem dizendo que o melhor alimento é o industrializado em pó, imagina.

 

Nossa maior intenção é a divulgação da Amamentação como fonte de alimento dos bebês. E toda ajuda sempre será bem vinda!

 

  Jane Guterres
Flor do Sul 
Amamentação Bonecas  Didáticas
Leite Materno: suprimento da Vida e do Amor!!!
Parto Normal: Deixe a Vida acontecer naturalmente!!!
www.flordosul.com       flordosulbr@hotmail.com
Comente em nosso blog:
http://amamentacaobonecasemamas.blogspot.com/