Softwaretechnik und Programmiersprachen - Recent changes [en]

Bibtex

2012-05-15T13:47:40Z

2012:

← Older revision		Revision as of 13:47, 15 May 2012
Line 4,304:		Line 4,304:
	author = {Stefan Hallerstede and Michael Jastram and Lukas Ladenberger},		author = {Stefan Hallerstede and Michael Jastram and Lukas Ladenberger},
	title = {A Method and Tool for Tracing Requirements into Specifications},		title = {A Method and Tool for Tracing Requirements into Specifications},
-	note = {Submitted to ~~Elsevier~~},	+	note = {Submitted to Science of Computer Programming},
	year = 2012,		year = 2012,
	pages = {31 p},		pages = {31 p},

File:Pub-HalJasLad2012.pdf

2012-05-15T13:36:49Z

uploaded "[[File:Pub-HalJasLad2012.pdf]]"

Bibtex

2012-05-15T13:35:51Z

2012:

← Older revision		Revision as of 13:35, 15 May 2012
Line 4,301:		Line 4,301:
	stupsrev = {Jastram},		stupsrev = {Jastram},
	}		}
		+	@unpublished{HalJasLad2012,
		+	author = {Stefan Hallerstede and Michael Jastram and Lukas Ladenberger},
		+	title = {A Method and Tool for Tracing Requirements into Specifications},
		+	note = {Submitted to Elsevier},
		+	year = 2012,
		+	pages = {31 p},
		+	abstract = {
		+	<p>The creation of a consistent system description is a challenging problem of requirements engineering.
		+	Formal and informal reasoning can greatly contribute to meet this challenge.
		+	However, this demands that formal and informal reasoning and the system description are
		+	connected in such way that the reasoning permits drawing conclusions about the system description.</p>

		+	<p>We describe an incremental approach to requirements modelling and validation
		+	that incorporates formal and informal reasoning.
		+	Our main contribution is an approach to requirements tracing that delivers the necessary connection
		+	that links the reasoning to the system description.
		+	Formal refinement is used in order to deal with large and complex system descriptions.</p>
		+
		+	<p>We discuss tool support for our approach of requirements tracing that combines informal requirements modelling
		+	with formal modelling and verification while tracing requirements among each other and into the formal model.</p>
		+	},
		+	stupsrev = {Jastram},
		+	}
	</nowiki>		</nowiki>

	{{#header:none}}		{{#header:none}}

File:Pub-2012 reconf tracing.pdf

2012-05-15T09:59:34Z

uploaded "[[File:Pub-2012 reconf tracing.pdf]]"

Informatik 4, SoSe 12

2012-05-15T09:47:59Z

Übungsblätter und Pflichtaufgaben:

← Older revision		Revision as of 09:47, 15 May 2012
Line 65:		Line 65:
	* [[Media:Blatt4.pdf\|Blatt 4]]<br/> In Aufgabe 4.3 (a) sind die Automaten aus Teilaufgabe 3.2 (c) gemeint, und nicht aus Teilaufgabe 2.3 (c).		* [[Media:Blatt4.pdf\|Blatt 4]]<br/> In Aufgabe 4.3 (a) sind die Automaten aus Teilaufgabe 3.2 (c) gemeint, und nicht aus Teilaufgabe 2.3 (c).
	* [[Media:Blatt5_Info4.pdf\|Blatt 5]]<br/> In Aufgabe 5.3 sind +,*,( und ) auch Terminalsymbole im Alphabet der Grammatik G. In Aufgabe 5.2 ist S das Startsymbol für beide Grammatiken.		* [[Media:Blatt5_Info4.pdf\|Blatt 5]]<br/> In Aufgabe 5.3 sind +,*,( und ) auch Terminalsymbole im Alphabet der Grammatik G. In Aufgabe 5.2 ist S das Startsymbol für beide Grammatiken.
-	* [[Media:Pflichtaufgabe1.pdf\|Pflichtaufgabe 1]]	+	* [[Media:Pflichtaufgabe1.pdf\|Pflichtaufgabe 1]]<br/> '''Diejenigen, die wenig Erfahrung bzw. gar keine Erfahrung mit Java haben, können Pflichtaufgabe 1 auch in eine andere Programmiersprache (C,C++,Python,Prolog,Haskell etc.) implementieren und abgeben. Die abgegebenen Programme müssen die Voraussetzungen erfüllen, die in der Aufgabestellung der Pflichtaufgabe 1 angegeben wurden.'''
	* [[Media:Blatt6.pdf\|Blatt 6]]		* [[Media:Blatt6.pdf\|Blatt 6]]
	Fragen zu den Übungsaufgaben können jederzeit an Ivaylo Dobrikov (Raum 25.12.02.56, E-Mail: dobrikov@cs.uni-duesseldorf.de) gestellt werden.		Fragen zu den Übungsaufgaben können jederzeit an Ivaylo Dobrikov (Raum 25.12.02.56, E-Mail: dobrikov@cs.uni-duesseldorf.de) gestellt werden.

File:Informatik4 Kapitel3.pdf

2012-05-15T08:11:05Z

uploaded "[[File:Informatik4 Kapitel3.pdf]]"

Informatik 4, SoSe 12

2012-05-15T08:10:44Z

Kursmaterialien:

← Older revision		Revision as of 08:10, 15 May 2012
Line 41:		Line 41:
	* [[Media:Informatik4_Kapitel1.pdf\|1. Kapitel]]		* [[Media:Informatik4_Kapitel1.pdf\|1. Kapitel]]
	* [[Media:Informatik4_Kapitel2.pdf\|2. Kapitel]]		* [[Media:Informatik4_Kapitel2.pdf\|2. Kapitel]]
		+	* [[Media:Informatik4_Kapitel3.pdf\|3. Kapitel]]

	[http://www.stups.uni-duesseldorf.de/ProB ProB] Beispiele (am besten [http://nightly.cobra.cs.uni-duesseldorf.de/tcl/ aktuelle Version von ProB] herunterladen):		[http://www.stups.uni-duesseldorf.de/ProB ProB] Beispiele (am besten [http://nightly.cobra.cs.uni-duesseldorf.de/tcl/ aktuelle Version von ProB] herunterladen):

File:PDA2.mch

2012-05-15T08:10:11Z

uploaded "[[File:PDA2.mch]]"

Informatik 4, SoSe 12

2012-05-15T08:10:00Z

Kursmaterialien:

← Older revision		Revision as of 08:10, 15 May 2012
Line 54:		Line 54:
	* [[Media:GrammarChomskyNormalForm2_CYK.mch\|CYK für Beispiel Nr. 2 in CNF]]		* [[Media:GrammarChomskyNormalForm2_CYK.mch\|CYK für Beispiel Nr. 2 in CNF]]
	* [[Media:PDA.mch\|Push-Down Automat]]		* [[Media:PDA.mch\|Push-Down Automat]]
		+	* [[Media:PDA2.mch\|Push-Down Automat 2]]

	== Übungsblätter und Pflichtaufgaben ==		== Übungsblätter und Pflichtaufgaben ==

File:PDA.mch

2012-05-15T08:09:05Z

uploaded "[[File:PDA.mch]]"

Informatik 4, SoSe 12

2012-05-15T08:08:39Z

Kursmaterialien:

← Older revision		Revision as of 08:08, 15 May 2012
Line 53:		Line 53:
	* [[Media:GrammarChomskyNormalForm_CYK.mch\|CYK für Beispiel Grammatik in CNF]]		* [[Media:GrammarChomskyNormalForm_CYK.mch\|CYK für Beispiel Grammatik in CNF]]
	* [[Media:GrammarChomskyNormalForm2_CYK.mch\|CYK für Beispiel Nr. 2 in CNF]]		* [[Media:GrammarChomskyNormalForm2_CYK.mch\|CYK für Beispiel Nr. 2 in CNF]]
-	* [[Media:PDA.mch\|Push-Down Automat]	+	* [[Media:PDA.mch\|Push-Down Automat]]

	== Übungsblätter und Pflichtaufgaben ==		== Übungsblätter und Pflichtaufgaben ==

File:GrammarChomskyNormalForm2 CYK.mch

2012-05-15T08:08:26Z

uploaded "[[File:GrammarChomskyNormalForm2 CYK.mch]]"

Informatik 4, SoSe 12

2012-05-15T08:08:08Z

Kursmaterialien:

← Older revision		Revision as of 08:08, 15 May 2012
Line 52:		Line 52:
	* [[Media:GrammarChomskyNormalForm.mch\|Beispiel Grammatik in CNF]]		* [[Media:GrammarChomskyNormalForm.mch\|Beispiel Grammatik in CNF]]
	* [[Media:GrammarChomskyNormalForm_CYK.mch\|CYK für Beispiel Grammatik in CNF]]		* [[Media:GrammarChomskyNormalForm_CYK.mch\|CYK für Beispiel Grammatik in CNF]]
		+	* [[Media:GrammarChomskyNormalForm2_CYK.mch\|CYK für Beispiel Nr. 2 in CNF]]
		+	* [[Media:PDA.mch\|Push-Down Automat]

	== Übungsblätter und Pflichtaufgaben ==		== Übungsblätter und Pflichtaufgaben ==

Informatik 4, SoSe 12

2012-05-14T17:53:35Z

Übungsblätter und Pflichtaufgaben:

← Older revision		Revision as of 17:53, 14 May 2012
Line 62:		Line 62:
	* [[Media:Blatt5_Info4.pdf\|Blatt 5]]<br/> In Aufgabe 5.3 sind +,*,( und ) auch Terminalsymbole im Alphabet der Grammatik G. In Aufgabe 5.2 ist S das Startsymbol für beide Grammatiken.		* [[Media:Blatt5_Info4.pdf\|Blatt 5]]<br/> In Aufgabe 5.3 sind +,*,( und ) auch Terminalsymbole im Alphabet der Grammatik G. In Aufgabe 5.2 ist S das Startsymbol für beide Grammatiken.
	* [[Media:Pflichtaufgabe1.pdf\|Pflichtaufgabe 1]]		* [[Media:Pflichtaufgabe1.pdf\|Pflichtaufgabe 1]]
		+	* [[Media:Blatt6.pdf\|Blatt 6]]
	Fragen zu den Übungsaufgaben können jederzeit an Ivaylo Dobrikov (Raum 25.12.02.56, E-Mail: dobrikov@cs.uni-duesseldorf.de) gestellt werden.		Fragen zu den Übungsaufgaben können jederzeit an Ivaylo Dobrikov (Raum 25.12.02.56, E-Mail: dobrikov@cs.uni-duesseldorf.de) gestellt werden.

File:Blatt6.pdf

2012-05-14T17:49:13Z

uploaded a new version of "[[File:Blatt6.pdf]]"

File:Blatt6.pdf

2012-05-14T17:46:17Z

uploaded "[[File:Blatt6.pdf]]" Übungsblatt 6 der Info4-Vorlesung

File:GrammarChomskyNormalForm CYK.mch

2012-05-11T14:19:36Z

uploaded "[[File:GrammarChomskyNormalForm CYK.mch]]"

Informatik 4, SoSe 12

2012-05-11T14:18:42Z

Kursmaterialien:

← Older revision		Revision as of 14:18, 11 May 2012
Line 48:		Line 48:
	* [[Media:EquivalenceRelation.mch\|Äquivalenzrelation für Sprachen]]		* [[Media:EquivalenceRelation.mch\|Äquivalenzrelation für Sprachen]]
	* [[Media:DFA_Minimizing.mch\|DFA minimieren]]		* [[Media:DFA_Minimizing.mch\|DFA minimieren]]
		+
		+	* [[Media:ParikhMapping.mch\|Parikh Map]]
		+	* [[Media:GrammarChomskyNormalForm.mch\|Beispiel Grammatik in CNF]]
		+	* [[Media:GrammarChomskyNormalForm_CYK.mch\|CYK für Beispiel Grammatik in CNF]]

	== Übungsblätter und Pflichtaufgaben ==		== Übungsblätter und Pflichtaufgaben ==

Informatik 4, SoSe 12

2012-05-10T11:55:23Z

Übungsblätter und Pflichtaufgaben:

← Older revision		Revision as of 11:55, 10 May 2012
Line 56:		Line 56:
	* [[Media:Blatt3.pdf\|Blatt 3]]<br/> In Aufgabe 3.2 (a) müssen keine deterministischen endlichen Automaten (DFA's) konstruiert werden, sondern NFA's.		* [[Media:Blatt3.pdf\|Blatt 3]]<br/> In Aufgabe 3.2 (a) müssen keine deterministischen endlichen Automaten (DFA's) konstruiert werden, sondern NFA's.
	* [[Media:Blatt4.pdf\|Blatt 4]]<br/> In Aufgabe 4.3 (a) sind die Automaten aus Teilaufgabe 3.2 (c) gemeint, und nicht aus Teilaufgabe 2.3 (c).		* [[Media:Blatt4.pdf\|Blatt 4]]<br/> In Aufgabe 4.3 (a) sind die Automaten aus Teilaufgabe 3.2 (c) gemeint, und nicht aus Teilaufgabe 2.3 (c).
-	* [[Media:Blatt5_Info4.pdf\|Blatt 5]]<br/> In Aufgabe 5.3 sind +,*,( und ) auch Terminalsymbole im Alphabet der Grammatik G.	+	* [[Media:Blatt5_Info4.pdf\|Blatt 5]]<br/> In Aufgabe 5.3 sind +,*,( und ) auch Terminalsymbole im Alphabet der Grammatik G. In Aufgabe 5.2 ist S das Startsymbol für beide Grammatiken.
	* [[Media:Pflichtaufgabe1.pdf\|Pflichtaufgabe 1]]		* [[Media:Pflichtaufgabe1.pdf\|Pflichtaufgabe 1]]
	Fragen zu den Übungsaufgaben können jederzeit an Ivaylo Dobrikov (Raum 25.12.02.56, E-Mail: dobrikov@cs.uni-duesseldorf.de) gestellt werden.		Fragen zu den Übungsaufgaben können jederzeit an Ivaylo Dobrikov (Raum 25.12.02.56, E-Mail: dobrikov@cs.uni-duesseldorf.de) gestellt werden.

File:Blatt5 Info4.pdf

2012-05-10T11:51:25Z

uploaded a new version of "[[File:Blatt5 Info4.pdf]]" Die Startsymbole für die jeweiligen Grammatiken in Aufgabe 5.2 wurden nicht exolizit angegeben.

Informatik 4, SoSe 12

2012-05-09T11:03:19Z

Übungsblätter:

← Older revision		Revision as of 11:03, 9 May 2012
Line 49:		Line 49:
	* [[Media:DFA_Minimizing.mch\|DFA minimieren]]		* [[Media:DFA_Minimizing.mch\|DFA minimieren]]

-	== Übungsblätter ==	+	== Übungsblätter und Pflichtaufgaben ==
-	Die Abgabe der Übungsblätter erfolgt in schriftlicher Form jeweils '''Montags bis 10:30 Uhr''' in den Übungsbriefkästen in '''Geb. 25.13, Ebene 2'''. Das neue Übungsblatt kann am Montag nach der Abgabe von dieser Webseite heruntergeladen werden. Die Übungsblätter sind '''eigenständig''' zu bearbeiten und abzugeben. Jedes Übungsblatt hat in der Regel '''vier Aufgaben''' und bei jeder Aufgabe sind '''10 Punkte''' erreichbar.	+	Die Abgabe der Übungsblätter erfolgt in schriftlicher Form jeweils '''Montags bis 10:30 Uhr''' in den Übungsbriefkästen in '''Geb. 25.13, Ebene 2'''. Das neue Übungsblatt kann am Montag nach der Abgabe von dieser Webseite heruntergeladen werden. Die Übungsblätter sind '''eigenständig''' zu bearbeiten und abzugeben. Jedes Übungsblatt hat in der Regel '''vier Aufgaben''' und bei jeder Aufgabe sind '''10 Punkte''' erreichbar.<br/> Die Abgabe der Pflichtaufgaben erfolgt per E-Mail an folgende Mailadresse: dobrikov@cs.uni-duesseldorf.de. Bitte lesen Sie gründlich die Regeln zur Bearbeitung und Abgabe der Pflichtaufgaben, bevor Sie mit der Bearbeitung der jeweiligen Pflichtaufgabe beginnen.

	* [[Media:Blatt1.pdf\|Blatt 1]]		* [[Media:Blatt1.pdf\|Blatt 1]]

Bibtex

2012-05-09T07:00:32Z

2010:

← Older revision		Revision as of 07:00, 9 May 2012
(3 intermediate revisions not shown)
Line 3,852:		Line 3,852:
	pages = {287--301},		pages = {287--301},
	year = {2010},		year = {2010},
		+	dbslinks = {[http://dx.doi.org/10.1007/978-3-642-11811-1_22\|Online Version]},
	stupsrev = {Plagge},		stupsrev = {Plagge},
	}		}
Line 3,866:		Line 3,867:
	year = {2010},		year = {2010},
	stupsold = {257},		stupsold = {257},
		+	dbslinks = {[http://dx.doi.org/10.1007/978-3-642-11811-1_18\|Online Version]},
	stupsrev = {Plagge},		stupsrev = {Plagge},
	}		}
Line 3,891:		Line 3,893:
	pages = {9--21},		pages = {9--21},
	year = {2010},		year = {2010},
		+	dbslinks = {[http://dx.doi.org/10.1007/s10009-009-0132-3\|Online Version]},
	stupsrev = {Plagge},		stupsrev = {Plagge},
	}		}
Line 3,914:		Line 3,917:
	pages = {81--106},		pages = {81--106},
	year = {2010},		year = {2010},
		+	dbslinks = {[http://dx.doi.org/10.1007/s10472-010-9208-8\|Online Version]},
	stupsrev = {Plagge},		stupsrev = {Plagge},
	}		}
Line 3,924:		Line 3,928:
	publisher = {ACM},		publisher = {ACM},
	address = {Hagenberg, Austria},		address = {Hagenberg, Austria},
		+	dbslinks = {[http://doi.acm.org/10.1145/1836089.1836102\|Online Version]},
	stupsrev = {Schneider},		stupsrev = {Schneider},
	}		}
Line 4,011:		Line 4,016:
	year = {2011},		year = {2011},
	pages = {683--709},		pages = {683--709},
		+	dbslinks = {[http://www.springerlink.com/content/n8ju823630685r15/?MUD=MP\|Online Open Access Version]},
	stupsrev = {Plagge},		stupsrev = {Plagge},
	}		}
Line 4,095:		Line 4,101:
	number = {4--5},		number = {4--5},
	pages = {767--782},		pages = {767--782},
		+	dbslinks = {[http://dx.doi.org/10.1017/S1471068411000299\|Online Version]},
	}		}

File:Pub-HaLePl2011refanim.pdf

2012-05-09T06:40:05Z

uploaded "[[File:Pub-HaLePl2011refanim.pdf]]"

Bibtex

2012-05-09T06:32:59Z

2012:

← Older revision		Revision as of 06:32, 9 May 2012
Line 4,261:		Line 4,261:
	author = {Daniel Plagge and Michael Leuschel},		author = {Daniel Plagge and Michael Leuschel},
	title = {Validating B,Z and TLA+ using ProB and Kodkod},		title = {Validating B,Z and TLA+ using ProB and Kodkod},
-	note = {~~Submitted~~},	+	note = {Accepted for FM'2012},
	year = 2012,		year = 2012,
	month = March,		month = March,

← Older revision		Revision as of 09:47, 15 May 2012
Line 65:		Line 65:
	* [[Media:Blatt4.pdf\|Blatt 4]]<br/> In Aufgabe 4.3 (a) sind die Automaten aus Teilaufgabe 3.2 (c) gemeint, und nicht aus Teilaufgabe 2.3 (c).		* [[Media:Blatt4.pdf\|Blatt 4]]<br/> In Aufgabe 4.3 (a) sind die Automaten aus Teilaufgabe 3.2 (c) gemeint, und nicht aus Teilaufgabe 2.3 (c).
	* [[Media:Blatt5_Info4.pdf\|Blatt 5]]<br/> In Aufgabe 5.3 sind +,*,( und ) auch Terminalsymbole im Alphabet der Grammatik G. In Aufgabe 5.2 ist S das Startsymbol für beide Grammatiken.		* [[Media:Blatt5_Info4.pdf\|Blatt 5]]<br/> In Aufgabe 5.3 sind +,*,( und ) auch Terminalsymbole im Alphabet der Grammatik G. In Aufgabe 5.2 ist S das Startsymbol für beide Grammatiken.
-	* [[Media:Pflichtaufgabe1.pdf\|Pflichtaufgabe 1]]	+	* [[Media:Pflichtaufgabe1.pdf\|Pflichtaufgabe 1]]<br/> '''Diejenigen, die wenig Erfahrung bzw. gar keine Erfahrung mit Java haben, können Pflichtaufgabe 1 auch in eine andere Programmiersprache (C,C++,Python,Prolog,Haskell etc.) implementieren und abgeben. Die abgegebenen Programme müssen die Voraussetzungen erfüllen, die in der Aufgabestellung der Pflichtaufgabe 1 angegeben wurden.'''
	* [[Media:Blatt6.pdf\|Blatt 6]]		* [[Media:Blatt6.pdf\|Blatt 6]]
	Fragen zu den Übungsaufgaben können jederzeit an Ivaylo Dobrikov (Raum 25.12.02.56, E-Mail: dobrikov@cs.uni-duesseldorf.de) gestellt werden.		Fragen zu den Übungsaufgaben können jederzeit an Ivaylo Dobrikov (Raum 25.12.02.56, E-Mail: dobrikov@cs.uni-duesseldorf.de) gestellt werden.

← Older revision		Revision as of 14:18, 11 May 2012
Line 48:		Line 48:
	* [[Media:EquivalenceRelation.mch\|Äquivalenzrelation für Sprachen]]		* [[Media:EquivalenceRelation.mch\|Äquivalenzrelation für Sprachen]]
	* [[Media:DFA_Minimizing.mch\|DFA minimieren]]		* [[Media:DFA_Minimizing.mch\|DFA minimieren]]
		+
		+	* [[Media:ParikhMapping.mch\|Parikh Map]]
		+	* [[Media:GrammarChomskyNormalForm.mch\|Beispiel Grammatik in CNF]]
		+	* [[Media:GrammarChomskyNormalForm_CYK.mch\|CYK für Beispiel Grammatik in CNF]]

	== Übungsblätter und Pflichtaufgaben ==		== Übungsblätter und Pflichtaufgaben ==

← Older revision		Revision as of 11:55, 10 May 2012
Line 56:		Line 56:
	* [[Media:Blatt3.pdf\|Blatt 3]]<br/> In Aufgabe 3.2 (a) müssen keine deterministischen endlichen Automaten (DFA's) konstruiert werden, sondern NFA's.		* [[Media:Blatt3.pdf\|Blatt 3]]<br/> In Aufgabe 3.2 (a) müssen keine deterministischen endlichen Automaten (DFA's) konstruiert werden, sondern NFA's.
	* [[Media:Blatt4.pdf\|Blatt 4]]<br/> In Aufgabe 4.3 (a) sind die Automaten aus Teilaufgabe 3.2 (c) gemeint, und nicht aus Teilaufgabe 2.3 (c).		* [[Media:Blatt4.pdf\|Blatt 4]]<br/> In Aufgabe 4.3 (a) sind die Automaten aus Teilaufgabe 3.2 (c) gemeint, und nicht aus Teilaufgabe 2.3 (c).
-	* [[Media:Blatt5_Info4.pdf\|Blatt 5]]<br/> In Aufgabe 5.3 sind +,*,( und ) auch Terminalsymbole im Alphabet der Grammatik G.	+	* [[Media:Blatt5_Info4.pdf\|Blatt 5]]<br/> In Aufgabe 5.3 sind +,*,( und ) auch Terminalsymbole im Alphabet der Grammatik G. In Aufgabe 5.2 ist S das Startsymbol für beide Grammatiken.
	* [[Media:Pflichtaufgabe1.pdf\|Pflichtaufgabe 1]]		* [[Media:Pflichtaufgabe1.pdf\|Pflichtaufgabe 1]]
	Fragen zu den Übungsaufgaben können jederzeit an Ivaylo Dobrikov (Raum 25.12.02.56, E-Mail: dobrikov@cs.uni-duesseldorf.de) gestellt werden.		Fragen zu den Übungsaufgaben können jederzeit an Ivaylo Dobrikov (Raum 25.12.02.56, E-Mail: dobrikov@cs.uni-duesseldorf.de) gestellt werden.