{"id":"https://openalex.org/W1757320854","doi":"https://doi.org/10.1109/sccc.2001.972649","title":"Facilities of practice reflecting abstractions of theory, and vice versa","display_name":"Facilities of practice reflecting abstractions of theory, and vice versa","publication_year":2002,"publication_date":"2002-11-13","ids":{"openalex":"https://openalex.org/W1757320854","doi":"https://doi.org/10.1109/sccc.2001.972649","mag":"1757320854"},"language":"en","primary_location":{"id":"doi:10.1109/sccc.2001.972649","is_oa":false,"landing_page_url":"https://doi.org/10.1109/sccc.2001.972649","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SCCC 2001. 21st International Conference of the Chilean Computer Science Society","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5074223722","display_name":"Tommi Mikkonen","orcid":"https://orcid.org/0000-0002-8540-9918"},"institutions":[{"id":"https://openalex.org/I4210133110","display_name":"Tampere University","ror":null,"country_code":"FI","type":null,"lineage":["https://openalex.org/I4210133110"]}],"countries":["FI"],"is_corresponding":true,"raw_author_name":"T. Mikkonen","raw_affiliation_strings":["Software Systems Laboratory, Tampere University of Technology, Tampere, Finland"],"affiliations":[{"raw_affiliation_string":"Software Systems Laboratory, Tampere University of Technology, Tampere, Finland","institution_ids":["https://openalex.org/I4210133110"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5060429347","display_name":"Risto Pitk\u00e4nen","orcid":null},"institutions":[{"id":"https://openalex.org/I4210133110","display_name":"Tampere University","ror":null,"country_code":"FI","type":null,"lineage":["https://openalex.org/I4210133110"]}],"countries":["FI"],"is_corresponding":false,"raw_author_name":"R. Pitkanen","raw_affiliation_strings":["Software Systems Laboratory, Tampere University of Technology, Tampere, Finland"],"affiliations":[{"raw_affiliation_string":"Software Systems Laboratory, Tampere University of Technology, Tampere, Finland","institution_ids":["https://openalex.org/I4210133110"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5074223722"],"corresponding_institution_ids":["https://openalex.org/I4210133110"],"apc_list":null,"apc_paid":null,"fwci":0.6633,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.80377638,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"203","last_page":"212"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10260","display_name":"Software Engineering Research","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/computer-science","display_name":"Computer science","score":0.7769486904144287},{"id":"https://openalex.org/keywords/formalism","display_name":"Formalism (music)","score":0.6716302037239075},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.5904097557067871},{"id":"https://openalex.org/keywords/field","display_name":"Field (mathematics)","score":0.5607657432556152},{"id":"https://openalex.org/keywords/focus","display_name":"Focus (optics)","score":0.5204510688781738},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.5162353515625},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.47419053316116333},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.4267004132270813},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3481695055961609}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7769486904144287},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.6716302037239075},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5904097557067871},{"id":"https://openalex.org/C9652623","wikidata":"https://www.wikidata.org/wiki/Q190109","display_name":"Field (mathematics)","level":2,"score":0.5607657432556152},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.5204510688781738},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.5162353515625},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.47419053316116333},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.4267004132270813},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3481695055961609},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.0},{"id":"https://openalex.org/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"score":0.0},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/sccc.2001.972649","is_oa":false,"landing_page_url":"https://doi.org/10.1109/sccc.2001.972649","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SCCC 2001. 21st International Conference of the Chilean Computer Science Society","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9","score":0.550000011920929}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":30,"referenced_works":["https://openalex.org/W58202191","https://openalex.org/W141714374","https://openalex.org/W326353637","https://openalex.org/W1491772622","https://openalex.org/W1507073538","https://openalex.org/W1533409578","https://openalex.org/W1554942255","https://openalex.org/W1572116564","https://openalex.org/W1593874741","https://openalex.org/W1600768314","https://openalex.org/W1649645444","https://openalex.org/W1716277556","https://openalex.org/W1857327297","https://openalex.org/W1976196301","https://openalex.org/W2013173096","https://openalex.org/W2015688007","https://openalex.org/W2103953153","https://openalex.org/W2124876378","https://openalex.org/W2146573716","https://openalex.org/W2146697777","https://openalex.org/W2154656053","https://openalex.org/W2154710621","https://openalex.org/W2158096453","https://openalex.org/W2293624369","https://openalex.org/W2422272475","https://openalex.org/W3080144263","https://openalex.org/W3183224878","https://openalex.org/W4229565165","https://openalex.org/W4238185244","https://openalex.org/W6629493815"],"related_works":["https://openalex.org/W2012531322","https://openalex.org/W2402761219","https://openalex.org/W2785900585","https://openalex.org/W2353730437","https://openalex.org/W2490303674","https://openalex.org/W2609066826","https://openalex.org/W2810752900","https://openalex.org/W2365677836","https://openalex.org/W2531295127","https://openalex.org/W3186538219"],"abstract_inverted_index":{"The":[0,103],"gap":[1],"between":[2,165],"theory":[3,22,77,166],"and":[4,23,59,83,111,167],"practice":[5,24,168],"has":[6],"been":[7],"identified":[8],"as":[9],"one":[10],"of":[11,18,31,54,57,100,119],"the":[12,16,28,52,55,90,98,117,130,132,138],"key":[13],"problems":[14],"in":[15,169],"field":[17,53,64],"software":[19,32,142,171],"engineering.":[20,172],"While":[21],"both":[25],"acknowledge":[26],"that":[27,92,122,145],"core":[29],"problem":[30],"development":[33,71,99],"is":[34,107],"managing":[35],"increasing":[36],"complexity,":[37],"they":[38],"offer":[39],"different":[40],"mindsets":[41],"for":[42,97,116,151],"solving":[43],"associated":[44],"problems.":[45],"In":[46,62],"this":[47,63],"paper,":[48],"we":[49,105,136,159],"will":[50],"address":[51],"design":[56],"behavioral":[58],"interactive":[60],"properties.":[61],"pragmatic":[65],"approaches":[66,144],"provide":[67,146],"facilities":[68,150],"to":[69,140],"improve":[70],"done":[72],"by":[73,88],"expert":[74,153],"engineers,":[75],"whereas":[76],"largely":[78],"focuses":[79],"on":[80],"finding":[81],"abstractions":[82,91,131],"their":[84,126,157],"formalizations.":[85],"We":[86],"start":[87],"discussing":[89,156],"a":[93,109,112],"formal":[94],"method":[95,113,134],"offers":[96],"embedded":[101],"systems.":[102],"formalism":[104],"use":[106],"DisCo,":[108],"language":[110],"specifically":[114],"designed":[115],"specification":[118],"reactive":[120],"systems":[121],"continuously":[123],"interact":[124],"with":[125,161],"environments.":[127],"Upon":[128],"introducing":[129],"DisCo":[133],"provides,":[135],"shift":[137],"focus":[139],"practical":[141],"engineering":[143],"similar":[147],"or":[148],"related":[149],"an":[152],"analyst.":[154],"After":[155],"similarities,":[158],"conclude":[160],"some":[162],"fundamental":[163],"differences":[164],"today's":[170]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}