Formal

From Wikipedia, the free encyclopedia
Jump to navigation Jump to search

Formal, formality, informal or informality imply the complying with, or not complying with, some set of requirements (forms, in Ancient Greek). They may refer to:

Dress code and events[edit]

Logic and mathematics[edit]

Computer science[edit]

  • Formal methods, mathematically based techniques for the specification, development and verification of software and hardware systems
  • Formal specification, describes what a system should do, not how it should do it
  • Formal verification, proves correctness of a system

Linguistics[edit]

Chemistry[edit]

Social regulation[edit]

Other[edit]

  • Informal vote, a spoiled, void, null vote cast in an election
  • MV Formality, coaster (formerly Empire Favourite) owned by F T Everard & Sons, scrapped in 1962

See also[edit]