Mostrando entradas con la etiqueta Software. Mostrar todas las entradas
Mostrando entradas con la etiqueta Software. Mostrar todas las entradas

I Congresso Brasileiro de Software: Teoria e Prática

domingo, 14 de marzo de 2010


I Congresso Brasileiro de Software: Teoria e Prática (CBSoft)

XXIV Simpósio Brasileiro de Engenharia de Software (SBES)

Promovido pela Sociedade Brasileira de Computação (SBC)

Salvador, Bahia - Brasil
27 de setembro a 01 de outubro de 2010

http://wiki.dcc.ufba.br/CBSOFT/SBES2010

DATAS IMPORTANTES:
Submissão de artigos: 3 de Maio
Notificação de Aceitação: 22 de Junho
Versão Final: 28 de Julho
******************************
***************************************


*******************
Escopo
*******************

O Simpósio Brasileiro de Engenharia de Software é o principal evento
científico da área no Brasil. Promovido anualmente pela Sociedade
Brasileira de Computação (SBC), o evento normalmente atrai cerca de
500 pessoas entre estudantes, acadêmicos e profissionais.

O SBES é um evento integrante do CBSoft - I Congresso Brasileiro de
Sofware: Teoria e Prática, que será realizado de 27 de setembro a 01
de outubro de 2010, no Hotel Bahia Othon Place, em Salvador - Bahia.

O programa do simpósio inclui sessões técnicas, palestras convidadas,
cursos, painéis, sessão de ferramentas, workshop de teses e
dissertações, além de vários outros eventos satélites. Esta chamada
convida para a submissão de artigos científicos para o evento.

Tópicos de interesse (sugeridos, mas não limitado a):

- Aplicações da engenharia de software na indústria
- Aspectos Sociais da engenharia de software
- Confiabilidade e disponibilidade de software
- CSCW e engenharia de software
- Desenvolvimento orientado a modelos
- Engenharia de requisitos
- Engenharia de software experimental
- Engenharia de software orientada a agentes
- Engenharia de software orientada a aspectos
- Engenharia de software orientada a componentes
- Engenharia de software para a WEB
- Fundamentos teóricos e métodos formais
- Linha de produto de software
- Manutenção de Software
- Métodos, técnicas, e ferramentas para engenharia de software
- Métricas e medições em engenharia de software
- Processos de software (incluindo métodos ágeis)
- Qualidade de software
- Reengenharia de software
- Reutilização de software
- Verificação, validação e teste de software


********************
Submissão de Artigos
********************

Artigos podem ser escritos em português ou inglês. Submissões em
inglês são encorajadas visto que os melhores artigos deverão ser
publicados em periódico internacional. Artigos submetidos ao SBES não
devem ter sidos submetidos a, ou aceitos por, nenhum outro fórum
(conferência ou periódico). Tampouco devem ser cópias de artigos já
publicados anteriormente, mesmo que ligeiramente modificadas ou
traduzidas.


Os artigos submetidos serão revisados por pelo menos três avaliadores,
no que se refere a: originalidade, clareza, relevância, consistência
técnica, e contribuições para a área de engenharia de software. O SBES
é altamente competitivo, tem índice de aceitação em torno de 15%.
Recomendamos à comunidade que os artigos submetidos sejam completos no
sentido de não somente apresentar propostas, mas também
contextualizá-las e comprová-las. Artigos experimentais devem
descrever o método utilizado e interpretar os resultados tanto
quantitativa como qualitativamente. Artigos que descrevem processos,
métodos ou técnicas devem conter uma crítica aprofundada justificando
a sua contribuição e aplicabilidade. A aceitação dos artigos está
condicionada à inscrição no SBES de pelo menos um dos seus autores que
o apresentará em uma sessão técnica.

Artigos deverão ser submetidos eletronicamente no seguinte endereço:

https://submissoes.sbc.org.br/cbsoft-sbes2010

Os artigos técnicos não deverão exceder 16 páginas A4 (uma coluna),
incluindo todas as figuras, referências e apêndices. Submissões devem
estar no formato PDF e devem seguir o padrão SBC para conferências.
Arquivos MS Word, Latex e Open Office para este padrão podem ser
obtidos no endereço abaixo na área marcada como "Modelos para
publicação de artigos":

http://www.sbc.org.br/index.php?language=1&subject=60


******************************
Premiação dos Melhores Artigos
******************************

O Comitê de Coordenação do SBES indica uma comissão independente para
escolher os melhores artigos do evento. Estes artigos são indicados
para uma edição especial de um periódico da área e são reconhecidos
durante a cerimônia de abertura do evento. Nos últimos quatro anos, os
seguintes periódicos publicaram os melhores artigos do SBES: the
Journal of the Brazilian Computer Society (JBCS), Journal of Systems
and Software (JSS), IET Software, Information Science (INS)

VIII Workshop de Teses e Dissertações em Qualidade de Software

jueves, 18 de febrero de 2010


VIII Workshop de Teses e Dissertações em Qualidade de Software (WTDQS)

(Em conjunto com SBQS 2010 - http://www.ufpa.br/sbqs2010/)

CHAMADA DE TRABALHOS


O VIII Workshop de Teses e Dissertações em Qualidade de Software (WTDQS), inserido no IX Simpósio Brasileiro de Qualidade de Software (SBQS2010), é um fórum dedicado à apresentação e discussão de trabalhos de mestrado e de doutorado em Qualidade de Software em desenvolvimento no Brasil.


O objetivo deste evento é propiciar um ambiente construtivo para discussões, dando oportunidade aos alunos não somente de obterem uma realimentação sobre os seus trabalhos, mas também um posicionamento em relação à pesquisa em Qualidade de Software. Pretende-se também estimular a integração e a cooperação de pesquisadores nesta área, bem como oferecer maior visibilidade às pesquisas em andamento para a comunidade acadêmica e industrial.


O WTDQS ocorrerá no dia 07 de junho de 2010. Todos os trabalhos submetidos serão avaliados por três membros do Comitê de Programa. Os trabalhos selecionados deverão ser apresentados pelo aluno durante o Workshop, onde receberão opiniões e críticas construtivas do Corpo Convidado de Debatedores, composto por pesquisadores da área de Qualidade de Software, bem como da comunidade presente. Espera-se ao final do evento identificar os principais temas de pesquisa no país na área de qualidade de software, promover a integração entre as universidades, alunos e professores, bem como delinear áreas de atuação para trabalhos futuros. As versões finais dos trabalhos apresentados serão publicadas na página oficial do SBQS 2010.

Tópicos de Interesse:


Os temas de interesse do WTDQS 2010 incluem os seguintes tópicos relacionados com Qualidade de Software, sem, no entanto, se limitar a eles:

  • Qualidade do Processo e/ ou Produto de Software
  • Avaliação de Processo e/ ou Produto de Software
  • Melhoria de Processo e/ ou Produto de Software
  • Modelagem de Processo de Software
  • Modelos e Normas na Área de Qualidade de Software
  • Educação em Qualidade de Software
  • Qualidade de Software na Web
  • Qualidade de Software Orientado a Objetos
  • Qualidade e Métodos Ágeis
  • Ferramentas para Qualidade de Software
  • Gerência e/ ou Garantia de Qualidade de Software
  • Verificação, Validação e Testes
  • Revisões e Inspeções

Datas Importantes:

  • Submissão de Artigos: 18/04/2010 (23h55 horário de Brasília)
  • Notificação aos Autores: 19/05/2010
  • Entrega da Versão Final (camera-ready): 24/05/2010
  • Realização do WTDQS: 07/06/2010
  • Realização do SBQS 2010: 07/06/2010 a 11/06/2010

Submissão de Trabalhos


A submissão ao VIII WTDQS deve ser feita através de um artigo (resumo estendido) caracterizando o trabalho de mestrado ou doutorado. Prioridade será dada nos seguintes casos:

  • Trabalhos de doutorado que estejam no segundo ou terceiro ano, que tenham defendido ou que estejam próximos à defesa de sua proposta de trabalho de tese (qualificação).
  • Trabalhos de mestrado que já tenham proposta aprovada e que tenham prazo previsto de conclusão para os próximos 12 meses.

Trabalhos de mestrado ou doutorado já concluídos ou, em fase de conclusão, ou seja, cuja defesa esteja prevista para ocorrer próxima (antes ou depois) a data do WTDQS não devem ser submetidos.


Os trabalhos podem ser submetidos em português ou inglês. Os artigos deverão ser submetidos eletronicamente pelo sistema JEMS, utilizando a seguinte página: https://submissoes.sbc.org.br/sbqs2010

Todos os trabalhos devem conter uma folha de rosto, incluindo as seguintes informações:

  • Título
  • Aluno
  • Orientador
  • Nível (mestrado ou doutorado)
  • Programa de pós-graduação
  • E-mail de contato do aluno
  • Ano de ingresso no programa
  • Mês/Ano previsto para conclusão
  • Data da aprovação da proposta de tese ou dissertação (qualificação)
  • Resumo
  • Palavras-chave (de acordo com os assuntos acima relacionados)

O conteúdo do trabalho deve iniciar na segunda página, devendo ser apresentado de forma clara e objetiva através dos seguintes tópicos:

  • Caracterização do problema
  • Fundamentação teórica
  • Metodologia e estado atual do trabalho
  • Trabalhos relacionados
  • Resultados esperados


O artigo deve respeitar o formato de artigos SBC (template SBC) a partir da segunda página e ser submetido em formato PDF (exclusivamente) com o seguinte limite de número de páginas:

  • Mestrado: folha de rosto e até 5 páginas de conteúdo
  • Doutorado: folha de rosto e até 7 páginas de conteúdo

Trabalhos em formato diferente de PDF, que excedam o número de páginas ou que violem as instruções de formato não serão considerados.

3rd International Conference on Software Language Engineering

miércoles, 17 de febrero de 2010


3rd International Conference on Software Language Engineering

SLE 2010
12-13 Oct 2010 -- Eindhoven, The Netherlands


http://planet-sl.org/sle2010/

Co-located with the International Conference on Generative
Programming and Component Engineering (GPCE'10).
------------------------------------------------------------
DATES

Jun 28: Abstract submission (required)
Jul 05: Paper submission (midnight Apia Samoa time)
Aug 27: Author notification
Sep 17: Paper submission for online proceedings
Oct 12-13: SLE 2010
Dec 03: Camera-ready copy submission for post-proceedings
------------------------------------------------------------
Software language engineering is devoted to topics related
to artificial languages in software engineering. The foremost
mission of the International Conference on Software Language
Engineering (SLE) is to encourage and organize communication
between communities that traditionally have looked at soft-
ware languages from different, more specialized, and yet
complementary perspectives. Thus, technologies, methods,
experiments and case studies from modelware, grammarware,
and ontologyware serving the objectives of software languages
are of particular relevance to SLE.

We invite high-quality submissions to all conference tracks.
Submissions must be PDF files following the Springer LNCS
style and will be managed using the EasyChair submission system.
Please check the conference web site for further information.

New at SLE 2010 is a Doctoral Symposium that will provide
a supportive yet questioning setting in which PhD students
can present their work, including goals, methods, and
preliminary results. The Symposium aims to provide students
with useful guidance and feedback on various aspects of their
research from established researchers and the other student
attendees.

Please forward this call to anyone who might be interested.

http://planet-sl.org/sle2010/
------------------------------------------------------------
PAPER SUBMISSION

Submitted papers must be original work and must not be
previously published in, currently submitted to, or currently
in consideration for any journal, book, conference, or
workshop. Each submitted paper will be reviewed closely by
at least three members of the program committee. Accepted
papers will be distributed at the conference via the online
proceedings as well as published in the post-proceedings,
which will appear in the Springer Lecture Notes in Computer
Science (LNCS) series. Authors will have the opportunity
to revise their accepted paper(s) for the pre- and post-
proceedings. For an accepted paper to appear in the proceedings,
at least one author must attend the event and present the work.
------------------------------------------------------------
RESEARCH PAPERS

Research papers should report a substantial research contribution
to SLE and/or a successful application of SLE techniques. We
solicit high-quality contributions in the area of SLE ranging
from theoretical and conceptual contributions to tools, techniques,
and frameworks that support the aforementioned lifecycle activities.
We list examples of tools, techniques, applications, and problems of
interest to clarify the types of contributes that we seek:

* Formalisms used in designing and specifying languages and
tools that analyze such language descriptions
* Language implementation techniques
* Program and model transformation tools
* Composition, integration, and mapping tools for managing
different aspects of software languages or different
manifestations of a given language
* Transformations and transformation languages between
languages and models
* Language evolution
* Approaches to elicitation, specification, or verification
of requirements for software languages
* Language development frameworks, methodologies, techniques,
best practices, and tools for the broader language lifecycle
covering phases such as analysis, testing , and documentation.
* Design challenges in SLE
* Applications of languages including innovative domain-specific
languages or "little" languages

The preceding list is not exclusive or exhaustive. Visit
the conference web site for more information about the scope
and topics of interest of SLE, or contact the program co-chairs
with questions.

Page limit: 20
------------------------------------------------------------
SHORT PAPERS

Short paper may describe interesting or thought-provoking
concepts that are not yet fully developed or evaluated, make
an initial contribution to challenging research issues in SLE,
or discuss and analyze controversial issues in the field.

Page limit: 10
------------------------------------------------------------
TOOL DEMONSTRATION PAPERS

Because of SLE's ample interest in tools, we seek papers
that present software tools related to the field of SLE.
These papers will accompany a tool demonstration to be given
at the conference. The selection criteria include the
originality of the tool, its innovative aspects, the relevance
of the tool to SLE, and the maturity of the tool. Submissions
may also include an appendix (that will not be published)
containing additional screen-shots and discussion of
the proposed demonstration.

Page limit: 10
------------------------------------------------------------
MINI-TUTORIAL PAPERS

SLE is composed of various research areas, such as grammarware,
modelware, language schemas, and semantic technologies. The
cross product of attendees at SLE creates a situation where
the contribution from one session may be difficult to
understand by those not initiated to the area. To help unite
the various communities of SLE 2010, we solicit mini-tutorials
that provide discussion points for mapping common ideas between
related and complementary research topics of SLE.

A mini-tutorial submission should be between 15 and 20 pages.

IX SIMPÓSIO BRASILEIRO DE QUALIDADE DE SOFTWARE

lunes, 4 de enero de 2010

IX SIMPÓSIO BRASILEIRO DE QUALIDADE DE SOFTWARE
(SBQS 2010)


Belem/PA - 07 a 11 de junho de 2010

http://www.ufpa.br/sbqs2010

O Simpósio Brasileiro de Qualidade de Software, um evento anual que tem
como objetivo reunir empresários, profissionais, professores,
pesquisadores e estudantes de diversas áreas, interessados em questões
relativas à qualidade de software, em um evento de divulgação e troca de
experiências, promovendo a integração Universidade/ Empresa.

O evento será composto de palestras técnicas da academia e de relatos de
experiência da indústria, além de mini-cursos e da presença de
palestrantes convidados, de renome na área de Qualidade de Software.

Esta edição do SBQS ocorrerá em Belém, no Pará, e será realizada pela
Universidade Federal do Pará (UFPA) em conjunto com a Universidade Federal
do Amazonas (UFAM).


**** Datas importantes ****

Submissão de artigos técnicos
Prazo de submissão: 05 / 02 / 2010 (23h55, horário de Brasília)
Notificação aos autores : 07 / 04 / 2010
Entrega da versão final (camera-ready): 23 / 04 / 2010

Não haverá prorrogação da data de submissão dos artigos

Submissão de relatos de experiência
Prazo de submissão: 12 / 02 / 2010 (23h55 horário de Brasília)
Notificação aos autores: 07 / 04 / 2010
Entrega da versão final (camera-ready): 23 / 04 / 2010

Não haverá prorrogação da data de submissão dos relatos



**** Temas de interesse ****

Os temas de interesse do SBQS 2009 incluem os seguintes tópicos
relacionados com Qualidade de Software, sem, no entanto, se limitar a
eles:

- Qualidade do Processo e/ou Produto de Software
- Avaliação de Processo e/ou Produto de Software
- Melhoria de Processo e/ou Produto de Software
- Modelagem de Processo de Software
- Modelos e Normas na Área de Qualidade de Software
- Educação em Qualidade de Software
- Qualidade de Software na Web
- Qualidade de Software Orientado a Objeto
- Qualidade e Métodos Ágeis
- Qualidade de Software e Reutilização
- Qualidade de Software e Gestão de Conhecimento
- Qualidade de Software e Manutenção
- Ferramentas para Qualidade de Software
- Gerência e/ ou Garantia de Qualidade de Software
- Verificação, Validação e Teste



**** Instruções para submissão ****

Poderão ser submetidos dois tipos de artigos: trabalhos técnicos e relatos
de experiência.

Trabalhos técnicos: artigos de alta qualidade descrevendo resultados
inéditos sobre de pesquisa na área de qualidade de software com
contribuição acadêmica.

Relatos de experiência: artigos de alta qualidade descrevendo e analisando
a aplicação de processos, métodos ou ferramentas de qualidade de software,
contextualizando a experiência e mostrando os resultados obtidos e lições
aprendidas, em uma experiência prática com contribuição para a indústria
de software.

É importante verificar a distinção entre trabalho técnico e relato de
experiência. Artigos classificados equivocadamente (relatos de experiência
submetidos como trabalhos técnicos e vice-versa) serão rejeitados.

Deve ser utilizado o formato definido pela SBC - Sociedade Brasileira de
Computação (http://www.sbc.org.br):
- Aba "Eventos", Janela (à esquerda), "Arquivos"
- Item "Template para publicação de artigos"
Todos os artigos devem estar no formato Adobe Portable Document Format
(PDF) e poderão ser submetidos em português, espanhol ou inglês.
Logo após o título do artigo, deve ser definido o tipo de artigo: trabalho
técnico ou relato de experiência. O nome e a filiação dos(as) autores(as)
pode vir a seguir.
Os trabalhos técnicos devem ter entre 12 e 15 páginas, incluindo todas as
figuras, referências e apêndices. Os relatos de experiência devem ter
entre 6 e 8 páginas, incluindo todas as figuras, referências e apêndices.
Artigos que não atenderem a algum destes requisitos de formatação serão
rejeitados.

As instruções para submissão eletrônica serão divulgadas posteriormente


**** Avaliação ****

Os artigos serão julgados por um comitê formado por pesquisadores e
professores envolvidos com Qualidade de Software, considerando diferentes
fatores de julgamento.


**** Premiação ****

SBQS 2009 vai premiar o melhor artigo em cada uma das categorias: Trabalho
Técnico e Relato de Experiência. Para escolha dos melhores artigos em cada
categoria será considerado o trabalho escrito

Publicado por unimauro en 15:04 0 comentarios  

European Joint Conferences on Theory And Practice of Software

miércoles, 9 de septiembre de 2009

CALL FOR PAPERS: ETAPS 2010

European Joint Conferences on Theory And Practice of Software

March 20 - March 28, 2010

Paphos, Cyprus

http://www.etaps.org
http://www.etaps10.cs.ucy.ac.cy/

================================================================

-- ABOUT ETAPS --

The European Joint Conferences on Theory and Practice of Software
(ETAPS) is the primary European forum for academic and industrial
researchers working on topics relating to Software Science. ETAPS,
established in 1998, is a confederation of five main annual confe-
rences, accompanied by satellite workshops and other events. ETAPS
2010 is the thirteenth event in the series.

-- INVITED SPEAKERS --

Mark Harman (KCL)
Jim Larus (MSR)
Dave Naumann (Stevens)
Joseph Sifakis (IMAG)
Colin Stirling (Edinburgh)
Phil Wadler (Edinburgh)

-- MAIN CONFERENCES --

- CC: International Conference on Compiler Construction
- ESOP: European Symposium on Programming
- FASE: Fundamental Approaches to Software Engineering
- FOSSACS: Foundations of Software Science and Computation Structures
- TACAS: Tools and Algorithms for the Construction and Analysis
of Systems

-- IMPORTANT DATES --

01 October 2009: Submission deadline for abstracts (strict)
08 October 2009: Submission deadline for full papers (strict)
11 December 2009: Notification of acceptance/rejection
04 January 2010: Camera-ready versions due (strict)
20-28 March 2010: ETAPS 2010

-- GENERAL SUBMISSION INFORMATION --

ETAPS conferences accept two types of contributions: research papers
and tool demonstration papers. Both types will appear in the procee-
dings and have presentations during the conference. Submitted papers
must be in English presenting original research. They must be
unpublished and not submitted for publication elsewhere (neither
conference nor journal). In particular, simultaneous submission of
the same contribution to multiple ETAPS conferences is forbidden. One
author of each accepted paper must attend the conference to present
the paper.

Papers should be submitted electronically in PDF (preferably) or PS
(using Type 1 fonts). The proceedings will be published in the Springer-
Verlag Lecture Notes in Computer Science series. Final papers will
be in the format specified by Springer-Verlag at the URL:

http://www.springer.de/comp/lncs/authors.html

Submissions not adhering to the specified format and length may be
rejected immediately, without review.

-- Research Papers --

FASE, FOSSACS and TACAS papers should be no more than **15** pages
long. ESOP and CC papers must have a maximum length of **20** pages.
The length indications include figures and references. Additional
material intended for the referee but not for publication in the
final version - for example details of proofs - may be placed in a clearly marked appendix that is not included in the page limit.
ETAPS referees are at liberty to ignore appendices, and papers must
be understandable without them.

-- Tool Demonstration Papers --

Submissions should consist of two parts:

- The first part, at most four pages, should describe the tool. Please
include the URL of the tool (if available) and provide information
which illustrates the maturity and robustness of the tool. (This part
will be included in the proceedings.)

- The second part, at most six pages, should explain how the demon-
stration will be carried out and what it will show, including screen
dumps and examples. (This part will be not be included in the
proceedings, but will be evaluated.)

Please note that FOSSACS does not accept tool demonstration papers.

-- SATELLITE EVENTS --

At ETAPS 2010, 19 workshops will take place.

-- Paphos --

The west coast town of Paphos with its pleasant harbour and medieval
fort, combines a cosmopolitan holiday resort, spectacular countryside
and historical sites. With a population of just 28.000 inhabitants,
Paphos nestles in the lee of the Western Troodos Mountains and close
to the Akamas National Park which add another dimension to this area
of scenic beauty. Paphos has an air of holiday charm combined with
history, and olden-day elegance is lent to the town by its classical
style buildings in the upper part of town which leads to the shopping
area. The lower part of the town has a life of its own, down near the
sea, home of the harbour, the fish taverns, souvenir shops and several
hotels with important archaeological sites around them. Paphos was the
island's capital, and it is famous for the remains of the Roman
Governor's palace, where extensive, fine mosaics are a major tourist
attraction. The town of Paphos is included in the official UNESCO list
of cultural and natural treasures of the world's heritage.

-- FURTHER INFORMATION AND ENQUIRIES --

For further information, do not hesitate to contact the following addresses.

- GENERAL INFORMATION e-mail: etaps10@cs.ucy.ac.cy

- George Papadopoulos, george@cs.ucy.ac.cy

- Anna Philippou, annap@cs.ucy.ac.cy

Publicado por unimauro en 10:07 0 comentarios  

Onward! 09 The conference for new ideas in Software

miércoles, 10 de junio de 2009

Onward! 09 The conference for new ideas, new paradigms, and reflections on everything to do with programming and software.

Sponsored by ACM SIGPLAN in cooperation with SIGSOFT

Co-located with OOPSLA 2009
Orlando, Florida October 25-29 2009

http://www.onward-conference.org

*** Deadline approaching ***
June 26, 2009 Submission of short research papers
July 2, 2009 Submission of films

******************************
*****************************

Onward! is a place for highly original ideas about how technological advances and new applications are going to shape computational fabrics of the future. Onward! is more radical, more visionary, and more open than other conferences to not so well proven but well argued ideas. We welcome different ways of thinking about, approaching, and reporting on programming languages and software engineering research. Onward! takes a broad and inclusive view of computation and seeks contributions from all fields represented at OOPSLA and other software conferences. Onward! particularly encourages contributions influenced by other disciplines such as art, philosophy, psychology, sociology, anthropology, biology,
economics, communities, politics, ethics, or any other human endeavor.
Anything to do with programming and software can be submitted. Anything!

Onward! is innovative not only with regard to its topics and ideas but also to the contribution formats. This year, we seek high quality submissions in one of the following categories:

*** RESEARCH PAPERS (Due June 26, 2009) ***
While regular research papers tell what work has been done and validated in recent years, Onward! papers show what exciting work is being done right now. Onward! accepts papers that talk about innovative research work that is early in its life or is not in the mainstream. We request submissions of position papers that propose bold directions of research and advocate nontraditional methodologies. An Onward! paper does not need to contain a fully worked out theory or implemented system, but must be well-thought-out and compelling in its vision or uniqueness of thinking.
Papers will be peer-reviewed. Accepted papers will be published in the OOPSLA 2009 Proceedings, and will appear in the ACM Digital Library.
*** FILMS ***
Years ago, sophisticated software systems had to be constructed by highly trained programmers who understood the ins and outs of software development. Today, with the advent of new mashup technologies and service architectures, these barriers have been lowered. The goal of this track is to explore new developments in how film and other narrative multimedia technologies can be used to enrich the software development process. Descriptions of accepted films will be published in the OOPSLA 2009 Companion, and will appear in the ACM Digital Library.
*** ESSAYS (submission closed) ***

*** WORKSHOPS (submission closed) ***

*** HOW TO SUBMIT ***
Electronic submission is required through the Onward! homepage. Text submissions must follow the standard ACM SIGPLAN format. Research papers should not exceed 8 pages. Submissions must not have been previously published, and must not be concurrently submitted for publication elsewhere (including journals and formal proceedings of conferences and workshops). Violation of this policy will result in desk-rejection of the submission.

*** GENERAL CHAIR ***
Bernd Bruegge, Technische Universitaet Muenchen, Germany

*** PROGRAM COMMITTEE ***
Yvonne Coady, University of Victoria, Canada (chair)
Roger Dannenberg, Carnegie Mellon University, USA
Dilma Da Silva, IBM TJ Watson Research Center, USA
Maja Dhondt, IMEC, Belgium
Bjorn Freeman-Benson, Eclipse Foundation, USA
Harald Gall, University of Zurich, Switzerland
Bruce Horn, Powerset, USA
Gail Kaiser, Columbia University, USA
Caitlin Kelleher, Washington University St. Louis, USA
Michele Lanza, University of Lugano, Switzerland
Rick McGeer, HP Labs, USA
Linda Northrop, Carnegie Mellon University, USA
Nuno Jardim Nunes, University of Madeira, Portugal
Dirk Riehle, SAP Research, Germany
Christa Schwanninger, Siemens, Germany

*** FILM COMMITTEE ***
Martin Purvis, University of Otago, New Zealand (chair)
Roberto Bisiani, University of Milano - Bicocca, Italy
Oliver Creighton, Siemens, Germany
Ralph Guggenheim, Allegator Planet, USA
Andrew Long, University of Otago, New Zealand

Publicado por unimauro en 9:11 0 comentarios  

3nd Brazilian Workshop on Systematic and Automated Software Testing

jueves, 28 de mayo de 2009

3nd Brazilian Workshop on Systematic and Automated Software Testing

Co-located with SBMF/SBLP 2009 (www.sbmf2009.inf.ufrgs.br)

Gramado, RS, Brazil
August 19th, 2009


Software testing is a central activity in the validation and verification
process of software systems. It has been largely applied in industry with
the purpose of detecting defects and also composing the systems
certification. Research in this area has steadily increased in the last
years. Notable academic progress has already been achieved in the area.
Also, industry has continuously improved test processes. Systematic
approaches have proven to be more effective than ad-hoc testing as well as
automation of strenuous and repetitive activities. Moreover, successful
cases have been reported.

The main goal of SAST is to be a forum that brings together the research
community and industry.The proposal of this third SAST edition, now in
conjunction with SMBF, was built on two main factors. The first one is
the success of the previous editions, which demonstrates the growth of
the field. The second one is the common interests shared by the testing
and formal method communities. This interest tends to be even greater
in the future.
The event can clearly promote advances in the research and practice in the
software testing area by aiding the establishment of collaborations
and joint projects.

TOPICS OF INTEREST
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
Two types of submissions are expected:
i) Technical papers; and
ii) Experience Report.

Papers submitted to the workshop must be unpublished original work. The
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.
Accepted submissions of technical and experience report papers are going to
be presented at the workshop technical sessions. All submissions must be
in Adobe Portable Document Format (PDF), following the guidelines established
by the Brazilian Computer Society (SBC) available
at: http://www.sbc.org.br (In the link "Eventos").

i) 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.

ii) 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.


Paper submission will be done electronically at the following address:
https://submissoes.sbc.org.br/

PUBLICATION
Authors of accepted papers are required to register to the workshop and
present the paper at the workshop to ensure publication

IMPORTANT DATES
Submission Deadline: 15/06
Notification of Acceptance: 15/07
Final Version: 30/07

Publicado por unimauro en 17:07 0 comentarios  

CFP: XXIII SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE

domingo, 24 de mayo de 2009

XXIII SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE
Fortaleza, 05 a 09 de Outubro de 2009
http://www.sbbd-sbes2009.ufc.br

************* XVI SESSÃO DE FERRAMENTAS ************

*************** CHAMADA DE TRABALHOS ***************

INFORMAÇÕES GERAIS
A Sessão de Ferramentas tem sido promovida tradicionalmente como um dos eventos integrantes do Simpósio Brasileiro de Engenharia de Software - SBES. O objetivo da Sessão é proporcionar um fórum para intercâmbio de experiências e de soluções automatizadas para apoiar o processo de software em suas mais diversas necessidades e manifestações. O público-alvo inclui membros da comunidade acadêmica, que poderão demonstrar os resultados de seus projetos de pesquisa aplicados na área de Engenharia de Software, bem como fabricantes de ferramentas comerciais, que terão a oportunidade de apresentar e divulgar seus produtos para os participantes do SBES. Em sua 16a edição, a Sessão de Ferramentas consistirá de apresentações e demonstrações práticas das ferramentas selecionadas. Cada ferramenta terá um espaço para apresentação e demonstração durante o evento.

TÓPICOS DE INTERESSE
Os autores estão convidados a submeter trabalhos descrevendo soluções automatizadas para os mais diversos aspectos e necessidades da Engenharia de Software. Uma lista não-exaustiva dos principais tópicos de interesse da Sessão de Ferramentas pode ser encontrada na própria chamada de trabalhos do SBES.

SUBMISSÕES DE FERRAMENTAS
Os artigos descrevendo as ferramentas deverão ser submetidos eletronicamente utilizando a página Web, na URL a seguir:
https://submissoes.sbc.org.br/home.cgi?c=884

É fortemente recomendado que o autor disponibilize eletronicamente a ferramenta (ou uma versão adequada da mesma) na Internet durante o período de avaliação dos artigos. Artigos submetidos à Sessão de Ferramentas do SBES 2009 devem ser originais, não podendo ter sido submetidos simultaneamente a outras conferências ou periódicos, nem publicados em outro veículo. A aceitação de um artigo implica que pelo menos um autor se inscreverá no SBES para apresentá-lo.

PROGRAMAÇÃO PRELIMINAR
A sessão de ferramentas deverá realizar-se em dois dias: 07 e 08 de outubro. No primeiro dia serão feitas as apresentações orais das ferramentas. No segundo dia, os autores terão um espaço para realizar a demonstração das ferramentas aos interessados. Tanto a apresentação oral quanto a demonstração das ferramentas são obrigatórias.

CONTEÚDO E FORMATO
O artigo descrevendo a ferramenta deverá abordar, pelo menos, e de forma clara, os seguintes pontos:

a) o problema tratado pela ferramenta;
b) a sua arquitetura;
c) pelo menos uma tela da ferramenta (quando se aplicar);
d) descrição das principais funcionalidades;
e) o tipo de licença; e
f) o endereço (URL) na Internet onde a mesma esteja disponível para uso ou para cópia (download), se for o caso.

Os artigos descrevendo as ferramentas não deverão exceder 6 (seis) páginas A4 (uma coluna), incluindo todas as figuras, referências e apêndices. Artigos poderão ser submetidos em Português ou Inglês. Todos os artigos devem estar no formato Adobe Portable Document Format (PDF) legível pelo Adobe Reader. O formato a ser seguido é o padrão da SBC disponível na URL "http://www.sbc.org.br/index.php?language=1&subject=60" na área marcada como "Modelos para publicação de artigos". Como os anais da Sessão de Ferramentas serão impressos (ainda pendente de confirmação), pede-se aos autores que as figuras sejam geradas com boa qualidade e incluídas no artigo em escala de cinza.

DATAS IMPORTANTES
Data para submissão: 5 de junho de 2009 (23h55 horário de Brasília)
Notificação de aceitação: 24 de julho de 2009
Envio da versão final: 07 de agosto de 2009
Realização: 07 e 08 de Outubro de 2009

COORDENAÇÃO
Glêdson Elias da Silveira, UFPB

COMITÊ DE AVALIAÇÃO
Adenilso Simão, ICMC-USP
Auri Vincenzi, UFG
Carla Lima Reis, UFPA
Daltro Nunes, UFRGS
Edmundo Spoto, UNIVASF
Eduardo Almeida, CESAR/RiSE
Elisa Huzita, UEM
Frank Siqueira, UFSC
Gledson Elias, UFPB
Guilherme Travassos, COPPE/UFRJ
Gustavo Motta, UFPB
Jorge Henrique Cabral Fernandes, UNB
José Carlos Maldonado, ICMC-USP
Juliano Oliveira, UFG
Leila Silva, UFS
Leonardo Murta, UFF
Manoel Mendonça, UFBA
Marcelo Turine, UFMS
Marcio Delamaro, USP
Marcos Chaim, USP
Maria Istela Cagnin, UFMS
Mario Jino, FEEC-UNICAMP
Nelson Souto Rosa, UFPE
Paulo Pires, UFRN
Ricardo Falbo, UFES
Rosângela Penteado, UFSCar
Sandra Fabbri, UFSCar
Silvia Vergilio, UFPR
Simone R. Senger de Souza, ICMC-USP