"Agile methodologies": one of the "10 skills developers will need in the next five years", by Justin James

With the recent changes in the economy, a lot of developers are focused on their short-term job prospects. At the same time, it's important to make sure that you get the most bang for your buck when it comes to taking the time and energy to learn new skills. Here is our list of 10 skills you should be learning right now to make sure that your resume is relevant for the next five years. The list is hardly exhaustive, and there are huge swaths of the industry it won't cover (mainframe developers, for example). Nonetheless, for average mainstream development, you can't go wrong learning at least seven of these skills — not only to the point where you can talk convincingly about them at a job interview, but actually use them on the job.
(...)

7: Agile methodologies

When Agile first hit mainstream awareness, I was a skeptic, along with many other folks I know. It seemed to be some sort of knee-jerk reaction to tradition, throwing away the controls and standards in favor of anarchy. But as time went on, the ideas behind Agile became both better defined and better expressed. Many shops are either adopting Agile or running proof-of-concept experiments with Agile. While Agile is not the ultimate panacea for project failure, it does indeed have a place on many projects. Developers with a proven track record of understanding and succeeding in Agile environments will be in increasingly high demand over the next few years.

(...)

Fonte: http://blogs.techrepublic.com.com/10things/?p=643

Research evaluation for computer science (ten rules)

1. Computer science is an original discipline combining science and engineering. Researcher evaluation must be adapted to its specificity.
2. A distinctive feature of CS publication is the importance of selective conferences and books. Journals do not necessarily carry more prestige.
3. To assess impact, artifacts such as software can be as important as publications.
4. The order in which a CS publication lists authors is generally not significant. In the absence of specific indications, it should not serve as a factor in researcher evaluation.
5. Numerical measurements such as publication-related counts must never be used as the sole evaluation instrument. They must be filtered through human interpretation, particularly to avoid errors, and complemented by peer review and assessment of outputs other than publications.
6. Publication counts are not adequate indicators of research value. They measure productivity, but neither impact nor quality.
7. Any evaluation criterion, especially quantitative, must be based on clear, published criteria.
8. Numerical indicators must not serve for comparisons across disciplines.
9. In assessing publications and citations, ISI Web of Science is inadequate for most of CS and must not be used. Alternatives include Google Scholar, CiteSeer, and (potentially) ACM's Digital Library.
10. Assessment criteria must themselves undergo assessment and revision.


Bertrand Meyer (ETH Zurich)
Christine Choppy (LIPN, UMR CNRS7030, Université Paris 13)
Jørgen Staunstrup (IT University of Copenhagen)
Jan van Leeuwen (Utrecht University)


Fonte: http://www.informatics-europe.org/ECSS08/papers/Research_evaluation_CACM.pdf

Um provador automático por tablôs para os cálculos C1 e C1* de Newton da Costa, de Arthur Buchsbaum

Um provador automático por tablôs para os cálculos C1 e C1* de Newton da Costa,
de Arthur Buchsbaum

Da Dissertação de Mestrado "Um Método Automático de Prova para a Lógica Paraconsistente", defendida em 1988.


Baixar (5 Kbytes)

Código recuperado em 2009, a partir da digitalização em djvu, graças ao professor Adolfo Neto e seus alunos, pois o trabalho original tinha sido atacado por vírus.
Fonte: http://wwwexe.inf.ufsc.br/~arthur/index.php?page=software&lang=pt

Barbara Liskov (professora-pesquisadora do MIT) ganha o Prêmio Turing (o Nobel da Computação) 2008

MIT's Liskov Pioneered the Standard for Modern Programming Language and Software Reliability

acm The Association for Computing Machinery Advancing Computing as a Science & Profession

Contact: Virginia Gold 212-626-0505 vgold@acm.org

NEW YORK, March 10, 2009 – ACM, the Association for Computing Machinery, has named Barbara Liskov of the Massachusetts Institute of Technology (MIT) the winner of the 2008 ACM A.M. Turing Award. The award cites Liskov for her foundational innovations to designing and building the pervasive computer system designs that power daily life. Her achievements in programming language design have made software more reliable and easier to maintain. They are now the basis of every important programming language since 1975, including Ada, C++, Java, and C#. The Turing Award, widely considered the "Nobel Prize in Computing," is named for the British mathematician Alan M. Turing. The award carries a $250,000 prize, with financial support provided by Intel Corporation and Google Inc.

The first woman to be awarded a Ph.D. from a Computer Science department (in 1968 from Stanford University), Liskov revolutionized the programming field with groundbreaking research that underpins virtually every modern computer application for both consumers and businesses. Her contributions have led to fundamental changes in building the computer software programs that form the infrastructure of our information-based society. Her legacy has made software systems more accessible, reliable, and secure 24/7.

Professor Dame Wendy Hall, ACM's President, said Liskov has played a distinguished role in the evolution of computer science and engineering to solve real problems. "Her elegant solutions have enriched the research community, but they have also had a practical effect as well," said Dame Wendy. "They have led to the design and construction of real products that are more reliable than were believed practical not long ago. In addition to her design features, she focused on engineering innovations that changed the way people thought about programming languages and building complex software. These accomplishments were instrumental in moving concepts out of academia and into the real world."

Andrew Chien, Vice President in the Corporate Technology Group and Director of Research of Intel Corporation said that "Barbara Liskov's work consistently reflects an extraordinary combination of rigorous problem formulation and sound mathematics; a potent combination she used to create lasting solutions that are the foundations of modern software systems." He added, "It was my pleasure to learn from Professor Liskov as an MIT graduate student, and it is a continuing pleasure to admire her growing impact."

"Google is delighted to help recognize Professor Liskov for her research contributions in the areas of data abstraction, modular architectures, and distributed computing fundamentals," said Alfred Spector, Vice President of Research and Special Initiatives at Google Inc. "We are proud to be a sponsor of the ACM Turing Award to recognize and encourage the research that is essential not only to computer science, but to all the fields that depend on its continued advancement."

Advances in Software Design

Liskov's most significant impact stems from her influential contributions to the use of data abstraction, a valuable method for organizing complex programs. She was a leader in demonstrating how data abstraction could be used to make software easier to construct, modify, and maintain. Many of these ideas were derived from her experience at Mitre Corp. in building the VENUS operating system, a small interactive timesharing system.

In another exceptional contribution, Liskov designed the CLU programming language, an object-oriented language incorporating "clusters" to provide coherent, systematic handling of abstract data types, which are comprised of a set of data and the set of operations that can be performed on the data. She and her colleagues at MIT subsequently developed efficient CLU compiler implementations on several different machines, an important step in demonstrating the practicality of her ideas. Data abstraction is now a generally accepted fundamental method of software engineering that focuses on data rather than processes, often identified as "modular" or "object-oriented" programming.

Building on CLU concepts, Liskov followed with Argus, a distributed programming language. Its novel features led to further developments in distributed system design that could scale to systems connected by a network. This achievement laid the groundwork for modern search engines, which are used by thousands of programmers and hundreds of millions of users every day, and face the challenges of concurrent operation, failure, and continually growing scale.

Her most recent research focuses on techniques that enable a system to continue operating properly in the event of the failure of some of its components. Her work on practical Byzantine fault tolerance demonstrated that there were more efficient ways of dealing with arbitrary (Byzantine) failures than had been previously known. Her insights have helped build robust, fault-tolerant distributed systems that are resistant to errors and hacking. This research is likely to change the way distributed system designers think about providing reliable service on today's modern, vulnerable Internet.

Background

Barbara Liskov heads the Programming Methodology Group in the Computer Science and Artificial Intelligence Laboratory at MIT, where she has conducted research and has been a professor since 1972. In 2008, she was named an Institute Professor, the highest honor awarded to an MIT faculty member.

A member of the National Academy of Engineering, she is a Fellow of ACM and of the American Academy of Arts and Sciences. She received the Society of Women Engineers Achievement Award in 1996, and in 2002, she was named by Discover magazine as one of the 50 most important women in science. She received the IEEE John von Neumann medal in 2004. In 2005, she was awarded the title of ETH Honorary Doctor by the Swiss Federal Institute of Technology Zurich (ETH). In 2008, she received the ACM SIGPLAN Programming Languages Achievement Award.

The author of numerous publications, she wrote three books, including Abstraction and Specification in Program Development with John Guttag, which has educated generations of students in how to write good software. Liskov served as an associate editor for ACM Transactions on Programming Languages and Systems (TOPLAS) and is a member of the ACM Special Interest Groups on Programming Languages (SIGPLAN), Operating Systems (SIGOPS), and Management of Databases (SIGMOD).

Liskov has also served on the Computer and Information Science and Engineering (CISE) Advisory Committee of the National Science Foundation as well as the Computer Science and Telecommunications Board (CSTB) of the National Research Council. Before joining MIT, she was a Member of Technical Staff at The Mitre Corporation. A graduate of the University of California Berkeley with a BA in mathematics, Liskov earned a Ph.D. at Stanford University, where she was a graduate research assistant in Artificial Intelligence.

ACM will present the Turing Award at its ACM Awards Banquet on June 27, in San Diego, CA.

About the ACM A.M. Turing Award

The A.M. Turing Award was named for Alan M. Turing, the British mathematician who articulated the mathematical foundation and limits of computing, and who was a key contributor to the Allied cryptanalysis of the German Enigma cipher during World War II. Since its inception in 1966, the Turing Award has honored the computer scientists and engineers who created the systems and underlying theoretical foundations that have propelled the information technology industry.

About ACM

ACM, the Association for Computing Machinery www.acm.org, is the world's largest educational and scientific computing society, uniting computing educators, researchers and professionals to inspire dialogue, share resources and address the field's challenges. ACM strengthens the computing profession's collective voice through strong leadership, promotion of the highest standards, and recognition of technical excellence. ACM supports the professional growth of its members by providing opportunities for life-long learning, career development, and professional networking.

# # #

Fonte: http://www.acm.org/press-room/news-releases/turing-award-08

Minicursos das JAI - Jornadas de Atualização em Informática do Congresso da SBC 2009

• Analise de Algoritmos Paulo Feofiloff, USP

• Introdução ao Processamento de Imagens usando R Alejandro Frery, UFAL Talita Perciano, UFAL

• Uma Introdução à Programação em Lua Roberto Ierusalimschy, PUC-Rio

• Engenharia de Software para Sistemas Embarcados Flávio Wagner, UFRGS Luigi Carro, UFRGS

• Desmistificando XML: da Pesquisa à Prática Industrial Vanessa Braganholo, UFRJ Mirella M. Moro, UFMG

• Robótica Inteligente: Da Simulação às Aplicações no Mundo Real Denis Fernando Wolf, USP São Carlos Eduardo do Valle Simões, USP São Carlos Fernando Santos Osório, USP São Carlos

• Geometria Computacional Cristina G. Fernandes, USP José Coelho de Pina Jr., USP

• Modelos e Processo para o Desenvolvimento de Sistemas Sensíveis ao Contexto Vaninha Vieira, UFBA Ana Carolina Salgado, UFPE Patricia Cabral de Azevedo Restelli Tedesco, UFPE

Fonte: http://csbc2009.inf.ufrgs.br/index.php?option=com_content&task=view&id=70&Itemid=47