- Articles
128 results
-
Peter Landin
Peter John Landin (1930 – 3rd June 2009 ) was a British computer scientist. He was one of the first to realize that the lambda calculus↑ could be used to model a programming language, an insight that -
Formal Aspects of Computing
Formal Aspects of Computing is a leading journal on formal methods. It is associated with the BCS-FACS Specialist Group. ISSN 0934-5043 (printed version) ISSN 1433-299X (online) -
UML&FM'2010:
http://www.artist-embedded.org/artist/UML-FM-2010.html Workshop held in conjunction with ICFEM 2010 The 12th International Conference on Formal Engineering Methods http://www.sei.ecnu.edu.cn/icfem2010/ November 16th, 2010 -
APCB
APCB (Association de Pilotage des Conférences B) organizes meetings associated with the B-Method. Recently it has organized ZB conferences with the Z User Group and ABZ conferences, including ASM as well as Z. External -
Safety-Critical Systems Club
The Safety-Critical Systems Club is a professional club based in the United Kingdom↑ that organizes meetings on safety-critical systems for industrial and academic participants. The Club formally came into being on 1st May -
Museophile Limited
Museophile Limited is a company specialising in museums and information technology↑, including formal methods, especially the Z notation. It was founded in 2002 by Jonathan Bowen. External links[] Company information -
Centre for Applied Formal Methods
The Centre for Applied Formal Methods (CAFM) was established in 2000 to undertake formal methods research. It was led by Prof. Jonathan Bowen at London South Bank University↑. External links[] CAFM website archive, ast version -
FME-SoE
FME-SoE is the Formal Methods Europe Subgroup on Education. It considers educational issues with respect to formal methods in general. See also[] FMBoK (Formal Methods Body of Knowledge↑), Teaching Formal Methods meetings -
FACS FACTS
FACS FACTS is the newsletter of BCS-FACS. The current editor is Margaret West. Previously, Paul Boca was the editor. -
CZT
The CZT (Community Z Tools) project is developing tools for the Z notation using SourceForge↑. External links[] CZT SourceForge website, CZT Initiative information from the Oxford University Computing Laboratory↑ -
The REDO Compendium
The REDO Compendium covers the results of the ESPRIT↑ II REDO project (no. 2487, 1989–1992) concerned with software maintenance↑ and reverse engineering↑. The publication details are: The REDO Compendium: Reverse Engineering for Software Maintenance -
Formal Methods Europe Wiki
The Formal Methods Europe Wiki is a wiki↑ run by Formal Methods Europe (FME), the leading international organization concerned with formal methods. External links[] FME Wiki -
Introduction to HOL
A good introductory book on HOL (Higher Order Logic) is: Introduction to HOL: A theorem proving environment for higher order logic, edited by M.J.C. Gordon and T.F. Melham, 1993. ISBN 0-521 -
Lero
Lero is the Irish Software Engineering Research Centre. It was established in November 2005 with support from Science Foundation Ireland’s CSET (Centre for Science, Engineering and Technology) programme. It is a collaborative organisation, embracing -
Event-B
Event-B is a formal method for system-level modelling and analysis. It is a development of the B-Method, produced as part of the collaborative European RODIN project (Rigorous Open Development Environment for Complex -
Jawed Siddiqi
Prof. Jawed Siddiqi is Chair of BCS-FACS. Previously he was Treasurer of FACS. -
EVES
300px Write the first paragraph of your article here. -
ICFEM
ICFEM is the International Conference on Formal Engineering Methods. It is a series of formal methods conferences. Proceedings appear in the Springer-Verlag↑ Lecture Notes in Computer Science↑ series. The first ICFEM was held in -
Alloy
Alloy is a formal specification language that has an associated tool, developed by Daniel Jackson (computer scientist)↑ at MIT↑. It is influenced by the Z notation. See also[] ABZ conference -
Overture
After several years of hard work we are now ready to release version 1.0.0 of the Overture Tool for Formal Modelling in VDM! This tool is entirely written in Java and provides support -
Z Word Tools
Z Word Tools is a SourceForge↑ project providing tools to allow Z specifications to be written in Microsoft Word↑. It includes a Unicode↑ font for Z symbols and capabilities for editing, typechecking, indexing and cross -
CoMet
CoMet (Comparative Methodology) is a programming methodology project proposal by Dines Bjorner↑. Existing lecture notes and slides use the RAISE formal method. It is planned to extend this to Alloy, Event-B, VDM, and Z. -
Atelier B
Atelier B is composed of a complete set of integrated tools enabling the development of applications using the method invented by Jean-Raymond Abrial↑, the B-Method. Atelier B assists developers in the formalization of -
ZF set theory
ZF Set-Theory is a short-form for: "Zermelo–Fraenkel set theory." The page you are reading is about set-theory. This system was named after mathematicians Ernst Zermelo and Abraham Fraenkel. ZF Set-Theory -
Z/EVES
Z/EVES is a proof tool based on EVES and ZF set theory that supports the Z notation. Originally available from ORA Canada, its status is now uncertain. See: The Z/EVES System by Mark
Related Community
Wookieepedia
movies
100K
Pages100K
Images1
Video
Wookieepedia is a wiki-based online encyclopedia that contains detailed information about the Star Wars universe, including movies, books, video games, characters, locations, technology, weapons, vehicles, and everything in between. Founded in 2005, Wookieepedia has over 175,000 articles, covering everything from the…