Leveraging topic features for contextaware legal reference linking. Regelbasierte programmierung universitat ulm uni ulm. Softwareerstellung requirements engineering, entwurf, implementierung, werkzeuge. Dusan okanovic is a postdoc research assistant at reliable software systems at university of stuttgart institute of software technology, germany. Experiences in analyzing data dependences for programs with pointers and structures.
Pdos high performance real time operating system eyring corp. Methodical approach for recovering software architectures using feature models in german. Sabine wehnert, gabriel campero durand, and gunter saake. Workshop softwarereengineering, badhonnef may 2 4, 2005. Translation of uml 2 activity diagrams into finite state machines for model checking 35th euromicro conference. Wirtschaftsinformatik informationen zum studiengang, uni. Probleme mit dem termin, bitte email an daniel gall evtl. In the che university ranking you can find valuable information for your choice of the right subject of study and the university in germany fitting best for you. Effective application of process improvement patterns to. Quality management practices in manufacturing and logistics have led to proven results for organisations with respect to competitiveness and pro. Office of information technology university library room 302, ulm 318 3425015.
The ranking results are based on facts as well as assessments by 150,000 students and 9,000 professors. All content is and has been provided by students and alumni of your courses. We would like to show you a description here but the site wont allow us. The case of bpel engines proceedings of the 11th international conference on service oriented computing icsoc, berlin, germany, december 2 5, 20. Please write an email to stefan kogel, stating that you are interested in this project.
Software support ulm university of louisiana at monroe. Gmail is email thats intuitive, efficient, and useful. Csmr conference on software maintenance and reengineering 2012 szeged, ungarn. The fetchmailconf package includes an interactive gui configurator suitable for endusers. For information on obtaining reprints of this article, please send e.
Control flow unfolding of workflow graphs using predicate analysis and smt solving ceur workshop proceedings 1029, rostock, zeus 20, s. Journal of international transactions on systems science and applications, volume 2, number 2, 2006, pp. Translation of uml 2 activity diagrams into finite state machines for model checking. The quota may be increased on request, as long as the additional requirement is justified.
Guided control flow unfolding for workflow graphs using value range information. From 2015 to 2019, he was a postdoc akademischer rat at the tu braunschweig in ina schaefers institute. Provision of a personal email inbox with corresponding email address according to the scheme. March 10, 1997 march 7, 1997 tnt the first realtime dosextender phar lap software, inc. Software engineering 2018, konferenz des gifachbereichs softwaretechnik, march 59 2018, ulm, germany, volume 279 of lni, gi, 2018, 5960. Fruhwirth, thom exchanging conflict resolution in an adaptable.
He received his phd degree from university of novi sad, serbia 2012, as well as msc and bsc degrees 2006 and 2002. Proceedings of the 6th international workshop on requirements engineering. Development of eclipse plugins softwaregrundprojekt sopra anwendungsprojekte software engineering wintersemester 201920. Icse 2005 workshop on architecting dependable systems st. Sorrir researches how the development, configuration and operation of resilient iot systems can be simplified, alleviated and accelerated. Participants at eef trends school in logic and computation. Institute of software engineering and programming languages ulm university. Effective application of process improvement patterns to business processes article pdf available in software and systems modeling 15 2 january 2015 with 331 reads how we measure reads.