{"id":"https://openalex.org/W2046463465","doi":"https://doi.org/10.1109/tse.1986.6312979","title":"Specification of modular systems","display_name":"Specification of modular systems","publication_year":1986,"publication_date":"1986-07-01","ids":{"openalex":"https://openalex.org/W2046463465","doi":"https://doi.org/10.1109/tse.1986.6312979","mag":"2046463465"},"language":"en","primary_location":{"id":"doi:10.1109/tse.1986.6312979","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.1986.6312979","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","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/A5104356755","display_name":"Herbert Weber","orcid":null},"institutions":[{"id":"https://openalex.org/I110263422","display_name":"University West","ror":"https://ror.org/0257kt353","country_code":"SE","type":"education","lineage":["https://openalex.org/I110263422"]},{"id":"https://openalex.org/I200332995","display_name":"TU Dortmund University","ror":"https://ror.org/01k97gp34","country_code":"DE","type":"education","lineage":["https://openalex.org/I200332995"]}],"countries":["DE","SE"],"is_corresponding":true,"raw_author_name":"Herbert Weber","raw_affiliation_strings":["Fachbereich Informatik, Universitat Dortmund, Dortmund, Germany","Fachbereich Inf., Dortmund Univ., West Germany"],"affiliations":[{"raw_affiliation_string":"Fachbereich Informatik, Universitat Dortmund, Dortmund, Germany","institution_ids":["https://openalex.org/I200332995"]},{"raw_affiliation_string":"Fachbereich Inf., Dortmund Univ., West Germany","institution_ids":["https://openalex.org/I110263422"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5002594574","display_name":"Hartmut Ehrig","orcid":null},"institutions":[{"id":"https://openalex.org/I4577782","display_name":"Technische Universit\u00e4t Berlin","ror":"https://ror.org/03v4gjf40","country_code":"DE","type":"education","lineage":["https://openalex.org/I4577782"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Hartmut Ehrig","raw_affiliation_strings":["Fachbereich Informatik, Technische Universitat Berlin, Berlin, Germany","Fachbereich Informatik, Technische Universit\u00e4t Berlin, Strasse des 17, juni 135, 1000 Berlin 10, West Germany#TAB#"],"affiliations":[{"raw_affiliation_string":"Fachbereich Informatik, Technische Universitat Berlin, Berlin, Germany","institution_ids":["https://openalex.org/I4577782"]},{"raw_affiliation_string":"Fachbereich Informatik, Technische Universit\u00e4t Berlin, Strasse des 17, juni 135, 1000 Berlin 10, West Germany#TAB#","institution_ids":["https://openalex.org/I4577782"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5104356755"],"corresponding_institution_ids":["https://openalex.org/I110263422","https://openalex.org/I200332995"],"apc_list":null,"apc_paid":null,"fwci":7.1912,"has_fulltext":false,"cited_by_count":45,"citation_normalized_percentile":{"value":0.97166803,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":95,"max":96},"biblio":{"volume":"SE-12","issue":"7","first_page":"784","last_page":"798"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9962000250816345,"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.9962000250816345,"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.989799976348877,"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/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9836999773979187,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8283621072769165},{"id":"https://openalex.org/keywords/modularity","display_name":"Modularity (biology)","score":0.738821268081665},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6560656428337097},{"id":"https://openalex.org/keywords/modular-design","display_name":"Modular design","score":0.5734243988990784},{"id":"https://openalex.org/keywords/structuring","display_name":"Structuring","score":0.5663045644760132},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.5587157011032104},{"id":"https://openalex.org/keywords/software-system","display_name":"Software system","score":0.49537718296051025},{"id":"https://openalex.org/keywords/specification-language","display_name":"Specification language","score":0.49070918560028076},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.47865426540374756},{"id":"https://openalex.org/keywords/aspect-oriented-programming","display_name":"Aspect-oriented programming","score":0.44499269127845764},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.4406575560569763},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.4378575384616852},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.3991538882255554}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8283621072769165},{"id":"https://openalex.org/C2779478453","wikidata":"https://www.wikidata.org/wiki/Q6889748","display_name":"Modularity (biology)","level":2,"score":0.738821268081665},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6560656428337097},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.5734243988990784},{"id":"https://openalex.org/C2775945657","wikidata":"https://www.wikidata.org/wiki/Q381442","display_name":"Structuring","level":2,"score":0.5663045644760132},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.5587157011032104},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.49537718296051025},{"id":"https://openalex.org/C201677973","wikidata":"https://www.wikidata.org/wiki/Q1209840","display_name":"Specification language","level":2,"score":0.49070918560028076},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.47865426540374756},{"id":"https://openalex.org/C60051680","wikidata":"https://www.wikidata.org/wiki/Q30267","display_name":"Aspect-oriented programming","level":3,"score":0.44499269127845764},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.4406575560569763},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.4378575384616852},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.3991538882255554},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tse.1986.6312979","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.1986.6312979","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.4099999964237213,"display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2034589735","https://openalex.org/W2049993111","https://openalex.org/W2238880588","https://openalex.org/W2607268704","https://openalex.org/W2204176978","https://openalex.org/W2044067585","https://openalex.org/W1520778375","https://openalex.org/W2156223462","https://openalex.org/W2230261480","https://openalex.org/W2015061688"],"abstract_inverted_index":{"A":[0,57],"modularity":[1,15,71,146],"concept":[2,11,34,72,147,165],"for":[3,156],"structuring":[4,136],"large":[5,113,153],"software":[6,81,114,139,154],"systems":[7,49,82,108,115],"is":[8,35,62,120],"presented.":[9],"The":[10,33,87,110,142,164],"enforces":[12],"an":[13],"extreme":[14],"discipline":[16],"that":[17,50],"goes":[18],"considerably":[19],"beyond":[20],"the":[21,46,70,76,135,138,145,157,172],"one":[22],"found":[23],"in":[24,45,134,151],"modern":[25],"programming":[26],"languages":[27,61,88,168],"such":[28],"as":[29,116],"MODULA-2":[30],"or":[31],"Ada.":[32],"meant":[36],"to":[37,40,92,102,122,124,129],"be":[38],"used":[39],"tightly":[41],"control":[42],"side":[43],"effects":[44],"execution":[47],"of":[48,53,59,80,106,112,118,132,137,144,159,174],"are":[51,66,169],"constructed":[52],"independently":[54],"developed":[55],"modules.":[56],"family":[58],"specification":[60,79,105,167],"introduced":[63],"whose":[64],"members":[65],"all":[67,84],"based":[68],"on":[69],"and":[73,97,100,128,166],"thus":[74,101],"support":[75],"uniform":[77],"monolinguistic":[78],"at":[83],"development":[85,140,158],"stages.":[86],"have":[89],"been":[90,149],"defined":[91],"enable":[93],"matching":[94],"informal,":[95],"semiformal,":[96],"formal":[98,104],"specifications":[99],"make":[103],"modular":[107],"practicable.":[109],"construction":[111],"interconnections":[117],"modules":[119],"shown":[121],"lead":[123],"manageable":[125],"system":[126],"structures":[127],"new":[130],"degrees":[131],"freedom":[133],"process.":[141],"suitability":[143],"has":[148],"evaluated":[150],"a":[152,160],"project":[155],"database":[161],"management":[162],"system.":[163],"explained":[170],"with":[171],"aid":[173],"sample":[175],"specifications.":[176]},"counts_by_year":[{"year":2025,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}