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.
The elements of formal analysis are building blocks that can be combined to create a larger structure. Line is the most basic building block of formal analysis. Line can be used to create more complex shapes or to lead your eye from one area in the composition to another. Value is the degree of light and dark in a design. It is the contrast between black and white and all the tones in between.