FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2126568545> ?p ?o ?g. }

• W2126568545 endingPage "170" @default.
• W2126568545 startingPage "157" @default.
• W2126568545 abstract "Separation of concerns or aspects is a way to deal with the increasing complexity of systems. The separate design of models for different aspects also promotes a better reusability level. However, an important issue is then to define means to integrate them into a global model. We present a formal and tool-equipped approach for the integration of dynamic models (behaviors expressed using state diagrams) and static models (formal data types) with the benefit to share advantages of both: graphical user-friendly models for behaviors, formal and abstract models for data types. Integration is achieved in a generic way so that it can deal with both different static specification languages (algebraic specifications, Z, B) and different dynamic specification semantics" @default.
• W2126568545 created "2016-06-24" @default.
• W2126568545 creator A5019071560 @default.
• W2126568545 creator A5059839916 @default.
• W2126568545 creator A5091558153 @default.
• W2126568545 date "2007-03-01" @default.
• W2126568545 modified "2023-10-18" @default.
• W2126568545 title "A Formal and Tool-Equipped Approach for the Integration of State Diagrams and Formal Datatypes" @default.
• W2126568545 cites W1481248055 @default.
• W2126568545 cites W1481863977 @default.
• W2126568545 cites W1489858443 @default.
• W2126568545 cites W1492381685 @default.
• W2126568545 cites W1494847577 @default.
• W2126568545 cites W1498799334 @default.
• W2126568545 cites W1521090518 @default.
• W2126568545 cites W1537861563 @default.
• W2126568545 cites W1548903741 @default.
• W2126568545 cites W1569431591 @default.
• W2126568545 cites W1570069626 @default.
• W2126568545 cites W1573853539 @default.
• W2126568545 cites W1574242732 @default.
• W2126568545 cites W1577509186 @default.
• W2126568545 cites W1581469615 @default.
• W2126568545 cites W1583095677 @default.
• W2126568545 cites W1669297639 @default.
• W2126568545 cites W174499754 @default.
• W2126568545 cites W1758496109 @default.
• W2126568545 cites W1841939400 @default.
• W2126568545 cites W2035652450 @default.
• W2126568545 cites W2037081656 @default.
• W2126568545 cites W2086747974 @default.
• W2126568545 cites W2099529102 @default.
• W2126568545 cites W2104107009 @default.
• W2126568545 cites W2118900219 @default.
• W2126568545 cites W2129395888 @default.
• W2126568545 cites W2144973245 @default.
• W2126568545 cites W2155379435 @default.
• W2126568545 cites W2156027773 @default.
• W2126568545 cites W2160313886 @default.
• W2126568545 cites W2162915415 @default.
• W2126568545 cites W2469689424 @default.
• W2126568545 cites W2616991967 @default.
• W2126568545 cites W79157331 @default.
• W2126568545 cites W92182354 @default.
• W2126568545 cites W3185910042 @default.
• W2126568545 doi "https://doi.org/10.1109/tse.2007.21" @default.
• W2126568545 hasPublicationYear "2007" @default.
• W2126568545 type Work @default.
• W2126568545 sameAs 2126568545 @default.
• W2126568545 citedByCount "5" @default.
• W2126568545 countsByYear W21265685452012 @default.
• W2126568545 crossrefType "journal-article" @default.
• W2126568545 hasAuthorship W2126568545A5019071560 @default.
• W2126568545 hasAuthorship W2126568545A5059839916 @default.
• W2126568545 hasAuthorship W2126568545A5091558153 @default.
• W2126568545 hasBestOaLocation W21265685452 @default.
• W2126568545 hasConcept C111498074 @default.
• W2126568545 hasConcept C115903868 @default.
• W2126568545 hasConcept C116253237 @default.
• W2126568545 hasConcept C137981799 @default.
• W2126568545 hasConcept C146499914 @default.
• W2126568545 hasConcept C184337299 @default.
• W2126568545 hasConcept C199360897 @default.
• W2126568545 hasConcept C201677973 @default.
• W2126568545 hasConcept C2777904410 @default.
• W2126568545 hasConcept C41008148 @default.
• W2126568545 hasConcept C75606506 @default.
• W2126568545 hasConcept C80444323 @default.
• W2126568545 hasConceptScore W2126568545C111498074 @default.
• W2126568545 hasConceptScore W2126568545C115903868 @default.
• W2126568545 hasConceptScore W2126568545C116253237 @default.
• W2126568545 hasConceptScore W2126568545C137981799 @default.
• W2126568545 hasConceptScore W2126568545C146499914 @default.
• W2126568545 hasConceptScore W2126568545C184337299 @default.
• W2126568545 hasConceptScore W2126568545C199360897 @default.
• W2126568545 hasConceptScore W2126568545C201677973 @default.
• W2126568545 hasConceptScore W2126568545C2777904410 @default.
• W2126568545 hasConceptScore W2126568545C41008148 @default.
• W2126568545 hasConceptScore W2126568545C75606506 @default.
• W2126568545 hasConceptScore W2126568545C80444323 @default.
• W2126568545 hasIssue "3" @default.
• W2126568545 hasLocation W21265685451 @default.
• W2126568545 hasLocation W21265685452 @default.
• W2126568545 hasLocation W21265685453 @default.
• W2126568545 hasLocation W21265685454 @default.
• W2126568545 hasLocation W21265685455 @default.
• W2126568545 hasOpenAccess W2126568545 @default.
• W2126568545 hasPrimaryLocation W21265685451 @default.
• W2126568545 hasRelatedWork W174007698 @default.
• W2126568545 hasRelatedWork W1932279727 @default.
• W2126568545 hasRelatedWork W2124431509 @default.
• W2126568545 hasRelatedWork W2156223462 @default.
• W2126568545 hasRelatedWork W2159839874 @default.
• W2126568545 hasRelatedWork W2576260943 @default.
• W2126568545 hasRelatedWork W2721743027 @default.
• W2126568545 hasRelatedWork W2795742902 @default.
• W2126568545 hasRelatedWork W2957373997 @default.
• W2126568545 hasRelatedWork W60304821 @default.

• next