SATToSE

sattose@list.inf.unibe.ch

108 discussions

SATToSE 2017 deadline coming closer!
by Gregorio Robles 07 Apr '17

07 Apr '17

[apologies for crossposting] Dear all, the deadline for submitting your contribution to SATToSE is round the corner (April 14th)! Don't miss this opportunity to share your research and ideas with your peers. Remember that the slogan of SATToSE is "a friendly venue for your crazy ideas"! regards, Gregorio ======================================================================== 10th Seminar Series on Advanced Techniques & Tools for Software Evolution ( SATToSE 2017) June 7 - June 9, 2017, Madrid, Spain Find us on the web: http://sattose.org/2017 Follow us on twitter: https://twitter.com/sattose ======================================================================== SATToSE is the Seminar Series on Advanced Techniques & Tools for Software Evolution. The goal of SATToSE is to gather both undergraduate and graduate students to showcase their research, exchange ideas, and improve their communication skills. SATToSE will host invited talks, paper presentations, tutorials, and a hackathon, fostering interactions among participants and stimulating lively debates and discussions around the topics of interest of the event. We expect attendees to be active participants and not just passive listeners. Presenters should be open to and encourage questions and discussions during their talks. This year's SATToSE has a co-located event on the day before: the SENECA European (http://senecaproject.github.io) project training for PhDs. It is a one-day seminar on "writing up & moving on" and "commercializing research", that will have five renowned speakers. Those who register for SATToSE will have the possibility to attend this event for free. ### Important Dates 14th April, 2017 - Submission deadline 4th May, 2017 - Notification of acceptance 9th May, 2017 - Registration deadline 6th June, 2017 - SENECA European project training for PhDs 7th - 9th June, 2017 - SATToSE Seminar ### Topics of Interest Contributions are solicited on all aspects of software and model evolution, practices, and technologies. In particular, we encourage submissions about the following (non-exhaustive) list of topics: * Supporting tools, processes, and models for managing software evolution * Industrial needs, case studies and experiences * Software analytics and visualisation techniques to support software evolution * Empirical studies in evolution and maintenance * Program transformation, refactoring, renovation, and migration * Program and/or data reverse engineering * Evolution of data-intensive or process-intensive systems * Approaches of model-driven software evolution * Software evolution for emerging paradigms * Coupled evolution of meta-models, models, and transformations * Classification of evolution scenarios * Reliability and security aspects of software evolution * Negative research results in software evolution * Software ecosystem evolution * Formalisms, notations, theories, methods, and languages for expressing software evolution * Conformance checking, inconsistency management, synchronisation, differencing, comparison, versioning, impact analysis of evolving models ### Types of Submission We solicit extended abstracts of 2–5 pages, in one of the following forms: * Work in Progress: Early ideas and achievements that you want to share with the community and get feedback on. * Publication Summaries: Overview of research results already published or ready to be submitted to a conference or a journal. * Technology Showdown Demonstrations: Technical explanation of important features of your framework, library or tool. Contributions are managed through EasyChair. Please submit your paper using the following link: https://www.easychair.org/conferences/?conf=sattose2017 ### Presentation and Publication All submissions will be reviewed and screened for scope and compatibility by the program committee, which will provide feedback for improving the abstract and preparing the talk. All contributions accepted for presentation will receive 10–30 minutes during the event for presentation and discussion. Submitters will also be offered the opportunity to receive feedback and guidance to improve their submission towards a formally published paper, in a SATToSE post-proceedings issue of an open access journal. ### Program Committee * General chair: Gregorio Robles, Universidad Rey Juan Carlos, Spain. * Program co-chairs: Haidar Osman, University of Bern, Switzerland. Andrei Chis, Feenk, Switzerland. * Hackathon chair Felienne Hermans, Delft University of Technology, The Netherlands. ### Program Committee Haidar Osman (co-chair), University of Bern, Switzerland Andrei Chis (co-chair), Feenk , Switzerland Alexandre Bergel, University of Chile, Chile. Andrea Caracciolo, Software Improvement Group (SIG), The Netherlands. Tommaso Dal Sasso, University of Lugano, Switzerland. Coen De Roover, Vrije Universiteit Brussel, Belgium. Serge Demeyer, University of Antwerpen, Belgium. Davide Di Ruscio, University of L'Aquila, Italy. Anne Etien, University of Lille 1, France Mohammad Ghafari, University of Bern, Switzerland. Anya Helene Bagge, University of Bergen, Norway. André Hora, Federal University of Minas Gerais, Brazil. Mircea Lungu, University of Groningen, The Netherlands. Kim Mens, Université catholique de Louvain, Belgium. Nevena Milojković, University of Bern, Switzerland. Luca Ponzanelli, University of Lugano, Switzerland. Sebastiano Panichella, University of Zurich, Switzerland. Alexander Serebrenik, Eindhoven University of Technology, The Netherlands. Michael W. Godfrey, University of Waterloo, Canada. Vadim Zaytsev, Raincode, Belgium -- Gregorio Robles Universidad Rey Juan Carlos http://gsyc.urjc.es/~grex

2 1

Tenure Track Faculty Position in Big Data Analytics (Mons, Belgium)
by Tom MENS 02 Apr '17

02 Apr '17

--------------------------------------------------------------------- Tenure Track Faculty Position in Big Data Analytics Department of Informatics, University of Mons, Belgium ----------------------------------------------------------------------- The Department of Informatics of the Faculty of Science at the University of Mons (Belgium) invites applications for a tenure-track faculty position in computer science, with special emphasis on big data analytics. The position is at the level of assistant professor. The expected starting date for the position is October 1, 2018. Qualified candidates must have a doctorate in disciplines related to computer science or computer engineering, and should have a strong commitment to teaching and an outstanding research record in applied aspects of big data analytics. The selected person should collaborate with existing research groups of the department and be active in fundraising for industrial and governmental projects. Candidates should be able to fulfil teaching duties in the French language after two years. Teaching duties are on both the undergraduate and graduate level, and include novel courses in the candidate's domain of expertise. The University of Mons is a university located in the French community of Belgium with about 8,000 students. Information about the Department of Informatics can be found at http://informatique.umons.ac.be/. Applications should be sent by email to Prof. Dr. Veronique Bruyere (veronique.bruyere(a)umons.ac.be<mailto:veronique.bruyere@umons.ac.be>), Department Head. We encourage candidates to apply from now on. Applications must be submitted as PDF files, including a cover letter, curriculum vitae, a one-page statement of teaching interests, a one-page statement of research interests in big data analytics, and names and contact information of at least three references. Following their application, candidates will be informed in due time about the further application procedure. The most up to date information about the position and the application procedure will be maintained at http://informatique.umons.ac.be/job_offers/.

1 0

Call for PhD candidates in the Software Composition Group, U Bern
by Oscar Nierstrasz 29 Mar '17

29 Mar '17

Applications are invited for PhD candidates at the Software Composition Group, University of Bern, Switzerland. The Software Composition Group carries out research in software engineering and programming languages, with a view to enabling software evolution. The SCG is led by Prof. Oscar Nierstrasz and is part of the Institute of Computer Science at the University of Bern. Applicants will contribute to the ongoing SNSF project, “Agile Software Analysis”, and towards the planned successor project: http://scg.unibe.ch/research/snf16 The candidate must have a MSc in Computer Science (equivalent to a Swiss MSc), should demonstrate strong programming skills, and have research interests in several of the following areas: - software evolution - program understanding - dynamic analysis - static analysis - software modeling - model-driven engineering - secure software engineering - programming language design - domain specific languages - virtual machine technology Female candidates are especially welcome to apply. To apply, please send an email including your research statement and your CV, with at least two references, to Prof. Oscar Nierstrasz (oscar(a)inf.unibe.ch), by June 1, 2017. Kind regards, Oscar Nierstrasz --- Prof. Dr. O. Nierstrasz -- oscar(a)inf.unibe.ch Software Composition Group -- http://scg.unibe.ch University of Bern -- Tel +41 31 631 4618

1 0

Call for Papers - SATToSE 2017
by Haidar Osman 07 Mar '17

07 Mar '17

======================================================================== 10th Seminar Series on Advanced Techniques & Tools for Software Evolution (SATToSE 2017) June 7 - June 9, 2017, Madrid, Spain Find us on the web: http://sattose.org/2017 <http://sattose.org/2017> Follow us on twitter: https://twitter.com/sattose <https://twitter.com/sattose> ======================================================================== SATToSE is the Seminar Series on Advanced Techniques & Tools for Software Evolution. The goal of SATToSE is to gather both undergraduate and graduate students to showcase their research, exchange ideas, and improve their communication skills. SATToSE will host invited talks, paper presentations, tutorials, and a hackathon, fostering interactions among participants and stimulating lively debates and discussions around the topics of interest of the event. We expect attendees to be active participants and not just passive listeners. Presenters should be open to and encourage questions and discussions during their talks. This year's SATToSE has a co-located event on the day before: the SENECA European (http://senecaproject.github.io <http://senecaproject.github.io/>) project training for PhDs. It is a one-day seminar on "writing up & moving on" and "commercializing research", that will have five renowned speakers. Those who register for SATToSE will have the possibility to attend this event for free. ### Important Dates 14th April, 2017 - Submission deadline 4th May, 2017 - Notification of acceptance 9th May, 2017 - Registration deadline 6th June, 2017 - SENECA European project training for PhDs 7th - 9th June, 2017 - SATToSE Seminar ### Topics of Interest Contributions are solicited on all aspects of software and model evolution, practices, and technologies. In particular, we encourage submissions about the following (non-exhaustive) list of topics: * Supporting tools, processes, and models for managing software evolution * Industrial needs, case studies and experiences * Software analytics and visualisation techniques to support software evolution * Empirical studies in evolution and maintenance * Program transformation, refactoring, renovation, and migration * Program and/or data reverse engineering * Evolution of data-intensive or process-intensive systems * Approaches of model-driven software evolution * Software evolution for emerging paradigms * Coupled evolution of meta-models, models, and transformations * Classification of evolution scenarios * Reliability and security aspects of software evolution * Negative research results in software evolution * Software ecosystem evolution * Formalisms, notations, theories, methods, and languages for expressing software evolution * Conformance checking, inconsistency management, synchronisation, differencing, comparison, versioning, impact analysis of evolving models ### Types of Submission We solicit extended abstracts of 2–5 pages, in one of the following forms: * Work in Progress: Early ideas and achievements that you want to share with the community and get feedback on. * Publication Summaries: Overview of research results already published or ready to be submitted to a conference or a journal. * Technology Showdown Demonstrations: Technical explanation of important features of your framework, library or tool. Contributions are managed through EasyChair. Please submit your paper using the following link: https://www.easychair.org/conferences/?conf=sattose2017 <https://www.easychair.org/conferences/?conf=sattose2017> ### Presentation and Publication All submissions will be reviewed and screened for scope and compatibility by the program committee, which will provide feedback for improving the abstract and preparing the talk. All contributions accepted for presentation will receive 10–30 minutes during the event for presentation and discussion. Submitters will also be offered the opportunity to receive feedback and guidance to improve their submission towards a formally published paper, in a SATToSE post-proceedings issue of an open access journal. ### Program Committee * General chair: Gregorio Robles, Universidad Rey Juan Carlos, Spain. * Program co-chairs: Haidar Osman, University of Bern, Switzerland. Andrei Chis, Feenk, Switzerland. * Hackathon chair Felienne Hermans, Delft University of Technology, The Netherlands. ### Program Committee Haidar Osman (co-chair), University of Bern, Switzerland Andrei Chis (co-chair), Feenk , Switzerland Alexandre Bergel, University of Chile, Chile. Andrea Caracciolo, Software Improvement Group (SIG), The Netherlands. Tommaso Dal Sasso, University of Lugano, Switzerland. Coen De Roover, Vrije Universiteit Brussel, Belgium. Serge Demeyer, University of Antwerpen, Belgium. Davide Di Ruscio, University of L'Aquila, Italy. Anne Etien, University of Lille 1, France Mohammad Ghafari, University of Bern, Switzerland. Anya Helene Bagge, University of Bergen, Norway. André Hora, Federal University of Minas Gerais, Brazil. Mircea Lungu, University of Groningen, The Netherlands. Kim Mens, Université catholique de Louvain, Belgium. Nevena Milojković, University of Bern, Switzerland. Luca Ponzanelli, University of Lugano, Switzerland. Sebastiano Panichella, University of Zurich, Switzerland. Alexander Serebrenik, Eindhoven University of Technology, The Netherlands. Michael W. Godfrey, University of Waterloo, Canada. Vadim Zaytsev, Raincode, Belgium

1 0

CfP: IEEE Software Special Issue on Release Engineering 3.0 (August 1st, 2017)
by Bram Adams 03 Mar '17

03 Mar '17

[Apologies for duplicate reception of this CFP] IEEE Software Special Issue on Release Engineering 3.0 https://www.computer.org/software-magazine/2016/12/14/release-engineering-3… <https://www.computer.org/software-magazine/2016/12/14/release-engineering-3…> Submission deadline: 1 August 2017 Publication: Mar./Apr. 2018 Whereas software used to be released in shrink-wrapped form, the advent of the Web and agile methodologies has totally changed the landscape. For example, lean startups such as IMVU continuously deliver their software up to 50 times per day, and companies such as Intuit, Google, and Mozilla take only a couple of hours or days between releases. Even Mozilla Firefox releases every six weeks, generating updates for dozens of versions on a variety of platforms for more than 80 locales. In other words, releasing modern applications requires coordinating their release on multiple mobile platforms, Web platforms with centralized backend services, and native desktop clients. Software release engineering is the discipline of integration, build, test execution, deployment, and delivery of high-quality software releases to users. In particular, independently developed software components must be integrated such that all of them form a coherent whole. The integrated components (a mixture of textual source code and binary libraries) must be transformed into a working set of executables (a build system). The executables must be tested, deployed into the production environment (cloud, app store, download site, and so on), and eventually released to the user’s device of choice. These activities form the vital link between a software product’s design and development and the finished product’s use and maintenance. However, they require specialized skills and automation that all too often are classified as outside the scope of software engineering research. Large software companies such as Google, Facebook, and Netflix have been pioneering release-engineering technologies and practices, and that journey has been risky and costly. Even at this point, these companies aren’t sure about the long-term viability or deficiencies of practices such as continuous delivery or canary deployment, especially in today’s migration toward hundreds of interdependent yet autonomously updated microservices. All of this makes it difficult for small companies, startups, civic organizations, government administrations, and safety-critical industries (healthcare, automotive systems, and so on) to select and adopt a release-engineering process and tool chain that fits their needs. An out-of-the-box release-engineering process and tool chain is far from a reality, as are textbooks or experience reports with empirically validated best practices for release engineering. So, this IEEE Software theme issue focuses on Release Engineering 3.0. Release Engineering 1.0 and 2.0 refer, respectively, to the traditional ad hoc and today’s highly automated release-engineering processes for general-purpose software systems. Release Engineering 3.0 targets the future iteration of release-engineering processes aimed at supporting small companies, startups, civic organizations, government administrations, and safety-critical industries. For example, the software in cars, hospital equipment, or election software needs updates to deliver critical bug fixes and new functionality. However, without proper precautions, innocent people’s lives could be at stake. We seek experience reports and articles on tools, methods, practices, and techniques to streamline Release Engineering 3.0. Topics include, but aren’t limited to, best practices for code movement (branching or integration); continuous integration and testing; build and configuration of software; build system maintenance; testing and reporting infrastructures; infrastructure as code; package and dependency management; legal sign-off and bill of materials; software deployment and delivery; code signing and certificate management; continuous delivery, deployment, installation, and updates; feature toggles or flags; cloud provisioning and management; interaction with mobile-app stores; principles and automated techniques for release planning; release engineering for product-line systems; DevOps and interaction with developers, users, and so on; multiplatform release engineering; release engineering for safety-critical systems (healthcare, automotive, and so on); experience reports on adoption of modern release-engineering techniques; and pipeline security or testing. Several guest editors are release engineers, and one-third of the reviewers will be release engineers. So, we guarantee that each submission will receive at least one review from a practitioner. Besides seeking regular-length articles (see the section “Submission Guidelines), we also seek short experience reports (2,500 to 3,000 words) from practitioners. These reports don’t need to make a research contribution but should instead present the experiences of a practitioner or practitioners by describing things such as the current release processes used, challenges faced, solutions attempted, and results obtained. Submission Guidelines Manuscripts must not exceed 3,000 words including figures and tables, which count for 250 words each. Submissions exceeding these limits might be rejected without refereeing. Articles deemed within the theme and scope will be peer reviewed and are subject to editing for magazine style, clarity, organization, and space. We reserve the right to edit the title of all submissions. Be sure to include the name of the theme issue for which you’re submitting. Articles should have a practical orientation and be written in a style accessible to practitioners. Overly complex, purely research-oriented or theoretical treatments aren’t appropriate. Articles should be novel. IEEE Software doesn’t republish material published previously in other venues, including other periodicals and formal conference or workshop proceedings, whether previous publication was in print or electronic form. For more information, contact the guest editors at software2a-2018(a)computer.org <mailto:software2a-2018@computer.org>. Theme Issue Guest Editors Bram Adams, Polytechnique Montreal Stephany Bellomo, SEI Christian Bird, Microsoft Research Boris Debíc, Google Foutse Khomh, Polytechnique Montreal Shane McIntosh, McGill University Kim Moir, Mozilla John O’Duinn, US Digital Service For general author guidelines: www.computer.org/software/author.htm <http://www.computer.org/software/author.htm> For submission details: software(a)computer.org <mailto:software@computer.org>To submit an article: https://mc.manuscriptcentral.com/sw-cs <https://mc.manuscriptcentral.com/sw-cs>

1 0

SATToSE 2017 coming closer!
by Gregorio Robles 28 Feb '17

28 Feb '17

Dear SATToSErs, this e-mail contains some information regarding this year's SATToSE to be held in June 7th - 9th in Madrid. This year SATToSE will be a 1+3+1 days event, as we will co-locate a training event to SATToSE the day before (June 6th) and do a cultural/hiking/foodie visit the day after (June 10th). The tentative schedule is as follows: June 6th (T): co-located PhD training day by the SENECA project. Those who register for SATToSE will have the possibility to attend that event for free. The training is oriented to PhD students and its main topics are "writing up pand moving on" and "commercializing research", and will have renowned inivited speakers from all around Europe! We will do the training in the Bitergia offices or in the Campus de Fuenlabrada of our university. As both are relatively away from the city center, we will meet in the SATToSE venue in the city center (see below) in the morning and go from there together (probably on a bus). We will be back in town around 19:00 and there will be a small, social event that night. June 7th - 9th (W-F): SATToSE in the URJC building in Plaza Manuel Becerra [1] (in the city center). We will have keynotes, a tutorial, a hackathon, a city tour, a pizza evening, a (typical Spanish) conference dinner, and, of course, your precious talks where you can present your research. Have a look at the CfP [2]! June 10th (S): Whoever stays in Madrid and wants to join, we will go to El Escorial [3], 50 km NE of Madrid, in the mountains. The plan includes a cultural visit to the Monastery (UNESCO World Heritage Site), some hiking, and finally eating in a nice, well-known restaurant [4]. Family and partners are welcome... I will take my whole family with me! (You will have the possibility to opt-in for this in the SATToSE registration; it will be around 35 euro/pax, including transportation, visit and lunch). Actions you can do at this time: 1. Spread the word! Haider et al. have created a fanstatic poster [5] and flyer [6]! 2. Think about submitting something to SATToSE (you and your PhD students), and once you've thought about it, submit your research before the deadline (April 14th!)! You will benefit from letting others know what you are working on, and from feedback by 40+ attendants. 3. Book your flights to be in Madrid during those days. And book, as well, accomodation. Manuel Becerra is well connected by underground, so anything in the city center will do. Ask me if you need advice. See [7] for more information. 4. No news about the boss! By now, just Guns n' Roses, the Cranberries and Foreigner are planning to give concerts during those days in Madrid. 5. Smile! In the mean, we have three rainy days in Madrid in June -- so, with a 5-day program, the chances of having at least some beautiful weather are very high -- and geeky fun is likely to be weather independent ;) I will send more updates as dates come closer. Looking forward to see you in Madrid in June! regards, Gregorio [1] https://www.google.es/maps/place/Fundaci%C3%B3n+Universidad+ Rey+Juan+Carlos/(a)40.4279979,-3.6699991,17z [2] http://sattose.org/2017:cfp [3] https://en.wikipedia.org/wiki/El_Escorial [4] http://www.mesonlacueva.com/ [5] http://sattose.wdfiles.com/local--files/2017/2017-sattose-poster.pdf [6] http://sattose.wdfiles.com/local--files/2017/2017-sattose-flyer.pdf [7] http://sattose.org/2017:venue -- Gregorio Robles Universidad Rey Juan Carlos http://gsyc.urjc.es/~grex

1 0

Call for PhD position in software engineering (University of Lille and University of Mons)
by Tom MENS 15 Feb '17

15 Feb '17

The computer science departments of University of Lille (France) and the University of Mons (Belgium) seek applications for a PhD position in software engineering, under joint co-supervision between Prof. Laurence Duchien (Spirals team, CRIStAL laboratory, Lille) and Prof. Tom Mens (Software Engineering Lab, INFORTECH Research Institute, Mons). The funding will be for a PhD in Sciences, and will be ensured for a 3 year period. The candidate is expected to carry out half of his research time at each university (18 months in each research team). Lille and Mons are 80 km away (1 hour by train). The topic of the thesis will be "Exploring the variability and evolution of cloud computing systems – An approach based on feature modelling and behavioural design models". A more detailed description is provided below. Only highly qualified PhD candidates with a master's degree in computer science should apply. The required skills include very good knowledge in the field of software engineering, excellent programming skills and good knowledge of formal tools. The start date of the employment is expected to be 15 September 2017 or as soon as possible thereafter. Applications will be received electronically (by e-mail) until 31 March 2017, but preferably earlier. The application must contain: + a motivation letter including a statement of your research interests + a full curriculum vitae, including list of publications if any + a copy of your master's thesis and publications, if any + a copy of your bachelor and master diplomas and transcripts of record, including grades and relative position + a minimum of two letters of recommendation, including the contact details of the referents Applications received after the deadline, or not complying with the above requirements, may not be considered. During your PhD studies, your key tasks are to: manage and carry out your research in an independent way; write scientific articles and your PhD thesis; participate in international conferences; teach and disseminate your research; attain credits in PhD-level courses; Enquiries about the position can be made to Professor Laurence Duchien, University of Lille, France, Laurence.Duchien(a)univ-lille1.fr or Professor Tom Mens, University of Mons, Belgium, tom.mens(a)umons.ac.be ======= Short description of thesis topic: Cloud computing systems usually exhibit high variability due to the number of choices concerning the selection of cloud providers as well as of their offered cloud services. At the same time, they provide a flexible environment, where resources and services can be provisioned and released on demand. To cope with the high volatility and variability of such systems, the goal of the thesis is to propose a model-based approach for expressing their variability, facilitating their evolution, and exploring the design space of possible solutions. The proposed approach will rely on research advances in dynamic software product lines [1], and will use techniques such as feature modelling to specify and analyse the variabilities and commonalities in cloud computing services and providers at a high level of abstraction [2]. Behavioural aspects of these systems will be modelled using statechart-based design models [3,4], and the technique of design by contract will be used to constrain these models [5]. Semi-automated and interactive tool support will be provided to verify and test structural and behavioural properties over these models. In addition, evolution of these models will be supported. In particular, the research should focus on support for behaviour preserving refactoring and dynamic reconfiguration. The practical use of these techniques to explore and traverse the design space of cloud environments will also be explored by an extension of SALOON tools [2,6] and an experimental validation on cloud evolutions defined by several providers. For example, when reconfiguring a cloud environment, the selected set features (representing cloud providers and services) may have a different impact on performance, costs or reconfiguration time, and optimal reconfiguration paths should be proposed. References: [1] S. Hallsteinsen, M. Hinchey, S. Park, and K. Schmid. Dynamic software product lines. COMPUTER, 41(4):93-95, 2008. [2] C. Quinton, D. Romero, and L. Duchien. SALOON: a platform for selecting and configuring cloud environments. Software: Practice and Experience, 46(1):55{78, 2016. [3] D. Harel and E. Gery, “Executable object modeling with statecharts,” IEEE Computer, vol. 30, no. 7, pp. 31–42, July 1997. [4] D. Drusinsky, Modeling and Verification Using UML Statecharts. Elsevier Science, 2006. [5] B. Meyer. 1992. Applying "Design by Contract". Computer 25, 10 (October 1992), 40-51. DOI=http://dx.doi.org/10.1109/2.161279 [6] https://team.inria.fr/spirals/saloon/

1 0

Postdoc position on language/tool co-evolution
by Anya Helene Bagge 11 Jan '17

11 Jan '17

Hi, SATToSErs, We have an open SATToSE-relevant postdoc position in the area of software language engineering and software evolution, on the Co-Evo project (Co-Evolution of Software Languages and Language Processors) funded by the Norwegian Research Council. The project is aimed at studying and developing techniques and tools to help tool authors with maintenance and evolution of language tools (e.g. analysis/transformation/refactoring tools, editors and compilers). The position is for 3 years, hosted at the Dept. of Informatics at the University of Bergen, Norway. Application deadline is *January 20th, 2017*. Feel free to contact me (anya(a)ii.uib.no) for more information or if you have questions. For more information, please see: * Official announcement and online application system: https://www.jobbnorge.no/en/available-jobs/job/131186/postdoctoral-fellow-p… * More info on other open positions (including another postdoc position and three PhD positions): http://www.ii.uib.no/~anya/vacancies.html * Brief overview of the Co-Evo project: http://www.uib.no/en/rg/pt/97531/co-evolution-software-languages-and-langua… -anya

1 0

IEEE Computer Software magazine Contextual Variability Modeling call for papers
by Kim Mens 19 Oct '16

19 Oct '16

Contextual Variability Modeling — Call for Papers Submission deadline: 1 Apr. 2017 Publication: Nov./Dec. 2017 Software systems are becoming more context sensitive and increasingly exploit contextual information to handle the diversity of changes in and conditions of their environment. In specific application domains such as automotive systems, marine and aviation systems, windmill farms, and airport management systems, the timely use of and adaptation to contextual information is critical for the system’s normal operation. Consequently, a major concern is acquiring, analyzing, modeling, and managing contextual information for the plethora of systems that need to react and adapt to new contexts. These activities require appropriate software modeling and development techniques. Moreover, the diverse scenarios that are driven by changes in the context demand software variability solutions that can dynamically select among alternatives. In particular, the ability to cope with different scenarios and options in which a system must select and adapt to new contexts at runtime introduces an extra level of complexity. This is because systems must make runtime decisions depending on varying context conditions. Emerging paradigms such as dynamic software product lines and runtime variability mechanisms play a central role to model and manage the variations using both context and noncontext features. Other emerging approaches are context-oriented programming languages that can handle the behavior of systems using contextual behavioral adaptations that can be activated or replaced dynamically to accommodate the systems’ and users’ varying needs. This special issue will feature a variety of techniques, approaches, and case studies for modeling and developing context-sensitive systems that modify their behavior dynamically accordingly to varying conditions. We invite contributions related but not limited to * context variability analysis and modeling techniques for context-aware systems; * static and dynamic variability approaches dealing with context information; * raising the awareness of software engineers, industry, and users for dealing with changes due to contextual variability; * reconfiguration, rebinding, and dynamic-composition strategies for dealing with changing context information in self-adaptive and autonomous systems; * dynamic adaptation and human interaction using context knowledge; * context-variability-modeling challenges and solutions in application domains that rely on contextual information at runtime (for example, smart healthcare, intelligent vehicles, robotics and drones, Internet of Things systems, and smart cities), highlighting the strengths, weaknesses, and challenges of implementing such systems with context in mind; * ontologies for discriminating and disambiguating related context information managing the behavior at runtime; * collaborative aspects and feature dependencies for modeling software variability using context information in systems that exchange information in real time; * context-oriented programming languages and other solutions for implementing context variability at runtime; and * security aspects and solutions of dynamic adaptability in safety-critical scenarios. Theme Issue Guest Editors * Kim Mens, Université catholique de Louvain * Rafael Capilla, Rey Juan Carlos University * Thomas Kropf, Robert Bosch Car Multimedia and the University of Tübingen * Herman Hartmann, NXP Semiconductors Submission Guidelines Manuscripts must not exceed 4,700 words including figures and tables, which count for 250 words each. Submissions exceeding these limits might be rejected without refereeing. Articles deemed within the theme and scope will be peer reviewed and are subject to editing for magazine style, clarity, organization, and space. We reserve the right to edit the title of all submissions. Be sure to include the name of the theme issue for which you’re submitting. Articles should have a practical orientation and be written in a style accessible to practitioners. Overly complex, purely research-oriented or theoretical treatments aren’t appropriate. Articles should be novel. IEEE Software doesn’t republish material published previously in other venues, including other periodicals and formal conference or workshop proceedings, whether previous publication was in print or electronic form. For more information, contact the guest editors at software6a-2017(a)computer.org<mailto:software6a-2017@computer.org> For general author guidelines: www.computer.org/web/peer-review/magazines<https://www.computer.org/web/peer-review/magazines> For submission details: software(a)computer.org<mailto:software@computer.org> To submit an article: https://mc.manuscriptcentral.com/sw-cs

1 0

Tenure track or tenured full time academic position in Large scale and cloud computing
by Kim Mens 13 Oct '16

13 Oct '16

Tenure track or tenured full time academic position in Large scale and cloud computing ====================================================================================== Vacancy Reference : 10701 / EPL 016 / 2017 (to be quoted in any correspondence) http://www.uclouvain.be/en-emploi-academiques.html Université catholique de Louvain invites applications for a tenure track or tenured full time position in Large scale and cloud computing. The successful candidate will carry out research in the field of large scale and cloud computing, including but not limited to distributed computing, operating systems, software engineering, information visualization, and large scale software systems. Still, other areas of competence will also be considered, since the candidate's merit is considered as a combination of specialization and scientific excellence. The successful candidate will join the Institute of Information and Communication Technologies, Electronics and Applied Mathematics (ICTEAM) and will have teaching assignments in computer science within the various degree programmes organised by the Ecole Polytechnique de Louvain (EPL). Bachelor level courses are mostly taught in French, master courses in English. Starting date : 1st September, 2017 Application deadline : 15th November, 2016 Further information : Professor Michel Verleysen, dean EPL - doyen-epl(a)uclouvain.be<mailto:doyen-epl@uclouvain.be> Professor Jean-Didier Legat, research director ICTM - president-ictm(a)uclouvain.be<mailto:president-ictm@uclouvain.be> Localization : Science and Technology Sector Louvain School of Engineering (http://www.uclouvain.be/en-epl.html) Institute of Information and Communication Technologies, Electronics and Applied Mathematics (http://www.uclouvain.be/en-ictm.html) General conditions Tasks : the applicant will: - be responsible for teaching courses at all study levels (i.e. undergraduate and postgraduate), as well as in programmes of continuing education; - supervise the final diploma research (i.e. theses) of undergraduate and graduate students, as well as PhD students; - be involved in (and/or supervise, promote) research programmes; - contribute to the international visibility of the University through teaching and research excellence; - contribute to activities of the University with a societal impact in the fields of the economy, socio-cultural changes or cooperation with developing countries. Qualifications : the applicant must have - a PhD degree in Computer science, or any related discipline; - a significant scientific record with international publications; - either studied abroad for an extensive period or have had substantial experience outside UCL; - experience in and the aptitude for teaching at university level; - the capacity to work within a team of teachers and to integrate research findings into teaching; - creativity and must be open to teaching innovation and interdisciplinarity; - the capacities required to undertake academic research at a high level and to advise, or lead, a research team; - good knowledge of both spoken and written French and English. If this is not the case, the applicant accept to learn French and/or English in order to be able to teach in French and English within 2 years. Fluency in other languages is an additional advantage. Application Instructions - Follow the instructions on this page : http://www.uclouvain.be/en-emploi-academiques.html - Look for the job with Requisition ID 10701 - Follow the instructions of the career012.successfactors.eu<http://career012.successfactors.eu/> web application in which you need to encode your application. - Respect the submission deadline of Tuesday 15 November, 2016, at 11:59 pm at the latest.

1 0

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

SATToSE