• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Precise Documentation of Well-Structured Programs.

David Lorge ParnasJan MadeyMichal Iglewski
Published in: IEEE Trans. Software Eng. (1994)
Keyphrases
  • structured data
  • real world
  • computer programs
  • structured learning
  • database
  • neural network
  • artificial intelligence
  • social networks
  • data structure
  • multi agent systems
  • artificial neural networks
  • provably correct