Matches in SemOpenAlex for { <https://semopenalex.org/work/W2912122957> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W2912122957 abstract "Alloy supports reasoning about software designs in early development stages. It is composed of a modelling language and a tool that is able to find valid instances of the model. Alloy is able to produce graphical representations of analysis results, which is essential for their interpretation. In previous work we have improved the representations with the usage of layout managers. Here, we further extend that work by presenting the improvements on the approach, and by introducing a new case study to analyse the contribution of layout managers, and to support validation trough a user study." @default.
- W2912122957 created "2019-02-21" @default.
- W2912122957 creator A5061819639 @default.
- W2912122957 creator A5063889603 @default.
- W2912122957 date "2018-11-01" @default.
- W2912122957 modified "2023-10-18" @default.
- W2912122957 title "Improving Traces Visualisation through Layout Managers" @default.
- W2912122957 cites W1519503479 @default.
- W2912122957 cites W1895387792 @default.
- W2912122957 cites W2058263387 @default.
- W2912122957 cites W2071353749 @default.
- W2912122957 cites W2103475742 @default.
- W2912122957 cites W2145343052 @default.
- W2912122957 cites W2157289187 @default.
- W2912122957 cites W2158995263 @default.
- W2912122957 cites W2525665404 @default.
- W2912122957 cites W256193833 @default.
- W2912122957 cites W2952559745 @default.
- W2912122957 cites W3193268718 @default.
- W2912122957 doi "https://doi.org/10.1109/itcgi.2018.8602936" @default.
- W2912122957 hasPublicationYear "2018" @default.
- W2912122957 type Work @default.
- W2912122957 sameAs 2912122957 @default.
- W2912122957 citedByCount "0" @default.
- W2912122957 crossrefType "proceedings-article" @default.
- W2912122957 hasAuthorship W2912122957A5061819639 @default.
- W2912122957 hasAuthorship W2912122957A5063889603 @default.
- W2912122957 hasBestOaLocation W29121229572 @default.
- W2912122957 hasConcept C107457646 @default.
- W2912122957 hasConcept C115903868 @default.
- W2912122957 hasConcept C124101348 @default.
- W2912122957 hasConcept C127413603 @default.
- W2912122957 hasConcept C18762648 @default.
- W2912122957 hasConcept C199360897 @default.
- W2912122957 hasConcept C2522767166 @default.
- W2912122957 hasConcept C2777904410 @default.
- W2912122957 hasConcept C36464697 @default.
- W2912122957 hasConcept C41008148 @default.
- W2912122957 hasConcept C527412718 @default.
- W2912122957 hasConcept C78519656 @default.
- W2912122957 hasConceptScore W2912122957C107457646 @default.
- W2912122957 hasConceptScore W2912122957C115903868 @default.
- W2912122957 hasConceptScore W2912122957C124101348 @default.
- W2912122957 hasConceptScore W2912122957C127413603 @default.
- W2912122957 hasConceptScore W2912122957C18762648 @default.
- W2912122957 hasConceptScore W2912122957C199360897 @default.
- W2912122957 hasConceptScore W2912122957C2522767166 @default.
- W2912122957 hasConceptScore W2912122957C2777904410 @default.
- W2912122957 hasConceptScore W2912122957C36464697 @default.
- W2912122957 hasConceptScore W2912122957C41008148 @default.
- W2912122957 hasConceptScore W2912122957C527412718 @default.
- W2912122957 hasConceptScore W2912122957C78519656 @default.
- W2912122957 hasLocation W29121229571 @default.
- W2912122957 hasLocation W29121229572 @default.
- W2912122957 hasOpenAccess W2912122957 @default.
- W2912122957 hasPrimaryLocation W29121229571 @default.
- W2912122957 hasRelatedWork W1582096518 @default.
- W2912122957 hasRelatedWork W1604110270 @default.
- W2912122957 hasRelatedWork W2321256789 @default.
- W2912122957 hasRelatedWork W2363669182 @default.
- W2912122957 hasRelatedWork W2525150146 @default.
- W2912122957 hasRelatedWork W2584352511 @default.
- W2912122957 hasRelatedWork W2792152840 @default.
- W2912122957 hasRelatedWork W3211326156 @default.
- W2912122957 hasRelatedWork W1549056443 @default.
- W2912122957 hasRelatedWork W2101467440 @default.
- W2912122957 isParatext "false" @default.
- W2912122957 isRetracted "false" @default.
- W2912122957 magId "2912122957" @default.
- W2912122957 workType "article" @default.