Toggle navigation
J-STAGE home
Browse
All titles
All subject areas
All publishers
Search articles
Search J-STAGE Data
About J-STAGE
Overview
Services and features
Public data
Terms and Policy
News and PR
News
Maintenance information
Special contents
Media resources
Support
User manuals
Browser compatibility
FAQ
Contact
Sitemap
Sign in
Cart
EN
English
日本語
Browse
All titles
All subject areas
All publishers
Search articles
Search J-STAGE Data
About J-STAGE
Overview
Services and features
Public data
Terms and Policy
News and PR
News
Maintenance information
Special contents
Media resources
Support
User manuals
Browser compatibility
FAQ
Contact
Sitemap
Sign in
Cart
EN
English
日本語
Advanced search
Computer Software
Print ISSN : 0289-6540
Journal home
All issues
About the journal
J-STAGE home
/
Computer Software
/
All issues
Search
Please specify a volume, issue and page OR a volume and page.
No article has been found that matches the search query.
There are more than one record in the search results.Please specify issue.
Advanced search
OR
Browse
Volume
Vol 41
Vol 40
Vol 39
Vol 38
Vol 37
Vol 36
Vol 35
Vol 34
Vol 33
Vol 32
Vol 31
Vol 30
Vol 29
Vol 28
Vol 27
Vol 26
Vol 25
Vol 24
Vol 23
Vol 22
Vol 21
Vol 20
Vol 19
Vol 18
Vol 18-0
Vol 17
Vol 16
Vol 15
Vol 14
Vol 13
Vol 12
Vol 11
Vol 10
Vol 9
Vol 8
Vol 7
Vol 6
Vol 5
Vol 4
Vol 3
Vol 2
Vol 1
Issue
Issue 6
Issue 5
Issue 4
Issue 3
Issue 2
Issue 1
Search
Search
Browse
Please specify a volume, issue and page OR a volume and page.
No article has been found that matches the search query.
There are more than one record in the search results.Please specify issue.
Advanced search
Volume
Vol 41
Vol 40
Vol 39
Vol 38
Vol 37
Vol 36
Vol 35
Vol 34
Vol 33
Vol 32
Vol 31
Vol 30
Vol 29
Vol 28
Vol 27
Vol 26
Vol 25
Vol 24
Vol 23
Vol 22
Vol 21
Vol 20
Vol 19
Vol 18
Vol 18-0
Vol 17
Vol 16
Vol 15
Vol 14
Vol 13
Vol 12
Vol 11
Vol 10
Vol 9
Vol 8
Vol 7
Vol 6
Vol 5
Vol 4
Vol 3
Vol 2
Vol 1
Issue
Issue 6
Issue 5
Issue 4
Issue 3
Issue 2
Issue 1
Please specify a volume, issue and page OR a volume and page.
No article has been found that matches the search query.
There are more than one record in the search results.Please specify issue.
All issues
Volume 41 (2024)
Issue 1 Pages 1_1-
Volume 40 (2023)
Issue 4 Pages 4_1-
Issue 3 Pages 3_1-
Issue 2 Pages 2_1-
Issue 1 Pages 1_1-
Volume 39 (2022)
Issue 4 Pages 4_1-
Issue 3 Pages 3_1-
Issue 2 Pages 2_1-
Issue 1 Pages 1_1-
Volume 38 (2021)
Issue 4 Pages 4_1-
Issue 3 Pages 3_1-
Issue 2 Pages 2_1-
Issue 1 Pages 1_1-
Volume 37 (2020)
Issue 4 Pages 4_1-
Issue 3 Pages 3_1-
Issue 2 Pages 2_1-
Issue 1 Pages 1_1-
Volume 36 (2019)
Issue 4 Pages 4_1-
Issue 3 Pages 3_1-
Issue 2 Pages 2_1-
Issue 1 Pages 1-
Volume 35 (2018)
Issue 4 Pages 1-
Issue 3 Pages 3_1-
Issue 2 Pages 2_1-
Issue 1 Pages 1_1-
Volume 34 (2017)
Issue 4 Pages 4_1-
Issue 3 Pages 3_1-
Issue 2 Pages 2_1-
Issue 1 Pages 1_1-
Volume 33 (2016)
Issue 4 Pages 4_1-
Issue 3 Pages 3_1-
Issue 2 Pages 2_1-
Issue 1 Pages 1_1-
Volume 32 (2015)
Issue 4 Pages 4_1-
Issue 3 Pages 3_1-
Issue 2 Pages 2_1-
Issue 1 Pages 1_1-
Volume 31 (2014)
Issue 4 Pages 4_1-
Issue 3 Pages 3_1-
Issue 2 Pages 2_1-
Issue 1 Pages 1_1-
Volume 30 (2013)
Issue 4 Pages 4_1-
Issue 3 Pages 3_1-
Issue 2 Pages 2_1-
Issue 1 Pages 1_1-
Volume 29 (2012)
Issue 4 Pages 4_1-
Issue 3 Pages 3_1-
Issue 2 Pages 2_1-
Issue 1 Pages 1_1-
Volume 28 (2011)
Issue 4 Pages 4_1-
Issue 3 Pages 3_1-
Issue 2 Pages 2_1-
Issue 1 Pages 1_1-
Volume 27 (2010)
Issue 4 Pages 4_1-
Issue 3 Pages 3_1-
Issue 2 Pages 2_1-
Issue 1 Pages 1_1-
Volume 26 (2009)
Issue 4 Pages 4_1-
Issue 3 Pages 3_1-
Issue 2 Pages 2_1-
Issue 1 Pages 1_1-
Volume 25 (2008)
Issue 4 Pages 4_1-
Issue 3 Pages 3_1-
Issue 2 Pages 2_1-
Issue 1 Pages 1_1-
Volume 24 (2007)
Issue 4 Pages 4_1-
Issue 3 Pages 3_111-
Issue 2 Pages 2_1-
Issue 1 Pages 1_1-
Volume 23 (2006)
Issue 4 Pages 4_1-
Issue 3 Pages 3_1-
Issue 2 Pages 2_1-
Issue 1 Pages 1_1-
Volume 22 (2005)
Issue 4 Pages 4_1-
Issue 3 Pages 3_1-
Issue 2 Pages 2_1-
Issue 1 Pages 1_1-
Volume 21 (2004)
Issue 6 Pages 423-
Issue 5 Pages 340-
Issue 4 Pages 235-
Issue 3 Pages 159-
Issue 2 Pages 83-
Issue 1 Pages 1-
Volume 20 (2003)
Issue 6 Pages 533-
Issue 5 Pages 413-
Issue 4 Pages 321-
Issue 3 Pages 213-
Issue 2 Pages 117-
Issue 1 Pages 1-
Volume 19 (2002)
Issue 6 Pages 425-
Issue 5 Pages 333-
Issue 4 Pages 245-
Issue 3 Pages 157-
Issue 2 Pages 81-
Issue 1 Pages 1-
Volume 18 (2001)
Issue 6 Pages 571-
Issue 5 Pages 483-
Issue 4 Pages 399-
Issue 3 Pages 327-
Issue 2 Pages 243-
Issue 1 Pages 157-
Volume 18-0 (2000)
Volume 17 (2000)
Issue 6 Pages 509-
Issue 5 Pages 409-
Issue 4 Pages 297-
Issue 3 Pages 193-
Issue 2 Pages 109-
Issue 1 Pages 1-
Volume 16 (1999)
Issue 6 Pages 6_517-
Issue 5 Pages 5_401-
Issue 4 Pages 4_293-
Issue 3 Pages 3_193-
Issue 2 Pages 2_108-
Issue 1 Pages 1_1-
Volume 15 (1998)
Issue 6 Pages 6_491-
Issue 5 Pages 5_395-
Issue 4 Pages 4_281-
Issue 3 Pages 3_189-
Issue 2 Pages 2_107-
Issue 1 Pages 1_1-
Volume 14 (1997)
Issue 6 Pages 6_533-
Issue 5 Pages 5_437-
Issue 4 Pages 4_333-
Issue 3 Pages 3_217-
Issue 2 Pages 2_105-
Issue 1 Pages 1_1-
Volume 13 (1996)
Issue 6 Pages 6_437-
Issue 5 Pages 5_361-
Issue 4 Pages 4_281-
Issue 3 Pages 3_193-
Issue 2 Pages 2_113-
Issue 1 Pages 1_1-
Volume 12 (1995)
Issue 6 Pages 6_519-
Issue 5 Pages 5_403-
Issue 4 Pages 4_291-
Issue 3 Pages 3_195-
Issue 2 Pages 2_106-
Issue 1 Pages 1_1-
Volume 11 (1994)
Issue 6 Pages 6_453-
Issue 5 Pages 5_357-
Issue 4 Pages 4_257-
Issue 3 Pages 3_161-
Issue 2 Pages 2_100-
Issue 1 Pages 1_1-
Volume 10 (1993)
Issue 6 Pages 6_457-
Issue 5 Pages 5_385-
Issue 4 Pages 4_289-
Issue 3 Pages 3_193-
Issue 2 Pages 2_100-
Issue 1 Pages 1_1-
Volume 9 (1992)
Issue 6 Pages 6_459-
Issue 5 Pages 5_379-
Issue 4 Pages 4_283-
Issue 3 Pages 3_179-
Issue 2 Pages 2_102-
Issue 1 Pages 1_1-
Volume 8 (1991)
Issue 6 Pages 6_509-
Issue 5 Pages 5_401-
Issue 4 Pages 4_305-
Issue 3 Pages 3_209-
Issue 2 Pages 2_100-
Issue 1 Pages 1_1-
Volume 7 (1990)
Issue 4 Pages 4_317-
Issue 3 Pages 3_213-
Issue 2 Pages 2_101-
Issue 1 Pages 1_1-
Volume 6 (1989)
Issue 4 Pages 4_319-
Issue 3 Pages 3_221-
Issue 2 Pages 2_125-
Issue 1 Pages 1_1-
Volume 5 (1988)
Issue 4 Pages 4_301-
Issue 3 Pages 3_217-
Issue 2 Pages 2_109-
Issue 1 Pages 1_1-
Volume 4 (1987)
Issue 4 Pages 4_297-
Issue 3 Pages 3_185-
Issue 2 Pages 2_120-
Issue 1 Pages 1_1-
Volume 3 (1986)
Issue 4 Pages 4_305-
Issue 3 Pages 3_181-
Issue 2 Pages 2_115-
Issue 1 Pages 1_1-
Volume 2 (1985)
Issue 4 Pages 4_581-
Issue 3 Pages 3_483-
Issue 2 Pages 2_383-
Issue 1 Pages 1_291-
Volume 1 (1984)
Issue 3 Pages 3_207-
Issue 2 Pages 2_107-
Issue 1 Pages 1_1-
Volume 19, Issue 1
Displaying 1-9 of 9 articles from this issue
Download citation
RIS (compatible with EndNote, Reference Manager, ProCite, RefWorks)
Bib TeX (compatible with BibDesk, LaTeX)
Text
Hide all abstracts
Show all abstracts
|<
<
1
>
>|
Regular Paper
A Program Compression Scheme for PDA and Mobile Phone Applications written in Object-Oriented Languages
Tatsurou Sekiguchi, Yutaka Oiwa, Akinori Yonezawa
2002 Volume 19 Issue 1 Pages 1-9
Published: 2002
Released on J-STAGE: July 19, 2002
DOI
https://doi.org/10.11309/jssst.19.1
JOURNAL
FREE ACCESS
Download PDF
(145K)
Verification of Behavioural Equations by Using Test Set Coinduction
Michihiro Matsumoto, Kokichi Futatsugi
2002 Volume 19 Issue 1 Pages 10-21
Published: 2002
Released on J-STAGE: July 19, 2002
DOI
https://doi.org/10.11309/jssst.19.10
JOURNAL
FREE ACCESS
Download PDF
(159K)
Short Note
Multidimensional Searching Trees with Minimum Attribute
Haiyan Zhao, Zhenjiang Hu, Masato Takeichi
2002 Volume 19 Issue 1 Pages 22-28
Published: 2002
Released on J-STAGE: July 19, 2002
DOI
https://doi.org/10.11309/jssst.19.22
JOURNAL
FREE ACCESS
Download PDF
(92K)
Generation of a TRS Implementing the Inverses of Pure Treeless Functions
Naoki Nishida, Masahiko Sakai, Toshiki Sakabe
2002 Volume 19 Issue 1 Pages 29-33
Published: 2002
Released on J-STAGE: July 19, 2002
DOI
https://doi.org/10.11309/jssst.19.29
JOURNAL
FREE ACCESS
Download PDF
(98K)
Logic of Knowledge for Programs
Satoshi Kobayashi
2002 Volume 19 Issue 1 Pages 34-38
Published: 2002
Released on J-STAGE: July 19, 2002
DOI
https://doi.org/10.11309/jssst.19.34
JOURNAL
FREE ACCESS
Download PDF
(87K)
XML Database for Program Analysis Information
Yuusuke Yamanaka, Fumiaki Ohata, Katsuro Inoue
2002 Volume 19 Issue 1 Pages 39-43
Published: 2002
Released on J-STAGE: July 19, 2002
DOI
https://doi.org/10.11309/jssst.19.39
JOURNAL
FREE ACCESS
Download PDF
(100K)
Software Component Trial System and Its Evaluation
Hironori Washizaki, Mai Motomura, Yoshiaki Fukazawa
2002 Volume 19 Issue 1 Pages 44-48
Published: 2002
Released on J-STAGE: July 19, 2002
DOI
https://doi.org/10.11309/jssst.19.44
JOURNAL
FREE ACCESS
Download PDF
(133K)
Tutorial
Buffer Overflow Attacks and Their Countermeasures
Ken Wakita
2002 Volume 19 Issue 1 Pages 49-63
Published: 2002
Released on J-STAGE: July 19, 2002
DOI
https://doi.org/10.11309/jssst.19.49
JOURNAL
FREE ACCESS
Download PDF
(165K)
Topics
Report on TACS 2001
Masahito Hasegawa
2002 Volume 19 Issue 1 Pages 64-66
Published: 2002
Released on J-STAGE: July 19, 2002
DOI
https://doi.org/10.11309/jssst.19.64
JOURNAL
FREE ACCESS
Download PDF
(50K)
|<
<
1
>
>|
feedback
Top
Register with J-STAGE for free!
Register
Already have an account? Sign in
here