Software Engineering

Formal Methods

• The World-Wide Web Virtual Library: Formal Methods
• Eiffel (Interactive Software Engineering)
• Behavioral Interface Specification Languages
  • The global home page for Larch and the Larch FAQ.
  • Larch/C++
  • The Java Modeling Language (JML), which can be used for design by contract (DBC) in Java.
  • Resolve
• Foundations of software engineering group at Microsoft Research, including the Abstract State Machine Language (AsmL).
• Brighton Objects Research (BIRO)
• VDM
• The Object-Z Pages
• ORA Canada: Z/EVES
• Equational Specification and Variations
  • CoFI
  • Maude
• Theorem Provers (Proof Assistants)
  • PVS
  • The HOL Theorem Proving System
  • Isabelle
  • Formal Methods in CSL at SRI
  • Database of Automated Reasoning Systems.
• NASA Office of Safety and Mission Assurance, Formal Methods Specification and Verification Guidebook for Software and Computer Systems, vol. 1 and 2
• Programming from Specifications
• IBM: Object Constraint Language

People

• Jonathan Aldrich
• Perry Alexander
• Ralph-Johan Back
• Mike Barnett
• Manfred Broy
• Patrice Chalin
• Betty H.C. Cheng
• Matt Dwyer
• Stephen Edwards
• Michael D. Ernst
• John Hatcliff
• Ian J. Hayes
• Eric C. R. Hehner
• Bart Jacobs
• Daniel Jackson
• Joe Kiniry
• K. Rustan M. Leino
• Peter Müller
• David Naumann
• Oscar Nierstrasz
• Tobias Nipkow
• Dwayne E. Perry
• Arnd Poetzsch-Heffter
• Murali Sitaraman
• Neelam Soundarajan
• Mark Utting
• Heike Wehrheim
• Jeannette Wing

Other Software Engineering

• Software Engineering Body of Knowledge (SWEBOK).
• The World-Wide Web Virtual Library: Software Engineering
• The World-Wide Web Virtual Library: Safety-Critical Systems
• ACM SIGSOFT
• IEEE Technical Council on Software Engineering.
• IFIP WG2.3
• European Association of Software Science and Technology (EASST).
• Reusable Software Research Group
• COM Home Page
• Design Patterns Library
• JitterBug - main page
• Javadoc Home Page
• The Open Source Page
• Xexox PARC Open Implementation page
• Literate Programming Library
• TUCS Technical Reports

Last update $Date: 2008/08/13 21:12:45 $