Search
CSV
RISA New Approach to Software Development Process with Formal Modeling of Behavior based on Visualization
سال: 2011
خلاصه:
. This work proposes a new feasible
approach to improve the software development process by integrating semi-formal and formal modeling methods. In this approach, software is initially modeled using the formal specification language Object-Z. The formal...
Precise best k-term approximation error analysis of ergodic processes
ناشر: IEEE
سال: 2014
Comparative Topic Analysis of Japanese and Chinese Bloggers
ناشر: IEEE
سال: 2014
Visio-spatial road boundary detection for unmarked urban and rural roads
ناشر: IEEE
سال: 2014
An approach to representing turbulent flows by data assimilation
ناشر: IEEE
سال: 2014
Topological Properties of the Core Group in Online Communities
ناشر: IEEE
سال: 2014