( en | de | ru )

 

Disambiguation of "Katayama, Takuya"

Author of the publication

copydeleteadd this publication to your clipboard
Two Models for Describing Software Design Process: Object-Centered Model and Phase-Centered Model.

, , and . SEKE, page 291-295. Knowledge Systems Institute, (1993)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Yoshihiko Katayama

Takuya Soma

Takuya Suzuki

 

Other publications of authors with the same name

An Executable Semantics of Object-oriented Models for Simulation and Theorem Proving., and . MSVVEIS, page 71-80. INSTICC PRESS, (2008)A Functional and Attribute Based Computational Model for Fault-Tolerant Software, , and . TR93-08. Arizona University, Computer Science, (1993)Storage Allocation Strategies for Recursive Attribute Evaluators, and . Compiler Construction CC'98, volume 1383 of Lect. Notes in Comp. Sci., page 50--64. portugal, Springer-Verlag, (April 1998)On Eliminating Type 3 Circularities of Ordered Attribute Grammars, , , , and . Second Workshop on Attribute Grammars and their Applications, WAGA'99, page 93--112. Amsterdam, The Netherlands, INRIA rocquencourt, (March 1999)Object-Oriented Extension of Attribute Grammars and its Implementation Using Distributed Attribute Evaluation Algorithm., and . WAGA, volume 461 of Lecture Notes in Computer Science, page 177-191. Springer, (1990)Design Verification for Product Line Development., , and . SPLC, volume 3714 of Lecture Notes in Computer Science, page 150-161. Springer, (2005)How Can We Make Industry Adopt Formal Methods?. ICFEM, volume 5256 of Lecture Notes in Computer Science, page 1. Springer, (2008)Storage Allocation Strategies for Recursive Attributes Evaluators., and . CC, volume 1383 of Lecture Notes in Computer Science, page 50-64. Springer, (1998)Automated Adaptor Generation for Behavioral Mismatching Services Based on Pushdown Model Checking., , and . IEICE Trans. Inf. Syst., 95-D (7): 1882-1893 (2012)A Formal Model of Re-execution in Software Process., , and . ICSP, page 84-99. IEEE Computer Society, (1993)