A 24 bit DSP for motion video codec and software development support system

2003 ◽  
Author(s):  
T. Murakami ◽  
N. Kinjo ◽  
K. Kamizawa ◽  
T. Shimada
Keyword(s):  
Software Development ◽  
Support System ◽  
Video Codec ◽  
Development Support ◽  
Motion Video

Software Development Support for AI Programs

Computer ◽  
1987 ◽  
Vol 20 (1) ◽  
pp. 30-40 ◽  
Author(s):  
Ramamoorthy ◽  
Shekhar ◽  
Garg
Keyword(s):  
Software Development ◽  
Development Support

COGITO: A METHODOLOGY AND SYSTEM FOR FORMAL SOFTWARE DEVELOPMENT

1995 ◽  
Vol 05 (04) ◽  
pp. 599-617 ◽  
Author(s):  
A. BLOESCH ◽  
E. KAZMIERCZAK ◽  
P. KEARNEY ◽  
OWEN TRAYNOR
Keyword(s):  
Software Development ◽  
Support System ◽  
Development Process ◽  
Integrated Methodology ◽  
Formal Development ◽  
Phases Of Development ◽  
The Way

Cogito 1 is the first iteration of a Z-based integrated methodology and support system for formal software development. This paper gives an overview of the Cogito methodology and associated tools. Particular emphasis is placed on the way in which Cogito integrates the various phases of the formal development process and provides comprehensive tools support for all phases of development addressed by the methodology.

2P1-A17 OpenRTM Real-time Software Development Support and Hardware System Development Support Tools : 2nd Report

2010 ◽  
Vol 2010 (0) ◽  
pp. _2P1-A17_1-_2P1-A17_3
Author(s):  
Yuichiro KAWASUMI ◽  
Hajime SAITO ◽  
Akira NISHITARUMIZU ◽  
Fumio KANEHIRO ◽  
Shin'ichiro NAKAOKA
Keyword(s):  
Software Development ◽  
Real Time ◽  
System Development ◽  
Hardware System ◽  
Support Tools ◽  
Development Support
Sign in / Sign up

Export Citation Format

Share Document