Web Resource

• Writing:
  • Manual de Redação (portuguese)
  • Common Errors in English
  • The Elements of Style
  • 5-paragraph rule for introductions [Stirewalt]
  • How to Get a Paper Accepted at OOPSLA
• Simon Peyton's talk "How to give a good research talk", [HTML], [PPT]
• Latex
  • Graphic editor, jpic.edt.sf.net
  • Linux editor www.lyx.org
• Patterns
  • Refactoring To Patterns Catalog
  • Hillside Group Web Pages
• Formal Methods
  • CSP: Hoare,Communicating Sequential Processes (CSP), FDR2 User Manual
• Modeling Avionic Systems
  • Design Patterns for Avionics Control Systems
  • Modeling Avionics Architectures using the SIGNAL Language