Academics

Advising

UCF

Professional Links

Astronomy

General

Time

Conferences

Conference and Workshop Series

Programming Languages

General

People

Languages or Systems

Archives of Information or Literature

Bibliographic Citations

Software Engineering

Formal Methods

Other Software Engineering

Web and HTML

General

About HTML

Searching

Other Resources

Research

Writing

Teaching

Health

Media

Travel

Politics

Etc.

Valid

XHTML

CSS2

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: 2022/08/18 14:26:04 $

Gary T. Leavens