Login / Signup

On developing and verifying design abstractions for reliable concurrent programming in Ada.

Alan BurnsAndy J. WellingsAlbert KoelmansMaciej KoutnyAlexander B. RomanovskyAlexandre Yakovlev
Published in: IRTAW (2000)
Keyphrases
  • user interface
  • case study
  • knowledge based systems
  • design process
  • general purpose
  • concurrent programming
  • fault tolerant
  • design principles