Login / Signup

STATEMATE: A Working Environment for the Development of Complex Reactive Systems.

David HarelHagi LachoverAmnon NaamadAmir PnueliMichal PolitiRivi ShermanAharon Shtull-TrauringMark B. Trakhtenbrot
Published in: IEEE Trans. Software Eng. (1990)
Keyphrases
  • working environment
  • reactive systems
  • complex systems
  • case study
  • software engineering
  • high level
  • expert systems
  • relational databases
  • knowledge acquisition
  • model checking
  • information flow
  • control center