Laborversuch audioschnittstelle hochschule koblenz. The behavior of a technical system is represented by timestamp petri nets. Willkommen am institut fur softwaretechnik universitat koblenz. It is not very complete or up to date, but i would appreciate any input anyone can give me to make this list more useful. We are a student robotic team taking part in robot competitions, where robots compete in things like bringing beer and cleaning toilets. International conference on software maintenance and evolution, ieee computer society press, september 2018.
It heavily relies on graph querying and graph algorithms. This work evaluates a digital cash phenomenon, called cryptocurrencies that was started in early 2009 and has created a buzz at the latest in the year 20, by the virtual explosion of prices in currencies e. Using symbolic execution for automatic detection of equivalent mutants and generation of mutant killing tests 15th interna. View research view latest news sign up for updates. With the aid of a symbolic analysis of such nets we generate a linear optimization problem from a system of inequalities. Dengel, andreas topk shortest paths in directed labeled multigraphs. Gupro generic understanding of programs an overview. University of hannover germany, institute for informatics ftp. The graph repository query language greql is a query language for tgraphs, based on gral.
Publications of the reliable software systems group. Proceedings of the 22\textsuperscriptnd acmieee international conference on model driven engineering languages and systems models, 2019. In german, but students not capable of the german language can participate on a special arrangement. Gupro can be adapted to specific needs by an appropriate conceptual model of the target software.
Business collaboration schubert 04wi2020 research lab, seminar, soft skills. Projektbericht 1 96, universitat koblenzlandau, institut fur softwaretechnik. On state machine mining from embedded control software. At the university of stuttgart we performed five major software projects using ada95 in groups of six to nine thirdyear students. Goetheuniversitat welcome to goethe university frankfurt. German conference on multiagent system technologies. Bitte logge dich ein oder registriere dich, um kommentare zu schreiben.
Home browse by title periodicals natural computing. Bibliothek allgemeine studienberatung psychosoziale beratung. Department applications of parallel and distributed systems. Dieter zobel, universitat koblenz landau, institut fur softwaretechnik dr. In proceedings of the eight international symposium on methodologies for intelligent systems, charlotte, n. Here is my list of sites that appear to distribute technical reports. This approach uses extended entity relationship eer diagrams supplemented with the zlike constraint language gral. Proceedings of the embedded software engineering, 2018. Bause, editors, 1995, volume 977 of lecture notes in computer science, pages 224238. Abstract this paper proposes modeldriven techniques to extend ibms soma method towards migrating legacy. In the following sections, we describe a method to deal with time critical problems in the field of automatic control of manufacturing systems. Database total word types 16435 word tokens 772386.
Mai 2011, softwaretechnik trends, band 31, heft 2, publisher gesellschaft f\ur informatik e. A software engineering perspective on cryptocurrencies madoc. Universitat koblenzlandau, institut fur softwaretechnik, studienarbeit, 1996. Dadurch sollte im normalfall ein ausreichender schutz vor missbrauch gegeben sein. In order to handle complexity of software systems, componentbased as well as modeldriven approaches have become popular in the past. A petri net representation of bayesian message flows. Forschung rgse institut fur softwaretechnik universitat koblenz. Restaurants unterhalb des 1sterneniveaus verzeichnet.
All content is and has been provided by students and alumni of your courses. Azadeh farzan, matthias heizmann, jochen hoenicke, zachary kincaid and andreas podelski. Andreas fuhr, volker riediger, wilhelm hasselbring, magiel bruntink, kostas kontogiannis editors. Frieslandkopke technische aspekte multimodaler systeme tams prof. Find exactly what you need out of 447,844 free study materials such as course summaries, exam solutions and much more. Qpntool for the specification and analysis of hierarchically combined queueing petri nets. Gi, institution university of stuttgart, faculty of computer science, electrical engineering, and information technology, germany. Technology modeling project softlang team, uni koblenz. Similar to sql queries in relational databases, a typical greql query specifies the range of some free variables, poses gral conditions on these variables and finally. Secure dataflow compliance checks between models and code based on automated mappings.
Publications the following list of papers published by the rss group members is kept uptodate by quering our publication database maintained by the university of stuttgart library. Modeldriven software migration towards serviceoriented architectures. Uwe erdmenger, andreas fuhr, axel herget, tassilo horn, uwe kaiser, volker riediger, werner teppe, marianne theurer, denis uhlig, andreas winter, christian zillmann, yvonne zimmermann. Teaching software engineering with ada 95 springerlink. Springer nature is making sarscov2 and covid19 research free. In case of too many registrations, the organizers will have to perform a selection. Erstsemester infoheft ws 1112 by asta uni koblenz issuu. Proceedings of the 25th international conference on world wide web, www 2016, montreal, canada, april 1115, 2016, companion volume 2016 geneva, switzerland 25th international world wide web conference www 2016. Openprod open modeldriven wholeproduct development and simulation environment is an itea2 european project that will provide an open, wholeproduct modeldriven rapid systems development, modeling, and simulation environment integrating in to the leading open industrial software development platform eclipse with opensource openmodelica, etc. Meeting of sre special interest group members the yearly meeting of the sre special interest group will also take place during the workshop. A transformation technique to combine the linear and the unitresulting restrictions. Pdf appentwicklung fur appleios am beispiel eines head. Prufungsordnungen bachelor of science uni stuttgart. Gupro is an integrated workbench to support program understanding of heterogenous software systems on arbitrary levels of granularity.
The evaluation is realized from the perspective of a software engineer. This paper gives a cohesive approach to modeling and implementation with graphs. Graph based modeling and implementation with eergral. College lab in koblenz, rheinlandpfalz foursquare uses cookies to provide you with an optimal experience, to personalize ads that you may see, and to help advertisers measure the results of their ad campaigns. Two of kogges main objectives are adaptability and flexibility which address the growing need for problem specific. Sack, harald communications in computer and information science. Using parameterized timestamp petri nets in automatic control. Database total word types 16435 word tokens 772386 word count probability duration sampa syllables. Since the year 2000, the students have produced more than 180000 effective lines of ada95 source code in total and delivered five different graphical tools for the navigation and manipulation of complex data structures. A holonic multiagent control system for networks of microgrids. Atkinson, colin a platform for diversitydriven test amplification. With the growing importance of modeling in software engineering and knowledge engineering, and the accelerating convergence of these two disciplines through the confluence of internetbased software applications, the need for a simple, unified information modeling framework fulfilling the use cases of both communities has increased significantly over recent years. Extending soma for modeldriven software migration into.
The following list contains all publications written by members of the reliable software systems group. Gral is an object oriented zbased specification language, also developed by our work group greql itself is easy to learn. University of helsinki, finland, department of computer science ftp. Merten joost, universitat koblenz landau, institut fur integrierte naturwissenschaften abteilung physik frankfurt am main, im juni 2012. International conference on software engineering, acm press, 2011. Research assistant postdoc research group database and information systems, paderborn university. In a modeldriven development process the problem arises that. In quantitative evaluation of computing and communication systems, h. Senior researcher at the institute for software technology ist at the university of koblenz landau. Add open access links from to the list of external document links if available. He has more than 20 years of experience in research, technology transfer and teaching in software engineering, including research topics such as software maintenance, software evolution, program understanding and modelbased development. Home page of peter baumgartner anu college of engineering.
856 1286 588 1395 1296 469 911 1142 428 920 380 710 1192 1448 745 912 670 337 930 449 970 863 677 466 40 1113 1316 411 678 181 239 166 1204 842