Tag:Formalmethods
From Wikipedia, the free encyclopedia
Jump to: navigation, search
Related Tags
programming logic math security z notation design mathematics computer cs theory science academic languages model development language temporal formal specification temporal-logic proof testing biba order computing domain-theory hoare productivity program domain_theory semantics domain compsci software phd z-notation formal_specification research computerscience verification functionalprogramming filosofi models function philosophy fp formal_system semantica formal-methods declarative semantic cmu embedded-module to_read uclaphd monotone wp learn-something category mathematic functions math-for-cs algebra wikipediapage relation test technology geek hoarelogic computer-science correctness set_theory structure programminglanguages cuny-proglang hoare-logic temporal-reasoning lamda-calculus lambdacalcul domaintheory isel integrity varios sociology lomac computation denotational-semantic matematik metric order-theory partially-order-set poset logik spaces w-compsec cissp @todo checking temporal-theory
Articles
- Domain theory (1)math logic wikipedia domain-theory theory domain_theory domain cs programming science model mathematics function filosofi order-theory metric matematik partially-order-set poset spaces logik phd compsci denotational-semantic computation domaintheory formalmethods lambdacalcul functionalprogramming lamda-calculus
- Biba Model (1)
- Temporal logic (1)
- Z notation (1)programming z notation design languages development wikipedia specification security productivity language academic formal proof z-notation formal_specification computerscience is0-13568:2002 pl>z programminglanguages semantica semantic fp formal_system compsci cmu cs declarative formal-methods formalmethods
- Hoare logic (1)
- Order theory (1)
Retrieved from "http://en.wikipedia.org/wiki/Tag:Formalmethods"
