|
| |
| | Logic |
 | | See also computability logic; this is a formal theory of computability in the same sense as classical logic is a formal theory of truth. | | | Aristotelian logic is sometimes referred to as formal logic because it specifically deals with forms of reasoning, but is not formal in the sense we use it here or as is common in current usage. | | | The notion of deductive validity can be rigorously stated for systems of formal logic in terms well-understood notions of semantics. |
|
http://www.brainyencyclopedia.com/encyclopedia/l/lo/logic_1.html
(1472 words)
|
|
| |
| | Formal Methods - Definition and Overview |
| | Formal methods are merely an adoption of the axiomatic method, as developed by these trends in mathematics, for software engineering. | | | Formal methods support precise and rigorous specifications of those aspects of a computer system capable of being expressed in the language. | | | Formal methods are not confined to the software components of large systems. |
|
http://www.dacs.dtic.mil/techs/fmreview/definition.html
(3882 words)
|
|
| |
| | Formal Methods |
| | The methods are "formal" in the sense that they are precise enough to be implemented on a computer. | | | Although a complete formal verification of a large complex system is impractical at this time, formal methods are applied to various aspects, or properties, of large systems. | | | "Formal methods" means the mathematics and modeling applicable to the specification, design, and verification of software. |
|
http://www.cs.toronto.edu/fm
(241 words)
|
|
| |
| | Formal methods in interface specification |
| | The need to relate formal models of users' task knowledge to some model of the interface software, leads to research in interactor models of user interface software. | | | The School of Computing at Staffordshire University presents a series of tutorials by Alan Dix on the application of formal methods in human computer interface design. | | | The use of such formal methods in the software engineering domain has proven difficult on all but the most limited problems. |
|
http://www.otal.umd.edu/guse/formal.html
(2301 words)
|
|
| |
| | Manchester Uni Formal Methods Group - Background |
| | Formal methods attempt to provide mathematical underpinning for the design of computer systems (hardware or software). | | | A formal method should provide a specification language which has a firm mathematical semantics and a development notion which has a clear concept of what needs to be proved for a design (ultimately implementation) to satisfy its specification. | | | One approach which could help with the creation of more reliable software is known as formal methods. |
|
http://www.cs.man.ac.uk/fmethods/background.html
(180 words)
|
|
| |
| | Arpa project -- Formal Methods |
| | We need (meta-)formal methods and tools to achieve Formal Interoperability, that is, the capacity to move in a mathematically rigorous way across the different formalizations of a system, and to use in a rigorously integrated way the different tools supporting these formalizations. | | | A formal language translation meta-tool that, given formal specifications for two languages and their mapping will generate an executable translator tool transforming statements and modules in one language into their counterparts in the other language. | | | We will develop new, formal interoperability methodologies and generic meta-tools that are expected to achieve dramatic advances in software technology and formal methods: |
|
http://www-formal.stanford.edu/clt/ArpaFormal/98may.html
(823 words)
|
|
| |
| | Tutorial on Formal Methods |
| | Formal methods are an important adjunct to reduce ambiguity and inconsistency, verify complex algorithms, and increase automation. | | | CSP (Communicating Sequential Processes) is another formalization particularly good at modeling distributed systems and parallel computations. | | | We are fortunate to have Dr. Ann Sobel visiting NIST to teach a three-day tutorial on formal methods in software development. |
|
http://hissa.ncsl.nist.gov/~black/formaltut.html
(445 words)
|
|
| |
| | The World Wide Web Virtual Library: Formal Methods |
| | Formal methods are a fault avoidance technique that help in the reduction of errors introduced into a system, particularly at the earlier stages of design. | | | Educational issues relating to formal methods in computer science. | | | VIS (Verification Interacting with Synthesis), a system for formal verification, synthesis, and simulation of finite state systems, especially logic circuits. |
|
http://vl.fmnet.info
(1641 words)
|
|
| |
| | Formal Methods for Industrial Critical Systems |
| | Notational complexity is often a deterrent to the use of formal methods stronger than the advantages of such methods. | | | Finally, most of the automatic tools developed for supporting the use of formal methods lack of industrial strength and so turn out to be unpractical when used in the industrial context. | | | Apparently, major reasons for that are the notational difficulty of most formal methods available nowdays and the lack of integration between them. |
|
http://www.inrialpes.fr/vasy/fmics
(975 words)
|
|
| |
| | The Formal Methods Group |
| | The Formal Methods Group is a research subgroup at the Computing Science Department of Chalmers University of Technology. | | | This means that we have to develop methods and implementations which perform a logical analysis of software in order to either find bugs or prove that the software is correct. | | | The goal is to apply formal methods in the area of software development. |
|
http://www.cs.chalmers.se/Cs/Research/FormalMethods
(852 words)
|
|
| |
| | Formal Methods Publications |
| | Formal methods in computer science journal titles and technical report abstracts. | | | Formal methods subject area in the human computer interaction archive and the automated reasoning/deduction subject area in the theorem proving archive in the SEL-HPC Article Archive. | | | Formal Methods and Women in Computer Science, Michael Barnett. |
|
http://vl.fmnet.info/pubs
(2198 words)
|
|
| |
| | Matz Kindahl - Formal Methods |
| | This method can be regarded as a kind of `tool-kit', consisting essentially of three discrete parts: a set of high-level guidelines for the programmer; a framework for handling input/output and state; and a set of lower-level rules, indicating how to translate various Z constructs, in particular, those of Z's `mathematical tool-kit', into Haskell. | | | Z is a formal specification language that has been developed by the Programming Research Group (PRG) at the Oxford University Computing Laboratory (OUCL). | | | VDM's origins lie in the research on formal semantics of programming languages at IBM's Vienna Laboratory in the 1960s and 70s. |
|
http://user.it.uu.se/~matkin/collection/formal.html
(1120 words)
|
|
| |
| | FM03 |
| | FM 2003 is the twelfth in a series of symposia organised by Formal Methods Europe, an independent association whose purpose is to promote and support the industrial use of formal methods for computer systems development. | | | The scope of FM 2003 includes all aspects of the use of formal methods for software development especially applied to new application areas that are critical in the new aspects of information society. | | | FME symposia have been notably successful in bringing together an international and varied community of users, researchers and developers of precise mathematical methods for software development. |
|
http://fme03.isti.cnr.it
(331 words)
|
|
| |
| | Formal Methods Links |
| | The ITiCSE Working Group on Teaching and Learning Formal Methods with Software is producing (by Dec 2000) a report on the support that is available in the area of formal methods education, and to provide guidelines for educators who are coming to teaching formal methods for the first time. | | | ZETA is an open environment for the development of specification documents based on Z. It provides an integration framework for tools to edit, analyse and animate Z specifications and formalisms which are mapped to Z. It was developed in course of the research project ESPRESS and is available under a GPL license. | | | The FormalWARE project was a two-year university/industry collaborative project to investigate potential applications of formal methods in the development of software-intensive, critical systems. |
|
http://www.cs.waikato.ac.nz/~marku/formalmethods.html
(2323 words)
|
|
| |
| | Formal Methods Educational Resources |
| | The goal of the school is to introduce into the leading formally supported design and anlysis methods which are theoretically well founded and at the same time have proved useful for engineering reliable complex software under industrial constraints. | | | This site serves as a repository for information related to formal methods in education, including pointers to existing courses and suggestions for examples and projects. | | | Sections of this area will include motivations for teaching formal methods, information on how formal methods fits into various computing curricula, FAQs on teaching formal methods, and information on assessing the impact of formal methods in courses. |
|
http://www.cs.indiana.edu/formal-methods-education
(313 words)
|
|
| |
| | Lecture Notes on Formal Methods |
| | Formal methods applies mathematically based principles, representations, and tools to software engineering. | | | Formal methods may be applied at several parts of the software engineering cycle: | | | Just like learning calculus, formal methods require discipline to learn the language and operation. |
|
http://www.geocities.com/p.black/cs327chap9.html
(258 words)
|
|
| |
| | Prof. Jonathan Bowen |
| | His interests include formal methods, safety-critical systems, the Z notation, provably correct systems, rapid prototyping using logic programming, decompilation, hardware compilation, software/hardware co-design, the history of computing and on-line museums. | | | From 1995 to March 2000, Bowen was a lecturer at the Department of Computer Science, University of Reading where he led the Formal Methods and Software Engineering Group. | | | In 2002, Bowen was elected Chair of the British Computer Society FACS Specialist Group on Formal Aspects of Computer Science and Fellow of the Royal Society for the encouragement of the Arts, Manufactures and Commerce. |
|
http://www.jpbowen.com
(561 words)
|
|
| |
| | ICFEM 2003 Program |
| | Formal methods for developing computing systems have been extensively researched and their use in industry is increasing. | | | The challenge now is to achieve general acceptance of formal methods as a part of industrial development of high quality systems, particularly trusted systems. | | | Ana Cavalcanti, University of Kent, UK "A Relational Model for Formal Object-Oriented Requirement Analysis in UML" |
|
http://nt-appn.comp.nus.edu.sg/fm/icfem2003
(700 words)
|
|
| |
| | Formal Methods Strand |
| | Overview: The B Method is an extension of the Z notation which supports all stages of the software life-cycle from specification through design through to code generation. | | | At the end of this course the student should be able to apply formal methods using both model-based and process algebraic formal methods, and should understand where each is appropriate. | | | The course covers the concepts required for formal specification, analysis, modelling, development, and verification of computing systems. |
|
http://www.cs.rhbnc.ac.uk/msc/mscres/fm.html
(507 words)
|
|
| |
| | RSP&A formal methods resources |
| | Harry, A., Formal Methods Fact File: VDM and Z, Wiley, 1997. | | | Bowan, J., Formal Specification and Documentation using Z: A Case Study Approach, International Thomson Computer Press, 1996. | | | Sheppard, D., An Introduction to Formal Specification with Z and VDM, McGraw-Hill, 1995. |
|
http://www.rspa.com/spi/formal-methods.html
(667 words)
|
|
| |
| | 8th FMICS workshop |
| | Since 1998, six special issues related to FMICS have been published (or will appear) in prestigious journals such as Formal Aspects of Computing, Formal Methods in System Design, and Science of Computer Programming. | | | The program and the presentations from the ERCIM members are now available. | | | Case studies and project reports on formal methods related projects with industrial participation |
|
http://www.inrialpes.fr/vasy/fmics/workshop-8
(577 words)
|
|
| |
| | FLoC '02 - FME |
| | FME 2002 is the eleventh in a series of symposia organised by Formal Methods Europe, an independent association whose aim is to stimulate the use of, and research on, formal methods for software development. | | | The scope of the symposium, as always in its distinguished history, includes all aspects of the use of formal methods for development of software in all application areas. | | | These symposia have been notably successful in bringing together a community of users, researchers, and developers of precise mathematical methods for software development. |
|
http://floc02.diku.dk/FME
(231 words)
|
|
| |
| | Formal Methods Laboratory |
| | The main job of the FM Lab is to be a base for the formal methods projects in the department. | | | The Formal Methods (FM) Laboratory was established during March 1999, and is now housed within and around the Software Engineering Lab at Waikato. | | | All the people in New Zealand connected with the Formal Methods part of Software Engineering are in a group called the New Zealand Formal Program Development Colloquium (NZFPDC), which meets occasionally. |
|
http://www.cs.waikato.ac.nz/Research/fm
(740 words)
|
|
| |
| | IFM2002 |
| | The integration of formal methods promises great benefits for systems modeling and software development. | | | Moreover, IFM2002 intends to build upon them and explore the existent and the possible relations between formal methods and the new industrial standard language for software design, the Unified Modeling Language (UML). | | | For IFM2000 this has been widened to include all aspects pertaining to the integration of formal methods and formal notations. |
|
http://www.tucs.fi/IFM2002
(753 words)
|
|
| |
| | Alan's formal methods in HCI page |
| | For wider formal methods research in computing see the formal methods pages of the WWW Virtual Library. | | | Use formal notations amongst other non-formal appriaches to understand the causes of human error in accidents. | | | Effective Use of Formal Methods in Interface Specification |
|
http://www.comp.lancs.ac.uk/computing/users/dixa/topics/formal
(862 words)
|
|
| |
| | Formal Methods in India Home Page |
| | ACM strategic directions in Computing Research has a Formal Methods Working Group. | | | Information on projects and software from India related to Formal Methods and analysis of programs. | | | The scope of this page is rather broad ranging from highly theoretical work on logics and models of programs to practical notations, methods and tools for program analysis as well as case studies in using formal methods. |
|
http://www.tcs.tifr.res.in/~pandya/fmi
(573 words)
|
|
| |
| | No Title |
| | Systems Engineering: Combining formal and informal methods, domain and requirements engineering, software architecture, program organisation, formal techniques in object-oriented programming, testing, maintenance, software process and performance modelling. | | | Maturity: Formal methods are no longer a curiosity. | | | Systems Application Areas: Hardware, concurrent and reactive systems, distributed and mobile computing, fault-tolerant and reliable systems, network protocols, real-time and hybrid systems. |
|
http://www2.imm.dtu.dk/~db/fm99/fm99/fm99.html
(531 words)
|
|
| |
| | VDM Information |
| | VDM (The Vienna Development Method) is a set of techniques for modelling computing systems analysing those models and progressing to detailed design and coding. | | | Information technology -- Programming languages, their environments and system software interfaces -- Vienna Development Method -- Specification Language -- Part 1: Base language. | | | VDM has its origins in the work of the IBM Vienna Laboratory in the mid-1970s. |
|
http://www.csr.ncl.ac.uk/vdm
(784 words)
|
|
| |
| | Centre for Applied Formal Methods |
| | The Centre for Applied Formal Methods was established in March 2000 with the aim of carrying out research work with a balance of theory (formal methods) and practice (applications) in the general area of computer science. | | | Systems and Software Engineering research group within the Institute for Computing Research. | | | Systems and Software Engineering research seminars was started in summer 2001, including both external and internal speakers. |
|
http://www.cafm.lsbu.ac.uk
(409 words)
|
|
| |
| | Formal Methods |
| | The Formal Methods Program leverages the power of formal rigor upon the construction of the complex systems that are part of the IF vision. | | | There is a need to enhance the capabilities of formal methods to allow greater sharing of formal tools of knowledge, integration of formal tools with programming environments, and ease of use. | | | The objective of this program is to increase the amount of formal power that can be applied to the task of building more efficient, reliable and secure systems. |
|
http://www.rl.af.mil/tech/programs/FormalMethods
(109 words)
|
|
| |
| | FM05 :: Formal Methods Conference |
| | Formal methods continue to have a major impact on systems and software engineering, especially in areas where dependability, security and trust matter. | | | It is our pleasure to invite you to attend FM'05, the leading international conference for researchers and practitioners in formal methods for the development of computing systems. | | | FM’05 aims to publish the latest developments of interest to researchers and practitioners alike. |
|
http://www.csr.ncl.ac.uk/fm05
(388 words)
|
|
| |
| | formal methods from FOLDOC |
| | Nearby terms: FORMAL « formal argument « Formal Description Technique « formal methods » Formal Object Role Modeling Language » formal review » FORMAT-Fortran |
|
http://foldoc.doc.ic.ac.uk/foldoc/foldoc.cgi?formal+methods
(67 words)
|
|
| |
| | Formal Methods |
| | Hoare, Hans Langmaack (Eds.): VDM '90, VDM and Z - Formal Methods in Software Development, Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings. | | | Jeannette M. Wing, Jim Woodcock, Jim Davies (Eds.): FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume II. | | | Helmut K. Berg, Wolfgang K. Giloi (Eds.): The Use of Formal Specification of Software, June 25-27, 1979, Berlin. |
|
http://dblp.uni-trier.de/db/conf/fm
(690 words)
|
|
| |
| | No Title |
| | The FM'99 World Congress on Formal Methods (Techniques and Tools) in the Development of Computing Systems (Software and Hardware) is organised -- on behalf of the sponsors --by FME: Formal Methods Europe. | | | AMAST: Algebraic Methods and Applications in Software Technology, | | | ETAPS: European (Joint Conferences on) Theory and Practice of Software, |
|
http://www2.imm.dtu.dk/~db/fm99
(69 words)
|
|
| |
| | Symposiumsite |
| | Until education takes these failings seriously, Formal Methods will be an obscure byway in software engineering, which in turn will remain severely impoverished as a result. | | | This site will be updated at various times, please check regularly for the latest information. | | | The Proceedings have just been published by Springer as volume LNCS 3294 in the Lecture Notes in Computer Science series. |
|
http://www.intec.rug.ac.be/groupsites/formal/Sympos2004/Sympos2004.htm
(476 words)
|
|
| |
| | :::::: f o r t e s t :::::: |
| | FORTEST is an EPSRC-funded network that is investigating the relationships between formal (and semi-formal) methods and software testing. | | | FORTEST will consider a wide range of problems, of interest to the testing and formal methods communities. | | | The founders of FORTEST include a range of academics from the testing and formal methods communities and industrialists representing a number of application domains such as consumer electronics; automotive systems; tools; and safety-critical systems. |
|
http://www.fortest.org.uk
(296 words)
|
|
| |
| | Formal Methods and Declarative Languages Laboratory |
| | Research in the Formal Methods and Declarative Languages Laboratory spans several areas, including: design and implementation of multi-paradigm declarative languages, formal specification and verification, formal tools, logical foundations, and applications to software engineering, distributed systems, and high-assurance systems. | | | A Logical Framework for Adaptive System Interoperability, part of the MURI program funded by | | | Current application areas include: specification and verification of fault-tolerant and secure network protocols, reflective middleware, mobile systems and languages, probabilistic distributed systems, real-time systems, and automated formal analysis methods and tools for software. |
|
http://formal.cs.uiuc.edu
(269 words)
|
|
| |
| | ORA Canada Z/EVES Page |
| | This version includes a graphical user interface that allows Z specifications to be entered, edited, and analysed in their typeset form; supports the incremental analysis of specifications; and manages the synchronization of the analysis with modifications to the specification. | | | Z/EVES uses state-of-the-art formal methods techniques from Europe and North America, integrating a leading specification notation with a leading automated deduction capability. |
|
http://www.ora.on.ca/z-eves/welcome.html
(382 words)
|
|
| |
| | Formal - Wikipedia, the free encyclopedia |
| | Formal grammar – formal system – formal set theory | | | For example, formal logic reasons about a logical argument based only on the form and not on the meaning. | | | Formal verification works in a formal language to attempt to prove formal properties hold for a formal specification of a formal system |
|
http://en.wikipedia.org/wiki/Formal
(255 words)
|
|
| |
| | NIA's Formal Methods Program |
| | NASA Langley's Formal Methods Group by developing and applying state-of-the-art formal technologies. | | | The World Wide Web Virtual Library: Formal Methods | | | The Formal Methods Groups at NIA and NASA Langley have developed and verified several fundamental algorithms for Air Traffic Management such as Conflict Detection and Resolution (CD3D, KB3D), Resolution and Recovery (RR3D), and Cooperative and Collaborative Resolution. |
|
http://research.nianet.org/fm-at-nia
(151 words)
|
|
| |
| | Model Checking at CMU |
| | Specifications about the system are expressed as temporal logic formulas, and efficient symbolic algorithms are used to traverse the model defined by the system and check if the specification holds or not. | | | is a method for formally verifying finite-state concurrent systems. |
|
http://www.cs.cmu.edu/~modelcheck
(138 words)
|
|
| |
| | Formal Methods |
| | Tools The tools section will consider not only those tools normally though of as formal methods tools, but also tools which are concerned with the formalisation or mechanisation of mathematics, including borderline cases such as symbolic mathematics tools. | | | Language and Logic Formal languages and formal logics are the intellectual tools at the heart of formal methods. | | | The Methods Its not easy to separate out methods from languages and tools, because often researchers intending to develop one of these, will find it necessary to develop the others in tandem. |
|
http://www.rbjones.com/rbjpub/methods/fm
(163 words)
|
|
|
