To search, Click below search items.
All Published Papers Search Service
Title
An efficient development method for plant control software using algebraic specification and software components
Author
Masakazu Takahashi, Satoru Takahashi, Kazuhiko Tsuda
Vol. 6 No. 1 pp. 69~80
Keywords
Plant, control software, algebraic specification, software components, integrated development environment
Object-Oriented Petri nets Based Architecture Description Language for Multi-agent Systems
Zhenhua Yu, Yuanli Cai
Vol. 6 No. 1 pp. 123~131
Multi-agent systems, software architecture, architecture description language, Object-Oriented Petri nets, BDI model
Timed Weak Simulation Verification and its application to Stepwise Refinement of Real-Time Software
Satoshi Yamane
Vol. 6 No. 1 pp. 192~203
Refinement Design Method, Real-Time Software, Timed Weak Simulation Relation, Verification, Real-Time Scheduling
Analyzing Impacts of Software Diversity on Worm Propagation in Peer-to-Peer Networks
Ying Zhou, Zhong-fu Wu, Feng Li, Hao Wang, Zheng-zhou Zhu
Vol. 6 No. 2 pp. 219~225
Peer-to-Peer Network, Peer-to-Peer Worm, Software Diversity, Worm Propagation.