Lessons learned in a journey toward correct-by-construction model-based development
| Autor: | Stefano Puri, Laura Baracchi, Tullio Vardanega, Silvia Mazzini |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2016 |
| Předmět: |
Computer science
Model transformation 02 engineering and technology Space (commercial competition) Contract refinement Theoretical Computer Science Correctness by construction Formal methods Model-based development Computer Science (all) Phenomenon 0502 economics and business Model-based design 0202 electrical engineering electronic engineering information engineering Dimension (data warehouse) computer.programming_language Management science business.industry 05 social sciences String (computer science) 020207 software engineering Artificial intelligence business Dijkstra's algorithm computer 050203 business & management |
| Zdroj: | Lecture Notes in Computer Science ISBN: 9783319390826 Ada-Europe |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|