HTML. First developed by Tim Berners-Lee in 1990, HTML is short for HyperText Markup Language. HTML is used to create electronic documents (called pages) that are displayed on the World Wide Web. Each page contains a series of connections to other pages called hyperlinks.
Formal methods. In computer science, specifically software engineering and hardware engineering, formal methods are a particular kind of mathematically based techniques for the specification, development and verification of software and hardware systems.
1. (Mechanical Engineering) a system or structure of moving parts that performs some function, esp in a machine. 2. something resembling a machine in the arrangement and working of its parts: the mechanism of the ear. 3. (Mechanical Engineering) any form of mechanical device or any part of such a device. 4. a process or technique, esp of execution: the mechanism of novel writing.