scientific article; zbMATH DE number 1258883

zbMATH Open0930.68087MaRDI QIDQ4229232FDOQ4229232

Author name not available (Why is that?)

Publication date: 8 March 1999

Title of this publication is not available (Why is that?)

zbMATH Keywords

minimum spanning treerefinementabstract machinesRefinementprogram developmentProgram developmentdistributed load balancingB methodproduction celldistributed electronic mail system

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Specification and verification (program logics, model checking, etc.) (68Q60) Theory of software (68N99)

Cited In (7)

• Action systems in incremental and aspect-oriented modeling
• B: Towards zero defect software
• Query-driven verification of data integration in the RDF data model
• Verifying minimum spanning tree algorithms with Stone relation algebras
• Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application
• Verification-Led Smart Contracts
• Dynamic Logic with Binders and Its Application to the Development of Reactive Systems

Uses Software

• Visual C++

   Recommendations

• The B-Book 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Verified Compilation and the B Method: A Proposal and a First Appraisal 👍 👎

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4229232)