{"id":"https://openalex.org/W2543021132","doi":"https://doi.org/10.4018/ijismd.2016070101","title":"First Steps Towards a Wise Development Environment for Behavioral Models","display_name":"First Steps Towards a Wise Development Environment for Behavioral Models","publication_year":2016,"publication_date":"2016-07-01","ids":{"openalex":"https://openalex.org/W2543021132","doi":"https://doi.org/10.4018/ijismd.2016070101","mag":"2543021132"},"language":"en","primary_location":{"id":"doi:10.4018/ijismd.2016070101","is_oa":false,"landing_page_url":"https://doi.org/10.4018/ijismd.2016070101","pdf_url":null,"source":{"id":"https://openalex.org/S83337018","display_name":"International Journal of Information System Modeling and Design","issn_l":"1947-8186","issn":["1947-8186","1947-8194"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320424","host_organization_name":"IGI Global","host_organization_lineage":["https://openalex.org/P4310320424"],"host_organization_lineage_names":["IGI Global"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Information System Modeling and Design","raw_type":"journal-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/A5088778612","display_name":"David Harel","orcid":"https://orcid.org/0000-0001-7240-3931"},"institutions":[{"id":"https://openalex.org/I53964585","display_name":"Weizmann Institute of Science","ror":"https://ror.org/0316ej306","country_code":"IL","type":"education","lineage":["https://openalex.org/I53964585"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"David Harel","raw_affiliation_strings":["Department of Computer Science and Applied Mathematics, Weizmann Institute of Science, Rehovot, Israel"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Applied Mathematics, Weizmann Institute of Science, Rehovot, Israel","institution_ids":["https://openalex.org/I53964585"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102986148","display_name":"Guy Katz","orcid":"https://orcid.org/0000-0002-7729-8373"},"institutions":[{"id":"https://openalex.org/I97018004","display_name":"Stanford University","ror":"https://ror.org/00f54p054","country_code":"US","type":"education","lineage":["https://openalex.org/I97018004"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Guy Katz","raw_affiliation_strings":["Computer Science Department, Stanford University, Stanford, CA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Science Department, Stanford University, Stanford, CA, USA","institution_ids":["https://openalex.org/I97018004"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5001014374","display_name":"Rami Marelly","orcid":null},"institutions":[{"id":"https://openalex.org/I53964585","display_name":"Weizmann Institute of Science","ror":"https://ror.org/0316ej306","country_code":"IL","type":"education","lineage":["https://openalex.org/I53964585"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Rami Marelly","raw_affiliation_strings":["Department of Computer Science and Applied Mathematics, Weizmann Institute of Science, Rehovot, Israel"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Applied Mathematics, Weizmann Institute of Science, Rehovot, Israel","institution_ids":["https://openalex.org/I53964585"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5068704563","display_name":"Assaf Marron","orcid":"https://orcid.org/0000-0001-5904-5105"},"institutions":[{"id":"https://openalex.org/I53964585","display_name":"Weizmann Institute of Science","ror":"https://ror.org/0316ej306","country_code":"IL","type":"education","lineage":["https://openalex.org/I53964585"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Assaf Marron","raw_affiliation_strings":["Department of Computer Science and Applied Mathematics, Weizmann Institute of Science, Rehovot, Israel"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Applied Mathematics, Weizmann Institute of Science, Rehovot, Israel","institution_ids":["https://openalex.org/I53964585"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.4331,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.79647484,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"7","issue":"3","first_page":"1","last_page":"22"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9957000017166138,"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"}},"topics":[{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9957000017166138,"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/T10260","display_name":"Software Engineering Research","score":0.9884999990463257,"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/T12127","display_name":"Software System Performance and Reliability","score":0.987500011920929,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.6991715431213379},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.6980651617050171},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.5354099273681641},{"id":"https://openalex.org/keywords/naturalness","display_name":"Naturalness","score":0.5260974168777466},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.51731276512146},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5142147541046143},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.5110870003700256},{"id":"https://openalex.org/keywords/relevance","display_name":"Relevance (law)","score":0.49292492866516113},{"id":"https://openalex.org/keywords/human\u2013computer-interaction","display_name":"Human\u2013computer interaction","score":0.48823145031929016},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.4806998372077942},{"id":"https://openalex.org/keywords/development-environment","display_name":"Development environment","score":0.45914387702941895},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.37313270568847656},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.34735918045043945},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.34378930926322937},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.2266060709953308},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.20786073803901672}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6991715431213379},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.6980651617050171},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5354099273681641},{"id":"https://openalex.org/C134537474","wikidata":"https://www.wikidata.org/wiki/Q17144832","display_name":"Naturalness","level":2,"score":0.5260974168777466},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.51731276512146},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5142147541046143},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.5110870003700256},{"id":"https://openalex.org/C158154518","wikidata":"https://www.wikidata.org/wiki/Q7310970","display_name":"Relevance (law)","level":2,"score":0.49292492866516113},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.48823145031929016},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.4806998372077942},{"id":"https://openalex.org/C139968098","wikidata":"https://www.wikidata.org/wiki/Q3055454","display_name":"Development environment","level":2,"score":0.45914387702941895},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.37313270568847656},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.34735918045043945},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.34378930926322937},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.2266060709953308},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.20786073803901672},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.4018/ijismd.2016070101","is_oa":false,"landing_page_url":"https://doi.org/10.4018/ijismd.2016070101","pdf_url":null,"source":{"id":"https://openalex.org/S83337018","display_name":"International Journal of Information System Modeling and Design","issn_l":"1947-8186","issn":["1947-8186","1947-8194"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320424","host_organization_name":"IGI Global","host_organization_lineage":["https://openalex.org/P4310320424"],"host_organization_lineage_names":["IGI Global"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Information System Modeling and Design","raw_type":"journal-article"},{"id":"pmh:oai:RePEc:igg:jismd0:v:7:y:2016:i:3:p:1-22","is_oa":false,"landing_page_url":"https://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/IJISMD.2016070101","pdf_url":null,"source":{"id":"https://openalex.org/S4306401271","display_name":"RePEc: Research Papers in Economics","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I77793887","host_organization_name":"Federal Reserve Bank of St. Louis","host_organization_lineage":["https://openalex.org/I77793887"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":31,"referenced_works":["https://openalex.org/W144724653","https://openalex.org/W1482962177","https://openalex.org/W1513569578","https://openalex.org/W1592055490","https://openalex.org/W1862086321","https://openalex.org/W1909251011","https://openalex.org/W1972081545","https://openalex.org/W1975033347","https://openalex.org/W1979863523","https://openalex.org/W2015198047","https://openalex.org/W2041152728","https://openalex.org/W2043868482","https://openalex.org/W2054997381","https://openalex.org/W2064296229","https://openalex.org/W2072000086","https://openalex.org/W2075140220","https://openalex.org/W2115803466","https://openalex.org/W2117227762","https://openalex.org/W2151979607","https://openalex.org/W2153078345","https://openalex.org/W2160204544","https://openalex.org/W2179029238","https://openalex.org/W2181040447","https://openalex.org/W2202732950","https://openalex.org/W2247764580","https://openalex.org/W2267833771","https://openalex.org/W2295399529","https://openalex.org/W2339341469","https://openalex.org/W2345051364","https://openalex.org/W2405914942","https://openalex.org/W2547161582"],"related_works":["https://openalex.org/W2029561777","https://openalex.org/W1554502231","https://openalex.org/W172797710","https://openalex.org/W2945105049","https://openalex.org/W4387098302","https://openalex.org/W2626699140","https://openalex.org/W3165080709","https://openalex.org/W2948317131","https://openalex.org/W4288365855","https://openalex.org/W2375381970"],"abstract_inverted_index":{"The":[0,100,144,219],"authors":[1],"present":[2],"an":[3,149,172],"initial":[4,150],"wise":[5],"development":[6,9,33,146,169,177,187],"framework:":[7],"a":[8,202],"environment":[10,68,147],"that":[11,97,137],"proactively":[12,183],"and":[13,39,57,63,102,107,119,128,134,182,227],"interactively":[14],"assists":[15],"the":[16,30,67,71,80,105,113,116,120,142,153,165,168,176,186,195,225],"software":[17],"engineer":[18],"in":[19,45,60,74,89,152,185,206,231],"modeling":[20,204],"complex":[21],"reactive":[22],"systems.":[23],"Their":[24],"framework":[25],"repeatedly":[26],"analyzes":[27],"models":[28,44],"of":[29,37,55,104,115,123,155,175,197,229],"system":[31,61,72,217],"under":[32],"at":[34],"various":[35],"levels":[36],"abstraction,":[38],"then":[40],"reasons":[41],"about":[42],"these":[43],"order":[46,75,90],"to":[47,51,58,76,91,125],"detect":[48],"possible":[49],"errors,":[50],"derive":[52],"emergent":[53],"properties":[54,118],"interest,":[56],"assist":[59],"testing":[62],"debugging.":[64],"Upon":[65],"request,":[66],"can":[69],"instrument":[70],"model":[73],"monitor":[77],"or":[78,85,93],"test":[79],"execution":[81],"for":[82,163],"certain":[83],"behaviors,":[84],"even":[86],"augment":[87],"it":[88],"repair":[92],"avoid":[94],"detected":[95],"behavior":[96],"is":[98,110,129,148],"undesired.":[99],"direction":[101,154],"prioritization":[103],"analysis":[106],"related":[108],"tasks":[109],"based":[111],"on":[112],"relevance":[114],"observed":[117],"expected":[121],"impact":[122],"actions":[124],"be":[126],"taken,":[127],"performed":[130],"by":[131],"specialized":[132],"automated":[133],"human-assisted":[135],"techniques":[136],"have":[138,190],"been":[139],"incorporated":[140],"into":[141,171],"framework.":[143],"authors'":[145,220],"step":[151],"their":[156,192],"recent":[157],"Wise":[158],"Computing":[159],"vision,":[160],"which":[161,207],"calls":[162],"turning":[164],"computer":[166],"(namely,":[167],"environment)":[170],"equal":[173],"member":[174],"team:":[178],"knowledgeable,":[179],"independent,":[180],"concerned":[181],"involved":[184],"process.":[188],"They":[189],"implemented":[191],"tool":[193],"within":[194],"context":[196],"behavioral":[198],"programming":[199],"(BP)":[200],"\u2013":[201],"scenario-based":[203],"approach,":[205],"components":[208],"are":[209],"aligned":[210],"with":[211],"how":[212],"humans":[213],"often":[214],"describe":[215],"desired":[216],"behavior.":[218],"work":[221],"thus":[222],"further":[223],"enhances":[224],"naturalness":[226],"incrementality":[228],"developing":[230],"BP.":[232]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":2},{"year":2018,"cited_by_count":1}],"updated_date":"2026-06-11T06:19:23.411458","created_date":"2025-10-10T00:00:00"}