Skip to Main Content

COMP 513: Formal Methods for Software Engineering

This guide is for students in Penn State Harrisburg's COMP 513 course. It includes databases, research tips, and other resources for various assignments.

Databases

These scholarly research databases are your best bets for finding articles related to computer science and computer engineering.

Do we have that eJournal?

Search for Penn State eJournals

Browsing both current and archived issues of scholarly journals can be helpful too. Some relevant sources:

  • ACM Transactions on Software Engineering and Methodology
  • IEEE Transactions on Software Engineering
  • IEEE Software

Additional Resources