A comparison of data flow testing criteria based on a program model (Japanisch)
- Neue Suche nach: Hirota, T.
- Neue Suche nach: Hirota, T.
In:
Transactions of the Information Processing Society of Japan
;
34
, 11
;
2233-2241
;
1993
-
ISSN:
- Aufsatz (Zeitschrift) / Print
-
Titel:A comparison of data flow testing criteria based on a program model
-
Weitere Titelangaben:Ein Vergleich von Datenfluß-Testkriterien basierend auf einem Programm-Modell
Titel japanisch -
Beteiligte:Hirota, T. ( Autor:in )
-
Erschienen in:Transactions of the Information Processing Society of Japan ; 34, 11 ; 2233-2241
-
Verlag:
-
Erscheinungsdatum:1993
-
Format / Umfang:9 Seiten, 18 Quellen
-
ISSN:
-
Coden:
-
Medientyp:Aufsatz (Zeitschrift)
-
Format:Print
-
Sprache:Japanisch
-
Schlagwörter:
-
Datenquelle:
Inhaltsverzeichnis – Band 34, Ausgabe 11
Zeige alle Jahrgänge und Ausgaben
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 2213
-
Modeling cooperative development process and prototyping a monitor/navigation systemIida, H. / Mimura, K. / Inoue, K. / Torii, K. et al. | 1993
- 2223
-
Definition of the test-case for concurrent programs and prototype of test-case generation systemKatayama, T. / Komoda, T. / Furukawa, Z. / Ushijima, K. et al. | 1993
- 2233
-
A comparison of data flow testing criteria based on a program modelHirota, T. et al. | 1993
- 2242
-
A verification procedure for algebraic specifications by Metis-ASOhsuga, A. / Sakai, K. / Honiden, S. et al. | 1993
- 2265
-
Layout design aid system for a block copy by understanding a hand-written layout planning diagramShirasaki, A. / Minoh, M. / Ikeda, K. et al. | 1993
- 2277
-
A neural network for recognizing translated and rotated patternsSuzaki, K. / Araya, S. / Nakamura, R. et al. | 1993
- 2282
-
A handwritten compound-word string input system using a knowledge-integrated character segmentation methodOguro, M. / Mizugaki, A. / Nakamura, O. / Kitamura, T. et al. | 1993
- 2289
-
Parallelization of character extraction and recognition from Japanese printed documentsKaneda, Y. / Fujisawa, K. et al. | 1993
- 2302
-
Development of the hypermedia-based CAI system for programming education with exercise support facilityHaga, H. / Kojima, H. et al. | 1993
- 2313
-
Solid modelling education at Department of Information ScienceShimada, Shizuo / Kondo, Kunio / Sato, Hisashi / Kuroda, Akihiro et al. | 1993
- 2344
-
A scenario generator based on knowledge processingYasunobu, C. / Hashimoto, K. / Nishimatsu, M. / Yamada, H. et al. | 1993
- 2370
-
A proposal of LSI design environment based on simulator compiler and shell breadboardHirai, C. / Hayashi, S. et al. | 1993
- 2386
-
An inter-procedural unification optimization without any global program analysis in PROLOGKakizaki, K. et al. | 1993
- 2395
-
On the copying garbage collector which preserves the generated orderKoide, H. / Noshita, K. et al. | 1993
- 2401
-
Extension of critical slice and formulation of verification-by-divisionShimomuras, T. et al. | 1993
- 2421
-
A distributed simulator for distributed algorithmsHirota, N. / Umemoto, H. / Aibara, R. / Yamashita, M. / Ae, T. et al. | 1993