Login / Signup

Teaching How to Derive Correct Concurrent Programs from State-Based Specifications and Code Patterns.

Manuel CarroJulio MariñoÁngel Herranz-NievaJuan José Moreno-Navarro
Published in: TFM (2004)
Keyphrases
  • concurrent programs
  • process algebra
  • formal specification
  • concurrent programming
  • case study
  • concurrent systems
  • e learning
  • general purpose
  • source code
  • web applications
  • knowledge base