Bakar Alir: Supporting Developers in Construction of Information Flow Contracts in SPARK.
Hariharan ThiagarajanJohn HatcliffJason Belt RobbyPublished in: SCAM (2012)
Keyphrases
- information flow
- supply chain
- flow analysis
- social networks
- information flows
- open source
- flow graph
- communication networks
- information security
- source code
- multi threaded
- functional modules
- multi context systems
- random walk
- autonomous agents
- process management
- markov chain
- decision support
- software development
- end users