Conference Paper/Proceeding/Abstract 640 views
Challenges for Formal Semantic Description: Responses from the Main Approaches
Engineering Trustworthy Software Systems, Pages: 176 - 217
Swansea University Author: Troy Astarte
Full text not available from this repository: check for access using links below.
DOI (Published version): 10.1007/978-3-030-02928-9_6
Abstract
Challenges for Formal Semantic Description: Responses from the Main Approaches
Published in: | Engineering Trustworthy Software Systems |
---|---|
ISBN: | 9783030029272 9783030029289 |
ISSN: | 0302-9743 1611-3349 |
Published: |
Cham
Springer International Publishing
2018
|
Online Access: |
Check full text
|
URI: | https://cronfa.swan.ac.uk/Record/cronfa59374 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
first_indexed |
2022-02-11T09:23:25Z |
---|---|
last_indexed |
2022-03-04T04:28:32Z |
id |
cronfa59374 |
recordtype |
SURis |
fullrecord |
<?xml version="1.0"?><rfc1807><datestamp>2022-03-03T13:11:09.3663882</datestamp><bib-version>v2</bib-version><id>59374</id><entry>2022-02-11</entry><title>Challenges for Formal Semantic Description: Responses from the Main Approaches</title><swanseaauthors><author><sid>e27e50656bd09f48772e6370ee7edae7</sid><firstname>Troy</firstname><surname>Astarte</surname><name>Troy Astarte</name><active>true</active><ethesisStudent>false</ethesisStudent></author></swanseaauthors><date>2022-02-11</date><deptcode>SCS</deptcode><abstract/><type>Conference Paper/Proceeding/Abstract</type><journal>Engineering Trustworthy Software Systems</journal><volume/><journalNumber/><paginationStart>176</paginationStart><paginationEnd>217</paginationEnd><publisher>Springer International Publishing</publisher><placeOfPublication>Cham</placeOfPublication><isbnPrint>9783030029272</isbnPrint><isbnElectronic>9783030029289</isbnElectronic><issnPrint>0302-9743</issnPrint><issnElectronic>1611-3349</issnElectronic><keywords/><publishedDay>13</publishedDay><publishedMonth>11</publishedMonth><publishedYear>2018</publishedYear><publishedDate>2018-11-13</publishedDate><doi>10.1007/978-3-030-02928-9_6</doi><url/><notes/><college>COLLEGE NANME</college><department>Computer Science</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>SCS</DepartmentCode><institution>Swansea University</institution><apcterm/><lastEdited>2022-03-03T13:11:09.3663882</lastEdited><Created>2022-02-11T09:22:54.8350555</Created><path><level id="1">Faculty of Science and Engineering</level><level id="2">School of Mathematics and Computer Science - Computer Science</level></path><authors><author><firstname>Cliff B.</firstname><surname>Jones</surname><orcid>0000-0002-0038-6623</orcid><order>1</order></author><author><firstname>Troy</firstname><surname>Astarte</surname><order>2</order></author></authors><documents/><OutputDurs/></rfc1807> |
spelling |
2022-03-03T13:11:09.3663882 v2 59374 2022-02-11 Challenges for Formal Semantic Description: Responses from the Main Approaches e27e50656bd09f48772e6370ee7edae7 Troy Astarte Troy Astarte true false 2022-02-11 SCS Conference Paper/Proceeding/Abstract Engineering Trustworthy Software Systems 176 217 Springer International Publishing Cham 9783030029272 9783030029289 0302-9743 1611-3349 13 11 2018 2018-11-13 10.1007/978-3-030-02928-9_6 COLLEGE NANME Computer Science COLLEGE CODE SCS Swansea University 2022-03-03T13:11:09.3663882 2022-02-11T09:22:54.8350555 Faculty of Science and Engineering School of Mathematics and Computer Science - Computer Science Cliff B. Jones 0000-0002-0038-6623 1 Troy Astarte 2 |
title |
Challenges for Formal Semantic Description: Responses from the Main Approaches |
spellingShingle |
Challenges for Formal Semantic Description: Responses from the Main Approaches Troy Astarte |
title_short |
Challenges for Formal Semantic Description: Responses from the Main Approaches |
title_full |
Challenges for Formal Semantic Description: Responses from the Main Approaches |
title_fullStr |
Challenges for Formal Semantic Description: Responses from the Main Approaches |
title_full_unstemmed |
Challenges for Formal Semantic Description: Responses from the Main Approaches |
title_sort |
Challenges for Formal Semantic Description: Responses from the Main Approaches |
author_id_str_mv |
e27e50656bd09f48772e6370ee7edae7 |
author_id_fullname_str_mv |
e27e50656bd09f48772e6370ee7edae7_***_Troy Astarte |
author |
Troy Astarte |
author2 |
Cliff B. Jones Troy Astarte |
format |
Conference Paper/Proceeding/Abstract |
container_title |
Engineering Trustworthy Software Systems |
container_start_page |
176 |
publishDate |
2018 |
institution |
Swansea University |
isbn |
9783030029272 9783030029289 |
issn |
0302-9743 1611-3349 |
doi_str_mv |
10.1007/978-3-030-02928-9_6 |
publisher |
Springer International Publishing |
college_str |
Faculty of Science and Engineering |
hierarchytype |
|
hierarchy_top_id |
facultyofscienceandengineering |
hierarchy_top_title |
Faculty of Science and Engineering |
hierarchy_parent_id |
facultyofscienceandengineering |
hierarchy_parent_title |
Faculty of Science and Engineering |
department_str |
School of Mathematics and Computer Science - Computer Science{{{_:::_}}}Faculty of Science and Engineering{{{_:::_}}}School of Mathematics and Computer Science - Computer Science |
document_store_str |
0 |
active_str |
0 |
published_date |
2018-11-13T04:16:38Z |
_version_ |
1763754113218117632 |
score |
11.016392 |