Matches in SemOpenAlex for { <https://semopenalex.org/work/W69851487> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W69851487 endingPage "230" @default.
- W69851487 startingPage "215" @default.
- W69851487 abstract "We present a framework for formal software development with UML. In contrast to previous approaches to equipping UML with a formal semantics, we propose an institution-based heterogeneous approach. This can express suitable formal semantics of the different UML diagram types directly, without the need to map everything to one specific formalism (let it be first-order logic or graph grammars). We provide ideas how different aspects of the formal development process can be coherently formalised, ranging from requirements over design and Hoare-style conditions on code to the implementation itself. The framework can be used to verify consistency of different UML diagrams both horizontally (e.g., consistency among various requirements) as well as vertically (e.g., correctness of design or implementation w.r.t. the requirements)." @default.
- W69851487 created "2016-06-24" @default.
- W69851487 creator A5006245504 @default.
- W69851487 creator A5040001719 @default.
- W69851487 creator A5052756595 @default.
- W69851487 date "2015-01-01" @default.
- W69851487 modified "2023-10-12" @default.
- W69851487 title "Towards an Institutional Framework for Heterogeneous Formal Development in UML" @default.
- W69851487 cites W1466613629 @default.
- W69851487 cites W1479777452 @default.
- W69851487 cites W1502336583 @default.
- W69851487 cites W1503248228 @default.
- W69851487 cites W1506418353 @default.
- W69851487 cites W1515857575 @default.
- W69851487 cites W1575807834 @default.
- W69851487 cites W1597414920 @default.
- W69851487 cites W1857360093 @default.
- W69851487 cites W1871900403 @default.
- W69851487 cites W1973556339 @default.
- W69851487 cites W1986385780 @default.
- W69851487 cites W2010883554 @default.
- W69851487 cites W2102932199 @default.
- W69851487 cites W2129292012 @default.
- W69851487 cites W2135652513 @default.
- W69851487 cites W2158744698 @default.
- W69851487 cites W2160358397 @default.
- W69851487 cites W2345556285 @default.
- W69851487 cites W2973533397 @default.
- W69851487 cites W4212780887 @default.
- W69851487 cites W4254228903 @default.
- W69851487 cites W4255006224 @default.
- W69851487 doi "https://doi.org/10.1007/978-3-319-15545-6_15" @default.
- W69851487 hasPublicationYear "2015" @default.
- W69851487 type Work @default.
- W69851487 sameAs 69851487 @default.
- W69851487 citedByCount "7" @default.
- W69851487 countsByYear W698514872015 @default.
- W69851487 countsByYear W698514872017 @default.
- W69851487 countsByYear W698514872021 @default.
- W69851487 countsByYear W698514872022 @default.
- W69851487 crossrefType "book-chapter" @default.
- W69851487 hasAuthorship W69851487A5006245504 @default.
- W69851487 hasAuthorship W69851487A5040001719 @default.
- W69851487 hasAuthorship W69851487A5052756595 @default.
- W69851487 hasBestOaLocation W698514872 @default.
- W69851487 hasConcept C115903868 @default.
- W69851487 hasConcept C116253237 @default.
- W69851487 hasConcept C145644426 @default.
- W69851487 hasConcept C146499914 @default.
- W69851487 hasConcept C146939238 @default.
- W69851487 hasConcept C199360897 @default.
- W69851487 hasConcept C2777904410 @default.
- W69851487 hasConcept C41008148 @default.
- W69851487 hasConcept C41298492 @default.
- W69851487 hasConcept C55439883 @default.
- W69851487 hasConcept C75606506 @default.
- W69851487 hasConceptScore W69851487C115903868 @default.
- W69851487 hasConceptScore W69851487C116253237 @default.
- W69851487 hasConceptScore W69851487C145644426 @default.
- W69851487 hasConceptScore W69851487C146499914 @default.
- W69851487 hasConceptScore W69851487C146939238 @default.
- W69851487 hasConceptScore W69851487C199360897 @default.
- W69851487 hasConceptScore W69851487C2777904410 @default.
- W69851487 hasConceptScore W69851487C41008148 @default.
- W69851487 hasConceptScore W69851487C41298492 @default.
- W69851487 hasConceptScore W69851487C55439883 @default.
- W69851487 hasConceptScore W69851487C75606506 @default.
- W69851487 hasLocation W698514871 @default.
- W69851487 hasLocation W698514872 @default.
- W69851487 hasOpenAccess W69851487 @default.
- W69851487 hasPrimaryLocation W698514871 @default.
- W69851487 hasRelatedWork W1498165689 @default.
- W69851487 hasRelatedWork W2003353439 @default.
- W69851487 hasRelatedWork W2028340709 @default.
- W69851487 hasRelatedWork W2040734826 @default.
- W69851487 hasRelatedWork W2140225592 @default.
- W69851487 hasRelatedWork W2159597605 @default.
- W69851487 hasRelatedWork W2547157394 @default.
- W69851487 hasRelatedWork W2784440036 @default.
- W69851487 hasRelatedWork W2886109573 @default.
- W69851487 hasRelatedWork W2572145283 @default.
- W69851487 isParatext "false" @default.
- W69851487 isRetracted "false" @default.
- W69851487 magId "69851487" @default.
- W69851487 workType "book-chapter" @default.