Softwaretechnik und Programmiersprachen - Recent changes [en]

Informatik 4, SoSe 12

2012-05-18T15:18:47Z

Termine:

← Older revision		Revision as of 15:18, 18 May 2012
(One intermediate revision not shown)
Line 3:		Line 3:
	* Vorlesung: Di. 08.30 - 10:00 Uhr (HS 5E) und Fr. 12.30 - 14:00 Uhr (HS 5F)		* Vorlesung: Di. 08.30 - 10:00 Uhr (HS 5E) und Fr. 12.30 - 14:00 Uhr (HS 5F)
	* Übungen zur Vorlesung: Mo. 10:30 - 12:00, Mo. 14:30 - 16:00, Di. 10:30 - 12:00, Di. 12:30 - 14:00 und Di. 14:30 - 16:00.<br/>Alle Übungen finden in Raum 25.12.02.55 statt.		* Übungen zur Vorlesung: Mo. 10:30 - 12:00, Mo. 14:30 - 16:00, Di. 10:30 - 12:00, Di. 12:30 - 14:00 und Di. 14:30 - 16:00.<br/>Alle Übungen finden in Raum 25.12.02.55 statt.
-		+	* Tutorium: Fr. 14:30 - 16:00 Uhr in Raum 25.12.02.55.<br/>'''Ab 18. Mai wird ein Tutorium zur Informatik 4 Veranstaltung angeboten.'''
	Start der Vorlesung: 10. April. Start der Übungen: 16. und 17. April.		Start der Vorlesung: 10. April. Start der Übungen: 16. und 17. April.

Line 10:		Line 10:
	* Mittwoch, 02.05.2012, 8:30 bis 10:30 Uhr in Raum 25.12.02.55		* Mittwoch, 02.05.2012, 8:30 bis 10:30 Uhr in Raum 25.12.02.55
	* Donnerstag, 03.05.2012, 10:30 bis 12:30 Uhr in Raum 25.12.02.55		* Donnerstag, 03.05.2012, 10:30 bis 12:30 Uhr in Raum 25.12.02.55
		+
		+	'''In der Vorlesungswoche von 28.Mai - 3.Juni kann das siebte Übungsblatt bis Dienstag (29.Mai) 10:00 Uhr abgegeben werden.'''

	== Anmeldung ==		== Anmeldung ==

File:Pub-LadenbergerJastram iFMABZ2012.pdf

2012-05-18T09:25:29Z

uploaded "[[File:Pub-LadenbergerJastram iFMABZ2012.pdf]]"

Bibtex

2012-05-18T09:23:16Z

2012:

← Older revision		Revision as of 09:23, 18 May 2012
(One intermediate revision not shown)
Line 4,276:		Line 4,276:
	We also compare to using SMT solvers via recently available translators for Event-B.},		We also compare to using SMT solvers via recently available translators for Event-B.},
	stupsrev = {Leuschel},		stupsrev = {Leuschel},
		+	}
		+	@unpublished{LadenbergerJastram_iFMABZ2012,
		+	author = {Lukas Ladenberger and Michael Jastram},
		+	title = {Requirements Traceability between Textual Requirements and Formal Models Using ProR},
		+	note = {Accepted for iFM'2012},
		+	year = 2012,
		+	month = June,
		+	abstract = {<p>Traceability within a system description is a challenging problem of requirements engineering. In particular, formal models of the system are often based on informal requirements, but creating and maintaining the traceability between the two can be challenging. Previously, we presented an incremental approach for producing a system description from an initial set of requirements. The foundation of the approach is a classification of requirements into artefacts W (domain properties), R (requirements) and S (specification). In addition, the approach uses designated phenomena as the vocabulary employed by the artefacts. The central idea is that adequacy of the system description must be justified, meaning that W /\ S => R. The approach establishes a traceability, and the resulting system description may consist of formal and informal artefacts.</p><p>We created tool support for this approach by integrating Rodin and ProR ...</p>},
		+	stupsrev = {Ladenberger},
	}		}
	@techreport{Weigelt2012,		@techreport{Weigelt2012,

Thesis

2012-05-17T07:28:09Z

Themen für Bachelor-, Projekt- und Masterarbeiten:

← Older revision		Revision as of 07:28, 17 May 2012
Line 39:		Line 39:
	\|[[Evaluierung des ProB-Rodin Disprovers]]		\|[[Evaluierung des ProB-Rodin Disprovers]]
	\|[[Michael Leuschel]], [[Michael Jastram]]		\|[[Michael Leuschel]], [[Michael Jastram]]
-	\|-
-	~~\|[[Konzepte für Team Based Development in Eclipse]]~~
-	~~\|[[Jens Bendisposto]]~~
	\|-		\|-
	\|[[Anpassung von Nauty (Projektarbeit)]]		\|[[Anpassung von Nauty (Projektarbeit)]]

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 ==

← 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 ==