Technical service creates backups of all homedirectories and of all users systemmailboxes every day between 12 am and 3 am. The involved chairs combine theorybased research methods and questions in practice. The dependable systems group investigates formal methods for the discovery and prevention of hard and software bugs. Aus diesem grund bieten wir keine mundlichen prufungen mehr an. Welcome to the chair of automatic control willkommen am. The kiel integrated environment for layout eclipse richclient, or short kieler, is a research project about enhancing the graphical modelbased design of complex systems. Cau kiel, christianalbrechtsplatz 4, 24098 kiel telefon. This workshop aims to present the most recent advances in the development of logicbased procedures for the analysis and control of spatially distributed cyber physical systems cps, with particular emphasis on the combination of temporal and spatial behaviors. Welcome to the software engineering group at the christianalbrechts university of kiel. The examination office can be reached by email between 9 and 12 oclock. The cau has been successfully taking part in the excellence. If you require further information, please consult our faq or contact the qualified contact person. Mar 26, 2020 the examination office can be reached by email between 9 and 12 oclock.
On our web pages you can find information about our research and teaching activities. Im heading the chair for software technology at the institute of computer science and applied mathematics in the technical faculty of christianalbrechtsuniversity of kiel my cv can be found here. If you have suggestions for changesimprovements or if you want to contribute your own library, please contact michael hanus. Teaching summer 2020 teaching online softwaretechnik. This web site uses cookies for navigation and user inputs and preferences. Cau christianalbrechtsuniversitaet numerische mathematik. These are some of the services offered by technical service.
It will be a joint meeting of the descartes, kieker, and palladio research groups in addition to invited talks from practitioners and researchers, we welcome contributions from academic, scientific, or industrial contexts in the field of software performance, including. Taxonomiesuche rainer koschke uni bremen softwaretechnik sommersemester 2006 15 64. Team dependable systems group zuverlassige systeme. In particular, we work on the field of formal specification and verification, modelchecking, the satisfiability problem of certain logics, and combinatorial problems of sequential structures. Wissenschaftliche mitarbeiter lehrstuhl fur informations. The internal behavior of largescale software systems cannot be determined on the basis of static e. B n bm is known as boolean function named after the mathematician george boole, 18151864. Christianalbrechtsuniversity of kiel bachelor thesis implementation of a library for declarative, resolutionindependent 2d graphics in haskell author. News in german the news of the department of computer science are only available in german on our german pages. Goal of this course is to provide a broad overview over the challenges of software engineering and techniques and tools to overcome them. Welcome to the kieler project realtime and embedded systems. Tum informatics has partnered with the faculty for applied informatics at the university of augsburg and the faculty for informatics at ludwigmaximiliansuniversity munich to offer this elite masters program in software engineering, run under the primary management of the university of augsburg. Christianalbrechtsuniversitat zu kiel rechenzentrum. The 10th symposium on software performance ssp 2020 will take place in leipzig, germany on november 56, 2020.
Andreas muhling institut fur informatik raum 1015, christianalbrechtsplatz 4 verwaltungshochhaus, 24118 kiel tel 04318807508 email. Isp institute for software engineering and programming. Curry programmiersprache spicey web framework twitter bootstrap style sheets modulinformationssystem informatik this web site uses cookies for navigation and user inputs and preferences. Welcome to the software engineering group at the christianalbrechtsuniversity of kiel. Most of these libraries have been implemented during the development of larger curry applications. Its formation programs comprise 185 courses of study and approximately 80 subjects. Kieker provides complementary dynamic analysis capabilities, i. It is also the only fullyfledged university in the state. Implementation of a library for declarative, resolution. The university of kiel, officially the christianalbrecht university of kiel is a university in the city of kiel, germany. Softwaretechnik software engineering lecture software. Welcome to the department of computer science department of. System libraries here is the collection of libraries contained in the distribution of kics2. Christianalbrechtsuniversitat zu kiel faculty of engineering department of computer science.
1228 86 1370 1431 837 1266 984 438 92 1069 845 638 382 169 455 802 397 182 900 222 717 1397 451 952 1204 1200 1094 54 896 947 872 337 201 663 1297 64 1163 172 221 239 650