FRINK Linked Data Fragments server

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

• W2460240394 abstract "This paper discusses lessons learned in the attempt to apply the long-known principles of correct-by-construction CbyC first promoted by Dijkstra, to modern model-based development practices. We recall the intent and scrutinize the outcomes of a string of research projects that focused explicitly on the pursuit of CbyC by means of model-driven methods and technologies. The lessons learned show that when CbyC extends from the algorithmic and functional dimension to extra-functional concerns, some of the strength of original CbyC concept and its pull dilute. One of the possible causes of that phenomenon, is that --- in some situation --- the assertive style of algorithm refinement gives way to more tentative exploration of an unknown solution space where the known truths are insufficient to steer the development." @default.
• W2460240394 created "2016-07-22" @default.
• W2460240394 creator A5010111097 @default.
• W2460240394 creator A5014873867 @default.
• W2460240394 creator A5040715391 @default.
• W2460240394 creator A5077687136 @default.
• W2460240394 date "2016-01-01" @default.
• W2460240394 modified "2023-10-06" @default.
• W2460240394 title "Lessons Learned in a Journey Toward Correct-by-Construction Model-Based Development" @default.
• W2460240394 cites W1516291344 @default.
• W2460240394 cites W1577042853 @default.
• W2460240394 cites W1596628462 @default.
• W2460240394 cites W1978717115 @default.
• W2460240394 cites W2018120353 @default.
• W2460240394 cites W2021508926 @default.
• W2460240394 cites W2022637272 @default.
• W2460240394 cites W2024801234 @default.
• W2460240394 cites W2025461892 @default.
• W2460240394 cites W2030180265 @default.
• W2460240394 cites W2129319065 @default.
• W2460240394 cites W2139872812 @default.
• W2460240394 cites W4206365978 @default.
• W2460240394 cites W4231123966 @default.
• W2460240394 cites W639481382 @default.
• W2460240394 cites W9054679 @default.
• W2460240394 cites W952303715 @default.
• W2460240394 doi "https://doi.org/10.1007/978-3-319-39083-3_8" @default.
• W2460240394 hasPublicationYear "2016" @default.
• W2460240394 type Work @default.
• W2460240394 sameAs 2460240394 @default.
• W2460240394 citedByCount "3" @default.
• W2460240394 countsByYear W24602403942018 @default.
• W2460240394 countsByYear W24602403942021 @default.
• W2460240394 crossrefType "book-chapter" @default.
• W2460240394 hasAuthorship W2460240394A5010111097 @default.
• W2460240394 hasAuthorship W2460240394A5014873867 @default.
• W2460240394 hasAuthorship W2460240394A5040715391 @default.
• W2460240394 hasAuthorship W2460240394A5077687136 @default.
• W2460240394 hasConcept C111472728 @default.
• W2460240394 hasConcept C111919701 @default.
• W2460240394 hasConcept C121332964 @default.
• W2460240394 hasConcept C132525143 @default.
• W2460240394 hasConcept C134306372 @default.
• W2460240394 hasConcept C138885662 @default.
• W2460240394 hasConcept C154945302 @default.
• W2460240394 hasConcept C157486923 @default.
• W2460240394 hasConcept C173870130 @default.
• W2460240394 hasConcept C202444582 @default.
• W2460240394 hasConcept C22590252 @default.
• W2460240394 hasConcept C2776542497 @default.
• W2460240394 hasConcept C2778572836 @default.
• W2460240394 hasConcept C33676613 @default.
• W2460240394 hasConcept C33923547 @default.
• W2460240394 hasConcept C41008148 @default.
• W2460240394 hasConcept C50335755 @default.
• W2460240394 hasConcept C62520636 @default.
• W2460240394 hasConcept C80444323 @default.
• W2460240394 hasConceptScore W2460240394C111472728 @default.
• W2460240394 hasConceptScore W2460240394C111919701 @default.
• W2460240394 hasConceptScore W2460240394C121332964 @default.
• W2460240394 hasConceptScore W2460240394C132525143 @default.
• W2460240394 hasConceptScore W2460240394C134306372 @default.
• W2460240394 hasConceptScore W2460240394C138885662 @default.
• W2460240394 hasConceptScore W2460240394C154945302 @default.
• W2460240394 hasConceptScore W2460240394C157486923 @default.
• W2460240394 hasConceptScore W2460240394C173870130 @default.
• W2460240394 hasConceptScore W2460240394C202444582 @default.
• W2460240394 hasConceptScore W2460240394C22590252 @default.
• W2460240394 hasConceptScore W2460240394C2776542497 @default.
• W2460240394 hasConceptScore W2460240394C2778572836 @default.
• W2460240394 hasConceptScore W2460240394C33676613 @default.
• W2460240394 hasConceptScore W2460240394C33923547 @default.
• W2460240394 hasConceptScore W2460240394C41008148 @default.
• W2460240394 hasConceptScore W2460240394C50335755 @default.
• W2460240394 hasConceptScore W2460240394C62520636 @default.
• W2460240394 hasConceptScore W2460240394C80444323 @default.
• W2460240394 hasLocation W24602403941 @default.
• W2460240394 hasOpenAccess W2460240394 @default.
• W2460240394 hasPrimaryLocation W24602403941 @default.
• W2460240394 hasRelatedWork W101255630 @default.
• W2460240394 hasRelatedWork W127948408 @default.
• W2460240394 hasRelatedWork W1572099770 @default.
• W2460240394 hasRelatedWork W1584557363 @default.
• W2460240394 hasRelatedWork W1594880439 @default.
• W2460240394 hasRelatedWork W1972095388 @default.
• W2460240394 hasRelatedWork W2024587485 @default.
• W2460240394 hasRelatedWork W2024924320 @default.
• W2460240394 hasRelatedWork W2027831604 @default.
• W2460240394 hasRelatedWork W20577345 @default.
• W2460240394 hasRelatedWork W2075569940 @default.
• W2460240394 hasRelatedWork W2464054542 @default.
• W2460240394 hasRelatedWork W2475641118 @default.
• W2460240394 hasRelatedWork W2615163395 @default.
• W2460240394 hasRelatedWork W2956010833 @default.
• W2460240394 hasRelatedWork W3095040865 @default.
• W2460240394 hasRelatedWork W3124578325 @default.
• W2460240394 hasRelatedWork W3128013900 @default.
• W2460240394 hasRelatedWork W314815958 @default.
• W2460240394 hasRelatedWork W2185864687 @default.
• W2460240394 isParatext "false" @default.

• next