Dataflow-like languages for real-time systems: issues of computational models and notation
暂无分享,去创建一个
[1] G. P. Mullery,et al. CORE - a method for controlled requirement specification , 1979, ICSE 1979.
[2] Krishna M. Kavi,et al. A Formal Definition of Data Flow Graph Models , 1986, IEEE Transactions on Computers.
[3] Hans H. Kron,et al. Programming-in-the-Large Versus Programming-in-the-Small , 1975 .
[4] Antony A. Faustini,et al. Toward a Real-Time Dataflow Language , 1986, IEEE Software.
[5] Stuart Bennett. Real-Time Computer Control , 1988 .
[6] Pascal Traverse. Dependability of Digital Computers on Board Airplanes , 1991 .
[7] Pamela Zave,et al. An Insider's Evaluation of PAISLey , 1991, IEEE Trans. Software Eng..
[8] Edward A. Lee. Consistency in Dataflow Graphs , 1991, IEEE Trans. Parallel Distributed Syst..
[9] A. Bondavalli,et al. Dataflow-like model for robust computations , 1989 .
[10] Morris Sloman,et al. Constructing Distributed Systems in Conic , 1989, IEEE Trans. Software Eng..
[11] Hermann Kopetz,et al. Distributed fault-tolerant real-time systems: the Mars approach , 1989, IEEE Micro.