Computer Software

All issues

Volume 14, Issue 2

Displaying 1-12 of 12 articles from this issue

Download citation

Show all abstracts

[title in Japanese]

[in Japanese]

1997 Volume 14 Issue 2 Pages 2_105-2_106
Published: March 17, 1997
Released on J-STAGE: November 05, 2018

DOIhttps://doi.org/10.11309/jssst.14.2_105

JOURNAL FREE ACCESS

Show abstractHide abstract

View full abstract

Download PDF (104K)
[title in Japanese]

[in Japanese], [in Japanese]

1997 Volume 14 Issue 2 Pages 2_107
Published: March 17, 1997
Released on J-STAGE: November 05, 2018

DOIhttps://doi.org/10.11309/jssst.14.2_107

JOURNAL FREE ACCESS

Show abstractHide abstract

View full abstract

Download PDF (67K)
Approximative Analysis by Process Algebra with Graded Spatial Actions

Yoshinao Isobe, Yutaka Sato, Kazuhito Ohmaki

1997 Volume 14 Issue 2 Pages 2_108-2_125
Published: March 17, 1997
Released on J-STAGE: November 05, 2018

DOIhttps://doi.org/10.11309/jssst.14.2_108

JOURNAL FREE ACCESS

Show abstractHide abstract

View full abstract

Download PDF (1406K)
ObTS, the dynamic model for object-oriented methodology

Kei Itou, Takuya Katayama

1997 Volume 14 Issue 2 Pages 2_126-2_141
Published: March 17, 1997
Released on J-STAGE: November 05, 2018

DOIhttps://doi.org/10.11309/jssst.14.2_126

JOURNAL FREE ACCESS

Show abstractHide abstract

View full abstract

Download PDF (1000K)
A Markovian Modeling for Software Availability Measurement

Koichi Tokuno, Shigeru Yamada

1997 Volume 14 Issue 2 Pages 2_142-2_148
Published: March 17, 1997
Released on J-STAGE: November 05, 2018

DOIhttps://doi.org/10.11309/jssst.14.2_142

JOURNAL FREE ACCESS

Show abstractHide abstract

View full abstract

Download PDF (501K)
An extended inference module system and its algebra

Isamu Yamazaki

1997 Volume 14 Issue 2 Pages 2_149-2_174
Published: March 17, 1997
Released on J-STAGE: November 05, 2018

DOIhttps://doi.org/10.11309/jssst.14.2_149

JOURNAL FREE ACCESS

Show abstractHide abstract

View full abstract

Download PDF (2001K)
μ-head form proofs and its application to programming

Ken-etsu Fujita

1997 Volume 14 Issue 2 Pages 2_175-2_179
Published: March 17, 1997
Released on J-STAGE: November 05, 2018

DOIhttps://doi.org/10.11309/jssst.14.2_175

JOURNAL FREE ACCESS

Show abstractHide abstract

View full abstract

Download PDF (379K)
[title in Japanese]

Hiroyuki Fujita, Hiroshi Ikeda, Ko Sakai

1997 Volume 14 Issue 2 Pages 2_180-2_184
Published: March 17, 1997
Released on J-STAGE: November 05, 2018

DOIhttps://doi.org/10.11309/jssst.14.2_180

JOURNAL FREE ACCESS

Show abstractHide abstract

View full abstract

Download PDF (417K)
Type-directed optimization of communication of high-level data structures in concurrent programming languages

Toshihiro Shimizu, Naoki Kobayashi

1997 Volume 14 Issue 2 Pages 2_185-2_188
Published: March 17, 1997
Released on J-STAGE: November 05, 2018

DOIhttps://doi.org/10.11309/jssst.14.2_185

JOURNAL FREE ACCESS

Show abstractHide abstract

View full abstract

Download PDF (337K)
Ability for Description of an Incremental Programming Method Base on Abstract Interpretation (ISDR)

Nobukazu Yoshioka, Masato Suzuki, Takuya Katayama

1997 Volume 14 Issue 2 Pages 2_189-2_193
Published: March 17, 1997
Released on J-STAGE: November 05, 2018

DOIhttps://doi.org/10.11309/jssst.14.2_189

JOURNAL FREE ACCESS

Show abstractHide abstract

View full abstract

Download PDF (326K)
Agent Oriented Language, MALS

Yasuharu Katsuno, Masanori Nakahara, Mario Tokoro

1997 Volume 14 Issue 2 Pages 2_194-2_198
Published: March 17, 1997
Released on J-STAGE: November 05, 2018

DOIhttps://doi.org/10.11309/jssst.14.2_194

JOURNAL FREE ACCESS

Show abstractHide abstract

View full abstract

Download PDF (317K)
[title in Japanese]

Taiichi Yuasa

1997 Volume 14 Issue 2 Pages 2_199-2_203
Published: March 17, 1997
Released on J-STAGE: November 05, 2018

DOIhttps://doi.org/10.11309/jssst.14.2_199

JOURNAL FREE ACCESS

Show abstractHide abstract

View full abstract

Download PDF (436K)

Register with J-STAGE for free!