{"id":"https://openalex.org/W2032554208","doi":"https://doi.org/10.1145/1012339.1012340","title":"An overview of the PAISLey project-1984","display_name":"An overview of the PAISLey project-1984","publication_year":1984,"publication_date":"1984-07-01","ids":{"openalex":"https://openalex.org/W2032554208","doi":"https://doi.org/10.1145/1012339.1012340","mag":"2032554208"},"language":"en","primary_location":{"id":"doi:10.1145/1012339.1012340","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1012339.1012340","pdf_url":null,"source":{"id":"https://openalex.org/S186921487","display_name":"ACM SIGSOFT Software Engineering Notes","issn_l":"0163-5948","issn":["0163-5948","1943-5843"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM SIGSOFT Software Engineering Notes","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/A5086291871","display_name":"Pamela Zave","orcid":"https://orcid.org/0000-0002-6568-2052"},"institutions":[{"id":"https://openalex.org/I1283103587","display_name":"AT&T (United States)","ror":"https://ror.org/02bbd5539","country_code":"US","type":"company","lineage":["https://openalex.org/I1283103587"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Pamela Zave","raw_affiliation_strings":["AT&T Bell Laboratories, Murray Hill, New Jersey"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"AT&T Bell Laboratories, Murray Hill, New Jersey","institution_ids":["https://openalex.org/I1283103587"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5086291871"],"corresponding_institution_ids":["https://openalex.org/I1283103587"],"apc_list":null,"apc_paid":null,"fwci":1.2971,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.83533745,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"9","issue":"4","first_page":"12","last_page":"19"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9991000294685364,"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.9991000294685364,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9979000091552734,"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"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9977999925613403,"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/debugging","display_name":"Debugging","score":0.7562035918235779},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7171539068222046},{"id":"https://openalex.org/keywords/executable","display_name":"Executable","score":0.6900910139083862},{"id":"https://openalex.org/keywords/interpreter","display_name":"Interpreter","score":0.6786706447601318},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.6272948384284973},{"id":"https://openalex.org/keywords/engineering-management","display_name":"Engineering management","score":0.45890018343925476},{"id":"https://openalex.org/keywords/reading","display_name":"Reading (process)","score":0.44342130422592163},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4182949662208557},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.36341169476509094},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3219580054283142},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.22114315629005432}],"concepts":[{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.7562035918235779},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7171539068222046},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.6900910139083862},{"id":"https://openalex.org/C122783720","wikidata":"https://www.wikidata.org/wiki/Q183065","display_name":"Interpreter","level":2,"score":0.6786706447601318},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.6272948384284973},{"id":"https://openalex.org/C110354214","wikidata":"https://www.wikidata.org/wiki/Q6314146","display_name":"Engineering management","level":1,"score":0.45890018343925476},{"id":"https://openalex.org/C554936623","wikidata":"https://www.wikidata.org/wiki/Q199657","display_name":"Reading (process)","level":2,"score":0.44342130422592163},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4182949662208557},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.36341169476509094},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3219580054283142},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.22114315629005432},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1012339.1012340","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1012339.1012340","pdf_url":null,"source":{"id":"https://openalex.org/S186921487","display_name":"ACM SIGSOFT Software Engineering Notes","issn_l":"0163-5948","issn":["0163-5948","1943-5843"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM SIGSOFT Software Engineering Notes","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure","score":0.4099999964237213}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":30,"referenced_works":["https://openalex.org/W239980256","https://openalex.org/W1576357208","https://openalex.org/W1942480536","https://openalex.org/W1992180245","https://openalex.org/W1995055730","https://openalex.org/W2002819799","https://openalex.org/W2009904111","https://openalex.org/W2017115210","https://openalex.org/W2024369683","https://openalex.org/W2026850042","https://openalex.org/W2036526565","https://openalex.org/W2041156735","https://openalex.org/W2050340037","https://openalex.org/W2060872161","https://openalex.org/W2069890246","https://openalex.org/W2085324411","https://openalex.org/W2086942791","https://openalex.org/W2104781830","https://openalex.org/W2106879254","https://openalex.org/W2110425399","https://openalex.org/W2123985997","https://openalex.org/W2126643714","https://openalex.org/W2172307690","https://openalex.org/W2293010598","https://openalex.org/W3036453934","https://openalex.org/W3144368627","https://openalex.org/W4211008702","https://openalex.org/W4251991276","https://openalex.org/W6647536371","https://openalex.org/W6649234144"],"related_works":["https://openalex.org/W4321442002","https://openalex.org/W2015265939","https://openalex.org/W3030873103","https://openalex.org/W82161441","https://openalex.org/W2061417947","https://openalex.org/W2088766201","https://openalex.org/W1576042299","https://openalex.org/W2181943964","https://openalex.org/W1990602094","https://openalex.org/W1528423264"],"abstract_inverted_index":{"PAISLey":[0,101,112],"is":[1,7,17,45,132],"an":[2,20,48],"executable":[3],"specification":[4],"language":[5,44,68],"that":[6,50],"especially":[8],"well":[9],"suited":[10],"to":[11,22,58,91,105,118,134,143],"real-time":[12],"and":[13,34,63,81,108,114,142],"distributed":[14],"systems.":[15],"It":[16],"motivated":[18],"by":[19,47,122],"approach":[21],"software":[23],"development":[24,41],"based":[25],"on":[26],"the":[27,71,97,100],"separation":[28],"of":[29,89,99],"problem-oriented":[30],"from":[31],"implementation-oriented":[32],"concerns,":[33],"promising":[35],"several":[36],"substantial":[37],"benefits":[38],"over":[39],"conventional":[40],"cycles.":[42],"The":[43,67],"executed":[46],"interpreter":[49],"provides":[51],"capabilities":[52],"for":[53,73,82,85,148],"debugging":[54],"specifications,":[55],"giving":[56],"demonstrations":[57],"customers,":[59],"early":[60],"performance":[61],"simulation,":[62],"(eventually)":[64],"rapid":[65],"prototyping.":[66],"has":[69,137],"been":[70,138],"vehicle":[72],"major":[74],"example":[75],"specifications":[76],"in":[77],"four":[78],"problem":[79],"domains,":[80],"two":[83],"methods":[84],"reducing":[86],"whole":[87],"classes,":[88],"problems":[90],"appropriate":[92],"specifications.":[93],"In":[94],"June":[95],"1984":[96],"emphasis":[98],"project":[102],"will":[103],"shift":[104],"practical":[106],"use":[107],"evaluation,":[109],"starting":[110],"with":[111],"workshops":[113],"consulting":[115],"services":[116],"offered":[117],"potential":[119],"user":[120],"organizations":[121],"a":[123,146],"technology-transfer":[124],"program":[125],"within":[126],"AT&T":[127],"Bell":[128],"Laboratories.":[129],"This":[130],"paper":[131],"intended":[133],"summarize":[135],"what":[136],"achieved":[139],"so":[140],"far":[141],"serve":[144],"as":[145],"guide":[147],"further":[149],"reading.":[150]},"counts_by_year":[],"updated_date":"2026-08-21T09:56:20.448147","created_date":"2025-10-10T00:00:00"}