{"id":"https://openalex.org/W1741816193","doi":"https://doi.org/10.1007/3-540-56777-1_25","title":"Towards reliable information systems: The KorSo approach","display_name":"Towards reliable information systems: The KorSo approach","publication_year":1993,"publication_date":"1993-01-01","ids":{"openalex":"https://openalex.org/W1741816193","doi":"https://doi.org/10.1007/3-540-56777-1_25","mag":"1741816193"},"language":"en","primary_location":{"id":"doi:10.1007/3-540-56777-1_25","is_oa":true,"landing_page_url":"https://doi.org/10.1007/3-540-56777-1_25","pdf_url":"https://link.springer.com/content/pdf/10.1007/3-540-56777-1_25.pdf","source":{"id":"https://openalex.org/S4210222342","display_name":"Notes on numerical fluid mechanics and multidisciplinary design","issn_l":"1612-2909","issn":["1612-2909","1860-0824"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319972","host_organization_name":"Springer International Publishing","host_organization_lineage":["https://openalex.org/P4310319972","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer International Publishing","Springer Nature"],"type":"book series"},"license":"public-domain","license_id":"https://openalex.org/licenses/public-domain","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Notes on Numerical Fluid Mechanics and Multidisciplinary Design","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/3-540-56777-1_25.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5109903389","display_name":"N. Vlachantonis","orcid":null},"institutions":[{"id":"https://openalex.org/I94509681","display_name":"Technische Universit\u00e4t Braunschweig","ror":"https://ror.org/010nsgg66","country_code":"DE","type":"education","lineage":["https://openalex.org/I94509681"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"N. Vlachantonis","raw_affiliation_strings":["Informatik, Abt. Datenbanken, Technische Universit\u00e4t Braunschweig, Postfach 3329, W-3300, Braunschweig, Germany","Informatik, Abt. Datenbanken, Technische Universit\u00e4t Braunschweig, Braunschweig, Germany"],"affiliations":[{"raw_affiliation_string":"Informatik, Abt. Datenbanken, Technische Universit\u00e4t Braunschweig, Postfach 3329, W-3300, Braunschweig, Germany","institution_ids":["https://openalex.org/I94509681"]},{"raw_affiliation_string":"Informatik, Abt. Datenbanken, Technische Universit\u00e4t Braunschweig, Braunschweig, Germany","institution_ids":["https://openalex.org/I94509681"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5031033172","display_name":"Rudolf Herzig","orcid":null},"institutions":[{"id":"https://openalex.org/I94509681","display_name":"Technische Universit\u00e4t Braunschweig","ror":"https://ror.org/010nsgg66","country_code":"DE","type":"education","lineage":["https://openalex.org/I94509681"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"R. Herzig","raw_affiliation_strings":["Informatik, Abt. Datenbanken, Technische Universit\u00e4t Braunschweig, Postfach 3329, W-3300, Braunschweig, Germany","Informatik, Abt. Datenbanken, Technische Universit\u00e4t Braunschweig, Braunschweig, Germany"],"affiliations":[{"raw_affiliation_string":"Informatik, Abt. Datenbanken, Technische Universit\u00e4t Braunschweig, Postfach 3329, W-3300, Braunschweig, Germany","institution_ids":["https://openalex.org/I94509681"]},{"raw_affiliation_string":"Informatik, Abt. Datenbanken, Technische Universit\u00e4t Braunschweig, Braunschweig, Germany","institution_ids":["https://openalex.org/I94509681"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5013415103","display_name":"Martin Gogolla","orcid":"https://orcid.org/0000-0003-4311-1117"},"institutions":[{"id":"https://openalex.org/I94509681","display_name":"Technische Universit\u00e4t Braunschweig","ror":"https://ror.org/010nsgg66","country_code":"DE","type":"education","lineage":["https://openalex.org/I94509681"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"M. Gogolla","raw_affiliation_strings":["Informatik, Abt. Datenbanken, Technische Universit\u00e4t Braunschweig, Postfach 3329, W-3300, Braunschweig, Germany","Informatik, Abt. Datenbanken, Technische Universit\u00e4t Braunschweig, Braunschweig, Germany"],"affiliations":[{"raw_affiliation_string":"Informatik, Abt. Datenbanken, Technische Universit\u00e4t Braunschweig, Postfach 3329, W-3300, Braunschweig, Germany","institution_ids":["https://openalex.org/I94509681"]},{"raw_affiliation_string":"Informatik, Abt. Datenbanken, Technische Universit\u00e4t Braunschweig, Braunschweig, Germany","institution_ids":["https://openalex.org/I94509681"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5077922676","display_name":"Grit Denker","orcid":null},"institutions":[{"id":"https://openalex.org/I94509681","display_name":"Technische Universit\u00e4t Braunschweig","ror":"https://ror.org/010nsgg66","country_code":"DE","type":"education","lineage":["https://openalex.org/I94509681"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"G. Denker","raw_affiliation_strings":["Informatik, Abt. Datenbanken, Technische Universit\u00e4t Braunschweig, Postfach 3329, W-3300, Braunschweig, Germany","Informatik, Abt. Datenbanken, Technische Universit\u00e4t Braunschweig, Braunschweig, Germany"],"affiliations":[{"raw_affiliation_string":"Informatik, Abt. Datenbanken, Technische Universit\u00e4t Braunschweig, Postfach 3329, W-3300, Braunschweig, Germany","institution_ids":["https://openalex.org/I94509681"]},{"raw_affiliation_string":"Informatik, Abt. Datenbanken, Technische Universit\u00e4t Braunschweig, Braunschweig, Germany","institution_ids":["https://openalex.org/I94509681"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5037038868","display_name":"Stefan Conrad","orcid":"https://orcid.org/0000-0003-2788-3854"},"institutions":[{"id":"https://openalex.org/I94509681","display_name":"Technische Universit\u00e4t Braunschweig","ror":"https://ror.org/010nsgg66","country_code":"DE","type":"education","lineage":["https://openalex.org/I94509681"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"S. Conrad","raw_affiliation_strings":["Informatik, Abt. Datenbanken, Technische Universit\u00e4t Braunschweig, Postfach 3329, W-3300, Braunschweig, Germany","Informatik, Abt. Datenbanken, Technische Universit\u00e4t Braunschweig, Braunschweig, Germany"],"affiliations":[{"raw_affiliation_string":"Informatik, Abt. Datenbanken, Technische Universit\u00e4t Braunschweig, Postfach 3329, W-3300, Braunschweig, Germany","institution_ids":["https://openalex.org/I94509681"]},{"raw_affiliation_string":"Informatik, Abt. Datenbanken, Technische Universit\u00e4t Braunschweig, Braunschweig, Germany","institution_ids":["https://openalex.org/I94509681"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5108787616","display_name":"Hans-Dieter Ehrich","orcid":null},"institutions":[{"id":"https://openalex.org/I94509681","display_name":"Technische Universit\u00e4t Braunschweig","ror":"https://ror.org/010nsgg66","country_code":"DE","type":"education","lineage":["https://openalex.org/I94509681"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"H. -D. Ehrich","raw_affiliation_strings":["Informatik, Abt. Datenbanken, Technische Universit\u00e4t Braunschweig, Postfach 3329, W-3300, Braunschweig, Germany","Informatik, Abt. Datenbanken, Technische Universit\u00e4t Braunschweig, Braunschweig, Germany"],"affiliations":[{"raw_affiliation_string":"Informatik, Abt. Datenbanken, Technische Universit\u00e4t Braunschweig, Postfach 3329, W-3300, Braunschweig, Germany","institution_ids":["https://openalex.org/I94509681"]},{"raw_affiliation_string":"Informatik, Abt. Datenbanken, Technische Universit\u00e4t Braunschweig, Braunschweig, Germany","institution_ids":["https://openalex.org/I94509681"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5109903389"],"corresponding_institution_ids":["https://openalex.org/I94509681"],"apc_list":null,"apc_paid":null,"fwci":5.6242,"has_fulltext":true,"cited_by_count":14,"citation_normalized_percentile":{"value":0.96086752,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"463","last_page":"482"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9994999766349792,"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.9994999766349792,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9994000196456909,"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"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9987999796867371,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7124103903770447},{"id":"https://openalex.org/keywords/animation","display_name":"Animation","score":0.5982411503791809},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.5506219863891602},{"id":"https://openalex.org/keywords/system-requirements-specification","display_name":"System requirements specification","score":0.5017609596252441},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.5000748634338379},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.4843907952308655},{"id":"https://openalex.org/keywords/rapid-prototyping","display_name":"Rapid prototyping","score":0.4613149166107178},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.4587995409965515},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3437052369117737},{"id":"https://openalex.org/keywords/human\u2013computer-interaction","display_name":"Human\u2013computer interaction","score":0.33252692222595215},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.19462090730667114},{"id":"https://openalex.org/keywords/computer-graphics","display_name":"Computer graphics (images)","score":0.07918184995651245}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7124103903770447},{"id":"https://openalex.org/C502989409","wikidata":"https://www.wikidata.org/wiki/Q11425","display_name":"Animation","level":2,"score":0.5982411503791809},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5506219863891602},{"id":"https://openalex.org/C84651959","wikidata":"https://www.wikidata.org/wiki/Q17052506","display_name":"System requirements specification","level":2,"score":0.5017609596252441},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.5000748634338379},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.4843907952308655},{"id":"https://openalex.org/C2780395129","wikidata":"https://www.wikidata.org/wiki/Q1128971","display_name":"Rapid prototyping","level":2,"score":0.4613149166107178},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.4587995409965515},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3437052369117737},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.33252692222595215},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.19462090730667114},{"id":"https://openalex.org/C121684516","wikidata":"https://www.wikidata.org/wiki/Q7600677","display_name":"Computer graphics (images)","level":1,"score":0.07918184995651245},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/3-540-56777-1_25","is_oa":true,"landing_page_url":"https://doi.org/10.1007/3-540-56777-1_25","pdf_url":"https://link.springer.com/content/pdf/10.1007/3-540-56777-1_25.pdf","source":{"id":"https://openalex.org/S4210222342","display_name":"Notes on numerical fluid mechanics and multidisciplinary design","issn_l":"1612-2909","issn":["1612-2909","1860-0824"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319972","host_organization_name":"Springer International Publishing","host_organization_lineage":["https://openalex.org/P4310319972","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer International Publishing","Springer Nature"],"type":"book series"},"license":"public-domain","license_id":"https://openalex.org/licenses/public-domain","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Notes on Numerical Fluid Mechanics and Multidisciplinary Design","raw_type":"book-chapter"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.51.8125","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.51.8125","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.db.informatik.uni-bremen.de/publications/Vlachantonis_1993_CAiSE.ps.gz","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.54.1151","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.54.1151","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://wwwiti.cs.uni-magdeburg.de/~itiall/ftp/papers/db/93/vhgdce93.ps.gz","raw_type":"text"}],"best_oa_location":{"id":"doi:10.1007/3-540-56777-1_25","is_oa":true,"landing_page_url":"https://doi.org/10.1007/3-540-56777-1_25","pdf_url":"https://link.springer.com/content/pdf/10.1007/3-540-56777-1_25.pdf","source":{"id":"https://openalex.org/S4210222342","display_name":"Notes on numerical fluid mechanics and multidisciplinary design","issn_l":"1612-2909","issn":["1612-2909","1860-0824"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319972","host_organization_name":"Springer International Publishing","host_organization_lineage":["https://openalex.org/P4310319972","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer International Publishing","Springer Nature"],"type":"book series"},"license":"public-domain","license_id":"https://openalex.org/licenses/public-domain","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Notes on Numerical Fluid Mechanics and Multidisciplinary Design","raw_type":"book-chapter"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W1741816193.pdf","grobid_xml":"https://content.openalex.org/works/W1741816193.grobid-xml"},"referenced_works_count":54,"referenced_works":["https://openalex.org/W103013625","https://openalex.org/W123933375","https://openalex.org/W150801587","https://openalex.org/W174471988","https://openalex.org/W1495407835","https://openalex.org/W1497475737","https://openalex.org/W1508756608","https://openalex.org/W1510321966","https://openalex.org/W1513140821","https://openalex.org/W1525026185","https://openalex.org/W1535808468","https://openalex.org/W1539389255","https://openalex.org/W1548839857","https://openalex.org/W1554250066","https://openalex.org/W1566402923","https://openalex.org/W1568997950","https://openalex.org/W1569990888","https://openalex.org/W1580513069","https://openalex.org/W1597459313","https://openalex.org/W1602005574","https://openalex.org/W1603788080","https://openalex.org/W1661076342","https://openalex.org/W1972908970","https://openalex.org/W1976195354","https://openalex.org/W1976588322","https://openalex.org/W2001657718","https://openalex.org/W2011573124","https://openalex.org/W2018601806","https://openalex.org/W2060849841","https://openalex.org/W2113355185","https://openalex.org/W2115773332","https://openalex.org/W2132750992","https://openalex.org/W2134666785","https://openalex.org/W2137157258","https://openalex.org/W2137865376","https://openalex.org/W2138180161","https://openalex.org/W2149185259","https://openalex.org/W2151022862","https://openalex.org/W2159469210","https://openalex.org/W2178064481","https://openalex.org/W2483703801","https://openalex.org/W2506403762","https://openalex.org/W2589217375","https://openalex.org/W2607230115","https://openalex.org/W2700755461","https://openalex.org/W2913989085","https://openalex.org/W2970305563","https://openalex.org/W3144368627","https://openalex.org/W4249538237","https://openalex.org/W4300128858","https://openalex.org/W6643658240","https://openalex.org/W6662131627","https://openalex.org/W6758636328","https://openalex.org/W7072053513"],"related_works":["https://openalex.org/W2145025660","https://openalex.org/W2049993111","https://openalex.org/W2886192770","https://openalex.org/W2799231486","https://openalex.org/W12544170","https://openalex.org/W2030452150","https://openalex.org/W2204176978","https://openalex.org/W2620924551","https://openalex.org/W337531343","https://openalex.org/W1588292955"],"abstract_inverted_index":{"Within":[0],"the":[1,10,17,24,33,42,45,91],"compound":[2],"project":[3],"KorSo":[4],"our":[5],"team":[6],"is":[7,48],"concerned":[8],"with":[9],"research":[11],"on":[12,23,32],"techniques":[13],"and":[14,58,73],"methods":[15],"for":[16,80],"development":[18],"of":[19,26,44,55,93,95],"reliable":[20],"information":[21],"systems":[22],"basis":[25],"formal":[27],"specifications.":[28,96],"Our":[29],"work":[30],"focuses":[31],"specification":[34,78],"language":[35],"TROLL":[36,81],"light":[37,82],"which":[38,47,83],"allows":[39],"to":[40,49],"describe":[41],"part":[43],"world":[46],"be":[50],"modeled":[51],"as":[52,65,67,88,90],"a":[53,75,85],"community":[54],"concurrently":[56],"existing":[57],"communicating":[59],"objects":[60],"by":[61],"determining":[62],"their":[63,68],"structure":[64],"well":[66,89],"behavior.":[69],"Moreover":[70],"we":[71],"develop":[72],"implement":[74],"computer":[76],"aided":[77],"environment":[79],"permits":[84],"prototyping":[86],"animation":[87],"proof":[92],"properties":[94]},"counts_by_year":[],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}