SDA SE Wiki
Software Engineering for Smart Data Analytics & Smart Data Analytics for Software Engineering
User Tools
Sidebar
Table of Contents
ALP General Information
This course is regularly offered in the summer semester, as part of the 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 diploma students.
| Time | Wednesday, 8:15-9:45. |
|---|---|
| Date | Weekly, from April 10 to July 10 (except for May 221) and May 292)) |
| Place | Room A207, on the second floor of the “Altbau”, Römerstr. 164. |
| Course number (Module handbook) | MA-INF 3207 |
| Course number (BASIS) | 612113207 (Course) and 612213207 (Exercises) |
| Credit points | 6 = 2 (Course) + 4 (Exercises) |
| Diploma category | B (DPO 1998) / B3 (DPO 2003) |
| Exam information | MSc / DPO 2003 / DPO 1998 |
| Language | English |
| Lecturer | Dr. Günter Kniesel |
Exams
There will be oral exams on August 5-8 (first try) and September 23-24 (second try).
You must register for the exam in Basis. The deadline for exam registration in Basis will be announced by e-mail. After registration and completion of your exercises you will get a notice about your exam admittance and your personal time slot.
Contents
This course adresses students interested in software quality. It aim is to show how software software quality assesment, detection of emerging problems and automating correction of identified problems can be built on the basis of logic programming.
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 software systems and will introduce JTransformer as a tool that automatically generates such a representation for Java programs. With JTransformer, we will implement various software quality analyses. These analyses will be the use cases that motivate 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 CTC and 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.
Menu
Recommended books
- Clocksin, W.F., Mellish, C.S. (2003). Programming in Prolog Using the ISO Standard. Springer-Verlag
- Clocksin, W.F. (1997). Clause and Effect: PROLOG Programing for the Working Programmer. Springer-Verlag.
- Shapiro, E., Sterling, L. (1994). The Art of PROLOG. MIT Press
Contact
- alp-staff at lists.iai.uni-bonn.de lets you contact the couse staff (lecturers and teaching assistants).
- 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. Further mailing list infos....
- Mailing-List Archive (only accessible if you are subscribed to the mailinglist)
Page Tools
