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 0
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 0
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 18-0
Displaying 1-10 of 10 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
>
>|
Special Issue: Software Evolution
Applying Design Patterns for Constructing Evolutionary Software and Its Evaluation
Gou Masuda, Norihiro Sakamoto, Kazuo Ushijima
2000 Volume 18-0 Pages 4-18
Published: February 28, 2001
Released on J-STAGE: February 28, 2001
DOI
https://doi.org/10.11309/jssst.18.4
JOURNAL
FREE ACCESS
Show abstract
Hide abstract
[in Japanese]
View full abstract
Download PDF
(818K)
Function Call Dependency Graph for Programming Navigation
Ryo Miura, Shinichirou Yamamoto, Kiyoshi Agusa
2000 Volume 18-0 Pages 19-29
Published: February 28, 2001
Released on J-STAGE: February 28, 2001
DOI
https://doi.org/10.11309/jssst.18.19
JOURNAL
FREE ACCESS
Download PDF
(590K)
An Application of Component technology for specifications to Evolutional Software
Shusaku Iida, Kokichi Futatsugi
2000 Volume 18-0 Pages 30-45
Published: February 28, 2001
Released on J-STAGE: February 28, 2001
DOI
https://doi.org/10.11309/jssst.18.30
JOURNAL
FREE ACCESS
Show abstract
Hide abstract
[in Japanese]
View full abstract
Download PDF
(824K)
Calculating Fucntional Programs by Incremental Tupling and Fusion
Hideya Iwasaki, Zhenjiang Hu, Masato Takeichi
2000 Volume 18-0 Pages 46-59
Published: February 28, 2001
Released on J-STAGE: February 28, 2001
DOI
https://doi.org/10.11309/jssst.18.46
JOURNAL
FREE ACCESS
Show abstract
Hide abstract
[in Japanese]
View full abstract
Download PDF
(760K)
Implementation of Experimental System for Automatic Program Transformation Based on Generalized Partial Computation
Yoshihiko Futamura, Zenjiro Konishi
2000 Volume 18-0 Pages 60-77
Published: February 28, 2001
Released on J-STAGE: February 28, 2001
DOI
https://doi.org/10.11309/jssst.18.60
JOURNAL
FREE ACCESS
Show abstract
Hide abstract
[in Japanese]
View full abstract
Download PDF
(955K)
Unification-based Resolution Method for Modal Logic with Finite Frames
Shigeki Hagihara, Masahiko Tomoishi, Naoki Yonezaki
2000 Volume 18-0 Pages 78-91
Published: February 28, 2001
Released on J-STAGE: February 28, 2001
DOI
https://doi.org/10.11309/jssst.18.78
JOURNAL
FREE ACCESS
Show abstract
Hide abstract
[in Japanese]
View full abstract
Download PDF
(727K)
Evolution of Graph Search Algorithms and Their Verification
Mitsuharu Yamamoto, Koichi Takahashi, Masami Hagiya, Shin-ya Nishizaki ...
2000 Volume 18-0 Pages 92-108
Published: February 28, 2001
Released on J-STAGE: February 28, 2001
DOI
https://doi.org/10.11309/jssst.18.92
JOURNAL
FREE ACCESS
Show abstract
Hide abstract
[in Japanese]
View full abstract
Download PDF
(930K)
Minimal Revised Specification by Abductive Logic Programming—Computation and Application
Ken Satoh
2000 Volume 18-0 Pages 109-121
Published: February 28, 2001
Released on J-STAGE: February 28, 2001
DOI
https://doi.org/10.11309/jssst.18.109
JOURNAL
FREE ACCESS
Show abstract
Hide abstract
[in Japanese]
View full abstract
Download PDF
(656K)
Kima—an Automated Error Correction System for Concurrent Logic Programs
Yasuhiro Ajiro, Kazunori Ueda
2000 Volume 18-0 Pages 122-137
Published: February 28, 2001
Released on J-STAGE: February 28, 2001
DOI
https://doi.org/10.11309/jssst.18.122
JOURNAL
FREE ACCESS
Show abstract
Hide abstract
[in Japanese]
View full abstract
Download PDF
(922K)
Efficient Resource Management Model for Linear Logic Programming Languages
Kyoung-Sun Kang, Mutsunori Banbara, Naoyuki Tamura
2000 Volume 18-0 Pages 138-154
Published: February 28, 2001
Released on J-STAGE: February 28, 2001
DOI
https://doi.org/10.11309/jssst.18.138
JOURNAL
FREE ACCESS
Show abstract
Hide abstract
[in Japanese]
View full abstract
Download PDF
(831K)
|<
<
1
>
>|
feedback
Top
Register with J-STAGE for free!
Register
Already have an account? Sign in
here