Search
CSV
RISA New Approach to Software Development Process with Formal Modeling of Behavior based on Visualization
Year: 2011
Abstract:
. 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
Publisher: IEEE
Year: 2014
Simulation of temperature fields in soft tissue caused by nonlinear propagation of ultrasound pulses
Publisher: IEEE
Year: 2014
Comparative Topic Analysis of Japanese and Chinese Bloggers
Publisher: IEEE
Year: 2014
Visio-spatial road boundary detection for unmarked urban and rural roads
Publisher: IEEE
Year: 2014
An approach to representing turbulent flows by data assimilation
Publisher: IEEE
Year: 2014
Topological Properties of the Core Group in Online Communities
Publisher: IEEE
Year: 2014