{"id":"https://openalex.org/W4231728372","doi":"https://doi.org/10.1007/s001650200000","title":"Editorial","display_name":"Editorial","publication_year":2002,"publication_date":"2002-05-01","ids":{"openalex":"https://openalex.org/W4231728372","doi":"https://doi.org/10.1007/s001650200000"},"language":"en","primary_location":{"id":"doi:10.1007/s001650200000","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s001650200000","pdf_url":"https://dl.acm.org/doi/pdf/10.1007/s001650200000","source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"},"type":"editorial","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1007/s001650200000","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5039670487","display_name":"John P. Cooke","orcid":"https://orcid.org/0000-0003-0033-9138"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"John Cooke","raw_affiliation_strings":[""],"affiliations":[{"raw_affiliation_string":"","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5009539936","display_name":"Tim Denvir","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Tim Denvir","raw_affiliation_strings":[""],"affiliations":[{"raw_affiliation_string":"","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5039670487"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.3917751,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"13","issue":"2","first_page":"93","last_page":"93"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.833899974822998,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.833899974822998,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.04639999940991402,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.02669999934732914,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/viewpoints","display_name":"Viewpoints","score":0.7064744830131531},{"id":"https://openalex.org/keywords/theme","display_name":"Theme (computing)","score":0.6227817535400391},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5783405303955078},{"id":"https://openalex.org/keywords/editorial-board","display_name":"Editorial board","score":0.46760526299476624},{"id":"https://openalex.org/keywords/operations-research","display_name":"Operations research","score":0.46265608072280884},{"id":"https://openalex.org/keywords/library-science","display_name":"Library science","score":0.45795002579689026},{"id":"https://openalex.org/keywords/object","display_name":"Object (grammar)","score":0.448537141084671},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.20005536079406738},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.18028545379638672},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1751480996608734},{"id":"https://openalex.org/keywords/art","display_name":"Art","score":0.09336733818054199}],"concepts":[{"id":"https://openalex.org/C2776035091","wikidata":"https://www.wikidata.org/wiki/Q7928819","display_name":"Viewpoints","level":2,"score":0.7064744830131531},{"id":"https://openalex.org/C33566652","wikidata":"https://www.wikidata.org/wiki/Q1065927","display_name":"Theme (computing)","level":2,"score":0.6227817535400391},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5783405303955078},{"id":"https://openalex.org/C3020068454","wikidata":"https://www.wikidata.org/wiki/Q2985386","display_name":"Editorial board","level":2,"score":0.46760526299476624},{"id":"https://openalex.org/C42475967","wikidata":"https://www.wikidata.org/wiki/Q194292","display_name":"Operations research","level":1,"score":0.46265608072280884},{"id":"https://openalex.org/C161191863","wikidata":"https://www.wikidata.org/wiki/Q199655","display_name":"Library science","level":1,"score":0.45795002579689026},{"id":"https://openalex.org/C2781238097","wikidata":"https://www.wikidata.org/wiki/Q175026","display_name":"Object (grammar)","level":2,"score":0.448537141084671},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.20005536079406738},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.18028545379638672},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1751480996608734},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.09336733818054199},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s001650200000","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s001650200000","pdf_url":"https://dl.acm.org/doi/pdf/10.1007/s001650200000","source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1007/s001650200000","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s001650200000","pdf_url":"https://dl.acm.org/doi/pdf/10.1007/s001650200000","source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4231728372.pdf","grobid_xml":"https://content.openalex.org/works/W4231728372.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2385368906","https://openalex.org/W2902924992","https://openalex.org/W2626642044","https://openalex.org/W2619807045","https://openalex.org/W2388758053","https://openalex.org/W93537448","https://openalex.org/W2949734191","https://openalex.org/W2017333877","https://openalex.org/W2048332520","https://openalex.org/W4233821346"],"abstract_inverted_index":{"Abstract.":[0],"In":[1],"June":[2],"1999,":[3],"the":[4,18,24,27,65,93,96,116,132,136,177,185,189,197,248,260,289],"first":[5,190],"International":[6],"Workshop":[7],"on":[8,196],"Integrated":[9],"Formal":[10],"Methods":[11],"was":[12,26,85],"held":[13],"at":[14],"York":[15],"University":[16],"in":[17,143,301],"UK.":[19],"The":[20,41,172,277],"primary":[21],"aim":[22],"of":[23,29,75,115,138,179,184,199,250,273,291,313],"workshop":[25,42],"combination":[28],"behavioural":[30],"and":[31,51,54,82,128,162,188,211,213,224,240,255,257,269,283,295,351],"state-based":[32],"formalisms":[33,304],"to":[34,38,71,95,108,209,228,265,320,330,335,348,353],"yield":[35],"practical":[36],"solutions":[37],"industrial":[39],"problems.":[40],"proceedings":[43],"were":[44,69,148],"edited":[45],"by":[46,62,87,271,280],"Keijiro":[47],"Araki,":[48],"Andy":[49,88],"Galloway":[50,89],"Kenji":[52],"Taguchi":[53],"are":[55,234,344],"available":[56],"as":[57,218],"\u201cIFM99\u201d":[58],"(ISBN":[59],"1-85233-107-0,":[60],"published":[61],"Springer).":[63],"After":[64],"workshop,":[66],"selected":[67],"authors":[68],"invited":[70],"develop":[72],"journal":[73,97,117],"versions":[74],"their":[76],"papers,":[77],"incorporating":[78],"further":[79,160,170],"extensions,":[80],"corrections":[81],"revisions.":[83],"This":[84],"arranged":[86],"who":[90],"then":[91,235],"passed":[92],"papers":[94,147,192],"for":[98,141,150,287,296],"refereeing.":[99],"And":[100],"here":[101],"we":[102],"must":[103],"record":[104],"our":[105],"sincere":[106],"thanks":[107],"Andy.":[109],"Without":[110],"his":[111,215],"efforts":[112],"this":[113,311],"issue":[114],"would":[118],"simply":[119],"not":[120,310],"have":[121,305],"been":[122,306],"possible.":[123],"Following":[124],"reports":[125],"from":[126,131,247],"referees":[127],"senior":[129],"colleagues":[130],"editorial":[133],"board":[134],"(and":[135],"withdrawal":[137],"one":[139],"submission":[140],"publication":[142,151],"a":[144,274,285],"book)":[145],"five":[146],"accepted":[149],"here.":[152],"We":[153],"hope":[154],"that":[155,342],"those":[156],"rejected":[157],"will":[158],"be":[159,336,349,354],"revised":[161],"resubmitted;":[163],"they":[164],"contained":[165],"good":[166],"work":[167],"but":[168],"required":[169,264],"development.":[171],"common":[173],"theme":[174,198],"is,":[175],"predictably,":[176],"marrying":[178],"component":[180],"specification":[181,325],"with":[182,252,298],"control":[183],"interconnecting":[186],"system,":[187],"4":[191],"all":[193],"present":[194],"variations":[195],"Z":[200,210],"+":[201],"CSP.":[202,238],"S\u00fchl":[203],"adds":[204],"an":[205],"additional":[206],"structuring":[207],"mechanism":[208,286],"CSP":[212,268],"targets":[214],"application":[216],"area":[217,312],"real-time":[219],"embedded":[220],"systems,":[221],"whereas":[222],"Derrick":[223],"Boiten":[225],"use":[226],"Object-Z":[227,251,270],"give":[229],"partial":[230,293],"specifications":[231,294,300],"(viewpoints)":[232],"which":[233,245,302],"combined":[236],"using":[237],"Smith":[239],"Hayes":[241],"describe":[242],"Real-time":[243],"Object-Z,":[244],"results":[246],"integration":[249],"timed":[253],"traces,":[254],"Mahony":[256],"Dong":[258],"investigate":[259],"necessary":[261],"formal":[262,314],"underpinning":[263],"combine":[266],"Timed":[267],"means":[272],"trace":[275],"model.":[276],"final":[278],"paper,":[279],"Gro\u00dfe-Rhode,":[281],"introduces":[282],"illustrates":[284],"checking":[288],"compatibility":[290],"different":[292,303],"coping":[297],"composite":[299],"used.":[307],"Whether":[308],"or":[309,327],"methods":[315],"research":[316],"merely":[317],"allows":[318],"us":[319],"integrate":[321],"different,":[322],"more":[323],"\u2018appropriate\u2019,":[324],"languages":[326,333],"gives":[328],"rise":[329],"new":[331],"hybrid":[332],"remains":[334],"seen.":[337],"What":[338],"is":[339,341],"certain":[340],"there":[343],"still":[345],"many":[346],"problems":[347],"tackled":[350],"technology":[352],"transferred.":[355]},"counts_by_year":[],"updated_date":"2026-03-03T08:47:05.690250","created_date":"2022-05-12T00:00:00"}