CALL FOR PAPERS
SAST 2011 - 5th Brazilian Workshop on Systematic and Automated Software Testing
(http://www.sjc.unifesp.br/sast2011/)
São Paulo, SP, Brazil
September 30th., 2011
Co-located with:
CBSoft 2011 - Brazilian Conference on Software: Theory and Practice
(http://www.each.usp.br/cbsoft2011/ingles/index_en.html)
CALL FOR PAPERS
=================
Software testing is of central importance to verify and validate
software systems. However, empirical studies show that test-related
activities often account for over 50% of software development costs.
Systematic and automated approaches have shown capable of reducing
this overwhelming cost. Industrial success cases have been openly
reported and academic interest continues to grow as observed by the
growing number of researchers in the field. The main goal of SAST is
to build a forum that brings the research and industry communities
together to discuss improvements in software testing systematization
and automation.
This 5th edition of SAST will be co-located with the Brazilian
Conference on Software: Theory and Practice (CBSoft) and will benefit
from other important joint events, as the Brazilian Symposium on
Software Engineering (SBES), the Brazilian Symposium on Programming
Languages (SBPL), Brazilian Symposium on Formal Methods (SBFM), and
the Brazilian Symposium on Software Components, Architectures and
Reuse (SBCARS). During this period, São Paulo is the place to be for
those interested in Systematic and Automated Software Testing.
TOPICS OF INTEREST
====================
The workshop focuses on bringing together the academic and the
industrial software testing community that has been researching on
systematic and automated practices, activities and tools of software
testing. The topics covered by the workshop include, but are not
limited to, the following:
Test-driven development;
Testing integrated with development activities;
Program-based testing;
Specification-based testing;
Model-based testing;
Model-driven testing;
Risk-based testing;
Error-based and fault-based testing;
Performance, load and stress testing;
Combinatorial testing and random testing;
Test case selection techniques;
Test case generation techniques;
Test oracle and test result checking techniques;
Test driver, stubs, harness and test script generation;
Test adequacy and coverage measurement;
Test effective analysis and test report generation;
Test related software artifact generation;
Management of testing activities and resources;
Maintenance and reuse of test artifacts;
Requirements and Tests;
Test artifacts traceability;
Formal Approaches to Testing.
SUBMISSION GUIDELINES
========================
We solicit submissions in the following categories:
-Technical papers: Technical papers should present original
contribution to software testing research area and must be no longer
than 10 pages, including all the figures, references, and appendices.
-Experience Reports: Experience report papers content should describe
the practical usage of software testing in real industry applications,
emphasizing the results obtained and the lessons learned. The reports
should not have been published previously, yet they are not required
to present original contributions. Experience report papers must be no
longer than 6 pages, including all the figures, references, and
appendices.
Papers can be written either in Portuguese or in English and will be
judged according to their adequacy to workshop scope, relevance,
technical soundness and originality. Papers should state clearly their
relation to previous work, mainly to previous published work of the
own authors. Theoretical papers should emphasize the contribution to
the practice. Papers on empirical experiments should describe the used
methods and interpret qualitatively and quantitatively their results.
All submissions will be reviewed by at least three workshop PC members.
Papers must follow the guidelines described in "Templates for Articles and Book Chapters" of the Brazilian Computer Society, available at http://www.sbc.org.br/en/index.php?option=com_jdownloads&Itemid=195&task=viewcategory&catid=32. Submitted papers must be unpublished original work.
All submitted papers must be in Adobe Portable Document Format (PDF) and must be submitted using the JEMS system (https://submissoes.sbc.org.br/>.
PUBLICATION
=============
For accepted submissions, at least one of the authors must register in the workshop for presenting the paper.
IMPORTANT DATES
==================
Submission Deadline: June 06th, 2011
Notification of Acceptance: July 14th, 2011
Final Version: July 18th, 2011
PC CHAIRS
==========
Eliane Martins (IC/UNICAMP)
Fábio Fagundes Silveira (ICT/UNIFESP)
PROGRAM COMMITTEE
===================
* Adalberto Crespo - Centro de Tecnologia da Informação Renato Archer - CTI
* Adenilso Simao - ICMC-USP
* Alexandre Petrenko - Computer Research Institute of Montreal
* Ana Ambrosio - INPE
* Ana Cavalli- GET/INT
* Arndt von Staa - PUC-Rio
* Auri Marcelo Rizzo Vincenzi - UFG
* Edmundo Spoto - UFG
* Eduardo Guerra - ITA
* Eliane Martins - UNICAMP
* Elisa Yumi Nakagawa - USP
* Elisângela Vieira - Alcatel/Lucent
* Ellen Francine Barbosa - ICMC-USP
* Fatima Mattiello-Francisco - INPE
* Fábio Fagundes Silveira - ICT/UNIFESP
* Guilherme Travassos - COPPE/UFRJ
* Jacques Sauvé - UFCG
* Jorge César Abrantes de Figueiredo - UFCG
* José Maldonado - SSC/ICMC-USP/ São Carlos
* Juliana Herbert - Herbert Consulting
* Juliano Iyoda - UFPE
* Marcelo dAmorim - UFPE
* Marcelo Fantinato - USP
* Márcio Delamaro - USP
* Marcos Chaim - USP
* Mario Jino - FEEC-UNICAMP
* Otávio Lemos - ICT/UNIFESP
* Patricia Machado - UFCG
* Plínio Leitão Júnior - UFG
* Plinio Vilela - Universidade Metodista de Piracicaba
* Sandra Fabbri - UFSCa
* Silvia Vergilio - UFPR
* Simone Souza - ICMC-USP
quarta-feira, 25 de maio de 2011
segunda-feira, 23 de maio de 2011
Estágio Aplicação SAP na Bosch
Estágio em Aplicação SAP na Bosch em Campinas.
Tarefas:
- Administração e manutenção de autorizações de usuários em ambiente SAP.
- Aplicação das diretrizes em ambiente SAP.
- Acompanhamento de auditorias SAP Interna e Externa.
Perfil:
- Formação superior em Análise de Sistemas, Engenharia de Computação, Ciência da Computação.
(a partir do 3o. ano do curso).
- Inglês avançado.
- Dinamismo, trabalho em equipe e assertividade.
Enviar CV até 26/05/2011.
Para enviar CV acesse o link: Bosch
Tarefas:
- Administração e manutenção de autorizações de usuários em ambiente SAP.
- Aplicação das diretrizes em ambiente SAP.
- Acompanhamento de auditorias SAP Interna e Externa.
Perfil:
- Formação superior em Análise de Sistemas, Engenharia de Computação, Ciência da Computação.
(a partir do 3o. ano do curso).
- Inglês avançado.
- Dinamismo, trabalho em equipe e assertividade.
Enviar CV até 26/05/2011.
Para enviar CV acesse o link: Bosch
terça-feira, 17 de maio de 2011
segunda-feira, 18 de abril de 2011
terça-feira, 5 de abril de 2011
Como publicar código
Alguém sabe como formatar código fonte em HTML para ficar legal quando publico no Blog?
Vejam esse link.
Vejam esse link.
package ListaAula08;
import java.util.Scanner;
public class ListaAula08_06 {
/**
* Leia um número m inteiro sendo que m>=1. Descubra se
* é possível encontrar dois outros números inteiros r e s
* de tal forma que r2 + s2 = m2. Sendo que 1 <= r < m e 1 <= s < m.
*/
public static void main(String[] args) {
Scanner in = new Scanner(System.in);
System.out.print("Digite um numero m: ");
int m = in.nextInt();
boolean achou = false;
for(int r=1; r<m; r++){
for(int s=1; s<m; s++){
if((r*r+s*s)==(m*m)){
System.out.println(r+"^2 + "+s+"^2 = "+m+"^2");
achou = true;
}
}//for
}//for
if(!achou){
System.out.println("Nao existe nenhum r^2 + s^2 = "+m+"^2");
}
}//main
}//classe
Entrevista Revista ProXXIma
Este mês concedi uma entrevista para Maria Fernanda, repórter da revista ProXXIma, do grupo Meio&Mensagem.
Veja o texto na íntegra:
MF:
Como pai, como você procede com o seu filho na web?
Plínio:
Tenho um filho de 4 anos que ainda não acessa a Internet, e uma filha de 10 que já vem usando ativamente a pelo menos 2 anos. Minha filha pode usar alguns recursos com restrições, por exemplo, ela pode fazer pesquisas na Internet, mas o navegador Web no computador dela está com filtro habilitado, desta forma não retornam links com pornografia ou outros assuntos não apropriados para crianças. Ela tem email, mas só pode passar o endereço para pessoas da família ou amigos da escola. Ainda não permito o uso de comunicadores instantâneos como MSN, Skype e outros desse tipo. Ainda não permitimos, também, o uso das redes sociais.
MF:
Ele já utiliza a web? Desde quando começou a orientá-lo?
Plínio:
Minha filha tem computador a uns 3 anos, desde então começamos a orientá-la sobre os perigos da Internet. Eu uso a comparação que a Internet é como deixar a janela do quarto dos seus filhos aberta durante a noite. É muito perigoso! Conversamos sobre isso com a minha filha, e procuramos evitar que ela uso os recursos mais perigosos.
MF:
Quais são os perigos que as crianças estão expostas na web?
Plínio:
O pior é realmente serem atraídas por pedófilos. Esse é um perigo real, por isso, devemos evitar que as crianças utilizem recursos com os quais elas possam ser contatadas diretamente (MSN, Skype e redes sociais). Mesmo o uso de emails deve ser monitorado de perto. Além disso, temos o risco da exposição a assuntos que não devem fazer parte do mundo infantil (guerras, sexo, violência em geral), por isso temos que ativar os filtros nos buscadores e criar uma lista de sites seguros que a criança pode visitar. Deixar essa lista nos links favoritos e ensinar como utilizar.
MF:
Na sua opinião, os pais realmente sabem o que seus filhos estão fazendo na internet, quanto tempo passam online e o que acessam?
Plínio:
Não, não sabem. Eu mesmo tive surpresas... Por isso é bom não abaixar a guarda. As crianças não podem utilizar o computador em ambiente de difícil acesso, por exemplo, quarto com a porta fechada. O ideal é deixar o computador em um local de movimento da casa, ou em um ambiente que possa ficar sempre aberto. De vez em quando é bom acessar o computador e olhar logs e outros relatórios. Não deixe de fazer isso...
MF:
Quais dicas dar aos pais para que possam proteger seus filhos?
Plínio:
Acompanhem seus filho de perto. Principalmente na transição da infância para adolescência. Estamos vivendo uma fase muito diferente na história da computação, nunca antes tivemos tantos recursos para compartilhar informações pessoais na Internet. Há alguns anos somente os mais interessados por tecnologia mantinham blogs ou sites, agora qualquer um pode criar um perfil em uma rede social e começar a postar informações pessoais a partir de um telefone celular. Isso cria um nível de exposição nunca antes experimentado. Hoje um jovem vai achar o máximo publicar uma foto dele em uma festa, mas essa foto vai ficar lá para sempre. Mesmo se ele apagar a foto do seu perfil em uma rede social essa foto já foi indexada por algum mecanismo de busca e já foi copiada para algum servidor na Internet. Essa foto provavelmente nunca vai desaparecer. Daqui a dez ou vinte anos essa foto vai continuar rodando na Internet e nesse momento pode ser que a pessoa já não queira mais ser lembrado por aquela festa.
MF:
Como explicar às crianças que os pais devem ter acesso ao que eles fazem na web?
Plínio:
Essa é a regra do jogo... Acho que a base dessa conversa deve ser os perigos que a Internet representa. A pessoa precisa de maturidade para entender as conseqüências do que se faz na Internet e essa maturidade demora para vir. Portanto no inicio devemos acompanhar de perto.
MF:
Como os pais devem proceder ao perceberem que o filho foi vítima de algum tipo de abuso na internet?
Plínio:
Depende muito do que estiver acontecendo. Devemos primeiro conversar com a criança e ver até onde o problema chegou e como começou. Se não foi algo muito sério deve-se procurar evitar que volte a ocorrer, se foi algo mais sério deve-se buscar ajuda com pessoas competentes, advogados ou mesmo a polícia.
MF:
Parece que a velha máxima de “não fale com estranhos” não vale para a internet, pois pesquisas mostram que as crianças fazem amigos virtuais. Como proceder?
Plínio:
A regra vale sim. É a regra mais sagrada que pode existir.
MF:
Os pais devem bloquear o acesso das crianças?
Plínio:
Bloquear não, pois esse acesso é inevitável. Mas devemos restringir e acompanhar. Liberando mais recursos a partir do momento que a criança tiver maturidade para entender o que está fazendo.
MF:
Mais algum comentário professor:
Plínio:
Alguns sistemas operacionais, como o Mac OS X, que eu utilizo, permitem que alguns recursos do computador sejam limitados. Como acesso a webmail por exemplo, ou sites específicos. Acho importante que os pais procurem saber se o sistema que eles utilizam permite esse tipo de restrição e se permitir configurem as restrições apropriadas para seus filhos.
Veja o texto na íntegra:
MF:
Como pai, como você procede com o seu filho na web?
Plínio:
Tenho um filho de 4 anos que ainda não acessa a Internet, e uma filha de 10 que já vem usando ativamente a pelo menos 2 anos. Minha filha pode usar alguns recursos com restrições, por exemplo, ela pode fazer pesquisas na Internet, mas o navegador Web no computador dela está com filtro habilitado, desta forma não retornam links com pornografia ou outros assuntos não apropriados para crianças. Ela tem email, mas só pode passar o endereço para pessoas da família ou amigos da escola. Ainda não permito o uso de comunicadores instantâneos como MSN, Skype e outros desse tipo. Ainda não permitimos, também, o uso das redes sociais.
MF:
Ele já utiliza a web? Desde quando começou a orientá-lo?
Plínio:
Minha filha tem computador a uns 3 anos, desde então começamos a orientá-la sobre os perigos da Internet. Eu uso a comparação que a Internet é como deixar a janela do quarto dos seus filhos aberta durante a noite. É muito perigoso! Conversamos sobre isso com a minha filha, e procuramos evitar que ela uso os recursos mais perigosos.
MF:
Quais são os perigos que as crianças estão expostas na web?
Plínio:
O pior é realmente serem atraídas por pedófilos. Esse é um perigo real, por isso, devemos evitar que as crianças utilizem recursos com os quais elas possam ser contatadas diretamente (MSN, Skype e redes sociais). Mesmo o uso de emails deve ser monitorado de perto. Além disso, temos o risco da exposição a assuntos que não devem fazer parte do mundo infantil (guerras, sexo, violência em geral), por isso temos que ativar os filtros nos buscadores e criar uma lista de sites seguros que a criança pode visitar. Deixar essa lista nos links favoritos e ensinar como utilizar.
MF:
Na sua opinião, os pais realmente sabem o que seus filhos estão fazendo na internet, quanto tempo passam online e o que acessam?
Plínio:
Não, não sabem. Eu mesmo tive surpresas... Por isso é bom não abaixar a guarda. As crianças não podem utilizar o computador em ambiente de difícil acesso, por exemplo, quarto com a porta fechada. O ideal é deixar o computador em um local de movimento da casa, ou em um ambiente que possa ficar sempre aberto. De vez em quando é bom acessar o computador e olhar logs e outros relatórios. Não deixe de fazer isso...
MF:
Quais dicas dar aos pais para que possam proteger seus filhos?
Plínio:
Acompanhem seus filho de perto. Principalmente na transição da infância para adolescência. Estamos vivendo uma fase muito diferente na história da computação, nunca antes tivemos tantos recursos para compartilhar informações pessoais na Internet. Há alguns anos somente os mais interessados por tecnologia mantinham blogs ou sites, agora qualquer um pode criar um perfil em uma rede social e começar a postar informações pessoais a partir de um telefone celular. Isso cria um nível de exposição nunca antes experimentado. Hoje um jovem vai achar o máximo publicar uma foto dele em uma festa, mas essa foto vai ficar lá para sempre. Mesmo se ele apagar a foto do seu perfil em uma rede social essa foto já foi indexada por algum mecanismo de busca e já foi copiada para algum servidor na Internet. Essa foto provavelmente nunca vai desaparecer. Daqui a dez ou vinte anos essa foto vai continuar rodando na Internet e nesse momento pode ser que a pessoa já não queira mais ser lembrado por aquela festa.
MF:
Como explicar às crianças que os pais devem ter acesso ao que eles fazem na web?
Plínio:
Essa é a regra do jogo... Acho que a base dessa conversa deve ser os perigos que a Internet representa. A pessoa precisa de maturidade para entender as conseqüências do que se faz na Internet e essa maturidade demora para vir. Portanto no inicio devemos acompanhar de perto.
MF:
Como os pais devem proceder ao perceberem que o filho foi vítima de algum tipo de abuso na internet?
Plínio:
Depende muito do que estiver acontecendo. Devemos primeiro conversar com a criança e ver até onde o problema chegou e como começou. Se não foi algo muito sério deve-se procurar evitar que volte a ocorrer, se foi algo mais sério deve-se buscar ajuda com pessoas competentes, advogados ou mesmo a polícia.
MF:
Parece que a velha máxima de “não fale com estranhos” não vale para a internet, pois pesquisas mostram que as crianças fazem amigos virtuais. Como proceder?
Plínio:
A regra vale sim. É a regra mais sagrada que pode existir.
MF:
Os pais devem bloquear o acesso das crianças?
Plínio:
Bloquear não, pois esse acesso é inevitável. Mas devemos restringir e acompanhar. Liberando mais recursos a partir do momento que a criança tiver maturidade para entender o que está fazendo.
MF:
Mais algum comentário professor:
Plínio:
Alguns sistemas operacionais, como o Mac OS X, que eu utilizo, permitem que alguns recursos do computador sejam limitados. Como acesso a webmail por exemplo, ou sites específicos. Acho importante que os pais procurem saber se o sistema que eles utilizam permite esse tipo de restrição e se permitir configurem as restrições apropriadas para seus filhos.
Verdades Menos Conhecidas sobre Programação
Achei esse texto bem interessante e trabalhei com ele na
minha disciplina sobre Modelagem de Software:
Some lesser-known truths about programming
Comentários?
minha disciplina sobre Modelagem de Software:
Some lesser-known truths about programming
Comentários?
Assinar:
Postagens (Atom)