- Articles
128 results
-
Formal methods
Formal methods are mathematical techniques for developing computer-based software and hardware systems. Please update this page or add a new page if you know of relevant online information not included here or would like -
Z notation
The Z notation is a formal specification notation based on set theory↑ and predicate calculus↑. Next ABZ conference: ABZ 2012, Pisa↑, Italy↑, 2012. Last ABZ conference: ABZ 2010, Orford, Quebec↑, Canada↑, 23–25 February 2010 -
Formal Methods Wiki
This is the The wiki about formal methods set up by Jonathan Bowen that anyone can edit. See announcement. Tip: If you register with this website you will receive less advertisements. 128 articles since February -
Safety-critical systems
Please contact Jonathan Bowen if you know of relevant online information not included here. This document contains pointers to information on Safety-Critical Systems, where human lives may be at risk, especially involving software and -
Who's who
Who's Who on the Web in Formal Methods[] The following is an eclectic list of people involved with formal methods who have a personal URL↑. -
PHISCS books
Prentice Hall Prentice Hall International Series in Computer Science Links to home pages of many of the authors may be found in: Who's Who on the Web in Formal Methods. -
Publications
This document contains some pointers to publications concerning formal methods, especially those that are online, which are available on the World Wide Web. For a good general introduction to formal methods, see: J.M. Wing -
Logic programming
Please contact Jonathan Bowen if you know of relevant online information not included here. Use the comp.lang.prolog newsgroup for queries related to logic programming in general and Prolog in particular. This document contains -
Repositories
Formal Methods Repositories[] Please add or correct links to formal methods on this page. Alternatively, please contact Jonathan Bowen if you know of relevant online information not included here or would like to maintain information -
Software engineering
The RBSE project at RICIS/ UHCL maintains a collection of process maturity resources, including HTML versions of the CMM and Trillium. Philip Johnson maintains a web relating to formal technical review at the University of -
Meetings
ICTAC 2013 10th International Colloquium on Theoretical Aspects of Computing, Shanghai↑, China↑, 4-6 September 2013. ICFEM 2013 15th International Conference on Formal Engineering Methods, Queenstown, New Zealand↑, 29 October - 1 November 2013. FM 2014 -
Concurrent systems
Please add information and links relevant to concurrent systems↑ to this page. Alternatively, please contact Jonathan Bowen if you know of relevant online information not included here or would like to maintain information on a -
B-Method
This document contains some pointers to information relating to the B-Method↑, and its associated tool support, available around the world on the World Wide Web (WWW). Please add or correct information below. Alternatively, please -
ProCoS-WG
ESPRIT ProCoS-WG Working Group (no. 8694, 1993–1997) The final report (10 pages) is available in PostScript↑ format: A ProCoS-WG Working Group Project Final Report:ESPRIT Working Group 8694, Jonathan Bowen (The University -
Applications of Formal Methods
Book information Applications of Formal Methods -
REDO
REDO project archive This archive contains information relevant to the ESPRIT↑ II REDO project (no. 2487, 1989–1992) concerned with software maintenance↑ and reverse engineering↑. Some files and tools are available via anonymous FTP. An -
The Turing Guide
The Turing Guide, written by Jack Copeland↑, Jonathan Bowen, Mark Sprevak, Robin Wilson, and others, is a book about the life and work of the mathematician↑, philosopher↑, and foundational "computer scientist↑" Alan Turing↑. It includes -
Z User Meeting
ZUM Z User Meetings -
Companies
Formal Methods Companies Please edit this page with information on formal methods companies. Alternatively, please contact Jonathan Bowen if you know of relevant online information not included here, would like to maintain information for a -
Projects
Formal Methods Projects Please feel free to add formal methods projects with hyperlinks to this page. Alternatively, contact Jonathan Bowen if you know of relevant online information not included here or would like to maintain -
COMPULOG
Computational Logic COMPULOG NET Network of Excellence -
Artificial Intelligence
Please add information and links concerning Artificial Intelligence↑ (AI) to this page. Alternatively, please contact Jonathan Bowen if you know of relevant on-line information not included here. Use the comp.ai newsgroup for general -
Organizations
Please edit this page with information on formal methods organizations. Alternatively, please contact Jonathan Bowen if you know of relevant online information not included here. This document contains some pointers to organizations and groups concerned -
FM2011 Call for Papers
FM 2011: 17TH INTERNATIONAL SYMPOSIUM ON FORMAL METHODS[] fm2011.lero.ie June 20–24, 2011 Lero, Limerick↑, Ireland↑ FM 2011 is the seventeenth in a series of symposia organized by Formal Methods Europe, an independent -
High-Integrity System Specification and Design
High-Integrity System Specification and Design Jonathan P. Bowen& Michael G. Hinchey Springer-Verlag London (Published April 1999) Formal Approaches to Computing and Information Technology series (FACIT) Series Editor: Professor S.A. Schuman, University of
Related Community
Marvel Database
comics
200K
Pages200K
Images1K
Videos
With more than 200,000 articles, the Marvel Database is the largest Marvel Comics encyclopedia ever written, as well as being the 5th largest FANDOM wiki. The database covers comics, characters, teams, games, TV shows and movies. Browse one of over…