Connecting software build with maintaining consistency between models: towards sound, optimal, and flexible building from megamodels. Perdita Stevens. Softw Syst Model 19, 935–958, 2020. 2020 shelley2024-07-26T09:03:55+00:00 Share this content FacebookXLinkedInWhatsAppEmail Related Posts Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory. Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory. Putting Randomized Compiler Testing into Production (Experience Report). Putting Randomized Compiler Testing into Production (Experience Report). Strongly Normalizing Higher-Order Relational Queries. Strongly Normalizing Higher-Order Relational Queries. Compositional Assume-Guarantee Reasoning of Control Law Diagrams Using UTP. Compositional Assume-Guarantee Reasoning of Control Law Diagrams Using UTP.