Fundamental Approaches to Software Engineering

N. Ayoub

FASE: International Conference on Fundamental Approaches to Software Engineering

Fundamental Approaches to Software Engineering
23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings

Editors
Heike Wehrheim Jordi Cabot

Download book PDF

Edit This Article

You may like these posts

Comments

Post a Comment

Font Size

lines height

window['__wavt'] = 'AOuZoY4JRuLe5pN8OAVhqn5-2fAsiNZQNQ:1735227393385';_WidgetManager._Init('//www.blogger.com/rearrange?blogID\x3d4337164100960145190','//www.scopind.com/2020/06/fundamental-approaches-to-software.html','4337164100960145190'); _WidgetManager._SetDataContext([{'name': 'blog', 'data': {'blogId': '4337164100960145190', 'title': 'scopind', 'url': 'https://www.scopind.com/2020/06/fundamental-approaches-to-software.html', 'canonicalUrl': 'https://www.scopind.com/2020/06/fundamental-approaches-to-software.html', 'homepageUrl': 'https://www.scopind.com/', 'searchUrl': 'https://www.scopind.com/search', 'canonicalHomepageUrl': 'https://www.scopind.com/', 'blogspotFaviconUrl': 'https://www.scopind.com/favicon.ico', 'bloggerUrl': 'https://www.blogger.com', 'hasCustomDomain': true, 'httpsEnabled': true, 'enabledCommentProfileImages': true, 'gPlusViewType': 'FILTERED_POSTMOD', 'adultContent': false, 'analyticsAccountNumber': 'G-DXD5FCMP1T', 'analytics4': true, 'encoding': 'UTF-8', 'locale': 'en', 'localeUnderscoreDelimited': 'en', 'languageDirection': 'ltr', 'isPrivate': false, 'isMobile': false, 'isMobileRequest': false, 'mobileClass': '', 'isPrivateBlog': false, 'isDynamicViewsAvailable': true, 'feedLinks': '\x3clink rel\x3d\x22alternate\x22 type\x3d\x22application/atom+xml\x22 title\x3d\x22scopind - Atom\x22 href\x3d\x22https://www.scopind.com/feeds/posts/default\x22 /\x3e\n\x3clink rel\x3d\x22alternate\x22 type\x3d\x22application/rss+xml\x22 title\x3d\x22scopind - RSS\x22 href\x3d\x22https://www.scopind.com/feeds/posts/default?alt\x3drss\x22 /\x3e\n\x3clink rel\x3d\x22service.post\x22 type\x3d\x22application/atom+xml\x22 title\x3d\x22scopind - Atom\x22 href\x3d\x22https://www.blogger.com/feeds/4337164100960145190/posts/default\x22 /\x3e\n\n\x3clink rel\x3d\x22alternate\x22 type\x3d\x22application/atom+xml\x22 title\x3d\x22scopind - Atom\x22 href\x3d\x22https://www.scopind.com/feeds/5909699278606831853/comments/default\x22 /\x3e\n', 'meTag': '', 'adsenseClientId': 'ca-pub-3012689591656200', 'adsenseHostId': 'ca-host-pub-1556223355139109', 'adsenseHasAds': true, 'adsenseAutoAds': true, 'boqCommentIframeForm': true, 'loginRedirectParam': '', 'view': '', 'dynamicViewsCommentsSrc': '//www.blogblog.com/dynamicviews/4224c15c4e7c9321/js/comments.js', 'dynamicViewsScriptSrc': '//www.blogblog.com/dynamicviews/361ce9cf7a112c52', 'plusOneApiSrc': 'https://apis.google.com/js/platform.js', 'disableGComments': true, 'interstitialAccepted': false, 'sharing': {'platforms': [{'name': 'Get link', 'key': 'link', 'shareMessage': 'Get link', 'target': ''}, {'name': 'Facebook', 'key': 'facebook', 'shareMessage': 'Share to Facebook', 'target': 'facebook'}, {'name': 'BlogThis!', 'key': 'blogThis', 'shareMessage': 'BlogThis!', 'target': 'blog'}, {'name': 'X', 'key': 'twitter', 'shareMessage': 'Share to X', 'target': 'twitter'}, {'name': 'Pinterest', 'key': 'pinterest', 'shareMessage': 'Share to Pinterest', 'target': 'pinterest'}, {'name': 'Email', 'key': 'email', 'shareMessage': 'Email', 'target': 'email'}], 'disableGooglePlus': true, 'googlePlusShareButtonWidth': 0, 'googlePlusBootstrap': '\x3cscript type\x3d\x22text/javascript\x22\x3ewindow.___gcfg \x3d {\x27lang\x27: \x27en\x27};\x3c/script\x3e'}, 'hasCustomJumpLinkMessage': false, 'jumpLinkMessage': 'Read more', 'pageType': 'item', 'postId': '5909699278606831853', 'postImageThumbnailUrl': 'https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEjFPhpblR3l1hBIHSnDeNZBnM9yhQgi39QOx6YtfjuznBXPLHFJtCf7MdY1HwylbWAbarjPgyPAQ8ql2-NQ58DWlhLWHZKIDVVPniApkHgrcJtwxTd4WdLSBxP_araRPLj9-ekztib66xTK/s72-c/FASE.jpg', 'postImageUrl': 'https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEjFPhpblR3l1hBIHSnDeNZBnM9yhQgi39QOx6YtfjuznBXPLHFJtCf7MdY1HwylbWAbarjPgyPAQ8ql2-NQ58DWlhLWHZKIDVVPniApkHgrcJtwxTd4WdLSBxP_araRPLj9-ekztib66xTK/s320/FASE.jpg', 'pageName': 'Fundamental Approaches to Software Engineering', 'pageTitle': 'scopind: Fundamental Approaches to Software Engineering', 'metaDescription': ''}}, {'name': 'features', 'data': {}}, {'name': 'messages', 'data': {'edit': 'Edit', 'linkCopiedToClipboard': 'Link copied to clipboard!', 'ok': 'Ok', 'postLink': 'Post Link'}}, {'name': 'template', 'data': {'name': 'custom', 'localizedName': 'Custom', 'isResponsive': true, 'isAlternateRendering': false, 'isCustom': true}}, {'name': 'view', 'data': {'classic': {'name': 'classic', 'url': '?view\x3dclassic'}, 'flipcard': {'name': 'flipcard', 'url': '?view\x3dflipcard'}, 'magazine': {'name': 'magazine', 'url': '?view\x3dmagazine'}, 'mosaic': {'name': 'mosaic', 'url': '?view\x3dmosaic'}, 'sidebar': {'name': 'sidebar', 'url': '?view\x3dsidebar'}, 'snapshot': {'name': 'snapshot', 'url': '?view\x3dsnapshot'}, 'timeslide': {'name': 'timeslide', 'url': '?view\x3dtimeslide'}, 'isMobile': false, 'title': 'Fundamental Approaches to Software Engineering', 'description': '', 'featuredImage': 'https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEjFPhpblR3l1hBIHSnDeNZBnM9yhQgi39QOx6YtfjuznBXPLHFJtCf7MdY1HwylbWAbarjPgyPAQ8ql2-NQ58DWlhLWHZKIDVVPniApkHgrcJtwxTd4WdLSBxP_araRPLj9-ekztib66xTK/s320/FASE.jpg', 'url': 'https://www.scopind.com/2020/06/fundamental-approaches-to-software.html', 'type': 'item', 'isSingleItem': true, 'isMultipleItems': false, 'isError': false, 'isPage': false, 'isPost': true, 'isHomepage': false, 'isArchive': false, 'isLabelSearch': false, 'postId': 5909699278606831853}}, {'name': 'widgets', 'data': [{'title': 'BlogArchive', 'type': 'BlogArchive', 'sectionId': 'sitting', 'id': 'BlogArchive400'}, {'title': 'BlogLabels', 'type': 'Label', 'sectionId': 'sitting', 'id': 'Label400'}, {'title': 'scopind (Header)', 'type': 'Header', 'sectionId': 'logo', 'id': 'Header1'}, {'title': 'Pages', 'type': 'PageList', 'sectionId': 'pages', 'id': 'PageList1'}, {'title': 'Social Media icons', 'type': 'LinkList', 'sectionId': 'topsocialL', 'id': 'LinkList3'}, {'title': 'Main Menu', 'type': 'LinkList', 'sectionId': 'menu', 'id': 'LinkList001'}, {'title': 'ad under header [only pc]', 'type': 'HTML', 'sectionId': 'Topa3lan-sc', 'id': 'HTML100'}, {'title': 'ad under header [only mopile]', 'type': 'HTML', 'sectionId': 'Topa3lan-sc2', 'id': 'HTML101'}, {'title': 'search ...', 'type': 'BlogSearch', 'sectionId': 'searchform', 'id': 'BlogSearch2'}, {'title': 'Also Like', 'type': 'Label', 'sectionId': 'searchform', 'id': 'Label002'}, {'title': 'Comments menu', 'type': 'TextList', 'sectionId': 'sitteng-menu hide', 'id': 'TextList88'}, {'title': 'table of contents feature', 'type': 'HTML', 'sectionId': 'AddOns', 'id': 'HTML1'}, {'title': 'See Also feature', 'type': 'HTML', 'sectionId': 'AddOns', 'id': 'HTML2'}, {'title': 'contact form', 'type': 'ContactForm', 'sectionId': 'AddOns', 'id': 'ContactForm200'}, {'title': 'last posts', 'type': 'HTML', 'sectionId': 'shreeta5bar', 'id': 'HTML300'}, {'title': '', 'type': 'HTML', 'sectionId': 'TopPost-sc', 'id': 'HTML3'}, {'title': 'Engineering', 'type': 'HTML', 'sectionId': 'Postnw1', 'id': 'HTML6'}, {'title': 'Computer Science', 'type': 'HTML', 'sectionId': 'Postnw2', 'id': 'HTML5'}, {'title': 'Mathematics', 'type': 'HTML', 'sectionId': 'Postnw3', 'id': 'HTML4'}, {'title': 'Chemistry', 'type': 'HTML', 'sectionId': 'Postcs1', 'id': 'HTML7'}, {'title': 'Blog Posts', 'type': 'Blog', 'sectionId': 'Tempnec', 'id': 'Blog1', 'posts': [{'id': '5909699278606831853', 'title': 'Fundamental Approaches to Software Engineering', 'featuredImage': 'https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEjFPhpblR3l1hBIHSnDeNZBnM9yhQgi39QOx6YtfjuznBXPLHFJtCf7MdY1HwylbWAbarjPgyPAQ8ql2-NQ58DWlhLWHZKIDVVPniApkHgrcJtwxTd4WdLSBxP_araRPLj9-ekztib66xTK/s320/FASE.jpg', 'showInlineAds': false}], 'footerBylines': [{'regionName': 'footer1', 'items': [{'name': 'comments', 'label': 'comments'}, {'name': 'share', 'label': ''}]}, {'regionName': 'footer2', 'items': [{'name': 'labels', 'label': ''}]}], 'allBylineItems': [{'name': 'comments', 'label': 'comments'}, {'name': 'share', 'label': ''}, {'name': 'labels', 'label': ''}]}, {'title': '', 'type': 'HTML', 'sectionId': 'PostA3lan2', 'id': 'HTML16'}, {'title': 'Main Post Ad\x27s', 'type': 'LinkList', 'sectionId': 'PostA3lan', 'id': 'LinkList005'}, {'title': 'Medicine', 'type': 'HTML', 'sectionId': 'Postcs5', 'id': 'HTML10'}, {'title': 'Biological Sciences', 'type': 'HTML', 'sectionId': 'Postcs8', 'id': 'HTML13'}, {'title': 'Social Sciences', 'type': 'HTML', 'sectionId': 'Postcs8', 'id': 'HTML15'}, {'title': 'social media', 'type': 'LinkList', 'sectionId': 'sidepar', 'id': 'LinkList4'}, {'title': 'Follow us', 'type': 'HTML', 'sectionId': 'sidepar', 'id': 'HTML8'}, {'title': '', 'type': 'PopularPosts', 'sectionId': 'sidepar', 'id': 'PopularPosts1', 'posts': [{'title': 'Biology and Life Sciences Scopus Journals', 'id': 2958305098607897074}, {'title': 'Taylor and Francis Scopus indexed Journals', 'id': 3762498044266763662}, {'title': 'Scopus Indexed Journals - I -', 'id': 3406617831410072624}, {'title': 'Nature Physics', 'id': 396041268917625852}, {'title': 'Scopus Indexed journals in Mathematics (miscellaneous)', 'id': 839199365613270372}]}, {'title': 'Labels', 'type': 'Label', 'sectionId': 'sidepar', 'id': 'Label1'}, {'title': 'Pages', 'type': 'PageList', 'sectionId': 'sidepar', 'id': 'PageList2'}, {'title': 'Videos', 'type': 'HTML', 'sectionId': 'BotPostsc', 'id': 'HTML11'}, {'title': 'Total Pageviews', 'type': 'Stats', 'sectionId': 'footer-col3', 'id': 'Stats1'}, {'title': 'Latest Comments', 'type': 'HTML', 'sectionId': 'footer-col4', 'id': 'HTML12'}]}]); _WidgetManager._RegisterWidget('_BlogArchiveView', new _WidgetInfo('BlogArchive400', 'sitting', document.getElementById('BlogArchive400'), {'languageDirection': 'ltr', 'loadingMessage': 'Loading\x26hellip;'}, 'displayModeFull')); _WidgetManager._RegisterWidget('_LabelView', new _WidgetInfo('Label400', 'sitting', document.getElementById('Label400'), {}, 'displayModeFull')); _WidgetManager._RegisterWidget('_HeaderView', new _WidgetInfo('Header1', 'logo', document.getElementById('Header1'), {}, 'displayModeFull')); _WidgetManager._RegisterWidget('_PageListView', new _WidgetInfo('PageList1', 'pages', document.getElementById('PageList1'), {'title': 'Pages', 'links': [{'isCurrentPage': false, 'href': 'https://www.scopind.com/p/about-us.html', 'id': '4800011547669469999', 'title': 'About Us'}, {'isCurrentPage': false, 'href': 'https://www.scopind.com/p/contact-us.html', 'id': '4613822287908499549', 'title': 'Contact us'}], 'mobile': false, 'showPlaceholder': true, 'hasCurrentPage': false}, 'displayModeFull')); _WidgetManager._RegisterWidget('_LinkListView', new _WidgetInfo('LinkList3', 'topsocialL', document.getElementById('LinkList3'), {}, 'displayModeFull')); _WidgetManager._RegisterWidget('_LinkListView', new _WidgetInfo('LinkList001', 'menu', document.getElementById('LinkList001'), {}, 'displayModeFull')); _WidgetManager._RegisterWidget('_HTMLView', new _WidgetInfo('HTML100', 'Topa3lan-sc', document.getElementById('HTML100'), {}, 'displayModeFull')); _WidgetManager._RegisterWidget('_HTMLView', new _WidgetInfo('HTML101', 'Topa3lan-sc2', document.getElementById('HTML101'), {}, 'displayModeFull')); _WidgetManager._RegisterWidget('_BlogSearchView', new _WidgetInfo('BlogSearch2', 'searchform', document.getElementById('BlogSearch2'), {}, 'displayModeFull')); _WidgetManager._RegisterWidget('_LabelView', new _WidgetInfo('Label002', 'searchform', document.getElementById('Label002'), {}, 'displayModeFull')); _WidgetManager._RegisterWidget('_TextListView', new _WidgetInfo('TextList88', 'sitteng-menu hide', document.getElementById('TextList88'), {}, 'displayModeFull')); _WidgetManager._RegisterWidget('_HTMLView', new _WidgetInfo('HTML1', 'AddOns', document.getElementById('HTML1'), {}, 'displayModeFull')); _WidgetManager._RegisterWidget('_HTMLView', new _WidgetInfo('HTML2', 'AddOns', document.getElementById('HTML2'), {}, 'displayModeFull')); _WidgetManager._RegisterWidget('_ContactFormView', new _WidgetInfo('ContactForm200', 'AddOns', document.getElementById('ContactForm200'), {'contactFormMessageSendingMsg': 'Sending...', 'contactFormMessageSentMsg': 'Your message has been sent.', 'contactFormMessageNotSentMsg': 'Message could not be sent. Please try again later.', 'contactFormInvalidEmailMsg': 'A valid email address is required.', 'contactFormEmptyMessageMsg': 'Message field cannot be empty.', 'title': 'contact form', 'blogId': '4337164100960145190', 'contactFormNameMsg': 'Name', 'contactFormEmailMsg': 'Email', 'contactFormMessageMsg': 'Message', 'contactFormSendMsg': 'Send', 'contactFormToken': 'AOuZoY5WbPlcelX08vShFt0zmrh7_48MMA:1735227393385', 'submitUrl': 'https://www.blogger.com/contact-form.do'}, 'displayModeFull')); _WidgetManager._RegisterWidget('_HTMLView', new _WidgetInfo('HTML300', 'shreeta5bar', document.getElementById('HTML300'), {}, 'displayModeFull')); _WidgetManager._RegisterWidget('_HTMLView', new _WidgetInfo('HTML3', 'TopPost-sc', document.getElementById('HTML3'), {}, 'displayModeFull')); _WidgetManager._RegisterWidget('_HTMLView', new _WidgetInfo('HTML6', 'Postnw1', document.getElementById('HTML6'), {}, 'displayModeFull')); _WidgetManager._RegisterWidget('_HTMLView', new _WidgetInfo('HTML5', 'Postnw2', document.getElementById('HTML5'), {}, 'displayModeFull')); _WidgetManager._RegisterWidget('_HTMLView', new _WidgetInfo('HTML4', 'Postnw3', document.getElementById('HTML4'), {}, 'displayModeFull')); _WidgetManager._RegisterWidget('_HTMLView', new _WidgetInfo('HTML7', 'Postcs1', document.getElementById('HTML7'), {}, 'displayModeFull')); _WidgetManager._RegisterWidget('_BlogView', new _WidgetInfo('Blog1', 'Tempnec', document.getElementById('Blog1'), {'cmtInteractionsEnabled': false, 'lightboxEnabled': true, 'lightboxModuleUrl': 'https://www.blogger.com/static/v1/jsbin/3846405171-lbx.js', 'lightboxCssUrl': 'https://www.blogger.com/static/v1/v-css/1964470060-lightbox_bundle.css'}, 'displayModeFull')); _WidgetManager._RegisterWidget('_HTMLView', new _WidgetInfo('HTML16', 'PostA3lan2', document.getElementById('HTML16'), {}, 'displayModeFull')); _WidgetManager._RegisterWidget('_LinkListView', new _WidgetInfo('LinkList005', 'PostA3lan', document.getElementById('LinkList005'), {}, 'displayModeFull')); _WidgetManager._RegisterWidget('_HTMLView', new _WidgetInfo('HTML10', 'Postcs5', document.getElementById('HTML10'), {}, 'displayModeFull')); _WidgetManager._RegisterWidget('_HTMLView', new _WidgetInfo('HTML13', 'Postcs8', document.getElementById('HTML13'), {}, 'displayModeFull')); _WidgetManager._RegisterWidget('_HTMLView', new _WidgetInfo('HTML15', 'Postcs8', document.getElementById('HTML15'), {}, 'displayModeFull')); _WidgetManager._RegisterWidget('_LinkListView', new _WidgetInfo('LinkList4', 'sidepar', document.getElementById('LinkList4'), {}, 'displayModeFull')); _WidgetManager._RegisterWidget('_HTMLView', new _WidgetInfo('HTML8', 'sidepar', document.getElementById('HTML8'), {}, 'displayModeFull')); _WidgetManager._RegisterWidget('_PopularPostsView', new _WidgetInfo('PopularPosts1', 'sidepar', document.getElementById('PopularPosts1'), {}, 'displayModeFull')); _WidgetManager._RegisterWidget('_LabelView', new _WidgetInfo('Label1', 'sidepar', document.getElementById('Label1'), {}, 'displayModeFull')); _WidgetManager._RegisterWidget('_PageListView', new _WidgetInfo('PageList2', 'sidepar', document.getElementById('PageList2'), {'title': 'Pages', 'links': [], 'mobile': false, 'showPlaceholder': true, 'hasCurrentPage': false}, 'displayModeFull')); _WidgetManager._RegisterWidget('_HTMLView', new _WidgetInfo('HTML11', 'BotPostsc', document.getElementById('HTML11'), {}, 'displayModeFull')); _WidgetManager._RegisterWidget('_StatsView', new _WidgetInfo('Stats1', 'footer-col3', document.getElementById('Stats1'), {'title': 'Total Pageviews', 'showGraphicalCounter': false, 'showAnimatedCounter': false, 'showSparkline': true, 'statsUrl': '//www.scopind.com/b/stats?style\x3dBLACK_TRANSPARENT\x26timeRange\x3dALL_TIME\x26token\x3dAPq4FmDtoQwJ8bFs_vxoQYREYOGMr-KrTI92RNneQMlD4IaRCoOsDWcOubXgM5jT63FuH5_uVUchCqGuayKXA9pQbSrPR88UWA'}, 'displayModeFull')); _WidgetManager._RegisterWidget('_HTMLView', new _WidgetInfo('HTML12', 'footer-col4', document.getElementById('HTML12'), {}, 'displayModeFull'));