Principled Software Development
-15%
portes grátis
Principled Software Development
Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday
Mueller, Peter; Schaefer, Ina
Springer International Publishing AG
10/2018
323
Dura
Inglês
9783319980461
15 a 20 dias
664
Descrição não disponível.
Smart Contracts - A Killer Application for Deductive Source Code Verification.- A Methodology for Invariants, Framing, and Subtyping in JML.- Trends in Relational Program Verification.- Collaborative work management with a highly-available Kanban board.- A Case for Certifying Compilers in Industrial Automation.- Compositional Semantics for Concurrent Object Groups in ABS.- Same Same But Different: Interoperability of Software Product Line Variants.- A Hoare Logic Contract Theory An Exercise in Denotational Semantics.- Towards Reliable Concurrent Software.- Dynamic Software Updates and Context Adaptation for Distributed Active Objects.- Using CSP to Develop Quality Concurrent Software.- Modular Verification Scopes via Export Sets and Translucent Exports.- The Binomial Heap Verification Challenge in Viper.- Abstract and Concrete Data Types vs Object Capabilities.- A Personal History of Delta Modelling.- Are Synchronous Programs Logic Programs?.- Illi Isabellistes Se Custodes Egregios Praestabant.- Reasoning about Weak Semantics via Strong Semantics.- Recipes for Coffee - Compositional Construction of JAVA Control Flow Graphs in GROOVE.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Programming Languages;Software Verification and Validation;Software Product Lines;Concurrent Programming;Formal Languages;Software Development;Program Reasoning
Smart Contracts - A Killer Application for Deductive Source Code Verification.- A Methodology for Invariants, Framing, and Subtyping in JML.- Trends in Relational Program Verification.- Collaborative work management with a highly-available Kanban board.- A Case for Certifying Compilers in Industrial Automation.- Compositional Semantics for Concurrent Object Groups in ABS.- Same Same But Different: Interoperability of Software Product Line Variants.- A Hoare Logic Contract Theory An Exercise in Denotational Semantics.- Towards Reliable Concurrent Software.- Dynamic Software Updates and Context Adaptation for Distributed Active Objects.- Using CSP to Develop Quality Concurrent Software.- Modular Verification Scopes via Export Sets and Translucent Exports.- The Binomial Heap Verification Challenge in Viper.- Abstract and Concrete Data Types vs Object Capabilities.- A Personal History of Delta Modelling.- Are Synchronous Programs Logic Programs?.- Illi Isabellistes Se Custodes Egregios Praestabant.- Reasoning about Weak Semantics via Strong Semantics.- Recipes for Coffee - Compositional Construction of JAVA Control Flow Graphs in GROOVE.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
