Software Engineering

General Lists
Journal & Proceedings
Bibliography
Conference Announcement

Newsgroup

Topics studied in SE Lab
SE Resources

General Lists

Yahoo - Software Engineering Sites List
Alta Vista - Software Engineering Sites List
SEweb: Software Engineering Online Service
WWW Virtual Library - Software Engineering
Software Engineering Institute Information Server (SEI)
Software Engineering Notes (FAQ on many SE terminologies)
Abstracts of Technical Reports
USENET News comp.software-eng FAQ
(Anonymous FTP)

Journal and Proceedings

IEEE Transactions on Software Engineering
IEEE Transactions on Parallel and Distributed Systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Software Engineering and Methodology (TOSEM)
ACM Symposium on Principles of Programming Languages
Annual ACM Symposium on Principles of Distributed Computing
CSCW: Conference on Computer-Supported Cooperative Work
ICSE: International Conference on Software Engineering
ISSTA: International Symposium on Software Testing and Analysis
International Workshop on Formal Methods of Software Development
International Workshop on Software Configuration Management
International Workshop on Software Process
OOPSLA: ACM Conference on Object-Oriented Programming Systems, Languages, and Applications
PPOPP: ACM/SIGPLAN Symposium on Principles and Practices of Parallel Programming
TAV: Symposium on Software Testing, Analysis and Verification

Bibliography on Software Engineering

Bibliography on Software Engineering
Empirical Software Engineering and Process Modeling
Software Process Management and Petri Nets
International Conferences on Software Engineering (ICSE)
IEEE Transactions on Software Engineering
algebra, program specification and verification, and logic
The VDM Bibliography
Journal Software--Practice and Experience
Software Configuration Management
Programming environments
International Software Process Workshop (ISPW)
Program development
Formal Technical Review Bibliography
European Software Engineering Conferences (ESEC)
Formal Aspects of Computing
European Workshop on Software Process Technology
Software design patterns
Software standards
Dependability references database
A Bibliography on Reengineering

The WWW Virtual Library:Conferences Announcement

Software Engineering
Object-Oriented Technology
Distributed Systems
Formal Languages
Parallel Computing
Petri Nets
Real-Time Systems
Software Quality
Security
CSCW


Some Interesting Conferences

• RTSS '96: the 17th IEEE Real-Time System Symposium
• RE '97: the Third IEEE International Symposium on Requirement Engineering
• IPPS '97: the 11th International Parallel Processing Symposium
• ICSE-19: the 19th International Conference on Software Engineering
• ICSE-20: the 20th International Conference on Software Engineering : Japan
• STEP '97: Software Technology & Engineering Practice
• FME '97: (Formal Methods Europe) International Symposium and Tutorials
• Joint 1997 APSEC and ICSC: Hong Kong

Newsgroup

comp.software-eng
comp.specification.z
comp.object
comp.lang.ada

Topics Studied in SE Lab and related useful Material

• Object-Orientation
  
• Software Reuse
  
• Real-Time System
  
• Formal Methods
  
• Parallel and Distributed Systems
  
• CASE, SDE
  
• Configuration Management
  
• Safety-Critical Systems and Computer Security
  
• Ada Language
  
• Inspection
  • Philip Johnson's archive on Formal Technical Review