{"id":"https://openalex.org/W2129809495","doi":"https://doi.org/10.1016/j.entcs.2003.09.001","title":"Specifying Java Card API in OCL","display_name":"Specifying Java Card API in OCL","publication_year":2004,"publication_date":"2004-11-01","ids":{"openalex":"https://openalex.org/W2129809495","doi":"https://doi.org/10.1016/j.entcs.2003.09.001","mag":"2129809495"},"language":"en","primary_location":{"id":"doi:10.1016/j.entcs.2003.09.001","doi":"https://doi.org/10.1016/j.entcs.2003.09.001","is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.entcs.2003.09.001","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"listed_in":["anvur-scientific","cwts-core","jufo-1","norway-1","poland-40","russia-white-list-3"],"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"volume":null,"type":"article","is_traditional":true,"indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.1016/j.entcs.2003.09.001","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Daniel Larsson","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Daniel Larsson","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5020732166","display_name":"Wojciech Mostowski","orcid":"https://orcid.org/0000-0002-7054-9985","observed_orcids":["https://orcid.org/0000-0002-7054-9985"]},"institutions":[{"id":"https://openalex.org/I66862912","display_name":"Chalmers University of Technology","ror":"https://ror.org/040wg7k59","country_code":"SE","type":"education","lineage":["https://openalex.org/I66862912"]}],"countries":["SE"],"is_corresponding":true,"raw_author_name":"Wojciech Mostowski","raw_affiliation_strings":["Chalmers University of Technology;"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Chalmers University of Technology;","institution_ids":["https://openalex.org/I66862912"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5020732166"],"corresponding_institution_ids":["https://openalex.org/I66862912"],"apc_list":null,"apc_paid":null,"fwci":4.6195,"has_fulltext":false,"cited_by_count":16,"citation_normalized_percentile":{"value":0.94716806,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":88,"max":93},"biblio":{"volume":"102","issue":null,"first_page":"3","last_page":"19"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.6039999723434448,"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"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.6039999723434448,"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/T10142","display_name":"Formal Methods in Verification","score":0.28610000014305115,"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.08990000188350677,"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/object-constraint-language","display_name":"Object Constraint Language","score":0.7049999833106995},{"id":"https://openalex.org/keywords/key-system","display_name":"key systems","score":0.6140000224113464},{"id":"https://openalex.org/keywords/formal-specification","display_name":"formal specification","score":0.7239999771118164},{"id":"https://openalex.org/keywords/program-verification","display_name":"program verification","score":0.8799999952316284},{"id":"https://openalex.org/keywords/object-oriented-design","display_name":"object-oriented design","score":0.6959999799728394},{"id":"https://openalex.org/keywords/formal-methods","display_name":"formal methods","score":0.7170000076293945}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8492492437362671},{"id":"https://openalex.org/C47747970","wikidata":"https://www.wikidata.org/wiki/Q46101","display_name":"Java Card","level":4,"score":0.7617725729942322},{"id":"https://openalex.org/C60945770","wikidata":"https://www.wikidata.org/wiki/Q2517517","display_name":"Java Modeling Language","level":5,"score":0.7583463191986084},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7545709609985352},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.7028452754020691},{"id":"https://openalex.org/C15077461","wikidata":"https://www.wikidata.org/wiki/Q7248507","display_name":"Programming language specification","level":5,"score":0.6018038392066956},{"id":"https://openalex.org/C201677973","wikidata":"https://www.wikidata.org/wiki/Q1209840","display_name":"Specification language","level":2,"score":0.5993459224700928},{"id":"https://openalex.org/C168702491","wikidata":"https://www.wikidata.org/wiki/Q567345","display_name":"Java annotation","level":4,"score":0.5676274299621582},{"id":"https://openalex.org/C172482141","wikidata":"https://www.wikidata.org/wiki/Q379273","display_name":"Generics in Java","level":5,"score":0.4945201575756073},{"id":"https://openalex.org/C90069079","wikidata":"https://www.wikidata.org/wiki/Q1805432","display_name":"Language Of Temporal Ordering Specification","level":3,"score":0.49416306614875793},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.4850253462791443},{"id":"https://openalex.org/C132106392","wikidata":"https://www.wikidata.org/wiki/Q1373903","display_name":"Real time Java","level":3,"score":0.4396752119064331},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.0},{"id":"https://openalex.org/C119263510","wikidata":"https://www.wikidata.org/wiki/Q7248501","display_name":"Programming domain","level":4,"score":0.0},{"id":"https://openalex.org/C50033165","wikidata":"https://www.wikidata.org/wiki/Q15712089","display_name":"Inductive programming","level":3,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1016/j.entcs.2003.09.001","doi":"https://doi.org/10.1016/j.entcs.2003.09.001","is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.entcs.2003.09.001","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"listed_in":["anvur-scientific","cwts-core","jufo-1","norway-1","poland-40","russia-white-list-3"],"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:publications.lib.chalmers.se:2066","doi":null,"is_oa":false,"landing_page_url":"http://publications.lib.chalmers.se/publication/2066-specifying-java-card-api-in-ocl","pdf_url":null,"source":{"id":"https://openalex.org/S4377196470","display_name":"Chalmers Publication Library (Chalmers University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I66862912","host_organization_name":"Chalmers University of Technology","host_organization_lineage":["https://openalex.org/I66862912"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Text.Article.Conference.PeerReviewed"},{"id":"pmh:oai:research.chalmers.se:2066","doi":null,"is_oa":false,"landing_page_url":"https://research.chalmers.se/en/publication/2066","pdf_url":null,"source":{"id":"https://openalex.org/S4306402469","display_name":"Chalmers Research (Chalmers University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I66862912","host_organization_name":"Chalmers University of Technology","host_organization_lineage":["https://openalex.org/I66862912"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":null}],"best_oa_location":{"id":"doi:10.1016/j.entcs.2003.09.001","doi":"https://doi.org/10.1016/j.entcs.2003.09.001","is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.entcs.2003.09.001","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"listed_in":["anvur-scientific","cwts-core","jufo-1","norway-1","poland-40","russia-white-list-3"],"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":9,"referenced_works":["https://openalex.org/W1488188749","https://openalex.org/W1515803040","https://openalex.org/W1573154295","https://openalex.org/W1583826417","https://openalex.org/W1598319336","https://openalex.org/W1612432860","https://openalex.org/W2095529767","https://openalex.org/W2107978050","https://openalex.org/W2164810907"],"related_works":["https://openalex.org/W7099967733","https://openalex.org/W134196879","https://openalex.org/W1578560741","https://openalex.org/W2095529767","https://openalex.org/W7097230754","https://openalex.org/W7097631114","https://openalex.org/W120820122","https://openalex.org/W2582696553","https://openalex.org/W7100233743","https://openalex.org/W2121953666"],"abstract_inverted_index":{"We":[0],"discuss":[1],"the":[2,22,29,36,65,68,77,84,91,96,115],"development":[3,66],"of":[4,15,24,35,67,95,117],"an":[5],"OCL":[6,69,108],"specification":[7,17,50,85,121],"for":[8,64],"theJava":[9],"Card":[10,26,119],"API.":[11],"The":[12,32,47],"main":[13,33],"purpose":[14],"this":[16,72],"is":[18,39],"tosupport":[19],"and":[20,44,86,104,109,122],"aid":[21],"verification":[23,102],"Java":[25,118],"programs":[27],"in":[28,52,114],"KeY":[30,37],"system.":[31],"goal":[34],"system":[38],"tointegrate":[40],"object":[41],"oriented":[42],"design":[43],"formal":[45],"methods.":[46],"already":[48],"existing":[49],"written":[51],"JML":[53,113],"(Java":[54],"Modelling":[55],"Language)":[56],"has":[57],"been":[58],"used":[59],"as":[60],"a":[61],"starting":[62],"point":[63],"specification.":[70],"In":[71],"paper":[73],"we":[74,80,89,98,106],"report":[75,99],"on":[76,100],"problems":[78],"that":[79],"encountered":[81],"when":[82],"writing":[83],"their":[87],"solutions,":[88],"present":[90],"most":[92],"interesting":[93],"parts":[94],"specification,":[97],"successful":[101],"attempts":[103],"finally":[105],"evaluate":[107],"compare":[110],"it":[111],"to":[112],"context":[116],"program":[120],"verification.":[123]},"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-11-08T12:12:28.789561","created_date":"2016-06-24T00:00:00"}