2008 | ||
---|---|---|
76 | EE | Takuya Katayama: How Can We Make Industry Adopt Formal Methods? ICFEM 2008: 1 |
75 | Kenro Yatake, Takuya Katayama: An Executable Semantics of Object-oriented Models for Simulation and Theorem Proving. MSVVEIS 2008: 71-80 | |
74 | EE | Takuya Katayama, Masashi Yamishita, Masaki Nakamiya, Kazuya Murao, Kohei Tanaka, Tsutomu Terada, Shojiro Nishio: Development of a navigation system with a route planning algorithm using body-worn sensors. MoMM 2008: 88-93 |
2007 | ||
73 | EE | Toshiaki Aoki, Takuya Katayama: Statechart-based Verification of Object-Oriented Design Models. APSEC 2007: 278-285 |
72 | Ming-Jen Huang, Takuya Katayama: Using Responsibility Modeling and Rule-Based Approach for Product Line Evolution. SPLC (2) 2007: 191-199 | |
2006 | ||
71 | Yasser Kotb, Takuya Katayama: A Novel Technique to Verify the UML Use Case Diagrams. IASTED Conf. on Software Engineering 2006: 300-305 | |
70 | EE | Nguyen Truong Thang, Takuya Katayama: Specification and verification of inter-component constraints in CTL. ACM SIGSOFT Software Engineering Notes 31(2): (2006) |
69 | EE | Yasser Kotb, Takuya Katayama: Improving software documentation using textual entailment. ACM SIGSOFT Software Engineering Notes 31(6): 1-2 (2006) |
2005 | ||
68 | EE | Rami Yared, Xavier Défago, Takuya Katayama: Fault-Tolerant Group Membership Protocols Using Physical Robot Messengers. AINA 2005: 921-926 |
67 | EE | Chaiwat Sathawornwichit, Takuya Katayama: A Parametric Model Checking Approach for Real-Time Systems Design. APSEC 2005: 584-594 |
66 | EE | Naohiro Hayashibara, Xavier Défago, Makoto Takizawa, Takuya Katayama: Information Propagation on the phi Failure Detector. DEXA Workshops 2005: 72-76 |
65 | EE | Xavier Défago, Péter Urbán, Naohiro Hayashibara, Takuya Katayama: Definition and Specification of Accrual Failure Detectors. DSN 2005: 206-215 |
64 | EE | Takuya Katayama, Yutaka Ishikawa, Yoshiki Kinoshita: Workshop on Dependable Software - Tools and Methods - Workshop Abstract. DSN 2005: 824 |
63 | EE | Kenro Yatake, Toshiaki Aoki, Takuya Katayama: Implementing Application-Specific Object-Oriented Theories in HOL. ICTAC 2005: 501-516 |
62 | EE | Nguyen Truong Thang, Takuya Katayama: Constructing Open Systems via Consistent Components. ICTAC 2005: 517-531 |
61 | EE | Toshiaki Aoki, Takuya Katayama: Formalization and Analysis of Dataflow in Object-Oriented Design Models. ISORC 2005: 95-105 |
60 | EE | Nguyen Truong Thang, Takuya Katayama: A Formal Approach Facilitating the Evolution of Component-Based Software. IWPSE 2005: 49-52 |
59 | EE | Ming-Jen Huang, Takuya Katayama: Steering Model-Driven Evolution by Responsibilities. IWPSE 2005: 71-80 |
58 | EE | Nguyen The Loc, Said Elnaffar, Takuya Katayama, Tu Bao Ho: A Scheduling Method for Divisible Workload Problem in Grid Environments. PDCAT 2005: 513-517 |
57 | EE | Tomoji Kishi, Natsuko Noda, Takuya Katayama: Design Verification for Product Line Development. SPLC 2005: 150-161 |
56 | Ming-Jen Huang, Takuya Katayama: Steering Model-Driven Development of Enterprise Information System Through Responsibilities. WSMDEIS 2005: 143-148 | |
55 | EE | Yasser Kotb, Takuya Katayama: Consistency checking of UML model diagrams using the XML semantics approach. WWW (Special interest tracks and posters) 2005: 982-983 |
54 | EE | Takuya Katayama, Tatsuo Nakajima, Taiichi Yuasa, Tomoji Kishi, Shin Nakajima, Shuichi Oikawa, Masahiro Yasugi, Toshiaki Aoki, Mitsutaka Okazaki, Seiji Umatani: Highly Reliable Embedded Software Development Using Advanced Software Technologies. IEICE Transactions 88-D(6): 1105-1116 (2005) |
2004 | ||
53 | EE | Samia Souissi, Xavier Défago, Takuya Katayama: Decomposition of Fundamental Problems for Cooperative Autonomous Mobile Systems. ICDCS Workshops 2004: 554-560 |
52 | EE | Nguyen Truong Thang, Takuya Katayama: Handling Consistency of Software Evolution in an Efficient Way. IWPSE 2004: 121-130 |
51 | EE | Toshiaki Aoki, Takuya Katayama: Foundations for Evolutionary Construction of State Transition Models. IWPSE 2004: 143-146 |
50 | EE | Péter Urbán, Naohiro Hayashibara, André Schiper, Takuya Katayama: Performance Comparison of a Rotating Coordinator and a Leader Based Consensus Algorithm. SRDS 2004: 4-17 |
49 | EE | Naohiro Hayashibara, Xavier Défago, Rami Yared, Takuya Katayama: The F Accrual Failure Detector. SRDS 2004: 66-78 |
48 | Kenro Yatake, Toshiaki Aoki, Takuya Katayama: Collaboration-based verification of Object-Oriented models in HOL. VVEIS 2004: 78-80 | |
47 | EE | Tomoji Kishi, Toshiaki Aoki, Shin Nakajima, Natsuko Noda, Takuya Katayama: Project Report: High-Reliable Object-Oriented Embedded Software Design. WSTFEUS 2004: 144-148 |
46 | EE | Yasser Kotb, Katsuhiko Gondow, Takuya Katayama: Optimizing the Execution Time for Checking the Consistency of XML Documents. J. Intell. Inf. Syst. 22(3): 257-279 (2004) |
2003 | ||
45 | EE | Takuya Katayama: Science of Software Changes. APSEC 2003: 2 |
44 | EE | Hiroyuki Ozaki, Shingo Ban, Katsuhiko Gondow, Takuya Katayama: An Environment for Evolutionary Prototyping Java Programs based on Abstract Interpretation. APSEC 2003: 362-370 |
43 | EE | Nguyen Truong Thang, Takuya Katayama: Towards a Sound Modular Model Checking of Collaboration-Based Software Designs. APSEC 2003: 88-97 |
42 | EE | Nguyen Truong Thang, Takuya Katayama: Dynamic Behavior and Protocol Models for Incremental Changes among a Set of Collaborative Objects. IWPSE 2003: 45-50 |
41 | EE | Hiroyuki Ozaki, Katsuhiko Gondow, Takuya Katayama: Class Refinement for Software Evolution. IWPSE 2003: 51-56 |
2002 | ||
40 | EE | Mitsutaka Okazaki, Toshiaki Aoki, Takuya Katayama: Extracting threads from concurrent objects for the design of embedded systems. APSEC 2002: 107-116 |
39 | Yasser Kotb, Katsuhiko Gondow, Takuya Katayama: Using Bypassing Copy Rules Technique to XML Consistency Semantics Checker. International Conference on Internet Computing 2002: 653-659 | |
38 | EE | Tomoji Kishi, Natsuko Noda, Takuya Katayama: A Method for Product Line Scoping Based on a Decision-Making Framework. SPLC 2002: 348-365 |
37 | EE | Naohiro Hayashibara, Adel Cherif, Takuya Katayama: Failure Detectors for Large-Scale Distributed Systems. SRDS 2002: 404-409 |
2001 | ||
36 | EE | Tomoji Kishi, Natsuko Noda, Takuya Katayama: Architectural Design for Evolution by Analyzing Requirements on Quality Attributes. APSEC 2001: 111-118 |
35 | Toshiaki Aoki, Takaaki Tateishi, Takuya Katayama: An Axiomatic Formalization of UML Models. pUML 2001: 13-28 | |
2000 | ||
34 | EE | Takuya Katayama: Principles and Mechnisms for Evolving Software Systems: A Report from a Project on Software Evolution Principles. ICECCS 2000: 200- |
33 | Katsuhiko Gondow, Takuya Katayama: Attribute Grammars as Record Calculus - A Structure-Oriented Denotational Semantics of Attribute Grammars by Using Cardelli's Record Calculus. Informatica (Slovenia) 24(3): (2000) | |
1998 | ||
32 | Yoshifumi Masunaga, Takuya Katayama, Michiharu Tsukamoto: Worldwide Computing and Its Applications, International Conference, WWCA '98, Second International Conference, Tsukuba, Japan, March 4-5, 1998, Proceedings Springer 1998 | |
31 | EE | Toshiaki Aoki, Takuya Katayama: Unification and Consistency Verification of Object-Oriented Analysis Models. APSEC 1998: 296-303 |
30 | Kazunori Mizushima, Takuya Katayama: Storage Allocation Strategies for Recursive Attributes Evaluators. CC 1998: 50-64 | |
1996 | ||
29 | EE | Takuya Katayama: Principles of Software Evolution. APSEC 1996: 152- |
28 | Naoko Izumi, Takuya Katayama: An Object Logic for Object Base Capable of Version Management. SEKE 1996: 171-180 | |
1994 | ||
27 | Masato Suzuki, Takuya Katayama, Richard D. Schlichting: Implementing Fault Tolerance with an Attribute and Functional Based Model. FTCS 1994: 244-253 | |
26 | Sumio Mochizuki, Takuya Katayama: A Proposal for Composing Software Design Process. Software Quality and Productivity 1994: 72-77 | |
1993 | ||
25 | Masato Suzuki, Atsushi Iwai, Takuya Katayama: A Formal Model of Re-execution in Software Process. ICSP 1993: 84-99 | |
24 | Katsuhiko Gondow, Takashi Imaizumi, Yoichi Shinoda, Takuya Katayama: Change Management and Consistency Maintenance in Software Development Environments Using Object-Oriented Attribute Grammars. ISOTAS 1993: 77-94 | |
23 | Shiyuan Ding, Takuya Katayama: Specifying Reactive Systems with Attributed Finite State Machines. IWSSD 1993: 90-99 | |
22 | Sumio Mochizuki, Akira Yamauchi, Takuya Katayama: Two Models for Describing Software Design Process: Object-Centered Model and Phase-Centered Model. SEKE 1993: 291-295 | |
21 | Shiyuan Ding, Takuya Katayama: Attributed State Machines For Behavior Specification of Reactive Systems. SEKE 1993: 695-702 | |
1991 | ||
20 | EE | Takuya Katayama: ISPW6: Support for the Software Process. ICSE 1991: 258-262 |
19 | Takuya Katayama, Sumio Motizuki: What has been learned from applying a formal process model to a real process. ISPW 1991: 79-81 | |
1990 | ||
18 | Takuya Katayama: Proceedings of the Sixth International Software Process Workshop (ISPW '90), October 1990, Hakodate, Japan IEEE Computer Society 1990 | |
17 | Sumio Mochizuki, Akira Yamauchi, Takuya Katayama, Masato Suzuki: Applying the software process to the instruction tool in system design. ISPW 1990: 141-144 | |
16 | Yoichi Shinoda, Takuya Katayama: Object-oriented software processes and their environment. ISPW 1990: 191-194 | |
15 | Yoichi Shinoda, Takuya Katayama: Object-Oriented Extension of Attribute Grammars and its Implementation Using Distributed Attribute Evaluation Algorithm. WAGA 1990: 177-191 | |
1989 | ||
14 | Lichao Tan, Takuya Katayama: Meta Operations for Type Management in Object-Oriented Databases. DOOD 1989: 241-258 | |
13 | Takuya Katayama: A Hierarchical and Functional Software Process Description and Its Enaction. ICSE 1989: 343-352 | |
12 | Takuya Katayama, Masato Suzuki: An example of process description in HFSP. ISPW 1989: 161-162 | |
11 | Takuya Katayama, Masato Suzuki: Mechanisms for software process dynamics. ISPW 1989: 78-81 | |
10 | Yoichi Shinoda, Takuya Katayama: Towards Formal Description and Automatic Generation of Programming Environments. SEE 1989: 261-270 | |
1988 | ||
9 | Kouichi Kishida, Takuya Katayama, Masatoshi Matsuo, Isao Miyamoto, Koichiro Ochimizu, Nobuo Saito, John H. Sayler, Koji Torii, Lloyd G. Williams: SDA: A Novel Approach to Software Environment Design and Construction. ICSE 1988: 69-79 | |
8 | Takuya Katayama: A hierarchical and functional approach to software process description. ISPW 1988: 87-92 | |
1986 | ||
7 | Takuya Katayama, Hisashi Sasaki: Global Storage Allocation in Attribute Evaluation. POPL 1986: 26-37 | |
1984 | ||
6 | Takuya Katayama: Type Inference and Type Checking for Functional Programming Languages: A Reduced Computation Approach. LISP and Functional Programming 1984: 263-272 | |
5 | Hisashi Sasaki, Takuya Katayama: Global Storage Allocation in Attribute Evaluation. RIMS Symposia on Software Science and Engineering 1984: 181-211 | |
4 | EE | Takuya Katayama: Translation of Attribute Grammars into Procedures. ACM Trans. Program. Lang. Syst. 6(3): 345-369 (1984) |
1982 | ||
3 | Takuya Katayama: Treatment of Big Values in an Applicative Language HFP. RIMS Symposium on Software Science and Engineering 1982: 36-48 | |
1981 | ||
2 | Takuya Katayama, Yutaka Hoshino: Verification of Attribute Grammars. POPL 1981: 177-186 | |
1978 | ||
1 | Takuya Katayama, Masayuki Okamoto, Hajime Enomoto: Characterization of the Structure-Generating Functions of Regular Sets and the DOL Growth Functions Information and Control 36(1): 85-101 (1978) |