Journals

• Communications of the ACM
  
• Journal of the ACM
  
• ACM Transactions on Software Engineering and Methodology
  
• ACM Transactions on Programming Languages and Systems
  
• ACM Transactions on Computer Systems
  
• ACM Transactions on Architecture and Code Optimization
  
• IEEE Software
  
• IEEE Computer
  
• IEEE Transactions on Computers
  
• IEEE Transactions on Software Engineering
  
• Computer Languages
  
• Information and Software Technology
  
• Journal of Systems Architecture
  
• Journal of Systems and Software
  
• Journal of Computer Communications
  
• Software Testing, Verification and Reliability
  
• Journal of Software Maintenance and Evolution: Research and Practice
  
• Journal of Software Maintenance: Research and Practice
  
• Software: Practice and Experience
  
• Software Process: Improvement and Practice
  
• Software Focus
  
• Theory and Practice of Object Systems
  
• Acta Informatica
  
• Computational Statistics
  
• Computing
  
• Foundations of Computational Mathematics
  
• Theory of Computing Systems
  
• Requirements Engineering Journal
  
• Automated Software Engineering
  
• Empirical Software Engineering
  
• Annals of Software Engineering
  
• Software Quality Journal
  
• Programming and Computer Software
  
• Higher-Order and Symbolic Computation
  
• Journal of Visual Languages and Computing
  
• Journal of Computer and System Sciences
  
• International Journal of Human Computer Studies
  
• Journal of Software Testing Professionals
  
• Software and System Modeling (SoSyM)
  
• International Journal of Software Engineering and Knowledge Engineering
  
• Innovation
  
• International Journal of Computational Intelligence and Application
  

Conferences and Workshops

• International Conference on Information Systems Technology and its Applications
  ISTA2007
• International Symposium on Software Reliability Engineering
  ISSRE'2007 ISSRE'2006 ISSRE'2003 ISSRE'2002 ISSRE'2001 ISSRE'2000 ISSRE'1999 ISSRE'1998 ISSRE'1997 (dead link!) ISSRE'1996 ISSRE'1995
• International Symposium on Software Testing and Analysis
  ISSTA2008 ISSTA2007 ISSTA2006 ISSTA2004 ISSTA2002 ISSTA'2000 ISSTA'1998 ISSTA'1996
• International Conference on Peer-to-Peer Computing
  P2P2001
• International Conference on the Unified Modeling Language
  UML2001
• International Conference on Object-Oriented Information Systems
  OOIS2001
• COMPSAC
  COMPSAC'02
• IFIP International Conference on Testing of Communicating Systems
  TESTCOM2000
• IEEE Working Conference on Reverse Engineering
  WCRE2002
• Working IEEE/IFIP Conference on Software Architecture
  WICSA3
• IFIP WG 6.1 International Working Conference on Distributed Applications and Interoperable Systems
  DAIS'2001
• International Conference on Software Engineering & Knowledge Engineering
  SEKE2001
• International Conference on Distributed Computing Systems
  ICDCS2001
• IEEE International Conference and Workshop on the Engineering of Computer-Based Systems
  ECBS'2002
• International Conference on Verification, Model Checking and Abstract Interpretation
  VMCAI04 VMCAI02
• International Workshop on Composition Languages
  WCL2002
• International Workshop on Component-Oriented Programming
  WCOP2002
• International Symposium on DIStributed Computing
  DISC-2000
• International Symposium on Computer Architecture
  ISCA-2001
• IEEE Workshop on Future Trends of Distributed Computing Systems
  FTDCS'2001
• Workshop on Hot Topics in Operating Systems
  HotOS-VIII
• Workshop on Open Source in an Industrial Context
  OSIC2004
• Workshop on Aspect-Oriented Software Development
  AOSD2003
• Workshop on Formal Approaches to Testing of Software
  FATES'02
• Workshop Component-based Application Engineering in Research and Practice
  CBAERP
• Workshop on Software Configuration Management
  SCM-10
• International Workshop on Evaluation of Modeling Methods in Systems Analysis and Design
  EMMSAD'01
• International Workshop on Living With Inconsistency
  IWLWI-01
• International Workshop on Principles of Software Evolution
  IWPSE'2001
• International Symposium on Empirical Software Engineering
  ISESE'2006
• International Conference on Software Engineering
  ICSE2009 ICSE2008 ICSE2007 ICSE2006 ICSE2005 ICSE2004 ICSE2003 ICSE2002 ICSE2001 ICSE2000 ICSE'1999 ICSE'1998 ICSE'1997 ICSE'1996
• International Computer Symposium
  ICS2000
• International Workshop on Software and Performance
  WOSP2002 WOSP2000
• Workshop on Extending Commercial Off-the-Shelf (COTS) Software Research
  ICSE2000-COTS
• International Workshop on Component-based Software Engineering
  CBSE5 CBSE2001 CBSE2000
• Predictable Assembly of Certifiable Components
  PACC2
• Software Engineering Process Group Conference
  SEPG 2004 SEPG 2003
• International Software Architecture Workshop
  ISAW-4
• International Conference on Practical Software Quality/Testing Techniques
  PSQT/PSTT 2002 South PSQT/PSTT 2000 North
• International Conference on Achieving Quality In Software
  AQUIS2002
• SPICE Conference
  SPICE2002
• International Conference on Innovation Through Electronic Commerce
  IeC2000
• International Symposium on Constructing Software Engineering Tools
  CoSET'2000
• International Conference on the Foundations of Software Engineering
  FSE-17 FSE-16 FSE-15 http://www.cs.uoregon.edu/fse-14/ FSE-14 FSE-12 ESEC/FSE-11 FSE-10 ESEC/FSE-9 FSE-8 ESEC/FSE-7 FSE-6
• Workshop on Specification and Verification of Component-Based Systems
  SAVCBS '03
• Workshop on Composition Languages
  WCL'2001
• ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications
  OOPSLA'2002 OOPSLA'2001 OOPSLA'2000 OOPSLA'1999 OOPSLA'1998
• Workshop on Reflectively Extensible Programming Languages and Systems
  GPCE-REPLS
• Workshop on Domain Specific Visual Languages
  GPCE-DSVL3 WDSVL2001
• International Conference on Web Services - Europe
  ICWS03-Europe
• International Symposium on Memory Management
  ISMM 2002 ISMM 2000
• International Conference on Dependable Systems and Networks
  http://www.ce.chalmers.se/conf2001/
• International Workshop on Object-oriented Real-Time Dependable Systems
  WORDS '99F
• European Conference on Software Quality
  ECSQ 2002
• European Conference on Object-Oriented Programming
  ECOOP'2002 ECOOP'2001 ECOOP'2000
• Workshop on "Feature Interaction in Composed Systems"
  FICS'2001
• Workshop on Component-Oriented Programming
  WCOP2000
• Joint Modular Languages Conference
  JMLC'2003
• European Joint Conference on Theory and Practice of Software
  ETAPS'2004 ETAPS'2003 ETAPS'2002 ETAPS'2001 ETAPS'2000 ETAPS'1999 ETAPS'1998
• International Conference on Tools and Algorithms for the Construction and Analysis of Systems
  TACAS'2003 TACAS'2002 TACAS'2001 TACAS'2000 TACAS'1999 TACAS'1998
• Foundational Aspects of Software Engineering
  FASE'2008 FASE'2007 FASE'2006 FASE'2005 FASE'2003 FASE'2002 FASE'2002 FASE'2000
• Foundations of Software Science and Computation Structures
  FOSSACS03 FOSSACS'2001 FOSSACS'2000
• International Conference on Compiler Construction
  CC'2003 CC'2001
• European Symposium on Programming
  ESOP 2003 ESOP 2002 ESOP 2001 ESOP 2000
• International Workshop on Compiler Optimization Meets Compiler Verification
  COCV2003
• International SPIN Workshop on Model Checking of Software
  SPIN2002
• Workshop on Software Composition
  SC2003 SC2002
• International Conference on Computer Science and Informatics
  CSI2000
• ACM Symposium on Applied Computing
  SAC2004 SAC2003 SAC2002 SAC2000
• ACM Symposium on Operating Systems Principles
  SOSP22 SOSP21 SOSP20 SOSP'03 SOSP'01
• Workshop on Programming Languages and Operating Systems
  PLOS'2007
• Symposium on Code Generation and Optimization
  CGO'2008 CGO'2007 CGO'2006 CGO'2005 CGO'2004 CGO'2003
• Symposium on Networked Systems Design & Implementation
  NSDI05
• Symposium on Operating Systems Design and Implementation
  OSDI2004 OSDI2002 OSDI2000
• IEEE Symposium on Reliable Distributed Systems
  SRDS'1999
• IEEE Symposium on Human-Centric Computing Languages and Environments
  HCC03 HCC02 VL2000 VL1999 VL1998
• Visual Languages and Formal Methods
  VLFM'2003 VLFM'2001
• International Symposium on Human-Computer Interaction with Mobile Devices
  MobileHCI-2002
• Symposium on Reliable Object-Oriented Programming
  SROOP
• International Conference on Reliable Software Technologies
  ICRTS'2004 ICRTS'2003 ICRTS'2002 ICRTS'2001 ICRTS'2000
• International Symposium on System Synthesis
  ISSS'1999
• International Conference on Cybernetics and Information Technologies, Systems and Applications
  CITSA'2004
• Symposium on Software Reusability
  SSR'1999
• International Conference on Software Reuse
  ICSR-7
• International Conference on Software & Systems Engineering and their Applications
  ICSSEA'2003 ICSSEA'2002 ICSSEA'2001 ICSSEA'1998
• International Conference on Computer Safety, Reliability and Security
  SAFECOMP'2000 SAFECOMP'1999
• International Conference on Software Maintenance
  ICSM'2003 ICSM'2001 ICSM'2000 ICSM99 ICSM98
• International Workshop on Web Site Evolution
  WSE 2003
• IEEE International Conference on Engineering of Complex Computer Systems
  ICECCS'2001
• IEEE International Conference on Requirements Engineering
  ICRE2003 ICRE2002 ICRE2001 ICRE2000
• Workshop on COTS and Product Software
  RECOTS-2003
• International Workshop on Requirements Engineering: Foundation for Software Quality
  REFSQ'2000
• Conference on Advanced Information Systems Engineering
  CAiSE2000 CAiSE2000
• Workshop on Architecting Dependable Systems
  WADS
• Workshop on Open Source Software Development
  WOSSD
• FORMAL METHODS AND COMPONENT INTERACTION
  FMCI
• Workshop on Program Analysis for Software Tools and Engineering
  PASTE'2004 PASTE'2002 PASTE'2001 PASTE'1999 PASTE'1998
• Workshop on Formal Methods in Software Practice
  FMSP'2000
• International Workshop on Program Comprehension
  IWPC2003 IWPC02 IWPC2000
• Workshop on Software Specification and Design
  IWSSD-10
• International Conference on Functional Programming
  ICFP'2004 ICFP'2003 ICFP'2002 ICFP'2001 ICFP'2000 ICFP'1999 ICFP'1998 ICFP'1997 ICFP'1996
• Scheme and Functional Programming Workshop
  Scheme2002 Scheme2001 Scheme2000
• ACM SIGPLAN/SIGSOFT Conference on Generators and Components
  GCSE/SAIG'02
• Semantics, Applications and Implementation of Program Generation
  SAIG'01 SAIG2000
• International Workshop on Source Code Analysis and Manipulation
  SCAM2001
• Conference on Principles of Programming Language
  POPL'2003 POPL'2002 POPL'2001 POPL'2000
• Workshop on Partial Evaluation and Semantics-Based Program Manipulation
  PEPM'02
• Conference on Programming Language Design and Implementation
  PLDI2008 PLDI2007 PLDI2006 PLDI2005 PLDI2004 PLDI2003 PLDI'2002 PLDI'2001 PLDI'2000 PLDI'1999 PLDI'1998
• High-Assurance Systems Engineering Symposium
  HASE'2001 HASE'2000 HASE'1999 HASE'1998 HASE'1997
• Software Technology & Engineering Practice
  STEP'1999 STEP'1997
• International Software Quality & Internet Week (and Europe)
  QWE2002 QW2001 QWE'2000 QW'2000 QWE'1999 QW'1999 QWE'1998 QW'1998 QWE'1997
• Reengineering Week
  Reengineering Week
• International Workshop on the Implementation of Functional Languages
  IFL2001
• International Workshop on Functional and Logic Programming
  WFLP'2000
• ASIA-PACIFIC CONFERENCE ON QUALITY SOFTWARE
  APAQS-2000
• International Workshop on Living with Uncertainty
  IWLU'2007
• IEEE International Conference in Automated Software Engineering
  ASE'2007 ASE'2006 ASE'2002 ASE'2001 ASE'2000 ASE'1999
• Views on Software Development in the New Millenium
  SDNM
• Workshop on Statistical and Machine learning approaches to ARchitecture and compilaTion
  SMART'08
• International Conference on Application and Theory of Petri Nets
  PN2000
• IASTED International Conference Computer Science and Technology
  CST2003
• IASTED International Conference Software Engineering & Applications
  SEA2003 SEA2002 SEA1999
• Pacific Rim International Symposium on Dependable Computing
  PRDC'1999
• Asia-Pacific Software Engineering Conference
  APSEC 2002 APSEC 2000
• Workshop on Software Reliability Engineering
  SRE'1998 (dead link!)
• International Conference on eXtreme Programming and Agile Processes in Software Engineering
  XP2003 XP2002 XP2001 XP2000
• http://www.xpuniverse.com
  XP-Universe
• Workshop on Distributed eXtreme Programming
  DXP2002
• Annual Software Engineering Workshop
  SEL26 SEL25 SEL24
• International Conference on Dependable Systems and Networks
  DSN-2002
• International Symposium on Fault Tolerant Computing
  FTCS30 FTCS29 FTCS28
• International Conference on Software Testing
  ICSTEST'2004 ICSTEST'2003 ICSTEST'2002 ICSTEST'2000
• International Conference on Software Quality
  ICSQ12
• Congress on Software Quality Management
  SQM'2001
• International Conference and Exposition on Testing Computer Software
  
• Reliability & Maintainability Symposium
  RAMS'2002
• ACM Conference on Computer Science Education
  SIGCSE2004 SIGCSE2003 SIGCSE2002 SIGCSE2000 SIGCSE1999 SIGCSE1998
• Conference on Innovation and Technology in Computer Science Education
  ITiCSE2004 ITiCSE2003 ITiCSE2002 ITiCSE2001 ITiCSE2000 ITiCSE1999 ITiCSE1998 ITiCSE1998
• Conference on Software Engineering, Education and Training
  CSEET2004 CSEET2001 CSEET2000 CSEET98
• International Conference on Mathematics of Program Construction
  MPC 2002
• International Conference on Mathematics/Science Education and Technology
  M/SET'2001 M/SET'2000
• Grace Hopper Celebration of Women in Computing
  GHCWC-2002
• Workshop on Certification and Security in E-Services
  CSES2002
• IFIP Women, Work and Computerization Conference
  WWC2000
• Conference on Languages, Compilers, and Tools for Embedded Systems
  LCTES'04 http://www.cs.purdue.edu/s3/LCTES03/ LCTES/SCOPES'02
• Joint Modular Languages Conference
  JMLC2000 JMLC1997
• Conference on Domain-Specific Languages
  DSL99
• Conference on File and Storage Technologies (FAST)
  FAST-2003 FAST-2002
• USENIX Conference
  USENIX'02
• Workshop on Feedback-Directed Optimization
  FDO-2 FDO-1
• International Symposium of Formal Methods - Europe
  FME 2002
• Euromicro Workshop on Component-Based Software Engineering
  EBCSE'2002 EBCSE'2001
• European COTS User Working Group Workshop
  ECOTS 2001 ECOTS
• International Conference on COTS-Based Software Systems
  ICCBSS
• International Static Analysis Symposium
  SAS2002 SAS2001 SAS2000
• International Conference on Web-Based Learning
  NAWEB
• World Conference on the WWW and Internet
  Webnet2000
• World Conference on Integrated Design and Process Technology
  IDPT-2002
• Conference on Distance Teaching and Learning
  CDTL'2001
• Canadian Association for Distance Education Conference
  aced2000cade
• International Conference on Advances in Infrastructure for Electronic Business, Science, and Education on the Internet
  EBSE
• Software Technology Conference
  STC12 STC11
• International Symposium on Generative and Component-Based Software Engineering
  GCSE'2001 GCSE'2000 STJA/GCSE'1999
• International Symposium on Empirical Software Engineering
  ISESE 2003
• International Symposium on Performance Analysis of Systems and Software
  ISPASS2004
• IEEE International Symposium on Workload Characterization
  IISWC2005
• Symposium on Networked Systems Design and Implementation
  NSDI 2004
• Trusted Components Workshop
  TCW-3 TCW-2
• Workshop on Inspection in Software Engineering
  WISE'01
• International Workshop on Formal Methods for Industrial Critical Systems
  FMICS'2001
• TOOLS Conferences
  TOOLS Pacific 2002 TOOLS Pacific 2000 TOOLS Europe 2000 TOOLS-P'1999
• Engineering of Computer-Based Systems
  ECBS2000
• CASCON
  CASCON98 CASCON99
• European Meeting on Cybernetics and Systems Research
  EMCSR 2002
• World Multiconference on Systemics, Cybernetics and Informatics
  SCI'2000
• Generative and Component-based Software Engineering
  GCSE
• Software Metrics Symposium
  
• Americas Conference on Information Systems
  AMCIS2000
• Hawaii International Conference On System Sciences
  HICSS-34
• International Conference on Software Engineering Environments
  SEE2000-canceled SEE97
• International Conference on Architectural Support for Programming Languages and Operating Systems
  ASPLOS-X ASPLOS-IX
• International Conference on Virtual Execution Environments
  VEE'08 VEE'07 VEE'06 VEE'05
• International Conference on the Principles and Practice of Programming in Java
  PPPJ 2003
• International Conference on Service Oriented Computing (IC-SOC)
  IC-SOC 2003
• International Conference on Pervasive Computing and Communications
  PERCOM2004
• International Conference on Architecture of Computing Systems
  ARCS04
• International Conference on Compilers, Architecture and Synthesis for Embedded Systems
  CASES2005 CASES2004
• IEEE International Conference on Engineering of Complex Computer Systems
  ICECCS
• Array Processing Languages
  APL 2002
• Workshop on Computer Forensics
  Forensics
• Canadian Undergraduate Software Engineering Conference
  
• Workshop on Rapid Malcode
  WORM03
• Canadian Conference on Computer Science and Software Engineering
  

• The Software Safety Group at the University of Washington
• The Laboratory for Advanced Software Engineering Research at the University of Massachusetts at Amherst
• Oregon State Software Engineering Research Group (OSSERG)
• Irvine Research Unit in Software (IRUS)
• Software Engineering Institute
• McMaster Software Engineering Research Group
• NASA SWG (Software Work Group)
• NASA SATC (Software Assurance Technology Center)
• US DOD Data & Analysis Center for Software
• The Centre for Software Reliability at City University
• The Software Productivity Consortium
• Toronto SPIN
• Quality World
• Aristotle Research Group
• Passages - Program Analysis and System Software Research Group
• chillarege.com
• Software Engineering Research Lab at U Colorado, Boulder

• The Risks Digest on the WWW
• Testing Techniques Newsletter -- Online Edition
• comp.software.testing Frequently Asked Questions
• Global Software Competitiveness Studies
• EI.pub - R&D News and Resources
• Software Process Improvement, SQA and more
• Troubleshooters
• Trends in Software Engineering Process Management
• Trusted Components Initiative
• Programming Language Conferences and Workshops
• Computer Science Education at UT-Austin

• Butler, Ricky W.; and Finelli, George B.: The Infeasibility of Quantifying the Reliability of Life-Critical Real-Time Software. IEEE Transactions on Software Engineering, vol. 19, no. 1, Jan. 1993, pp. 3-12.
• Butler, Ricky W.; and Finelli, George B.: "The Infeasibility of Experimental Quantification of Life-Critical Software Reliability." Proceedings of the ACM SIGSOFT '91 Conference on Software for Critical Systems, New Orleans, Louisiana, Dec. 1991, pp. 66-76.
• Holloway, C. Michael: Why Engineers Should Consider Formal Methods, to appear in the Proceedings of the 16th Digital Avionics Systems Conference, October 1997.