Principled Software Development

DOI10.1007/978-3-319-98047-8zbMath1400.68032OpenAlexW2909511174MaRDI QIDQ4558903

No author found.

Publication date: 30 November 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-98047-8

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Festschriften (00B30) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• Dafny
• GrGen
• Modula
• Smalltalk
• Ada95
• ASSAT
• SIGNAL
• JML
• Frama-C
• Erlang
• Boogie
• LUSTRE
• GROOVE
• KeY
• VerCors
• FDR3
• Viper
• seL4
• NAT2TEST
• Esterel
• DeltaJ
• JOANA
• SCCharts
• SCEst
• DarwinSPL
• DeltaEcore
• contractLarva

This page was built for publication: Principled Software Development