{"id":"https://openalex.org/W2022219508","doi":"https://doi.org/10.1134/s0361768807050039","title":"The use of contract specifications for representing requirements and for functional testing of hardware models","display_name":"The use of contract specifications for representing requirements and for functional testing of hardware models","publication_year":2007,"publication_date":"2007-09-01","ids":{"openalex":"https://openalex.org/W2022219508","doi":"https://doi.org/10.1134/s0361768807050039","mag":"2022219508"},"language":"en","primary_location":{"id":"doi:10.1134/s0361768807050039","is_oa":false,"landing_page_url":"https://doi.org/10.1134/s0361768807050039","pdf_url":null,"source":{"id":"https://openalex.org/S150218641","display_name":"Programming and Computer Software","issn_l":"0361-7688","issn":["0361-7688","1608-3261"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320267","host_organization_name":"Pleiades Publishing","host_organization_lineage":["https://openalex.org/P4310320267","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Pleiades Publishing","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Programming and Computer Software","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/A5036844034","display_name":"\u0412. \u041f. \u0418\u0432\u0430\u043d\u043d\u0438\u043a\u043e\u0432","orcid":null},"institutions":[{"id":"https://openalex.org/I1313323035","display_name":"Russian Academy of Sciences","ror":"https://ror.org/05qrfxd25","country_code":"RU","type":"government","lineage":["https://openalex.org/I1313323035"]},{"id":"https://openalex.org/I4210101868","display_name":"Institute for System Programming","ror":"https://ror.org/017ef8252","country_code":"RU","type":"facility","lineage":["https://openalex.org/I1313323035","https://openalex.org/I4210101868","https://openalex.org/I4210124601"]}],"countries":["RU"],"is_corresponding":true,"raw_author_name":"V. P. Ivannikov","raw_affiliation_strings":["Institute for System Programming, Russian Academy of Sciences, ul. B. Kommunisticheskaya 25, Moscow, 109004, Russia","Institute for System Programming Russian Academy of Sciences, , Moscow, Russia 109004#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute for System Programming, Russian Academy of Sciences, ul. B. Kommunisticheskaya 25, Moscow, 109004, Russia","institution_ids":["https://openalex.org/I4210101868"]},{"raw_affiliation_string":"Institute for System Programming Russian Academy of Sciences, , Moscow, Russia 109004#TAB#","institution_ids":["https://openalex.org/I1313323035"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052354481","display_name":"Alexander Kamkin","orcid":"https://orcid.org/0000-0001-6374-8575"},"institutions":[{"id":"https://openalex.org/I1313323035","display_name":"Russian Academy of Sciences","ror":"https://ror.org/05qrfxd25","country_code":"RU","type":"government","lineage":["https://openalex.org/I1313323035"]},{"id":"https://openalex.org/I4210101868","display_name":"Institute for System Programming","ror":"https://ror.org/017ef8252","country_code":"RU","type":"facility","lineage":["https://openalex.org/I1313323035","https://openalex.org/I4210101868","https://openalex.org/I4210124601"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"A. S. Kamkin","raw_affiliation_strings":["Institute for System Programming, Russian Academy of Sciences, ul. B. Kommunisticheskaya 25, Moscow, 109004, Russia","Institute for System Programming Russian Academy of Sciences, , Moscow, Russia 109004#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute for System Programming, Russian Academy of Sciences, ul. B. Kommunisticheskaya 25, Moscow, 109004, Russia","institution_ids":["https://openalex.org/I4210101868"]},{"raw_affiliation_string":"Institute for System Programming Russian Academy of Sciences, , Moscow, Russia 109004#TAB#","institution_ids":["https://openalex.org/I1313323035"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052011212","display_name":"A. S. Kossatchev","orcid":"https://orcid.org/0000-0001-5316-3813"},"institutions":[{"id":"https://openalex.org/I1313323035","display_name":"Russian Academy of Sciences","ror":"https://ror.org/05qrfxd25","country_code":"RU","type":"government","lineage":["https://openalex.org/I1313323035"]},{"id":"https://openalex.org/I4210101868","display_name":"Institute for System Programming","ror":"https://ror.org/017ef8252","country_code":"RU","type":"facility","lineage":["https://openalex.org/I1313323035","https://openalex.org/I4210101868","https://openalex.org/I4210124601"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"A. S. Kossatchev","raw_affiliation_strings":["Institute for System Programming, Russian Academy of Sciences, ul. B. Kommunisticheskaya 25, Moscow, 109004, Russia","Institute for System Programming Russian Academy of Sciences, , Moscow, Russia 109004#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute for System Programming, Russian Academy of Sciences, ul. B. Kommunisticheskaya 25, Moscow, 109004, Russia","institution_ids":["https://openalex.org/I4210101868"]},{"raw_affiliation_string":"Institute for System Programming Russian Academy of Sciences, , Moscow, Russia 109004#TAB#","institution_ids":["https://openalex.org/I1313323035"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5025737715","display_name":"\u0412. \u0412. \u041a\u0443\u043b\u044f\u043c\u0438\u043d","orcid":"https://orcid.org/0000-0003-3439-9534"},"institutions":[{"id":"https://openalex.org/I1313323035","display_name":"Russian Academy of Sciences","ror":"https://ror.org/05qrfxd25","country_code":"RU","type":"government","lineage":["https://openalex.org/I1313323035"]},{"id":"https://openalex.org/I4210101868","display_name":"Institute for System Programming","ror":"https://ror.org/017ef8252","country_code":"RU","type":"facility","lineage":["https://openalex.org/I1313323035","https://openalex.org/I4210101868","https://openalex.org/I4210124601"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"V. V. Kuliamin","raw_affiliation_strings":["Institute for System Programming, Russian Academy of Sciences, ul. B. Kommunisticheskaya 25, Moscow, 109004, Russia","Institute for System Programming Russian Academy of Sciences, , Moscow, Russia 109004#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute for System Programming, Russian Academy of Sciences, ul. B. Kommunisticheskaya 25, Moscow, 109004, Russia","institution_ids":["https://openalex.org/I4210101868"]},{"raw_affiliation_string":"Institute for System Programming Russian Academy of Sciences, , Moscow, Russia 109004#TAB#","institution_ids":["https://openalex.org/I1313323035"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5032706844","display_name":"Alexander K. Petrenko","orcid":"https://orcid.org/0000-0001-7411-3831"},"institutions":[{"id":"https://openalex.org/I1313323035","display_name":"Russian Academy of Sciences","ror":"https://ror.org/05qrfxd25","country_code":"RU","type":"government","lineage":["https://openalex.org/I1313323035"]},{"id":"https://openalex.org/I4210101868","display_name":"Institute for System Programming","ror":"https://ror.org/017ef8252","country_code":"RU","type":"facility","lineage":["https://openalex.org/I1313323035","https://openalex.org/I4210101868","https://openalex.org/I4210124601"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"A. K. Petrenko","raw_affiliation_strings":["Institute for System Programming, Russian Academy of Sciences, ul. B. Kommunisticheskaya 25, Moscow, 109004, Russia","Institute for System Programming Russian Academy of Sciences, , Moscow, Russia 109004#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute for System Programming, Russian Academy of Sciences, ul. B. Kommunisticheskaya 25, Moscow, 109004, Russia","institution_ids":["https://openalex.org/I4210101868"]},{"raw_affiliation_string":"Institute for System Programming Russian Academy of Sciences, , Moscow, Russia 109004#TAB#","institution_ids":["https://openalex.org/I1313323035"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5036844034"],"corresponding_institution_ids":["https://openalex.org/I1313323035","https://openalex.org/I4210101868"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":15,"citation_normalized_percentile":{"value":0.10369865,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":"33","issue":"5","first_page":"272","last_page":"282"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9993000030517578,"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.9993000030517578,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9973000288009644,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9970999956130981,"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.8149914741516113},{"id":"https://openalex.org/keywords/systemc","display_name":"SystemC","score":0.810401439666748},{"id":"https://openalex.org/keywords/design-by-contract","display_name":"Design by contract","score":0.7509000301361084},{"id":"https://openalex.org/keywords/verilog","display_name":"Verilog","score":0.6484200358390808},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5734565854072571},{"id":"https://openalex.org/keywords/functional-specification","display_name":"Functional specification","score":0.5395352840423584},{"id":"https://openalex.org/keywords/conformance-testing","display_name":"Conformance testing","score":0.5299544930458069},{"id":"https://openalex.org/keywords/system-requirements-specification","display_name":"System requirements specification","score":0.514609694480896},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.5044230222702026},{"id":"https://openalex.org/keywords/software-requirements-specification","display_name":"Software requirements specification","score":0.48855265974998474},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.45734167098999023},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4185817837715149},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.37780091166496277},{"id":"https://openalex.org/keywords/software-system","display_name":"Software system","score":0.2873518764972687},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.23307862877845764},{"id":"https://openalex.org/keywords/software-design","display_name":"Software design","score":0.22475239634513855},{"id":"https://openalex.org/keywords/software-construction","display_name":"Software construction","score":0.16962900757789612},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.1620892882347107},{"id":"https://openalex.org/keywords/field-programmable-gate-array","display_name":"Field-programmable gate array","score":0.0944901704788208}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8149914741516113},{"id":"https://openalex.org/C2776928060","wikidata":"https://www.wikidata.org/wiki/Q1753563","display_name":"SystemC","level":2,"score":0.810401439666748},{"id":"https://openalex.org/C80291951","wikidata":"https://www.wikidata.org/wiki/Q1200691","display_name":"Design by contract","level":5,"score":0.7509000301361084},{"id":"https://openalex.org/C2779030575","wikidata":"https://www.wikidata.org/wiki/Q827773","display_name":"Verilog","level":3,"score":0.6484200358390808},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5734565854072571},{"id":"https://openalex.org/C57371142","wikidata":"https://www.wikidata.org/wiki/Q16914225","display_name":"Functional specification","level":5,"score":0.5395352840423584},{"id":"https://openalex.org/C76844732","wikidata":"https://www.wikidata.org/wiki/Q4072285","display_name":"Conformance testing","level":3,"score":0.5299544930458069},{"id":"https://openalex.org/C84651959","wikidata":"https://www.wikidata.org/wiki/Q17052506","display_name":"System requirements specification","level":2,"score":0.514609694480896},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.5044230222702026},{"id":"https://openalex.org/C102780508","wikidata":"https://www.wikidata.org/wiki/Q1761598","display_name":"Software requirements specification","level":5,"score":0.48855265974998474},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.45734167098999023},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4185817837715149},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.37780091166496277},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.2873518764972687},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.23307862877845764},{"id":"https://openalex.org/C52913732","wikidata":"https://www.wikidata.org/wiki/Q857102","display_name":"Software design","level":4,"score":0.22475239634513855},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.16962900757789612},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.1620892882347107},{"id":"https://openalex.org/C42935608","wikidata":"https://www.wikidata.org/wiki/Q190411","display_name":"Field-programmable gate array","level":2,"score":0.0944901704788208},{"id":"https://openalex.org/C188087704","wikidata":"https://www.wikidata.org/wiki/Q369577","display_name":"Standardization","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1134/s0361768807050039","is_oa":false,"landing_page_url":"https://doi.org/10.1134/s0361768807050039","pdf_url":null,"source":{"id":"https://openalex.org/S150218641","display_name":"Programming and Computer Software","issn_l":"0361-7688","issn":["0361-7688","1608-3261"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320267","host_organization_name":"Pleiades Publishing","host_organization_lineage":["https://openalex.org/P4310320267","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Pleiades Publishing","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Programming and Computer Software","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":8,"referenced_works":["https://openalex.org/W635909831","https://openalex.org/W1492291048","https://openalex.org/W1514939953","https://openalex.org/W1562729533","https://openalex.org/W1600581889","https://openalex.org/W1986698883","https://openalex.org/W2052363833","https://openalex.org/W2119898505"],"related_works":["https://openalex.org/W2466702713","https://openalex.org/W1528027622","https://openalex.org/W2330019418","https://openalex.org/W2157882972","https://openalex.org/W2137223410","https://openalex.org/W2057728388","https://openalex.org/W2106448774","https://openalex.org/W2155677602","https://openalex.org/W2406973170","https://openalex.org/W3048422056"],"abstract_inverted_index":{"Contract":[0],"specifications":[1,27,60,76],"in":[2,11,88],"the":[3,23,31,40,44,52,55,59,68,110,129,135],"form":[4],"of":[5,17,19,51,54,84,102,113,118],"pre-and":[6],"postconditions":[7],"are":[8,28],"widely":[9],"used":[10],"software":[12,20],"engineering":[13],"for":[14,30,77,81,137],"formal":[15],"description":[16],"interfaces":[18],"components.":[21],"On":[22,43],"one":[24],"hand,":[25,46],"such":[26,90,103],"convenient":[29],"developers":[32],"since":[33],"they":[34],"can":[35,61],"easily":[36],"be":[37,63],"attached":[38],"to":[39,58,73,100],"system":[41,57],"architecture.":[42],"other":[45],"test":[47],"oracles":[48],"verifying":[49],"conformance":[50],"behavior":[53],"target":[56],"automatically":[62],"generated":[64],"from":[65],"them.":[66],"In":[67],"paper,":[69],"it":[70],"is":[71,105,122,126],"suggested":[72],"use":[74,121],"contract":[75],"representing":[78],"requirements":[79],"and":[80,107],"functional":[82],"testing":[83,131],"hardware":[85,114],"models":[86],"developed":[87,133],"languages":[89],"as":[91],"VHDL,":[92],"Verilog,":[93,96],"SystemC,":[94],"System":[95,138],"etc.":[97],"An":[98,116],"approach":[99,125],"specification":[101],"systems":[104],"proposed":[106],"compared":[108],"with":[109],"existing":[111],"methods":[112],"specification.":[115],"experience":[117],"its":[119],"practical":[120],"described.":[123],"The":[124],"based":[127],"on":[128],"UniTESK":[130],"technology":[132],"at":[134],"Institute":[136],"Programming.":[139]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2014,"cited_by_count":6},{"year":2013,"cited_by_count":4},{"year":2012,"cited_by_count":1}],"updated_date":"2026-06-19T15:47:20.252518","created_date":"2025-10-10T00:00:00"}