BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Portugal
1 × Singapore
1 × South Korea
2 × France
8 × USA
Collaborated with:
∅ T.Kishi N.Noda K.Mizushima N.Izumi S.Ding Y.Shinoda H.Sasaki Y.Hoshino H.Tanizaki T.Aoki S.Mochizuki A.Yamauchi A.Sakamoto T.Terada M.Tsukamoto K.Kishida M.Matsuo I.Miyamoto K.Ochimizu N.Saito J.H.Sayler K.Torii L.G.Williams
Talks about:
attribut (6) softwar (5) object (4) process (3) method (3) design (3) model (3) evalu (3) base (3) function (2)

Person: Takuya Katayama

DBLP DBLP: Katayama:Takuya

Facilitated 1 volumes:

ICSE 1993Ed

Contributed to:

SAC 20142014
SEKE 20122012
SPLC 20052005
SPLC 20022002
CC 19981998
SEKE 19961996
SEKE 19931993
ICSE 19911991
WAGA 19901990
ICSE 19891989
ICSE 19881988
POPL 19861986
LFP 19841984
POPL 19811981

Wrote 15 papers:

SAC-2014-SakamotoKTT #visualisation
Method for visualizing undone operations based on changes on desktop screen (AS, TK, TT, MT), pp. 193–195.
SEKE-2012-TanizakiAK #variability
A Variability Management Method for Software Configuration Files (HT, TA, TK), pp. 672–677.
SPLC-2005-KishiNK #design #development #product line #verification
Design Verification for Product Line Development (TK, NN, TK), pp. 150–161.
SPLC-2002-KishiNK #framework #product line
A Method for Product Line Scoping Based on a Decision-Making Framework (TK, NN, TK), pp. 348–365.
CC-1998-MizushimaK #recursion
Storage Allocation Strategies for Recursive Attributes Evaluators (KM, TK), pp. 50–64.
SEKE-1996-IzumiK #logic
An Object Logic for Object Base Capable of Version Management (NI, TK), pp. 171–180.
SEKE-1993-DingK #behaviour #specification #state machine
Attributed State Machines For Behavior Specification of Reactive Systems (SD, TK), pp. 695–702.
SEKE-1993-MochizukiYK #design #modelling #process
Two Models for Describing Software Design Process: Object-Centered Model and Phase-Centered Model (SM, AY, TK), pp. 291–295.
ICSE-1991-Katayama #named #process
ISPW6: Support for the Software Process (TK), pp. 258–262.
WAGA-1990-ShinodaK #algorithm #attribute grammar #distributed #implementation #object-oriented #using
Object-Oriented Extension of Attribute Grammars and its Implementation Using Distributed Attribute Evaluation Algorithm (YS, TK), pp. 177–191.
ICSE-1989-Katayama #functional #process
A Hierarchical and Functional Software Process Description and Its Enaction (TK), pp. 343–352.
ICSE-1988-KishidaKMMOSSTW #approach #design #named #novel
SDA: A Novel Approach to Software Environment Design and Construction (KK, TK, MM, IM, KO, NS, JHS, KT, LGW), pp. 69–79.
POPL-1986-KatayamaS #attribute grammar
Global Storage Allocation in Attribute Evaluation (TK, HS), pp. 26–37.
LFP-1984-Katayama #approach #functional #programming language #type checking #type inference
Type Inference and Type Checking for Functional Programming Languages: A Reduced Computation Approach (TK), pp. 263–272.
POPL-1981-KatayamaH #attribute grammar #verification
Verification of Attribute Grammars (TK, YH), pp. 177–186.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.