 |
 |
 |
 |
 |
 |
 |
 |
 |
Related Conferences/Workshops
|
 |
 |
 |
 |
 |
 |
|
 |
 |
Upcoming CFPs and Conferences by DateJournalsConferences 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
|
 |
 |
 |
 |
 |
Other Research Groups in the Area |
 |
 |
 |
 |
 |
 |
 |
|
 |
 |
 |
 |
 |
Related Electronic Newsletters/Journals/Sources |
 |
 |
 |
 |
 |
 |
 |
|
 |
 |
 |
 |
 |
Links to the Work of Others |
 |
 |
 |
 |
 |
 |
 |
-
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.
|
 |
 |
 |
 |
|
Copyright © 1998,1999, Software Analysis Research Group, Toronto, Canada.
For further information: <sarg@sarg.ryerson.ca>
Last changed: 2009.03.18 14:43. |
 |
 |
 |
 |