ICSE Program Brochure
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Katalog Elektronskih Knjiga
KATALOG ELEKTRONSKIH KNJIGA Br Autor Naziv Godina ISBN Str. Porijeklo izdavanja 1 Peter Kent Pay Per Click Search 2006 0-471-74594-3 130 Kupovina Engine Marketing for Dummies 2 Terry Large Access 1 2007 Internet Freeware 3 Kevin Smith Excel Lassons & Tutorials 2004 Internet Freeware 4 Terry Michael Photografy Tutorials 2006 Internet Freeware Janine Peterson Phil Pivnick 5 Jake Ludington Converting Vinyl LPs 2003 Internet Freeware to CD 6 Allen Wyatt Cleaning Windows XP 2004 0-7645-7311-X Poklon for Dummies 7 Peter Kent Sarch Engine Optimization 2006 0-4717-5441-2 Kupovina for Dummies 8 Terry Large Access 2 2007 Internet Freeware 9 Dirk Dupon How to write, create, 2005 Internet Freeware promote and sell E-books on the Internet 10 Chayden Bates eBook Marketing 2000 Internet Freeware Explained 11 Kevin Sinclair How To Choose A 1999 Internet Freeware Homebased Bussines 12 Bob McElwain 101 Newbie-Frendly Tips 2001 Internet Freeware 13 Windows Basics 2004 Poklon 14 Michael Abrash Zen of Graphic 2005 Poklon Programming, 2. izdanje 15 13 Hot Internet 2000 Internet Freeware Moneymaking Methods 16 K. Williams The Complete HTML 1998 Poklon Teacher 17 C. Darwin On the Origin of Species Internet Freeware 2/175 Br Autor Naziv Godina ISBN Str. Porijeklo izdavanja 18 C. Darwin The Variation of Animals Internet Freeware 19 Bruce Eckel Thinking in C++, Vol 1 2000 Internet Freeware 20 Bruce Eckel Thinking in C++, Vol 2 2000 Internet Freeware 21 James Parton Captains of Industry 1890 399 Internet Freeware 22 Bruno R. Preiss Data Structures and 1998 Internet -
Copenhagen & Gothia
Sports Travel Experience Designed Especially for Maryland United FC Copenhagen & Gothia Cup July 13 - July 22, 2018 ITINERARY OVERVIEW DAY 1 DEPARTURE FROM NORTHERN VIRGINIA DAY 2 ARRIVE COPENHAGEN AREA (1 NIGHT) DAY 3 COPENHAGEN - GOTHENBURG AREA (6 NIGHTS) DAY 4 GOTHIA CUP & OPENING CEREMONIES DAY 5 GOTHIA CUP DAY 6 GOTHIA CUP DAY 7 GOTHIA CUP DAY 8 GOTHIA CUP DAY 9 GOTHIA CUP (CUP FINALS) - TRANSFER TO COPENHAGEN AREA (1 NIGHT) DAY 10 DEPARTURE FROM COPENHAGEN ITINERARY Located on Sweden's beautiful west coast, The Gothia Cup is an international soccer tournament that since its beginning in 1975 has grown to over 1,500 teams representing more than 70 countries. The opening ceremony at Ullevi Stadium attracts 50,000 spectators and international soccer participants, while 1,100 volunteers guarantee that this will remain the international soccer tournament of all international soccer tournaments! First-class international soccer competition on first-class soccer fields is only part of this great festive week. Educational Tour/Visit Cultural Experience Festival/Performance/Workshop Tour Services Recreational Activity LEAP Enrichment Match/Training Session DAY 1 Friday, 13 July 2018 Relax and enjoy our scheduled flight to Copenhagen, Denmark. DAY 2 Saturday, 14 July 2018 Our 24-hour Tour Director will meet us at the airport and remain with us until our final airport departure. Our private coach and driver will transfer us to our Copenhagen area hotel. We will have use of our coach for all transfers, touring and soccer content as required throughout. Copenhagen is a place of contrasts; this cobblestone city has been Denmak's capital for over 1000 years and is home to the world's oldest monarchy. -
Printed Program
rd International Conference 43 on Software Engineering goes Virtual PROGRAM May 25th –28th 2021 Co-located events: May 17th –May 24th Workshops: May 24th , May 29th –June 4th https://conf.researchr.org/home/icse-2021 @ICSEconf Table of Contents Conference overviews ............................................................... 3 Sponsors and Supporters ......................................................... 11 Welcome letter ........................................................................ 13 Keynotes ................................................................................. 18 Technical Briefings ................................................................. 28 Co-located events .................................................................... 35 Workshops .............................................................................. 36 New Faculty Symposium ........................................................ 37 Doctoral Symposium .............................................................. 39 Detailed Program - Tuesday, May 25th .................................................... 42 - Wednesday, May 26th ............................................... 53 - Thursday, May 27th .................................................. 66 - Friday, May 28th ....................................................... 80 Awards .................................................................................... 91 Social and Networking events ................................................. 94 Organizing Committee ........................................................ -
A Dataset of Open-Source Safety-Critical Software⋆
A Dataset of Open-Source Safety-Critical Software? Rafaila Galanopoulou[0000−0002−5318−9017] and Diomidis Spinellis[0000−0003−4231−1897] Department of Management Science and Technology Athens University of Economics and Business Patission 76, Athens, 10434, Greece ft8160018,[email protected] https://www.aueb.gr Abstract. We describe the method used to create a dataset of open- source safety-critical software, such as that used for autonomous cars, healthcare, and autonomous aviation, through a systematic and rigorous selection process. The dataset can be used for empirical studies regard- ing the quality assessment of safety-critical software, its dependencies, and its development process, as well as comparative studies considering software from other domains. Keywords: open-source · safety-critical · dataset 1 Introduction Safety-critical systems (SCS) are those whose failure could result in loss of life, significant property damage, or damage to the environment [5]. Over the past decades ever more software is developed and released as open-source software (OSS) | with licenses that allow its free use, study, change, and distribution [1]. The increasing adoption of open-source software in safety-critical systems [10], such as those used in the medical, aerospace, and automotive industries, poses an interesting challenge. On the one hand, it shortens time to delivery and lowers development costs [6]. On the other hand, it introduces questions regarding the system's quality. For a piece of software to be part of a safety-critical application it requires quality assurance, because quality is a crucial factor of an SCS's software [3]. This assurance demands that evidence regarding OSS quality is supplied, and an analysis is needed to assess if the certification cost is worthwhile. -
Student Guide
How does the Student Union work? What are my membership benefits? STUDENT GUIDE This is your guide to the student life at Chalmers. Hopefully you’ll have a clearer view on what the Student Union does for you after reading it and how you and your friends can create and connect during your time at Chalmers. How do I get the most of my time at Chalmers? How can I get involved in all the fun? Amund Grefwegatan Läraregatan Landalagatan 13 Lindholmsallén Kjellbersg. Vera Sandbergs Gata P Teknikgatan Arvid Hedvalls Backe 12 Hans Gruers Gata Plejadgatan 15–18 Holternabsgatan 14 Kunskapsgatan LindholmenHörselgången Lärdomsgatan Aschebergsgatan Kemivägen Gibraltargatan Fysikgränd Utvecklingsgatan Sören Mannheimers pir Forskningsgången O 7 r This guide is published by i Hörselgången g 8 o v Chalmers Student Union (Chalmers Studentkår). ä g Chalmersplatsen e Hörsalsvägen n Diagonalen Skeppsgr. Copy and illustrations: 4 Student Union Communications department Teknolog- 11 Tankeg[ngen gården Photo: Chalmers Film- och Fotocommitté 3 Olgas Exceptions: Sven Hultins Gata trappor 2 Chalmers *miscellaneous photographers 5 p. 19, 22, 24*, 25*, 52*, 55, 56 PUBS Tvärgata , 1 Printed by Billes Tryckeri AB 1 Kårrestaurangen Gibraltarvallen Copyright 2020 Hörsalsvägen 2 J.A. Pripps Pub & Café 6 3 Express 4 STORE 5 Restaurang Hyllan Rännvägen 6 Café Bulten Betongvägen Maskingränd 7 Café Bra NyFiket 9 8 Hedvalls 9 S.M.A.K. 10 10 Café Linsen CAFES 11 Bibliotekscaféet, B.C. Wijkanders Betong- 12 RESTAURANTS gården Café Vera & Gibraltargatan 13 Read more about the restaurants, Kokboken cafés and pubs on p. 26 14 15 L’s Kitchen 16 Café C Gothenburg L’s Resto HISINGEN 17 18 L’s Express Engdahlsgatan Lundbyleden Norra Lindströmsgatan Älvstranden Engdahlsgatan Campus Göta älv Lindholmen Railway station Sven Hultins Gata N Järntorget Allén Ullevi Aschebergsg. -
Curriculum Vitae
CURRICULUM VITAE Diomidis Spinellis Professor of Software Engineering Department of Management Science and Technology Athens University of Economics and Business September 17, 2021 CV — Diomidis Spinellis CONTENTS Contents 1 Personal and Contact Details 5 2 Education 5 3 Research Interests 5 4 Honours and Awards 5 5 Teaching Experience 7 6 Scientific, Professional, and Technical Activities 7 6.1 Memberships of Professional and Learned Societies .................... 7 6.2 Journal and Magazine Editorial Board Member ...................... 7 6.3 Service in Conference Committees ............................. 7 6.4 Other Professional Society Service ............................. 11 6.5 Selected Open Source Software Development ....................... 12 7 Publications 12 7.1 Books: Monographs and Edited Volumes .......................... 12 7.2 Theses ............................................ 13 7.3 Peer‐reviewed Journal Articles ............................... 13 7.4 Editor‐in‐Chief and Guest Editor Introductions ....................... 17 7.5 Magazine Columns ..................................... 18 7.6 Book Chapters ........................................ 20 7.7 Conference Publications .................................. 20 7.8 Letters Published in Scholarly Journals and Newspapers .................. 29 7.9 Technical Reports and Working Papers ........................... 29 7.10 Book Reviews ........................................ 30 7.11 Articles in the Technical Press and SIG Publications .................... 32 7.12 Invited Talks -
Vi Bygger För Ett Gott Liv I Göteborg
29 22 4 22 4 BACKA 31 BACKA 11 11 KORTEDALA KORTEDALA Hållbar stad – öppen för världen Hållbar stad – öppen för världen 18 18 KVIBERG KVIBERG Erséus Arkitekter 25 25 KVILLEBÄCKEN GAMLESTADEN KVILLEBÄCKEN GAMLESTADEN 13 2 13 2 BRUNNSBO 33 BRUNNSBO BACKAPLAN BACKAPLAN MARIEHOLMSFÖRBINDELSEN MARIEHOLMSFÖRBINDELSEN 14 23 14 23 34 19 19 10 GULLBERGSVASS 24 10 GULLBERGSVASS 24 27 BAGAREGÅRDEN 27 BAGAREGÅRDEN 20 20 GÖTAÄLVBRON GÖTAÄLVBRON RAMBERGSVALLEN 42 21 26 RAMBERGSVALLEN 21 26 FRIHAMNEN FRIHAMNEN LUNDEN LUNDEN Vill du vara med och påverka hur Vi bygger 37 staden ska växa så kan du läsa mer på 16 16 17 SKEPPS- 17 SKEPPS- för ett gott liv LINDHOLMEN BRON LINDHOLMEN BRON 38 goteborg.se/planochbyggprojekt INOM 36 INOM SANNEGÅRDEN 7 VALLGRAVEN SANNEGÅRDEN 7 VALLGRAVEN i Göteborg 1 HEDEN 1 HEDEN 30 9 9 LORENSBERG LORENSBERG HAGA VASASTAN 5 HAGA VASASTAN 5 MASTHUGGET MASTHUGGET OLIVEDAL LANDALA LISEBERG SKÅR OLIVEDAL LANDALA LISEBERG SKÅR STIGBERGET STIGBERGET ÄLVSBORGS- 35 ÄLVSBORGS- BRON BRON MAJORNA ANNEDAL MAJORNA ANNEDAL 15 15 39 FIXFABRIKEN FIXFABRIKEN JOHANNEBERG JOHANNEBERG 8 8 3 3 6 6 VÄSTLÄNKEN VÄSTLÄNKEN goteborg.se/planochbyggprojekt 28 32 41 40 12 12 GbgStad_Tidslinje_2015-26.indd 1-4 2014-12-22 11:40 29 22 4 BACKA 31 Just nu växer Göteborg kraftigt och förbereder sig för att butiker och parker. Vi ska göra den största infrastruktur- ning, och arbetet med att förverkliga den pågår för fullt. Alla göteborgare har möjlighet att vara med 11 kunna göra plats för nära 700 000 göteborgare till 2035. satsningen sedan 1960-talet så att vi stärker Göteborg som Här kan du läsa om de allra största byggprojekten som är KORTEDALA Tillsammans utvecklar vi Det är 150 000 fler än idag, och en sådan tillväxt innebär region huvudstad, och vi ska satsa stort på kollektivtrafiken på gång. -
Design Principles and Patterns for Computer Systems That Are
Bibliography [AB04] Tom Anderson and David Brady. Principle of least astonishment. Ore- gon Pattern Repository, November 15 2004. http://c2.com/cgi/wiki? PrincipleOfLeastAstonishment. [Acc05] Access Data. Forensic toolkit—overview, 2005. http://www.accessdata. com/Product04_Overview.htm?ProductNum=04. [Adv87] Display ad 57, February 8 1987. [Age05] US Environmental Protection Agency. Wastes: The hazardous waste mani- fest system, 2005. http://www.epa.gov/epaoswer/hazwaste/gener/ manifest/. [AHR05a] Ben Adida, Susan Hohenberger, and Ronald L. Rivest. Fighting Phishing Attacks: A Lightweight Trust Architecture for Detecting Spoofed Emails (to appear), 2005. Available at http://theory.lcs.mit.edu/⇠rivest/ publications.html. [AHR05b] Ben Adida, Susan Hohenberger, and Ronald L. Rivest. Separable Identity- Based Ring Signatures: Theoretical Foundations For Fighting Phishing Attacks (to appear), 2005. Available at http://theory.lcs.mit.edu/⇠rivest/ publications.html. [AIS77] Christopher Alexander, Sara Ishikawa, and Murray Silverstein. A Pattern Lan- guage: towns, buildings, construction. Oxford University Press, 1977. (with Max Jacobson, Ingrid Fiksdahl-King and Shlomo Angel). [AKM+93] H. Alvestrand, S. Kille, R. Miles, M. Rose, and S. Thompson. RFC 1495: Map- ping between X.400 and RFC-822 message bodies, August 1993. Obsoleted by RFC2156 [Kil98]. Obsoletes RFC987, RFC1026, RFC1138, RFC1148, RFC1327 [Kil86, Kil87, Kil89, Kil90, HK92]. Status: PROPOSED STANDARD. [Ale79] Christopher Alexander. The Timeless Way of Building. Oxford University Press, 1979. 429 430 BIBLIOGRAPHY [Ale96] Christopher Alexander. Patterns in architecture [videorecording], October 8 1996. Recorded at OOPSLA 1996, San Jose, California. [Alt00] Steven Alter. Same words, different meanings: are basic IS/IT concepts our self-imposed Tower of Babel? Commun. AIS, 3(3es):2, 2000. -
GOTHENBURG 2021 Persiska
GOTHENBURG 2021 Proposed plan. work Gothenburg’s 400th anniversary. Opportunities to the on way STORA HAMN CANAL SPACE FOR YOUTHFUL INFLUENCE BLUEWAYS AND GREENWAYS FUTURE SOCIETY LAB SMART TRAFFIC SWIMMING IN THE MIDDLE OF TOWN THE GOTHIA CUP OF MUSIC AND KNOWLEDGE THE BEST CITY IN THE WORLD WHEN IT’S RAINING MORE THAN JUST A BRIDGE HOUSING 2021 INNOVATION-FRIENDLY OASES GOTHENBURG 2021 Persiska ﺑﺮای درﯾﺎﻓﺖ اﯾﻦ اﻃﻼﻋﺎت ﺑﺰﺑﺎن ﭘﺎرﺳﯽ ﺑﮫ ﺻﻔﺤﮫ اﯾﻨﺘﺮﻧﺘﯽ goteborg.www com.2021 رﺟﻮع ﺷﻮد Läs förslag till arbetsplan på: Arabiska Ny rad Read about the proposed work plan at: ﻟﻠﺤﺼﻮل ﻋﻠﻰ ﻣﻌﻠﻮﻣﺎت ﺑﺎﻟﻠﻐﺔ اﻟﻌﺮﺑﯿﺔ، ﻧﺮﺣﺐ ﺑﺰﯾﺎرﺗﻜﻢ إﻟﻰ اﻟﻤﻮﻗﻊ:: goteborg.www com.2021 Warbixin af-soomaali ah, waxaad ka heleysaa: ﺑﺮای درﯾﺎﻓﺖ اﯾﻦ اﻃﻼﻋﺎت ﺑﺰﺑﺎن ﭘﺎرﺳﯽ ﺑﮫ ﺻﻔﺤﮫ اﯾﻨﺘﺮﻧﺘﯽ رﺟﻮع ﺷﻮد :Sorani: Za informacije na bosanskom/hrvatskom/srpskom dobro doši na: www.goteborg2021.com ﺑﯚ ﺑدەﺳﺘﮫﻨﺎﻧﯽ زاﻧﯿﺎری ﺑ زﻣﺎﻧﯽ ﺳﯚراﻧﯽ ﺑﺧﺮﺑﻦ ﺑﯚ: Informacje po polsku znajdziesz na stronie: Türkçe bilgi edinmek için girebileceginiz web sayfası: Informacije ko romane, dobrodoslo sen ko: Para información en español visite: Tiedot suomeksi osoitteessa: Für Informationen auf Deutsch, willkommen bei: goteborg2021.com A huge number of people have been involved in the work, and we’re very grateful for their help. Since these proposals are based on the sum of all contributions, we will not name individual sources. Our strength is our combined will. If you find any errors in the text, they are ours, not the contributors’. Sincerely, the Gothenburg & Co project management. 4 | 5 Preface GOTHENBURG 2021 – MORE THAN JUST A CENTENARY CELEBRATION. The task of describing how we should cele- challenges. -
Rapport 2015:90. Arkeologisk Förundersökning. Arkeologisk
RAPPORT 2015:90 ARKEOLOGISK FÖRUNDERSÖKNNG Arkeologisk förundersökning inom Garnisonskyrkogården Göteborg 436 Schakt för trädplanteringar i parken vid Polishuset i centrala Göteborg Västra Götalands län, Västergötland, Göteborgs stad, Göteborg socken, Heden 705:13, Göteborg 436 (437) Petra Nordin RAPPORT 2015:90 ARKEOLOGISK FÖRUNDERSÖKNNG Arkeologisk förundersökning inom Garnisonskyrkogården Göteborg 436 Schakt för trädplanteringar i parken vid Polishuset i centrala Göteborg Västra Götalands län, Västergötland, Göteborgs stad, Göteborg socken, Heden 705:13, Göteborg 436 (437) Dnr 5.1.1-00312-2015 Petra Nordin STATENS HISTORISKA MUSEER Arkeologiska uppdragsverksamheten Kvarnbygatan 12 431 34 MÖLNDAL Fax: 010-480 80 94 Tel.: 010-480 80 00 www.arkeologiuv.se e-post: [email protected] www.shmm.se © 2015 STATENS HISTORISKA MUSEER Arkeologiska uppdragsverksamheten Rapport 2015:90 Kartor ur allmänt kartmaterial, © Lantmäteriet Gävle 2013. Medgivande I 2012/0744. Kartor är godkända från sekretessynpunkt för spridning. Bildredigering Lena Troedson Layout Lena Troedson Omslag Arbetet med schakt 1 påbörjas. Foto, från nordost, Petra Nordin. Tryck/utskrift Arkitektkopia, 2015 Innehåll Inledning 5 Topografi 5 Fornlämningsmiljö 5 Kunskapsläget Garnisonskyrkogården 9 Metod 11 Resultat 13 Gravar 13 Fynd 15 Sammanfattning 15 Referenser 16 Administrativa uppgifter 17 Bilagor 18 Bilaga 1. Schakttabell 18 Bilaga 2. Anläggningslista 19 Figur- och tabellförteckning 20 Älvängen Kungälv Säve Angered Torslanda Garnisons- kyrkogården Öjersjö Göteborg Mölnlycke Göteborg Kållered Lindome NORGE Särö Kungsbacka Garnisons- kyrkogården Göteborg Onsala Figur 1. Läget för förundersökningen markerat på utsnitt ur Översiktskartan, blad 253 Göteborg (Sweref 99 TM, 1:250 000) och GSD-Sverigekartan. 4 Arkeologisk förundersökning inom Garnisonskyrkogården Göteborg 436 I samband med Park & Naturförvaltningens planer på att plantera träd i parken utan- för Polishuset har Statens Historiska Muséer, Arkeologiska uppdragsverksamheten (Mölndal), utfört en arkeologisk förundersökning. -
Pågående Och Planerad Stadsutveckling I Göteborg City
Pågående och planerad stadsutveckling i Göteborg city 1 Göteborgs Citysamverkan 2021-01-12 www.goteborg.se/citysamverkan Inledning - En ny stadskärna växer fram Trots Coronakris fortsätter och planeras en mängd betydande utvecklingsprojekt i och omkring stadskärnan för att bibehålla och stärka Göteborgs och Västsveriges attraktionskraft. Sammanställningen av pågående och planerad stadsutveckling syftar till att ge en samlad bild över utvecklingen för att bland annat: • Visa hur planer och projekt utvecklar och påverkar stadskärnans attraktivitet och att stadens olika aktörer tillsammans varje dag arbetar med utvecklingen av stadskärnan. • Utgöra underlag för prioriteringar och utvecklingsinriktningar hos stadens aktörer, bland annat behov av upprustning av befintliga platser och stråk för att ytterligare binda samman stadskärnans nya och gamla platser och stråk. • Utgöra samlat informationsunderlag för investerings och/eller etableringsbeslut för större och mindre företag inom bland annat fastighetsbranschen, besöksnäringen och handeln. • Berätta för stadens användare om alla delar som tillsammans stärker Citys regionala, nationella och internationella attraktions- och konkurrenskraft. • Illustrera hur alla byggnationer runt om i staden kommer att skapa ett nytt Göteborg. Många projekt är beslutade, pågår och ska färdigställas. Flera planer och projekt kan dock förändras från idéstadie till byggstart eller kanske rentav inte förverkligas överhuvudtaget. Det är dock viktigt att redan i tidiga skeden lyfta fram tankegångar, planer och beslutade -
Digium Analog Gateway EULA
END-USER LICENSE AGREEMENT FOR ANALOG DIGIUM GATEWAY AND GATEWAY SOFTWARE November 2017 IMPORTANT – PLEASE READ CAREFULLY 1.1 Definitions “Affiliate” means an entity which is (a) directly or indirectly controlling Digium; or (b) which is directly or indirectly owned or controlled by Digium. “Digium” means both Digium, Inc. and Digium's Affiliates. "Analog Digium Gateways" means Digium manufactured and branded gateways which are hardware devices (inclusive of the Analog Digium Gateway Software). “Digium Analog Gateway Software” collectively means both the Original Analog Digium Gateway Software and any Analog Digium Gateway Software Updates. “Digium Analog Gateway Software Updates” means updates or replacements provided by Digium for the Original Analog Digium Gateway Software in the form of feature enhancements, software updates, bug fixes, upgrades, otherwise modified versions of the Original Analog Digium Gateway Software, or system restore software provided by Digium, whether in read only memory or on any other media or in any other form. “Original Digium Analog Gateway Software” means the software, sounds (for example, ringtones), interfaces, content, fonts, documentation, and any data that are delivered with Analog Digium Gateways. "You", "you" or "your" means collectively the licensee, purchaser, and end user. 1.2 This End-User License Agreement (the "Agreement" or "EULA") is a legal agreement between Digium and You regarding the license terms of the Original Analog Digium Gateway Software, the Digium Analog Gateway Software Updates and the terms of use for Analog Digium Gateways. By using a Digium Analog Gateway or downloading a Analog Digium Gateway Software Update, as applicable, you are agreeing to be bound by the terms of this Agreement.