You too must be happy with the statement -- it should be what you will tell anyone if they ask you what your thesis is (few people will want to hear an hour presentation as a response).
Once you have a statement of thesis, you can begin to develop the dissertation.
Do reference popular literature or WWW sites if you can help it (this is a matter of style more than anything else -- you want to reference articles in refereed conferences and journals, if possible, or in other theses).
Also in the introduction, you want to survey any related work that attempted something similar to your own, or that has a significant supporting role in your research. You cite the work in the references, not the researchers themselves. Thus, the model you develop and write about (and indeed, that you defend) should be one that has lasting value.
Here, you should clearly state the thesis and its importance.
This is also where you give definitions of terms and other concepts used elsewhere.E.g., "The experiments described in [citation] explored the foo and bar conditions, but did not discuss the further problem of baz, the central point of this work." You should not make references such as this: "Curly, Moe and Larry all believed the same in their research [CML53]" because you do not know what they actually believed or thought -- you only know what the paper states. Thus, you should discuss a model that is not based on Windows, Linux, Ethernet, PCMIA, or any other specific technology.citation tied to it in this chapter, or else it must be common knowledge (don't rely on this too much). It should be generic in nature, and should capture all the details necessary to overlay the model on likely environments.[I wrote this in 1993 as a letter to a student concerning a draft of his dissertation.in 2003 I edited it to remove some specific references to the student and present it as a small increment to the information available to my grad students.This is the lasting part of the contribution, and this is what someone might cite 50 years from now when we are all using MS Linux XXXXP on computers embedded in our wrists with subspace network links! There are basically three proof techniques that I have seen used in a computing dissertation, depending on the thesis topic.The first is analytic, where one takes the model or formulae and shows, using formal manipulations, that the model is sound and complete.Will your dissertation be valuable 20 years from now (ca 2020), or have you referred to technologies that will be of only historical interest?This model is tough to construct, but is really the heart of the scientific part of your work.You must clearly express the mapping of model to experiment, and the definition of parameters used and measured. This may be where you discuss the effects of technology change on your results.This is also a place where you may wish to point out significant results that you obtained while seeking to prove your central thesis, but which are not themselves supportive of the thesis. This is where you discuss what you found from your work, incidental ideas and results that were not central to your thesis but of value nonetheless, (if you did not have them in Chapter V) and other results.