Fundamental Approaches to Software Engineering

July 25, 2023

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

Latest articles from : Book

Comments

No comments

Post a Comment

Reading Mode :

Font Size

lines height

window['__wavt'] = 'AOuZoY5CKvqcxjdkteBNrUdtwFGr1UDu_A:1695955915490';_WidgetManager._Init('//www.blogger.com/rearrange?blogID\x3d3764158921867722197','//www.journalsfinder.com/2020/06/fundamental-approaches-to-software.html','3764158921867722197'); _WidgetManager._SetDataContext([{'name': 'blog', 'data': {'blogId': '3764158921867722197', 'title': 'journalsfinder', 'url': 'https://www.journalsfinder.com/2020/06/fundamental-approaches-to-software.html', 'canonicalUrl': 'https://www.journalsfinder.com/2020/06/fundamental-approaches-to-software.html', 'homepageUrl': 'https://www.journalsfinder.com/', 'searchUrl': 'https://www.journalsfinder.com/search', 'canonicalHomepageUrl': 'https://www.journalsfinder.com/', 'blogspotFaviconUrl': 'https://www.journalsfinder.com/favicon.ico', 'bloggerUrl': 'https://www.blogger.com', 'hasCustomDomain': true, 'httpsEnabled': true, 'enabledCommentProfileImages': true, 'gPlusViewType': 'FILTERED_POSTMOD', 'adultContent': false, 'analyticsAccountNumber': '', '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\x22journalsfinder - Atom\x22 href\x3d\x22https://www.journalsfinder.com/feeds/posts/default\x22 /\x3e\n\x3clink rel\x3d\x22alternate\x22 type\x3d\x22application/rss+xml\x22 title\x3d\x22journalsfinder - RSS\x22 href\x3d\x22https://www.journalsfinder.com/feeds/posts/default?alt\x3drss\x22 /\x3e\n\x3clink rel\x3d\x22service.post\x22 type\x3d\x22application/atom+xml\x22 title\x3d\x22journalsfinder - Atom\x22 href\x3d\x22https://www.blogger.com/feeds/3764158921867722197/posts/default\x22 /\x3e\n\n\x3clink rel\x3d\x22alternate\x22 type\x3d\x22application/atom+xml\x22 title\x3d\x22journalsfinder - Atom\x22 href\x3d\x22https://www.journalsfinder.com/feeds/1723884986521092080/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/2d0a24a4c015fadb', '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': 'Twitter', 'key': 'twitter', 'shareMessage': 'Share to Twitter', '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': '1723884986521092080', 'postImageThumbnailUrl': 'https://1.bp.blogspot.com/-Pw6M8sVkdzo/XvhrEjTjHmI/AAAAAAAAND0/IsyZJjfyy_wVLSCkiDIVvEN2j8YDHSxQACLcBGAsYHQ/s72-c/FASE.jpg', 'postImageUrl': 'https://1.bp.blogspot.com/-Pw6M8sVkdzo/XvhrEjTjHmI/AAAAAAAAND0/IsyZJjfyy_wVLSCkiDIVvEN2j8YDHSxQACLcBGAsYHQ/s320/FASE.jpg', 'pageName': 'Fundamental Approaches to Software Engineering', 'pageTitle': 'journalsfinder: 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://1.bp.blogspot.com/-Pw6M8sVkdzo/XvhrEjTjHmI/AAAAAAAAND0/IsyZJjfyy_wVLSCkiDIVvEN2j8YDHSxQACLcBGAsYHQ/s320/FASE.jpg', 'url': 'https://www.journalsfinder.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': 1723884986521092080}}, {'name': 'widgets', 'data': [{'title': 'BlogArchive', 'type': 'BlogArchive', 'sectionId': 'sitting', 'id': 'BlogArchive400'}, {'title': 'BlogLabels', 'type': 'Label', 'sectionId': 'sitting', 'id': 'Label400'}, {'title': '\u0627\u0644\u0635\u0641\u062d\u0627\u062a', 'type': 'PageList', 'sectionId': 'pages', 'id': 'PageList1'}, {'title': 'journalsfinder (Header)', 'type': 'Header', 'sectionId': 'logo', 'id': 'Header1'}, {'title': '\u0627\u0644\u0642\u0627\u0626\u0645\u0629 \u0627\u0644\u0631\u0626\u064a\u0633\u064a\u0629', 'type': 'LinkList', 'sectionId': 'menu', 'id': 'LinkList22'}, {'title': 'Hot News', 'type': 'HTML', 'sectionId': 'shreeta5bar', 'id': 'HTML300'}, {'title': 'Hide sidepar from post', 'type': 'HTML', 'sectionId': 'TopPost-sc', 'id': 'HTML3'}, {'title': 'Scopus', 'type': 'HTML', 'sectionId': 'TopPost-sc', 'id': 'HTML4'}, {'title': 'Engineering', 'type': 'HTML', 'sectionId': 'Postnw1', 'id': 'HTML7'}, {'title': 'Computer Science', 'type': 'HTML', 'sectionId': 'Postnw2', 'id': 'HTML6'}, {'title': 'Mathematics', 'type': 'HTML', 'sectionId': 'Postnw3', 'id': 'HTML8'}, {'title': 'Journals', 'type': 'HTML', 'sectionId': 'Postcs1', 'id': 'HTML9'}, {'title': 'Blog Posts', 'type': 'Blog', 'sectionId': 'Tempnec', 'id': 'Blog1', 'posts': [{'id': '1723884986521092080', 'title': 'Fundamental Approaches to Software Engineering', 'featuredImage': 'https://1.bp.blogspot.com/-Pw6M8sVkdzo/XvhrEjTjHmI/AAAAAAAAND0/IsyZJjfyy_wVLSCkiDIVvEN2j8YDHSxQACLcBGAsYHQ/s320/FASE.jpg', 'showInlineAds': true}], 'headerByline': {'regionName': 'header1', 'items': [{'name': 'share', 'label': ''}, {'name': 'timestamp', 'label': '-'}]}, 'footerBylines': [{'regionName': 'footer1', 'items': [{'name': 'comments', 'label': 'comments'}]}, {'regionName': 'footer2', 'items': [{'name': 'labels', 'label': ''}]}], 'allBylineItems': [{'name': 'share', 'label': ''}, {'name': 'timestamp', 'label': '-'}, {'name': 'comments', 'label': 'comments'}, {'name': 'labels', 'label': ''}]}, {'title': '\u0645\u064a\u0632\u0629 \u062c\u062f\u0648\u0644 \u0627\u0644\u062a\u0646\u0642\u0644', 'type': 'HTML', 'sectionId': 'AddOns', 'id': 'HTML1'}, {'title': '\u0645\u064a\u0632\u0629 \u0634\u0627\u0647\u062f \u0627\u064a\u0636\u0627', 'type': 'HTML', 'sectionId': 'AddOns', 'id': 'HTML2'}, {'title': '\u0646\u0645\u0648\u0630\u062c \u0627\u0644\u0627\u062a\u0635\u0627\u0644', 'type': 'ContactForm', 'sectionId': 'AddOns', 'id': 'ContactForm200'}, {'title': 'Medicine', 'type': 'HTML', 'sectionId': 'Postcs5', 'id': 'HTML11'}, {'title': 'Free Journals', 'type': 'LinkList', 'sectionId': 'sidepar', 'id': 'LinkList1'}, {'title': 'Social', 'type': 'LinkList', 'sectionId': 'sidepar', 'id': 'LinkList4'}, {'title': '', 'type': 'PopularPosts', 'sectionId': 'sidepar', 'id': 'PopularPosts2', 'posts': [{'title': 'Nature Publishing Group', 'id': 2780672557130861205}, {'title': 'Scopus Indexed Journals in Biology', 'id': 7714599625317756423}, {'title': 'Pushpa Publishing House', 'id': 5208508423479857271}, {'title': 'Free Scopus Indexed Journals in Agronomy and Crop Science', 'id': 21860582814163001}, {'title': 'Indian journals indexed in Scopus ', 'id': 7152876819300702727}]}, {'type': 'AdSense', 'sectionId': 'sidepar', 'id': 'AdSense1'}, {'title': '', 'type': 'HTML', 'sectionId': 'sidepar', 'id': 'HTML14'}, {'title': 'Labels', 'type': 'Label', 'sectionId': 'sidepar', 'id': 'Label1'}, {'title': 'Scopus', 'type': 'HTML', 'sectionId': 'sidepar', 'id': 'HTML15'}, {'title': 'JournalsFinder Search', 'type': 'BlogSearch', 'sectionId': 'BotPostsc', 'id': 'BlogSearch1'}, {'title': 'Publishers', 'type': 'HTML', 'sectionId': 'BotPostsc', '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('_PageListView', new _WidgetInfo('PageList1', 'pages', document.getElementById('PageList1'), {'title': '\u0627\u0644\u0635\u0641\u062d\u0627\u062a', 'links': [{'isCurrentPage': false, 'href': 'https://www.journalsfinder.com/', 'title': 'Home'}], 'mobile': false, 'showPlaceholder': false, 'hasCurrentPage': false}, 'displayModeFull')); _WidgetManager._RegisterWidget('_HeaderView', new _WidgetInfo('Header1', 'logo', document.getElementById('Header1'), {}, 'displayModeFull')); _WidgetManager._RegisterWidget('_LinkListView', new _WidgetInfo('LinkList22', 'menu', document.getElementById('LinkList22'), {}, '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('HTML4', 'TopPost-sc', document.getElementById('HTML4'), {}, 'displayModeFull')); _WidgetManager._RegisterWidget('_HTMLView', new _WidgetInfo('HTML7', 'Postnw1', document.getElementById('HTML7'), {}, 'displayModeFull')); _WidgetManager._RegisterWidget('_HTMLView', new _WidgetInfo('HTML6', 'Postnw2', document.getElementById('HTML6'), {}, 'displayModeFull')); _WidgetManager._RegisterWidget('_HTMLView', new _WidgetInfo('HTML8', 'Postnw3', document.getElementById('HTML8'), {}, 'displayModeFull')); _WidgetManager._RegisterWidget('_HTMLView', new _WidgetInfo('HTML9', 'Postcs1', document.getElementById('HTML9'), {}, 'displayModeFull')); _WidgetManager._RegisterWidget('_BlogView', new _WidgetInfo('Blog1', 'Tempnec', document.getElementById('Blog1'), {'cmtInteractionsEnabled': false, 'lightboxEnabled': true, 'lightboxModuleUrl': 'https://www.blogger.com/static/v1/jsbin/3769133935-lbx.js', 'lightboxCssUrl': 'https://www.blogger.com/static/v1/v-css/3268905543-lightbox_bundle.css'}, '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': '\u0646\u0645\u0648\u0630\u062c \u0627\u0644\u0627\u062a\u0635\u0627\u0644', 'blogId': '3764158921867722197', 'contactFormNameMsg': 'Name', 'contactFormEmailMsg': 'Email', 'contactFormMessageMsg': 'Message', 'contactFormSendMsg': 'Send', 'contactFormToken': 'AOuZoY4oYN1r9AhcOc4SLL8-o2o2IziZTg:1695955915491', 'submitUrl': 'https://www.blogger.com/contact-form.do'}, 'displayModeFull')); _WidgetManager._RegisterWidget('_HTMLView', new _WidgetInfo('HTML11', 'Postcs5', document.getElementById('HTML11'), {}, 'displayModeFull')); _WidgetManager._RegisterWidget('_LinkListView', new _WidgetInfo('LinkList1', 'sidepar', document.getElementById('LinkList1'), {}, 'displayModeFull')); _WidgetManager._RegisterWidget('_LinkListView', new _WidgetInfo('LinkList4', 'sidepar', document.getElementById('LinkList4'), {}, 'displayModeFull')); _WidgetManager._RegisterWidget('_PopularPostsView', new _WidgetInfo('PopularPosts2', 'sidepar', document.getElementById('PopularPosts2'), {}, 'displayModeFull')); _WidgetManager._RegisterWidget('_AdSenseView', new _WidgetInfo('AdSense1', 'sidepar', document.getElementById('AdSense1'), {}, 'displayModeFull')); _WidgetManager._RegisterWidget('_HTMLView', new _WidgetInfo('HTML14', 'sidepar', document.getElementById('HTML14'), {}, 'displayModeFull')); _WidgetManager._RegisterWidget('_LabelView', new _WidgetInfo('Label1', 'sidepar', document.getElementById('Label1'), {}, 'displayModeFull')); _WidgetManager._RegisterWidget('_HTMLView', new _WidgetInfo('HTML15', 'sidepar', document.getElementById('HTML15'), {}, 'displayModeFull')); _WidgetManager._RegisterWidget('_BlogSearchView', new _WidgetInfo('BlogSearch1', 'BotPostsc', document.getElementById('BlogSearch1'), {}, 'displayModeFull')); _WidgetManager._RegisterWidget('_HTMLView', new _WidgetInfo('HTML12', 'BotPostsc', document.getElementById('HTML12'), {}, 'displayModeFull'));