Software Engineering Links
Formal Methods Links
Agent-Oriented Software Engineering Links

---

Software Engineering Links

• RSP&A: Software Engineering Resources
• Software Engineering Bibliography and Interesting Pointers
• Links on Objects & Components
• WWW Virtual Library - Software Engineering
• ACM/SIGSOFT
• Center for Systems and SE)
• ESEG at Maryland (Vic Basili)
• Software Engineering Institute

---

Formal Methods Links

• The WWW Virtual Library: Formal Methods
• World-Wide Environment for Learning LOTOS
• SRI CSL
• NASA Formal Methods
• Specification and Verification Center
• Formal Analysis, Theory and Algorithms

---

Agent-Oriented Software Engineering Links

• FIPA