mapje gemaakt voor a4

diff --git a/a4/Makefile b/a4/Makefile
new file mode 100644 (file)
index 0000000..79844d6
--- /dev/null
+++ b/a4/Makefile
@@ -0,0 +1,21 @@
+LATEX:=latex
+
+DOCUMENT:=tt4
+
+.SECONDARY: $(DOCUMENT).fmt
+.PHONY: clean
+
+all: $(DOCUMENT).pdf
+
+%.pdf: %.dvi
+       dvipdfm $<
+
+%.dvi: %.tex %.fmt
+       $(LATEX) $<
+       $(LATEX) $<
+
+%.fmt: preamble.tex
+       $(LATEX) -ini -jobname="$(basename $@)" "&$(LATEX) $<\dump"
+
+clean:
+       $(RM) -v $(addprefix $(DOCUMENT).,aux fmt log out pdf toc)

diff --git a/a4/preamble.tex b/a4/preamble.tex
new file mode 100644 (file)
index 0000000..5a64503
--- /dev/null
+++ b/a4/preamble.tex
@@ -0,0 +1,12 @@
+\documentclass[titlepage]{article}
+
+\usepackage{a4wide}
+\usepackage[dvipdfm]{hyperref}
+
+\author{%
+       Charlie Gerhardus\and
+       Pim Jager\and
+       Mart Lubbers
+}
+\title{Automata learning} 
+\date{\today}

diff --git a/a4/tt4.bib b/a4/tt4.bib
new file mode 100644 (file)
index 0000000..cd67d5d
--- /dev/null
+++ b/a4/tt4.bib
@@ -0,0 +1,85 @@
+@incollection{pol1997,
+       title = {A {Test} {Management} approach for structured testing},
+       booktitle = {Achieving {Software} {Product} {Quality}},
+       publisher = {UTN publishers},
+       author = {Pol, M. and van Veenendaal, Erik},
+       editor = {van Veenendaal, Erik and McMullen, Julie},
+       year = {1997},
+}
+
+@misc{muller2011,
+       title = {Certified {Tester}. {Foundation} {Level} {Syllabus}},
+       author = {Müller, Thomas},
+       editor = {Friedenberg, Debra},
+       year = {2011},
+}
+
+@book{iso9126,
+       title = {{ISO}/{IEC} 9126. {Software} engineering – {Product} quality},
+       publisher = {ISO/IEC},
+       author = {{ISO/IEC}},
+       year = {2001}
+}
+
+@book{iso25010,
+       title = {{ISO}/{IEC} 25010:2011. {Systems} and software engineering -- {Systems} and software {Quality} {Requirements} and {Evaluation} ({SQuaRE}) -- {System} and software quality models.},
+       publisher = {ISO/IEC},
+       author = {{ISO/IEC}},
+       year = {2011}
+}
+
+@misc{veenendaal2012,
+       title = {Standard glossary of terms used in {Software} {Testing}},
+       editor = {van Veenendaal, Erik van},
+       year = {2012},
+}
+
+@book{rfc793,
+       series = {Request for {Comments}},
+       title = {Transmission {Control} {Protocol}},
+       url = {http://www.ietf.org/rfc/rfc793.txt},
+       number = {793},
+       publisher = {IETF},
+       author = {Postel, J.},
+       month = sep,
+       year = {1981},
+       note = {Published: RFC 793 (INTERNET STANDARD)
+Updated by RFCs 1122, 3168, 6093, 6528},
+}
+
+@article{whittaker2000,
+       title = {What is software testing? {And} why is it so hard?},
+       volume = {17},
+       shorttitle = {What is software testing?},
+       url = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=819971},
+       number = {1},
+       urldate = {2015-09-20},
+       journal = {Software, IEEE},
+       author = {Whittaker, James},
+       year = {2000},
+       pages = {70--79},
+}
+@incollection{belinfante2010jtorx,
+         title={JTorX: A tool for on-line model-driven test derivation and
+                 execution},
+           author={Belinfante, Axel},
+             booktitle={Tools and Algorithms for the Construction and Analysis
+                     of Systems},
+               pages={266--270},
+                 year={2010},
+                   publisher={Springer}
+}
+@incollection{koopman2003gast,
+         title={Gast: Generic automated software testing},
+           author={Koopman, Pieter and Alimarine, Artem and Tretmans, Jan and
+                   Plasmeijer, Rinus},
+             booktitle={Implementation of Functional Languages},
+               pages={84--100},
+                 year={2003},
+                   publisher={Springer}
+}
+@misc{JTorXSite,
+  title = {JTorX - FMT Tools},
+  howpublished = {\url{https://fmt.ewi.utwente.nl/redmine/projects/jtorx/wiki/}},
+  note = {Accessed: 2015-12-26}
+}

diff --git a/a4/tt4.tex b/a4/tt4.tex
new file mode 100644 (file)
index 0000000..5c19fb0
--- /dev/null
+++ b/a4/tt4.tex
@@ -0,0 +1,12 @@
+%&tt4
+\begin{document}
+\maketitle
+\tableofcontents
+\newpage
+
+hoi
+
+\nocite{*}
+\bibliographystyle{ieeetr}
+\bibliography{tt4}
+\end{document}