SATToSE

sattose@list.inf.unibe.ch

107 discussions

SATToSE 2018 papers not online
by Oscar Nierstrasz 19 Aug '18

19 Aug '18

Hi folks, Does anyone know why many of the SATToSE papers from this year are not online? http://sattose.org/2018:schedule Cheers, Oscar --- Prof. Dr. O. Nierstrasz -- oscar(a)inf.unibe.ch Software Composition Group -- http://scg.unibe.ch University of Bern -- Tel +41 31 631 4618

5 7

Changes to the SATTOSE SC
by Kim Mens 31 Jul '18

31 Jul '18

In April 2018 we had an e-mail discussion regarding changes to the SC. Here is a – hopefully correct – summary of those changes. 1. First of all, I stated that I would like to step down as SC chair and become an alumni. Kim Mens : SC Chair —> alumni 2. After that statement the name of Vadim was mentioned as new SC chair and supported by at least two SC members. Vadim Zaytsev : SC member —> SC Chair Vadim, would you accept to take on this task? SATTOSE SC, are there any objections or other volunteers to take over my role as SC chair? 3. Finally, the following 2 persons were mentioned and supported as candidates to be added to the SC : - Alexandre Bergel —> SC member - Eleni Constantinou —> SC member 4. The following persons also expressed that they were willing to step down (in the future) if needed: - Coen De Roover - Oscar Nierstrasz - Davide Di Ruscio For the moment, unless there are any objections I would propose the changes 1, 2 and 3 above. I would propose not to perform point 4 yet, in order to avoid having a drain of old SC members, unless some of those SC members insist to step down now. All these points above have been discussed before. Evidently, for point 2 it would be nice to have the new SC chair’s explicit agreement. In case Vadim agrees and I here no further objections we can enact these changes. That will then be my last act as SATTOSE SC chair. ———————————————————————————————————————————————————— Prof. Dr. Kim Mens<https://uclouvain.be/fr/repertoires/kim.mens> (Computer Science) Université catholique de Louvain<https://uclouvain.be> (UCL) ICTEAM<https://uclouvain.be/icteam> institute INGI<https://uclouvain.be/ingi> department (vice-chairman) Bâtiment Réaumur, Etage 01, Local A 111 Place Sainte Barbe 2 / L5.02.01 1348 Louvain-la-Neuve, BELGIQUE ———————————————————————————————————————————————————— • Informatics Europe Board<http://www.informatics-europe.org/about/board.html> • Science of Computer Programming Editorial Board<https://www.journals.elsevier.com/science-of-computer-programming/editorial…> • Journal of Object Technology Editorial Board<http://www.jot.fm/masthead.html> • SATToSE Seminar Steering Committee Chair<http://sattose.org> • https://www.researchgate.net/profile/Kim_Mens ————————————————————————————————————————————————————

2 1

SATToSE mailing list manager
by Kim Mens 30 Jul '18

30 Jul '18

Currently, I’m the only person managing the SATToSE mailing lists at sattose(a)list.inf.unibe.ch<mailto:sattose@list.inf.unibe.ch> Since the mailing list is moderated, that implies that sometimes the response time can be slow, for example when I am on holidays. Before, the mailing list was moderated by me and Oscar, but Oscar delegated that task to me a while back. Even though I’m stepping down as SC chair, I don’t mind continuing to manage the mailing list, but it would be good to add a second manager. Does anyone volunteer to manage the SATToSE mailing list with me? This is a low-effort job, that amounts mostly to clicking yes to mails from members and reject to mails from spam bots. ———————————————————————————————————————————————————— Prof. Dr. Kim Mens<https://uclouvain.be/fr/repertoires/kim.mens> (Computer Science) Université catholique de Louvain<https://uclouvain.be> (UCL) ICTEAM<https://uclouvain.be/icteam> institute INGI<https://uclouvain.be/ingi> department (vice-chairman) Bâtiment Réaumur, Etage 01, Local A 111 Place Sainte Barbe 2 / L5.02.01 1348 Louvain-la-Neuve, BELGIQUE ———————————————————————————————————————————————————— • Informatics Europe Board<http://www.informatics-europe.org/about/board.html> • Science of Computer Programming Editorial Board<https://www.journals.elsevier.com/science-of-computer-programming/editorial…> • Journal of Object Technology Editorial Board<http://www.jot.fm/masthead.html> • (ex-) SATToSE Seminar Steering Committee Chair<http://sattose.org> ? • https://www.researchgate.net/profile/Kim_Mens ————————————————————————————————————————————————————

2 1

Mailing list
by Kim Mens 30 Jul '18

30 Jul '18

Oops… The last three mails were not supposed to have gone to the entire mailing list but to the Steering Committee only. My mistake. Please ignore them (except if you are on the Steering Committee). ———————————————————————————————————————————————————— Prof. Dr. Kim Mens<https://uclouvain.be/fr/repertoires/kim.mens> (Computer Science) Université catholique de Louvain<https://uclouvain.be> (UCL) ICTEAM<https://uclouvain.be/icteam> institute INGI<https://uclouvain.be/ingi> department (vice-chairman) Bâtiment Réaumur, Etage 01, Local A 111 Place Sainte Barbe 2 / L5.02.01 1348 Louvain-la-Neuve, BELGIQUE ———————————————————————————————————————————————————— • Informatics Europe Board<http://www.informatics-europe.org/about/board.html> • Science of Computer Programming Editorial Board<https://www.journals.elsevier.com/science-of-computer-programming/editorial…> • Journal of Object Technology Editorial Board<http://www.jot.fm/masthead.html> • SATToSE Seminar Steering Committee Chair<http://sattose.org> • https://www.researchgate.net/profile/Kim_Mens ————————————————————————————————————————————————————

1 0

Possible venues for SATTOSE 2019
by Kim Mens 30 Jul '18

30 Jul '18

Below, I just repeat all proposals for possible venues for SATTOSE 2019 that have been mentioned so far. Since I’m stepping down as SATTOSE SC chair, I would prefer to leave the discussion to pick next year’s venue to the new chair. In the mean time, my personal opinion on the venue is : - It would be interesting to have it in Austria for once, but is there any concrete proposal? - Having it organised in France again for the reasons mentioned would be good too. - I don’t have any objection against Romain Robbes’ proposal to host it in Italy, though I think it is a pity that would imply that SATTOSE is only 2 days then. - Tunesia seems to be a bit too far. - I didn’t hear any concrete proposals for any of the other venues mentioned so for now I just consider them as loose ideas. Suggested SATToSE 2019 venues Italy IT, Bolzano, Romain Robbes We have a concrete offer from Romain here, collocated with a summer school. It would be a SATTOSE that is shorter than usual though (except for attendees that join both SATTOSE and the summer school) Tunesia Cf. a suggestion by Gregorio Robles. Should this be investigated in more detail? France In a previous discussion last year it was suggested it would be nice to have SATToSE organised in France again. What happened to that idea? That idea would revive French participation in SATToSE again since it diminished significantly in recent years. Tom suggested as possible venues: FR, Bordeaux, Xavier Blanc, Jean-Remy Falleri FR, Lille, Laurence Duchien Netherlands Are any of these concrete proposal or just an initial suggestion by Tom. NL, Groningen, Mircea Lungu or Tijs van der Storm Nl, Alexander Serebrenik, Eindhoven NL, Amsterdam, Magiel Bruntink Luxemburg LU, Luxemburg, Lionel Briand Germany DE, Hagen, Friedrich Steinmann DE, Berlin or Potsdam Austria AT, Vienna, Manuel Wimmer or someone else ??? AT, Klagenfurt, Martin Pinzger Denmark DK, Copenhagen Andrzej Warszowski Sweden SE, Chalrmers, Michel Chaudron ———————————————————————————————————————————————————— Prof. Dr. Kim Mens<https://uclouvain.be/fr/repertoires/kim.mens> (Computer Science) Université catholique de Louvain<https://uclouvain.be> (UCL) ICTEAM<https://uclouvain.be/icteam> institute INGI<https://uclouvain.be/ingi> department (vice-chairman) Bâtiment Réaumur, Etage 01, Local A 111 Place Sainte Barbe 2 / L5.02.01 1348 Louvain-la-Neuve, BELGIQUE ———————————————————————————————————————————————————— • Informatics Europe Board<http://www.informatics-europe.org/about/board.html> • Science of Computer Programming Editorial Board<https://www.journals.elsevier.com/science-of-computer-programming/editorial…> • Journal of Object Technology Editorial Board<http://www.jot.fm/masthead.html> • SATToSE Seminar Steering Committee Chair<http://sattose.org> • https://www.researchgate.net/profile/Kim_Mens ————————————————————————————————————————————————————

1 0

ASE'18: Call for participation
by Marianne Huchard 22 Jul '18

22 Jul '18

------------------------------------------------------------------------- ASE'18 Call for participation (http://www.ase2018.com/) ------------------------------------------------------------------------- 33rd IEEE/ACM International Conference on Automated Software Engineering ------------------------------------------------------------------------- Montpellier, France, September 3-7, 2018 ------------------------------------------------------------------------- Early registration deadline: August 3, 2018. ------------------------------------------------------------------------- Please come and join us in Montpellier, south of France on September 3-7, 2018 for the 33rd IEEE/ACM International Conference on Automated Software Engineering ! The IEEE/ACM Automated Software Engineering (ASE) Conference series is the premier research forum for automated software engineering. Each year, it brings together researchers and practitioners from academia and industry to discuss foundations, techniques, and tools for automating the analysis, design, implementation, testing, and maintenance of large software systems. Highlights of ASE 2018 include three top-level keynotes, four workshops and four tutorials. Around 80 high quality contributions are selected so far as technical research papers, experience papers and new idea papers. This program will soon be completed by tool demonstrations and workshop papers. Keynotes: - Roberto Di Cosmo. September 5th. Software Heritage: collecting, preserving and sharing all our source code (Softwareheritage.org, Inria initiative with UNESCO partnership) - Jane Cleland-Huang. September 6th. Automated Requirements Engineering. Challenges with examples from small unmanned aerial systems. - Gail C. Murphy. September 7th. The Need for Context in Software Engineering (2018 IEEE Comptuer Science Harlan D. Mills Award) Workshops: - MASES: Sept 3rd. - 1st International Workshop on Machine Learning and Software Engineering in Symbiosis:https://mases18.github.io/ - A-Mobile: Sept 4th. - International Workshop on Advances in Mobile App Analysis:https://a-mobile.github.io/ - IWoR: Sept 4th. - 2nd International Workshop on Refactoring: https://iwor.github.io/iwor2018/ - SoftwareMining-2018: Sept 4th. - 7th International Workshop on Mining Software Repositories:http://lamda.nju.edu.cn/shenzy/softwaremining18/ Tutorials: - Automated Formal Proofs for Program Verification (Sept 3rd) - Let the CI spot the holes in tested code with the Descartes cool (Sept 3rd) - Re-engineering Software Variability into Software Product Line (Sept 4th) - Model your modeling workbench, and generate code and documentation from your models (Sept 4th) Co-located with: - SSBSE'18: 10th Symposium on Search-Based Software Engineering, September 8-9 REGISTRATION Online registration is open here: https://www.azur-colloque.fr/DR13/inscription/inscription/200. Early registration deadline is August 3, 2018. We look forward to seeing you in Montpellier! ------------------------------------------------------------------------------

1 0

IEEE VISSOFT 2018 deadline reminders
by Manuel Rubio Sánchez 02 Jul '18

02 Jul '18

Dear authors, here are some deadline remiders for the IEEE VISSOFT 2018 conference: - Author registration: July 9th (in 1 week) - Early bird registration: July 15th (in 2 weeks) - Camera-ready versions: July 15th (in 2 weeks) See you in Madrid this September! http://vissoft18.etsii.urjc.es/ -- Manuel Rubio Sánchez Profesor Contratado Doctor Universidad Rey Juan Carlos Departamento de Ciencias de la Computación, Arquitectura de Computadores, Lenguajes y Sistemas Informáticos y Estadística e Investigación Operativa Ampliación del Edificio de Rectorado, Despacho 2026 C/ Tulipán s/n, 28933 Móstoles, Madrid, Spain Tel: (+34) 91 488 82 86 Fax: (+34) 91 488 85 30 E-mail: manuel.rubio @ urjc.es WWW: www.lite.etsii.urjc.es/manuel.rubiosanchez/ Book: sites.google.com/view/recursiveprogrammingintro/ www.crcpress.com/Introduction-to-Recursive-Programming/Rubio-Sanchez/p/book… www.linkedin.com/in/manuel-rubio-2000 --- El software de antivirus Avast ha analizado este correo electrónico en busca de virus. https://www.avast.com/antivirus

1 0

CfP Models and Evolution @ ACM/IEEE MODELS2018
by Dalila Tamzalit 12 Jun '18

12 Jun '18

[Apologies for multiple postings] It is our pleasure to invite you to submit your contribution to ME 2018, the 12th Int. Workshop on Models and Evolution @ACM/IEEE MODELS 2018. The paper submission deadline is July 17, 2018. For more information: http://www.models-and-evolution.com Kind regards, Alf, Dalila, and Ludovico =============================================================== CALL FOR PAPERS: 12th Intl Workshop on Models and Evolution (ME 2018) Co-located with the ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems (MODELS 2018) October 14-19, 2018 — Copenhagen, Denmark http://www.models-and-evolution.com =============================================================== Software artefacts constantly increase in complexity, variety and novelty. Environment and business constraints, user requirements and new insights put additional pressure on their adaptability, availability, reliability and quality: they continuously need to be up to date. But evolution issues are critical, complex and costly to manage. They concern requirements, architecture, design, source code, documentation, integration or deployment. They also typically affect various kinds of models (data, behavioral, domain, source code or goal models). Addressing and managing these varieties of changes is essential. Models and meta-models, the cornerstone of complex software systems’ abstractions, represent a powerful mean for facing software evolution challenges by ensuring a more abstract and expressive modeling of software evolution. They can help and guide software evolution and can enforce and reduce critical risks and important involved resources. The workshop puts the focus on Models and Evolution by considering two main sides: (1) Managing software evolution needs by relying on the high- level abstraction power of models and meta-models; (2) Managing model and metamodel evolution needs and the co-evolution of all related software artefacts by putting attention to their increasing evolution issues as they become primary artefacts. ME 2018 will bring together researchers and practitioners to share experiences in dealing with the various forms of models and evolution. It combines a strong practical focus with theoretical approaches as required in any discipline to support engineering practices. ME 2018 targets researchers and practitioners on model-driven engineering to meet, disseminate and exchange ideas, identify the key issues related to the problem of models and evolution and explore possible solutions and future work. ** TOPIC Contributions are solicited on all aspects of models and evolution, its foundations, practices and technologies. In particular, we encourage submissions from both academia and industry about the following (non- exhaustive) list of topics: – Formalisms, theories, formal approaches, methods and languages for expressing and understanding model-driven software evolution – Supporting processes and tools for managing model-driven software evolution – (Co-)evolution and (co-)adaptation of models, meta-models and modeling (languages; classification of (co-)evolution scenarios – Conformance checking, inconsistency management, synchronization, differencing, comparison, impact analysis of evolving models – Transformation techniques for evolving models: restructuring, refactoring, migration, translation, composition, versioning, etc. – Maintenance and evolution of domain-specific languages Maintenance and evolution of model transformations –Traceability maintenance, verification, and validation of evolving models, evolving model transformations, and evolving modeling languages; runtime models – Analysis of model maintainability – Variability management using models – Model-driven software architecture recovery, reverse architecting, reconstruction, migration and software release engineering – Model-based and model-related techniques for legacy systems evolution and systems integration – Reusable evolution solutions and patterns – Evolution issues in new and emerging systems and paradigms (e.g., cyber- physical systems, systems of systems, systems engineering, Internet of Things, cloud computing, etc) – Training, education, and certification around software evolution – State-of-the-art and state-of-practice in software evolution Empirical studies, industrial needs, experience reports and experiments in software evolution – Tools and methods supporting all of the above topics ** SUBMISSION GUIDELINES We solicit papers of the following types: 1. Research papers (max. 10 pages) providing novel contributions on topics of the workshop presenting novel ideas, addressing challenging problems, or making practical contributions. 2. Position papers (max. 6 pages): a. Work in progress papers presenting early work and preliminary research results of young researchers in topics related to the workshop. b. Visionary papers proposing visionary and strategic ideas and/or looking for collaborations around international projects. c. Industrial experience papers reporting about experiences in the area of models and evolution, novel industrial tools, and positions from industry about experience and/or case studies about managing or putting into practice model-driven software evolution solutions are highly appreciated. 3. Tool presentations (max. 6 pages) presenting (experience with) tools (which may be either research prototypes or commercial tools) that are fully/partially dedicated to supporting the model-based software evolution and evolution issues encountered in model-based development. Contributions must be written in English, adhere to the ACM SIGS format, and be submitted through EasyChair at https://easychair.org/conferences/?conf=me2018 All submissions must be original work and must not have been previously published or being under review elsewhere. For each accepted paper, at least one of the authors must register for the workshop, participate fully in the workshop, and present the paper at the workshop. Accepted workshop papers will be published on CEUR-WS. ** IMPORTANT DATES – Paper submission: *July 17, 2018* – Notification to authors: August 17, 2018 – Camera ready version: August 21, 2018 – Workshop date: October 16, 2018 ** ORGANIZERS Ludovico Iovino, Gran Sasso Science Institute, Italy Alfonso Pierantonio, University of L'Aquila, Italy Dalila Tamzalit, Universitè de Nantes, France -- Dalila Tamzalit ===== LS2N(*) / IUT de Nantes (**) (*) Équipe NaoMod Laboratoire des Sciences du Numérique de Nantes (LS2N) - CNRS UMR 6004, 2 Chemin de la Houssinière 44300 Nantes Tel : (33) 2-51-12-57-80 Fax : (33) 2-51-12-58-12 (**) IUT de Nantes - Département Informatique 3, rue du Maréchal Joffre BP 34103 - 44 041 Nantes cedex 1 - FRANCE tél : (33) 2 40 30 60 57 fax : (33) 2 40 30 60 47

1 0

SATToSE 2018: Time to register
by Tushar Sharma 07 Jun '18

07 Jun '18

Dear All, Many of you probably just came back from ICSE last week. Now, it is time to plan for SATToSE. Kindly register for the event if you have not yet and bring your colleagues/students with you :) Best regards. See you in Athens next month. Tushar On Tue, May 29, 2018 at 3:35 PM, Tushar Sharma <tusharsharma(a)ieee.org> wrote: > SATToSE 2018: Call for participation > > 11th Seminar Series on Advanced Techniques & Tools for Software Evolution > http://sattose.org/2018 > July 4 - 6, 2018 > Athens, Greece > > Overview: > The 11th edition of SATToSE will take place in Athens (Greece) on 4–6 July > 2018. Past editions of SATToSE saw presentations on software visualisation > techniques, tools for co-evolving various software artefacts, their > consistency management, runtime adaptability and context-awareness, as well > as empirical results about software evolution. > > The goal of SATToSE is to gather both undergraduate and graduate students > to showcase their research, exchange ideas, improve their communication > skills, attend and contribute technology showdown and hackathons. > > Venue: > SATToSE 2018 will be held in the beautiful and historic Athens, Greece. It > will be organized in the "Ioannis Drakopoulos" Amphitheatre (Address: > Panepistimiou 30, Athens) which is situated in the center of the Athens > city. The venue is very near to the metro station "Panepistimiou" on the > red line. > > Keynotes and Tutorial: > - "Unix Architecture Evolution: Milestones and Lessons Learned" by Prof. > Diomidis Spinellis > - "The Secret Evolution of Bad Languages" by Dr. Vadim Zaytsev > - "Declarative Static Program Analysis: An Intelligent System over > Programs" by Prof. Yannis Smaragdakis > - "Python Bites Software Evolution" by Prof. Panos Louridas > - "The Antikythera Mechanism: Hacking with Gears" - 'a pinch of history' > talk by Prof. Diomidis Spinellis > > Registration: > Registration link: http://sattose.org/2018:registration > - Regular registration (on or before June 15, 2018) - Euro 200 > - Late registration (from June 16, 2018 to July 3, 2018) - Euro 250 > To apply for the scholarship, kindly check the details on the website ( > http://sattose.org/2018). > > Organisation Committee: > - General Chair: Diomidis Spinellis, Athens University of Economics and > Business, Greece. > - Program Chair: Alexandre Bergel, University of Chile, Chile. > - Hackathon Chair: Michel Chaudron > - Local Organization Chairs: Tushar Sharma and Vasiliki Efstathiou, Athens > University of Economics and Business, Greece. > -- *Tushar Sharma* (http://www.tusharma.in)

1 0

SATToSE 2018: Call for participation
by Tushar Sharma 29 May '18

29 May '18

SATToSE 2018: Call for participation 11th Seminar Series on Advanced Techniques & Tools for Software Evolution http://sattose.org/2018 July 4 - 6, 2018 Athens, Greece Overview: The 11th edition of SATToSE will take place in Athens (Greece) on 4–6 July 2018. Past editions of SATToSE saw presentations on software visualisation techniques, tools for co-evolving various software artefacts, their consistency management, runtime adaptability and context-awareness, as well as empirical results about software evolution. The goal of SATToSE is to gather both undergraduate and graduate students to showcase their research, exchange ideas, improve their communication skills, attend and contribute technology showdown and hackathons. Venue: SATToSE 2018 will be held in the beautiful and historic Athens, Greece. It will be organized in the "Ioannis Drakopoulos" Amphitheatre (Address: Panepistimiou 30, Athens) which is situated in the center of the Athens city. The venue is very near to the metro station "Panepistimiou" on the red line. Keynotes and Tutorial: - "Unix Architecture Evolution: Milestones and Lessons Learned" by Prof. Diomidis Spinellis - "The Secret Evolution of Bad Languages" by Dr. Vadim Zaytsev - "Declarative Static Program Analysis: An Intelligent System over Programs" by Prof. Yannis Smaragdakis - "Python Bites Software Evolution" by Prof. Panos Louridas - "The Antikythera Mechanism: Hacking with Gears" - 'a pinch of history' talk by Prof. Diomidis Spinellis Registration: Registration link: http://sattose.org/2018:registration - Regular registration (on or before June 15, 2018) - Euro 200 - Late registration (from June 16, 2018 to July 3, 2018) - Euro 250 To apply for the scholarship, kindly check the details on the website ( http://sattose.org/2018). Organisation Committee: - General Chair: Diomidis Spinellis, Athens University of Economics and Business, Greece. - Program Chair: Alexandre Bergel, University of Chile, Chile. - Hackathon Chair: Michel Chaudron - Local Organization Chairs: Tushar Sharma and Vasiliki Efstathiou, Athens University of Economics and Business, Greece. -- *Tushar Sharma* (http://www.tusharma.in)

1 0

← Newer
1
2
3
4
5
6
7
8
9
10
11
Older →

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

SATToSE