: This paper outlines the emergence of formal techniques, explaining why they were slow to take on an industrially acceptable form. The contemporary scene, in which formal techniqu...
This paper presents results from a study about the Internet as an information source for travel planning based on interviews with travelers in 13 countries in 2005. In 1997, a sim...