SDA SE Wiki

Software Engineering for Smart Data Analytics & Smart Data Analytics for Software Engineering

User Tools

Site Tools


Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
teaching:lectures:alp:2010:start [2011/03/22 15:01]
127.0.0.1 external edit
teaching:lectures:alp:2010:start [2018/05/09 01:59] (current)
Line 1: Line 1:
 +{{page>​header&​nofooter}}
  
 +===== ALP General Information =====
 +
 +This course is regularly offered in the summer semester, as part of the [[http://​master.cs.uni-bonn.de/​tracks/​icm/​start|ICM track]] of the CS Master'​s program. The course number in the master module handbook is MA-INF 3207. It should be preferably attended in the second semester of your studies. The course can also be attended by [[examinations|diploma students]].
 +
 +
 +^Time                        | Monday, 13:30 - 15:00 s.t.(!). For exceptions see the [[:​teaching:​rootsteaching|ROOTS-Teaching Calendar]]|
 +^Place ​                      | Room A121, on the first floor of the "​Altbau",​ Römerstr. 164. |
 +^Course number ​              | MA-INF 3207  |
 +^Credit points ​              | 4 |
 +^Diploma category ​           | B (DPO 1998) / B3 (DPO 2003) |
 +^Exam                        | General information:​ [[examinations|Exam page]] -- **Dates: August 5, 6 and 9** in A107    |
 +^Exercise groups ​            | [[exercises| See calendar link on exercise page]] |
 +^Language ​                   | English |
 +^Lecturer ​                   | Dr. Günter Kniesel |
 +^Student teaching assistant ​ | Eva Stöwe, Jan Nonnen |
 +
 +===== Contents =====
 +
 +This course adresses people interested in software quality. It shows how very powerful software analysis (for assessing software quality or emerging problems) and software transformation (for automating correction of identified problems) can be built on the basis of declarative model transformation infrastructures that go beyond classical logic programming. In particular, we analyse and transform Java programs using [[:​research:​jtransformer:​start|JTransformer]]. ​  
 +
 +Since this is an advanced course, we will not spend too much time on logic programming foundations -- just a few short sessions that should make you familiar with the used development environment,​ help you refresh prior knowledge and make sure that all course participants have a comparable starting level. If you have no
 +background in logic programming you will need to invest more time in this initial phase.
 +
 +The course will lay the foundations for a logic programming representation of arbitrary software systems and will introduce JTransformer as a tool that automatically generates such a representation for arbitrary Java programs. ​
 +With JTransformer,​ we will implement various software quality analyses. These analyses will be the use cases that motivate the need for the different advanced logic programming techniques that will gradually be introduced (for instance, metaprogramming,​ abstract interpretation and partial evaluation). ​
 +
 +Finally we will learn about the approach of classic Prolog systems to program transformation,​ analyse its risks and embrace the alternative concept of "​conditional transformations"​ implemented in the  [[:​research:​ctc:​start|CTC]] and [[:​research:​jtransformer:​start|JTransformer]].
 +
 +Summarizing,​ you will learn new things in three different areas:
 +  * advanced logic programming techniques,
 +  * advanced logic programming for software analysis,
 +  * advanced logic-based software and model transformation. ​
 +
 +
 +/*===== Schedule =====
 +
 +^  Lectures ​ ^^^^  Exercises ​ ^
 +^  Date  ^  Subject ​ ^  last edited ​ ^  Demo  ^  Exercise sheet  ^  ​
 +|13.04.09| Easter |  ---  |  ---  |  ---  |
 +|20.04.09| 1. |   ​| ​  ​| ​  ​| ​
 +|27.04.09| 2. |   ​| ​  ​| ​  ​| ​
 +|04.05.09| 3. |   ​| ​  ​| ​  ​| ​
 +|11.05.09| 4. |   ​| ​  ​| ​  |
 +|18.05.09| ​ ---  |  ---  |  ---  |  ---  |
 +|25.05.09| 5. |   ​| ​  ​| ​  |
 +|01.06.09| Whitsun Monday |  ---  |  ---  |  ---  | 
 +|08.06.09| 6. |   ​| ​  ​| ​  |
 +|15.06.09| 7. |   ​| ​  ​| ​  |
 +|22.06.09| 8. |   ​| ​  ​| ​  ​| ​
 +|29.06.09| 9. |   ​| ​  ​| ​  |
 +|06.07.09| 10. |   ​| ​  ​| ​  ​| ​
 +|13.07.09| 11. |   ​| ​  ​| ​  |
 +|20.07.09| 12. |   ​| ​  ​| ​  |
 +*/
 +
 +/* 
 +===== Recommended books =====
 +
 +  * Clocksin, W.F. (1997). Clause and Effect: PROLOG Programing for the Working Programmer. Berlin: Springer-Verlag. - available at amazon within a few days
 +  * Bratko, I. (1986). PROLOG: Programming for Artificial Intelligence. Addison-Wesley. - out of print, a new edition is announced for November 2009.
 +  * Shoham, Y. (1994). Artificial Intelligence Techniques in PROLOG. Morgan Kaufmann. - out of print
 +  * Shapiro, E., Sterling, L. (1994). The Art of PROLOG. MIT Pr. - availably at amazon
 +  * Clocksin, W.F., Mellish, C.S. (2003). Programming in Prolog Using the ISO Standard. Berlin: Springer-Verlag - available at amazon
 +*/
 +
 +===== Menu =====
 +
 +   * [[slides|Slides]]
 +   * [[exercises|Exercises]]
 +   * [[examinations|Examinations]]
 +   * [[infrastructure|Infrastructure]]
 +
 +
 +===== Contact ​ =====
 +
 +  * [[alp-staff@delete-this-part-lists.iai.uni-bonn.de|alp-staff at lists.iai.uni-bonn.de]] lets you contact the couse staff (lecturers and teaching assistants).
 +  * [[alp-course@delete-this-part-lists.iai.uni-bonn.de|alp-course at lists.iai.uni-bonn.de]] is intended for general course-related announcements and communication among the course participants. Please register yourself at https://​lists.iai.uni-bonn.de/​mailman/​listinfo.cgi/​alp-course. [[:​service:​knowhow:​sga:​mailinglisteen|Further mailing list infos...]]. ​
 +  *  [[https://​lists.iai.uni-bonn.de/​mailman/​private.cgi/​alp-course/​|Mailing-List Archive]] (only accessible if you are subscribed to the mailinglist)
teaching/lectures/alp/2010/start.txt · Last modified: 2018/05/09 01:59 (external edit)

SEWiki, © 2019