Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Takuya Katayama
@inproceedings{DBLP:conf/aughuman/SumitomoKTT14,
author = {Hirotaka Sumitomo and
Takuya Katayama and
Tsutomu Terada and
Masahiko Tsukamoto},
editor = {Tsutomu Terada and
Masahiko Inami and
Kai Kunze and
Takuya Nojima},
title = {Implementation and evaluation on a concealed interface using abdominal
circumference},
booktitle = {5th Augmented Human International Conference, {AH} '14, Kobe, Japan,
March 7-9, 2014},
pages = {51:1--51:8},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2582051.2582102},
doi = {10.1145/2582051.2582102},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aughuman/SumitomoKTT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/SakamotoKTT14,
author = {Arisa Sakamoto and
Takuya Katayama and
Tsutomu Terada and
Masahiko Tsukamoto},
editor = {Yookun Cho and
Sung Y. Shin and
Sang{-}Wook Kim and
Chih{-}Cheng Hung and
Jiman Hong},
title = {Method for visualizing undone operations based on changes on desktop
screen},
booktitle = {Symposium on Applied Computing, {SAC} 2014, Gyeongju, Republic of
Korea - March 24 - 28, 2014},
pages = {193--195},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2554850.2555092},
doi = {10.1145/2554850.2555092},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/SakamotoKTT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iecon/KatayamaOKTNM13,
author = {Takuya Katayama and
Takeki Ogitsu and
Hikaru Kokumai and
Hiroshi Takemura and
Tomohiro Nakayama and
Hiroshi Mizoguchi},
title = {Study on effect of neutral voltages on shaft voltages causing bearing
currents},
booktitle = {{IECON} 2013 - 39th Annual Conference of the {IEEE} Industrial Electronics
Society, Vienna, Austria, November 10-13, 2013},
pages = {4690--4693},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/IECON.2013.6699892},
doi = {10.1109/IECON.2013.6699892},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iecon/KatayamaOKTNM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/LinAK12,
author = {Hsin{-}Hung Lin and
Toshiaki Aoki and
Takuya Katayama},
title = {Automated Adaptor Generation for Behavioral Mismatching Services Based
on Pushdown Model Checking},
journal = {{IEICE} Trans. Inf. Syst.},
volume = {95-D},
number = {7},
pages = {1882--1893},
year = {2012},
url = {https://doi.org/10.1587/transinf.E95.D.1882},
doi = {10.1587/TRANSINF.E95.D.1882},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ieicet/LinAK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/HungNAK12,
author = {Pham Ngoc Hung and
Viet Ha Nguyen and
Toshiaki Aoki and
Takuya Katayama},
title = {On Optimization of Minimized Assumption Generation Method for Component-Based
Software Verification},
journal = {{IEICE} Trans. Fundam. Electron. Commun. Comput. Sci.},
volume = {95-A},
number = {9},
pages = {1451--1460},
year = {2012},
url = {https://doi.org/10.1587/transfun.E95.A.1451},
doi = {10.1587/TRANSFUN.E95.A.1451},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ieicet/HungNAK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aughuman/HorieTKT12,
author = {Tatsuya Horie and
Tsutomu Terada and
Takuya Katayama and
Masahiko Tsukamoto},
editor = {Jean{-}Marc Seigneur and
Hartmut Koenitz and
Guillaume Moreau},
title = {A pointing method using accelerometers for graphical user interfaces},
booktitle = {Proceedings of the 3rd Augmented Human International Conference, {AH}
2012, Meg{\`{e}}ve, France, March 8-9, 2012},
pages = {12},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2160125.2160137},
doi = {10.1145/2160125.2160137},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aughuman/HorieTKT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mum/KatayamaTMT12,
author = {Takuya Katayama and
Tsutomu Terada and
Kazuya Murao and
Masahiko Tsukamoto},
editor = {Enrico Rukzio},
title = {A text input method for half-sized keyboard using keying interval},
booktitle = {11th International Conference on Mobile and Ubiquitous Multimedia,
{MUM} '12, Ulm, Germany, December 4-6, 2012},
pages = {6},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2406367.2406375},
doi = {10.1145/2406367.2406375},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mum/KatayamaTMT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rivf/HungNAK12,
author = {Pham Ngoc Hung and
Viet Ha Nguyen and
Toshiaki Aoki and
Takuya Katayama},
title = {An Improvement of Minimized Assumption Generation Method for Component-Based
Software Verification},
booktitle = {2012 {IEEE} {RIVF} International Conference on Computing {\&}
Communication Technologies, Research, Innovation, and Vision for the
Future (RIVF), Ho Chi Minh City, Vietnam, February 27 - March 1, 2012},
pages = {1--6},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/rivf.2012.6169862},
doi = {10.1109/RIVF.2012.6169862},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rivf/HungNAK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/TanizakiAK12,
author = {Hiroaki Tanizaki and
Toshiaki Aoki and
Takuya Katayama},
title = {A Variability Management Method for Software Configuration Files},
booktitle = {Proceedings of the 24th International Conference on Software Engineering
{\&} Knowledge Engineering (SEKE'2012), Hotel Sofitel, Redwood
City, San Francisco Bay, {USA} July 1-3, 2012},
pages = {672--677},
publisher = {Knowledge Systems Institute Graduate School},
year = {2012},
timestamp = {Thu, 12 Mar 2020 11:30:50 +0100},
biburl = {https://dblp.org/rec/conf/seke/TanizakiAK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/YatakeK11,
author = {Kenro Yatake and
Takuya Katayama},
title = {An executable object-oriented semantics and its application to firewall
verification},
journal = {Softw. Syst. Model.},
volume = {10},
number = {4},
pages = {515--536},
year = {2011},
url = {https://doi.org/10.1007/s10270-010-0160-1},
doi = {10.1007/S10270-010-0160-1},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/YatakeK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/LinAK11,
author = {Hsin{-}Hung Lin and
Toshiaki Aoki and
Takuya Katayama},
title = {Automated Adaptor Generation for Services Based on Pushdown Model
Checking},
booktitle = {18th {IEEE} International Conference and Workshops on the Engineering
of Computer-Based Systems, {ECBS} 2011, Las Vegas, NV, USA, 27-29
April, 2011},
pages = {130--139},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ECBS.2011.33},
doi = {10.1109/ECBS.2011.33},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecbs/LinAK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/HungNAK10,
author = {Pham Ngoc Hung and
Viet Ha Nguyen and
Toshiaki Aoki and
Takuya Katayama},
title = {A Minimized Assumption Generation Method for Component-Based Software
Verification},
journal = {{IEICE} Trans. Inf. Syst.},
volume = {93-D},
number = {8},
pages = {2172--2181},
year = {2010},
url = {https://doi.org/10.1587/transinf.E93.D.2172},
doi = {10.1587/TRANSINF.E93.D.2172},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ieicet/HungNAK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/LinAK10,
author = {Hsin{-}Hung Lin and
Toshiaki Aoki and
Takuya Katayama},
title = {Non-regular Adaptation of Services Using Model Checking},
booktitle = {13th {IEEE} International Symposium on Object/Component/Service-Oriented
Real-Time Distributed Computing, {ISORC} 2010, Carmona, Sevilla, Spain,
5-6 May 2010},
pages = {170--174},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ISORC.2010.30},
doi = {10.1109/ISORC.2010.30},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/LinAK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/SathawornwichitAK10,
author = {Chaiwat Sathawornwichit and
Toshiaki Aoki and
Takuya Katayama},
title = {Modeling of Real-Time System Designs for Parametric Analysis},
booktitle = {16th {IEEE} International Conference on Embedded and Real-Time Computing
Systems and Applications, {RTCSA} 2010, Macau, SAR, China, 23-25 August
2010},
pages = {81--91},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/RTCSA.2010.28},
doi = {10.1109/RTCSA.2010.28},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/SathawornwichitAK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/HungAK09,
author = {Pham Ngoc Hung and
Toshiaki Aoki and
Takuya Katayama},
title = {Modular Conformance Testing and Assume-Guarantee Verification for
Evolving Component-Based Software},
journal = {{IEICE} Trans. Fundam. Electron. Commun. Comput. Sci.},
volume = {92-A},
number = {11},
pages = {2772--2780},
year = {2009},
url = {https://doi.org/10.1587/transfun.E92.A.2772},
doi = {10.1587/TRANSFUN.E92.A.2772},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ieicet/HungAK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/HungAK09,
author = {Pham Ngoc Hung and
Toshiaki Aoki and
Takuya Katayama},
editor = {Martin Leucker and
Carroll Morgan},
title = {A Minimized Assumption Generation Method for Component-Based Software
Verification},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2009, 6th International
Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5684},
pages = {277--291},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03466-4\_18},
doi = {10.1007/978-3-642-03466-4\_18},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictac/HungAK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/KatayamaKHNYSU09,
author = {Takuya Katayama and
Tomoji Kishi and
Shintaro Hosoai and
Tatsuo Nakajima and
Taiichi Yuasa and
Midori Sugaya and
Tomoharu Ugawa},
title = {Project Report: Toward the Realization of Highly Reliable Embedded
Systems},
booktitle = {2009 {IEEE} International Symposium on Object/Component/Service-Oriented
Real-Time Distributed Computing, {ISORC} 2009, Tokyo, Japan, 17-20
March 2009},
pages = {105--111},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ISORC.2009.33},
doi = {10.1109/ISORC.2009.33},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/KatayamaKHNYSU09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwpse/Katayama09,
author = {Takuya Katayama},
editor = {Tom Mens and
Kim Mens and
Michel Wermelinger},
title = {Learning lessons from the past: how {IWPSE} has started, and where
we should go},
booktitle = {Proceedings of the joint international and annual {ERCIM} workshops
on Principles of software evolution {(IWPSE)} and software evolution
(Evol) workshops, Amsterdam, Netherlands, August 24-28, 2009},
pages = {5--6},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1595808.1595810},
doi = {10.1145/1595808.1595810},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/iwpse/Katayama09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwpse/HungAK09,
author = {Pham Ngoc Hung and
Toshiaki Aoki and
Takuya Katayama},
editor = {Tom Mens and
Kim Mens and
Michel Wermelinger},
title = {An effective framework for assume-guarantee verification of evolving
component-based software},
booktitle = {Proceedings of the joint international and annual {ERCIM} workshops
on Principles of software evolution {(IWPSE)} and software evolution
(Evol) workshops, Amsterdam, Netherlands, August 24-28, 2009},
pages = {109--118},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1595808.1595829},
doi = {10.1145/1595808.1595829},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iwpse/HungAK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/TanizakiK08,
author = {Hiroaki Tanizaki and
Takuya Katayama},
title = {Formalization and Consistency Checking of Changes of Software System
Configurations Using Alloy},
booktitle = {15th Asia-Pacific Software Engineering Conference {(APSEC} 2008),
3-5 December 2008, Beijing, China},
pages = {343--350},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/APSEC.2008.64},
doi = {10.1109/APSEC.2008.64},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/TanizakiK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/HungK08,
author = {Pham Ngoc Hung and
Takuya Katayama},
title = {Modular Conformance Testing and Assume-Guarantee Verification for
Evolving Component-Based Software},
booktitle = {15th Asia-Pacific Software Engineering Conference {(APSEC} 2008),
3-5 December 2008, Beijing, China},
pages = {479--486},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/APSEC.2008.51},
doi = {10.1109/APSEC.2008.51},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/HungK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/Katayama08,
author = {Takuya Katayama},
editor = {Shaoying Liu and
T. S. E. Maibaum and
Keijiro Araki},
title = {How Can We Make Industry Adopt Formal Methods?},
booktitle = {Formal Methods and Software Engineering, 10th International Conference
on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan,
October 27-31, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5256},
pages = {1},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88194-0\_1},
doi = {10.1007/978-3-540-88194-0\_1},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/icfem/Katayama08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/momm/KatayamaYNMTTN08,
author = {Takuya Katayama and
Masashi Yamishita and
Masaki Nakamiya and
Kazuya Murao and
Kohei Tanaka and
Tsutomu Terada and
Shojiro Nishio},
editor = {Gabriele Kotsis and
David Taniar and
Eric Pardede and
Ismail Khalil Ibrahim},
title = {Development of a navigation system with a route planning algorithm
using body-worn sensors},
booktitle = {MoMM'2008 - The 6th International Conference on Advances in Mobile
Computing and Multimedia, 24 - 26 November 2008, Linz, Austria},
pages = {88--93},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1497185.1497206},
doi = {10.1145/1497185.1497206},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/momm/KatayamaYNMTTN08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/YatakeK08,
author = {Kenro Yatake and
Takuya Katayama},
editor = {Ulrich Ultes{-}Nitsche and
Daniel Moldt and
Juan Carlos Augusto},
title = {An Executable Semantics of Object-oriented Models for Simulation and
Theorem Proving},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 6th International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, MSVVEIS-2008, In conjunction with {ICEIS} 2008, Barcelona,
Spain, June 2008},
pages = {71--80},
publisher = {{INSTICC} {PRESS}},
year = {2008},
timestamp = {Mon, 18 Aug 2008 15:10:09 +0200},
biburl = {https://dblp.org/rec/conf/vveis/YatakeK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/AokiK07,
author = {Toshiaki Aoki and
Takuya Katayama},
title = {Statechart-based Verification of Object-Oriented Design Models},
booktitle = {14th Asia-Pacific Software Engineering Conference {(APSEC} 2007),
5-7 December 2007, Nagoya, Japan},
pages = {278--285},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/APSEC.2007.86},
doi = {10.1109/APSEC.2007.86},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/AokiK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/HuangK07,
author = {Ming{-}Jen Huang and
Takuya Katayama},
title = {Using Responsibility Modeling and Rule-Based Approach for Product
Line Evolution},
booktitle = {Software Product Lines, 11th International Conference, {SPLC} 2007,
Kyoto, Japan, September 10-14, 2007, Proceedings. Second Volume (Workshops)},
pages = {191--199},
publisher = {Kindai Kagaku Sha Co. Ltd., Tokyo, Japan},
year = {2007},
timestamp = {Tue, 10 Mar 2009 09:43:04 +0100},
biburl = {https://dblp.org/rec/conf/splc/HuangK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/ThangK06,
author = {Nguyen Truong Thang and
Takuya Katayama},
title = {Specification and verification of inter-component constraints in {CTL}},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {31},
number = {2},
year = {2006},
url = {https://doi.org/10.1145/1118537.1123067},
doi = {10.1145/1118537.1123067},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/ThangK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/KotbK06,
author = {Yasser Kotb and
Takuya Katayama},
title = {Improving software documentation using textual entailment},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {31},
number = {6},
pages = {1--2},
year = {2006},
url = {https://doi.org/10.1145/1218776.1218796},
doi = {10.1145/1218776.1218796},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/KotbK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/evol/HuangK06,
author = {Ming{-}Jen Huang and
Takuya Katayama},
editor = {Laurence Duchien and
Maja D'Hondt and
Tom Mens},
title = {Responsibility-Steering Automation of Software Evolution},
booktitle = {2nd {ERCIM} Workshop on Software Evolution, {EVOL} 2006, Lille, France,
April 6-7, 2006},
pages = {89--96},
year = {2006},
timestamp = {Thu, 12 Mar 2020 16:17:00 +0100},
biburl = {https://dblp.org/rec/conf/evol/HuangK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iastedSE/KotbK06,
author = {Yasser Kotb and
Takuya Katayama},
editor = {Peter Kokol},
title = {A Novel Technique to Verify the {UML} Use Case Diagrams},
booktitle = {Proceedings of the {IASTED} International Conference on Software Engineering,
February 14-16, 2006, Innsbruck, Austria},
pages = {300--305},
publisher = {{IASTED/ACTA} Press},
year = {2006},
timestamp = {Wed, 08 Nov 2006 11:18:50 +0100},
biburl = {https://dblp.org/rec/conf/iastedSE/KotbK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/KatayamaNYKNOYAOU05,
author = {Takuya Katayama and
Tatsuo Nakajima and
Taiichi Yuasa and
Tomoji Kishi and
Shin Nakajima and
Shuichi Oikawa and
Masahiro Yasugi and
Toshiaki Aoki and
Mitsutaka Okazaki and
Seiji Umatani},
title = {Highly Reliable Embedded Software Development Using Advanced Software
Technologies},
journal = {{IEICE} Trans. Inf. Syst.},
volume = {88-D},
number = {6},
pages = {1105--1116},
year = {2005},
url = {https://doi.org/10.1093/ietisy/e88-d.6.1105},
doi = {10.1093/IETISY/E88-D.6.1105},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ieicet/KatayamaNYKNOYAOU05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aina/YaredDK05,
author = {Rami Yared and
Xavier D{\'{e}}fago and
Takuya Katayama},
title = {Fault-Tolerant Group Membership Protocols Using Physical Robot Messengers},
booktitle = {19th International Conference on Advanced Information Networking and
Applications {(AINA} 2005), 28-30 March 2005, Taipei, Taiwan},
pages = {921--926},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/AINA.2005.187},
doi = {10.1109/AINA.2005.187},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aina/YaredDK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/SathawornwichitK05,
author = {Chaiwat Sathawornwichit and
Takuya Katayama},
title = {A Parametric Model Checking Approach for Real-Time Systems Design},
booktitle = {12th Asia-Pacific Software Engineering Conference {(APSEC} 2005),
15-17 December 2005, Taipei, Taiwan},
pages = {584--594},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/APSEC.2005.12},
doi = {10.1109/APSEC.2005.12},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/SathawornwichitK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dexaw/HayashibaraDTK05,
author = {Naohiro Hayashibara and
Xavier D{\'{e}}fago and
Makoto Takizawa and
Takuya Katayama},
title = {Information Propagation on the phi Failure Detector},
booktitle = {16th International Workshop on Database and Expert Systems Applications
{(DEXA} 2005), 22-26 August 2005, Copenhagen, Denmark},
pages = {72--76},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/DEXA.2005.119},
doi = {10.1109/DEXA.2005.119},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dexaw/HayashibaraDTK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/DefagoUHK05,
author = {Xavier D{\'{e}}fago and
P{\'{e}}ter Urb{\'{a}}n and
Naohiro Hayashibara and
Takuya Katayama},
title = {Definition and Specification of Accrual Failure Detectors},
booktitle = {2005 International Conference on Dependable Systems and Networks {(DSN}
2005), 28 June - 1 July 2005, Yokohama, Japan, Proceedings},
pages = {206--215},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/DSN.2005.37},
doi = {10.1109/DSN.2005.37},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsn/DefagoUHK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/KatayamaIK05,
author = {Takuya Katayama and
Yutaka Ishikawa and
Yoshiki Kinoshita},
title = {Workshop on Dependable Software - Tools and Methods - Workshop Abstract},
booktitle = {2005 International Conference on Dependable Systems and Networks {(DSN}
2005), 28 June - 1 July 2005, Yokohama, Japan, Proceedings},
pages = {824},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/DSN.2005.101},
doi = {10.1109/DSN.2005.101},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsn/KatayamaIK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/YatakeAK05,
author = {Kenro Yatake and
Toshiaki Aoki and
Takuya Katayama},
editor = {Dang Van Hung and
Martin Wirsing},
title = {Implementing Application-Specific Object-Oriented Theories in {HOL}},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2005, Second International
Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3722},
pages = {501--516},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11560647\_33},
doi = {10.1007/11560647\_33},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictac/YatakeAK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/ThangK05,
author = {Nguyen Truong Thang and
Takuya Katayama},
editor = {Dang Van Hung and
Martin Wirsing},
title = {Constructing Open Systems via Consistent Components},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2005, Second International
Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3722},
pages = {517--531},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11560647\_34},
doi = {10.1007/11560647\_34},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictac/ThangK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/AokiK05,
author = {Toshiaki Aoki and
Takuya Katayama},
title = {Formalization and Analysis of Dataflow in Object-Oriented Design Models},
booktitle = {Eighth {IEEE} International Symposium on Object-Oriented Real-Time
Distributed Computing {(ISORC} 2005), 18-20 May 2005, Seattle, WA,
{USA}},
pages = {95--105},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ISORC.2005.28},
doi = {10.1109/ISORC.2005.28},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/AokiK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwpse/ThangK05,
author = {Nguyen Truong Thang and
Takuya Katayama},
title = {A Formal Approach Facilitating the Evolution of Component-Based Software},
booktitle = {8th International Workshop on Principles of Software Evolution {(IWPSE}
2005), 5-7 September 2005, Lisbon, Portugal},
pages = {49--52},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/IWPSE.2005.1},
doi = {10.1109/IWPSE.2005.1},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iwpse/ThangK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwpse/HuangK05,
author = {Ming{-}Jen Huang and
Takuya Katayama},
title = {Steering Model-Driven Evolution by Responsibilities},
booktitle = {8th International Workshop on Principles of Software Evolution {(IWPSE}
2005), 5-7 September 2005, Lisbon, Portugal},
pages = {71--80},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/IWPSE.2005.28},
doi = {10.1109/IWPSE.2005.28},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iwpse/HuangK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdcat/LocEKB05,
author = {Nguyen The Loc and
Said Elnaffar and
Takuya Katayama and
Tu Bao Ho},
title = {A Scheduling Method for Divisible Workload Problem in Grid Environments},
booktitle = {Sixth International Conference on Parallel and Distributed Computing,
Applications and Technologies {(PDCAT} 2005), 5-8 December 2005, Dalian,
China},
pages = {513--517},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/PDCAT.2005.46},
doi = {10.1109/PDCAT.2005.46},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pdcat/LocEKB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/ThangK05,
author = {Nguyen Truong Thang and
Takuya Katayama},
editor = {Gary T. Leavens},
title = {Specification and verification of inter-component constraints in {CTL}},
booktitle = {Proceedings of the 2005 Conference on Specification and Verification
of Component-Based Systems, {SAVCBS} '05, Lisbon, Portugal, September
5-6, 2005},
pages = {8},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1123058.1123067},
doi = {10.1145/1123058.1123067},
timestamp = {Thu, 10 Feb 2022 15:21:21 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/ThangK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/KishiNK05,
author = {Tomoji Kishi and
Natsuko Noda and
Takuya Katayama},
editor = {J. Henk Obbink and
Klaus Pohl},
title = {Design Verification for Product Line Development},
booktitle = {Software Product Lines, 9th International Conference, {SPLC} 2005,
Rennes, France, September 26-29, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3714},
pages = {150--161},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11554844\_18},
doi = {10.1007/11554844\_18},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/splc/KishiNK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsmai/HuangK05,
author = {Ming{-}Jen Huang and
Takuya Katayama},
editor = {Savitri Bevinakoppa and
Lu{\'{\i}}s Ferreira Pires and
Slimane Hammoudi},
title = {Steering Model-Driven Development of Enterprise Information System
Through Responsibilities},
booktitle = {Web Services and Model-Driven Enterprise Information Services, Proceedings
of the Joint Workshop on Web Services and Model-Driven Enterprise
Information Services, {WSMDEIS} 2005, In conjunction with {ICEIS}
2005, Miami, USA, May 2005},
pages = {143--148},
publisher = {{INSTICC} Press},
year = {2005},
timestamp = {Mon, 27 Jun 2005 13:41:58 +0200},
biburl = {https://dblp.org/rec/conf/wsmai/HuangK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/KotbK05,
author = {Yasser Kotb and
Takuya Katayama},
editor = {Allan Ellis and
Tatsuya Hagino},
title = {Consistency checking of {UML} model diagrams using the {XML} semantics
approach},
booktitle = {Proceedings of the 14th international conference on World Wide Web,
{WWW} 2005, Chiba, Japan, May 10-14, 2005 - Special interest tracks
and posters},
pages = {982--983},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1062745.1062829},
doi = {10.1145/1062745.1062829},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/www/KotbK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jiis/KotbGK04,
author = {Yasser Kotb and
Katsuhiko Gondow and
Takuya Katayama},
title = {Optimizing the Execution Time for Checking the Consistency of {XML}
Documents},
journal = {J. Intell. Inf. Syst.},
volume = {22},
number = {3},
pages = {257--279},
year = {2004},
url = {https://doi.org/10.1023/B:JIIS.0000019279.81927.c5},
doi = {10.1023/B:JIIS.0000019279.81927.C5},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jiis/KotbGK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcsw/SouissiDK04,
author = {Samia Souissi and
Xavier D{\'{e}}fago and
Takuya Katayama},
title = {Decomposition of Fundamental Problems for Cooperative Autonomous Mobile
Systems},
booktitle = {24th International Conference on Distributed Computing Systems Workshops
{(ICDCS} 2004 Workshops), 23-24 March 2004, Hachioji, Tokyo, Japan},
pages = {554--560},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/ICDCSW.2004.1284087},
doi = {10.1109/ICDCSW.2004.1284087},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdcsw/SouissiDK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwpse/ThangK04,
author = {Nguyen Truong Thang and
Takuya Katayama},
title = {Handling Consistency of Software Evolution in an Efficient Way},
booktitle = {7th International Workshop on Principles of Software Evolution {(IWPSE}
2004), 6-7 September 2004, Kyoto, Japan},
pages = {121--130},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/IWPSE.2004.1334776},
doi = {10.1109/IWPSE.2004.1334776},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iwpse/ThangK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwpse/AokiK04,
author = {Toshiaki Aoki and
Takuya Katayama},
title = {Foundations for Evolutionary Construction of State Transition Models},
booktitle = {7th International Workshop on Principles of Software Evolution {(IWPSE}
2004), 6-7 September 2004, Kyoto, Japan},
pages = {143--146},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/IWPSE.2004.1334779},
doi = {10.1109/IWPSE.2004.1334779},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iwpse/AokiK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/UrbanHSK04,
author = {P{\'{e}}ter Urb{\'{a}}n and
Naohiro Hayashibara and
Andr{\'{e}} Schiper and
Takuya Katayama},
title = {Performance Comparison of a Rotating Coordinator and a Leader Based
Consensus Algorithm},
booktitle = {23rd International Symposium on Reliable Distributed Systems {(SRDS}
2004), 18-20 October 2004, Florianpolis, Brazil},
pages = {4--17},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/RELDIS.2004.1352999},
doi = {10.1109/RELDIS.2004.1352999},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/srds/UrbanHSK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/HayashibaraDYK04,
author = {Naohiro Hayashibara and
Xavier D{\'{e}}fago and
Rami Yared and
Takuya Katayama},
title = {The {\(\Phi\)} Accrual Failure Detector},
booktitle = {23rd International Symposium on Reliable Distributed Systems {(SRDS}
2004), 18-20 October 2004, Florianpolis, Brazil},
pages = {66--78},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/RELDIS.2004.1353004},
doi = {10.1109/RELDIS.2004.1353004},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/srds/HayashibaraDYK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/YatakeAK04,
author = {Kenro Yatake and
Toshiaki Aoki and
Takuya Katayama},
editor = {Juan Carlos Augusto and
Ulrich Ultes{-}Nitsche},
title = {Collaboration-based verification of Object-Oriented models in {HOL}},
booktitle = {Verification and Validation of Enterprise Information Systems, Proceedings
of the 2nd International Workshop on Verification and Validation of
Enterprise Information Systems, {VVEIS} 2004, In conjunction with
{ICEIS} 2004, Porto, Portugal, April 2004},
pages = {78--80},
publisher = {{INSTICC} Press},
year = {2004},
timestamp = {Fri, 25 Jun 2004 15:11:15 +0200},
biburl = {https://dblp.org/rec/conf/vveis/YatakeAK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wstfeus/KishiANNK04,
author = {Tomoji Kishi and
Toshiaki Aoki and
Shin Nakajima and
Natsuko Noda and
Takuya Katayama},
title = {Project Report: High-Reliable Object-Oriented Embedded Software Design},
booktitle = {2nd {IEEE} Workshop on Software Technologies for Future Embedded and
Ubiquitous Systems, {WSTFEUS} 2004, Vienna, Austria, May 11-12, 2004},
pages = {144--148},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/WSTFES.2004.1300430},
doi = {10.1109/WSTFES.2004.1300430},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wstfeus/KishiANNK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/Katayama03,
author = {Takuya Katayama},
title = {Science of Software Changes},
booktitle = {10th Asia-Pacific Software Engineering Conference {(APSEC} 2003),
10-12 December 2003, Chiang Mai, Thailand},
pages = {2},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/APSEC.2003.1254350},
doi = {10.1109/APSEC.2003.1254350},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/Katayama03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/ThangK03,
author = {Nguyen Truong Thang and
Takuya Katayama},
title = {Towards a Sound Modular Model Checking of Collaboration-Based Software
Designs},
booktitle = {10th Asia-Pacific Software Engineering Conference {(APSEC} 2003),
10-12 December 2003, Chiang Mai, Thailand},
pages = {88--97},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/APSEC.2003.1254361},
doi = {10.1109/APSEC.2003.1254361},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/ThangK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/OzakiBGK03,
author = {Hiroyuki Ozaki and
Shingo Ban and
Katsuhiko Gondow and
Takuya Katayama},
title = {An Environment for Evolutionary Prototyping Java Programs based on
Abstract Interpretation},
booktitle = {10th Asia-Pacific Software Engineering Conference {(APSEC} 2003),
10-12 December 2003, Chiang Mai, Thailand},
pages = {362--370},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/APSEC.2003.1254390},
doi = {10.1109/APSEC.2003.1254390},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apsec/OzakiBGK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwpse/ThangK03,
author = {Nguyen Truong Thang and
Takuya Katayama},
title = {Dynamic Behavior and Protocol Models for Incremental Changes among
a Set of Collaborative Objects},
booktitle = {6th International Workshop on Principles of Software Evolution {(IWPSE}
2003), 1-2 September 2003, Helsinki, Finland},
pages = {45--50},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/IWPSE.2003.1231208},
doi = {10.1109/IWPSE.2003.1231208},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iwpse/ThangK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwpse/OzakiGK03,
author = {Hiroyuki Ozaki and
Katsuhiko Gondow and
Takuya Katayama},
title = {Class Refinement for Software Evolution},
booktitle = {6th International Workshop on Principles of Software Evolution {(IWPSE}
2003), 1-2 September 2003, Helsinki, Finland},
pages = {51--56},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/IWPSE.2003.1231209},
doi = {10.1109/IWPSE.2003.1231209},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwpse/OzakiGK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/KotbGK03,
author = {Yasser Kotb and
Katsuhiko Gondow and
Takuya Katayama},
title = {A case study for {XML} semantics checker model},
booktitle = {Proceedings of the {IEEE} International Conference on Systems, Man
{\&} Cybernetics: Washington, D.C., USA, 5-8 October 2003},
pages = {4834--4839},
publisher = {{IEEE}},
year = {2003},
url = {https://doi.org/10.1109/ICSMC.2003.1245748},
doi = {10.1109/ICSMC.2003.1245748},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/smc/KotbGK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/OkazakiAK02,
author = {Mitsutaka Okazaki and
Toshiaki Aoki and
Takuya Katayama},
title = {Extracting threads from concurrent objects for the design of embedded
systems},
booktitle = {9th Asia-Pacific Software Engineering Conference {(APSEC} 2002), 4-6
December 2002, Gold Coast, Queensland, Australia},
pages = {107--116},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/APSEC.2002.1182980},
doi = {10.1109/APSEC.2002.1182980},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/OkazakiAK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ic/KothGK02,
author = {Yasser Kotb and
Katsuhiko Gondow and
Takuya Katayama},
editor = {Hamid R. Arabnia and
Youngsong Mun},
title = {Using Bypassing Copy Rules Technique to {XML} Consistency Semantics
Checker},
booktitle = {Proceedings of the International Conference on Internet Computing,
{IC} 2002, Las Vegas, Nevada, USA, June 24-27, 2002},
pages = {653--659},
publisher = {{CSREA} Press},
year = {2002},
timestamp = {Fri, 03 Feb 2017 14:05:09 +0100},
biburl = {https://dblp.org/rec/conf/ic/KothGK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwpse/ThangK02,
author = {Nguyen Truong Thang and
Takuya Katayama},
editor = {Mikio Aoyama and
Katsuro Inoue and
V{\'{a}}clav Rajlich},
title = {Collaboration-based evolvable software implementations: Java and Hyper/J
vs. C++-templates composition},
booktitle = {Proceedings of the International Workshop on Principles of Software
Evolution, {IWPSE} '02, Orlando, Florida, USA, May 19-20, 2002},
pages = {29--33},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/512035.512043},
doi = {10.1145/512035.512043},
timestamp = {Wed, 26 Aug 2020 08:59:37 +0200},
biburl = {https://dblp.org/rec/conf/iwpse/ThangK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/KotbGK02,
author = {Yasser Kotb and
Katsuhiko Gondow and
Takuya Katayama},
title = {An incremental evaluation approach to check the consistency of {XML}
documents},
booktitle = {{IEEE} International Conference on Systems, Man and Cybernetics: Bridging
the Digital Divide, Yasmine Hammamet, Tunisia, October 6-9, 2002 -
Volume 1},
pages = {6},
publisher = {{IEEE}},
year = {2002},
url = {https://doi.org/10.1109/ICSMC.2002.1175647},
doi = {10.1109/ICSMC.2002.1175647},
timestamp = {Mon, 09 Aug 2021 14:54:04 +0200},
biburl = {https://dblp.org/rec/conf/smc/KotbGK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/KishiNK02,
author = {Tomoji Kishi and
Natsuko Noda and
Takuya Katayama},
editor = {Gary J. Chastek},
title = {A Method for Product Line Scoping Based on a Decision-Making Framework},
booktitle = {Software Product Lines, Second International Conference, {SPLC} 2,
San Diego, CA, USA, August 19-22, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2379},
pages = {348--365},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45652-X\_22},
doi = {10.1007/3-540-45652-X\_22},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/splc/KishiNK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/HayashibaraCK02,
author = {Naohiro Hayashibara and
Adel Cherif and
Takuya Katayama},
title = {Failure Detectors for Large-Scale Distributed Systems},
booktitle = {21st Symposium on Reliable Distributed Systems {(SRDS} 2002), 13-16
October 2002, Osaka, Japan},
pages = {404--409},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/RELDIS.2002.1180218},
doi = {10.1109/RELDIS.2002.1180218},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/srds/HayashibaraCK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/KishiNK01,
author = {Tomoji Kishi and
Natsuko Noda and
Takuya Katayama},
title = {Architectural Design for Evolution by Analyzing Requirements on Quality
Attributes},
booktitle = {8th Asia-Pacific Software Engineering Conference {(APSEC} 2001), 4-7
December 2001, Macau, China},
pages = {111--118},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/APSEC.2001.991466},
doi = {10.1109/APSEC.2001.991466},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/KishiNK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwpse/Katayama01,
author = {Takuya Katayama},
editor = {Tetsuo Tamai},
title = {Evolutionary Domains: {A} Basis for Sound Software Evolution},
booktitle = {Proceedings of the 4th International Workshop on Principles of Software
Evolution, {IWPSE} 2001, Vienna, Austria, September 10-11, 2001},
pages = {107--113},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/602461.602484},
doi = {10.1145/602461.602484},
timestamp = {Fri, 10 Jan 2020 11:54:28 +0100},
biburl = {https://dblp.org/rec/conf/iwpse/Katayama01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uml/AokiTK01,
author = {Toshiaki Aoki and
Takaaki Tateishi and
Takuya Katayama},
editor = {Andy Evans and
Robert B. France and
Ana M. D. Moreira and
Bernhard Rumpe},
title = {An Axiomatic Formalization of {UML} Models},
booktitle = {Practical UML-Based Rigorous Development Methods - Countering or Integrating
the eXtremists, Workshop of the pUML-Group held together with the
{\guillemotleft}UML{\guillemotright}2001, October 1st, 2001 in Toronto,
Canada},
series = {{LNI}},
volume = {{P-7}},
pages = {13--28},
publisher = {{GI}},
year = {2001},
url = {https://dl.gi.de/handle/20.500.12116/30860},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/uml/AokiTK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/informaticaSI/GondowK00,
author = {Katsuhiko Gondow and
Takuya Katayama},
title = {Attribute Grammars as Record Calculus - {A} Structure-Oriented Denotational
Semantics of Attribute Grammars by Using Cardelli's Record Calculus},
journal = {Informatica (Slovenia)},
volume = {24},
number = {3},
year = {2000},
timestamp = {Mon, 15 Feb 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/informaticaSI/GondowK00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/Katayama00,
author = {Takuya Katayama},
title = {Principles and Mechnisms for Evolving Software Systems: {A} Report
from a Project on Software Evolution Principles},
booktitle = {6th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2000), 11-15 September 2000, Tokyo, Japan},
pages = {200},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/ICECCS.2000.873945},
doi = {10.1109/ICECCS.2000.873945},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/Katayama00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/micro/CherifK98,
author = {Adel Cherif and
Takuya Katayama},
title = {Replica management for fault-tolerant systems},
journal = {{IEEE} Micro},
volume = {18},
number = {5},
pages = {54--65},
year = {1998},
url = {https://doi.org/10.1109/40.735944},
doi = {10.1109/40.735944},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/micro/CherifK98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/AokiK98,
author = {Toshiaki Aoki and
Takuya Katayama},
title = {Unification and Consistency Verification of Object-Oriented Analysis
Models},
booktitle = {5th Asia-Pacific Software Engineering Conference {(APSEC} '98), 2-4
December 1998, Taipei, Taiwan, {ROC}},
pages = {296--303},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/APSEC.1998.733732},
doi = {10.1109/APSEC.1998.733732},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/AokiK98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/MizushimaK98,
author = {Kazunori Mizushima and
Takuya Katayama},
editor = {Kai Koskimies},
title = {Storage Allocation Strategies for Recursive Attributes Evaluators},
booktitle = {Compiler Construction, 7th International Conference, CC'98, Held as
Part of the European Joint Conferences on the Theory and Practice
of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1383},
pages = {50--64},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0026422},
doi = {10.1007/BFB0026422},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/cc/MizushimaK98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/YoshiokaSK98,
author = {Nobukazu Yoshioka and
Masato Suzuki and
Takuya Katayama},
title = {Incremental Software Development Method Based on Abstract Interpretation},
booktitle = {Proceedings of the 9th International Workshop on Software Specification
and Design, {IWSSD} 1998, USA, April 16-18, 1998},
pages = {126--134},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://dl.acm.org/doi/10.5555/857205.858303},
doi = {10.5555/857205.858303},
timestamp = {Mon, 16 May 2022 14:03:08 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/YoshiokaSK98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wwca/1998,
editor = {Yoshifumi Masunaga and
Takuya Katayama and
Michiharu Tsukamoto},
title = {Worldwide Computing and Its Applications, International Conference,
{WWCA} '98, Second International Conference, Tsukuba, Japan, March
4-5, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1368},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-64216-1},
doi = {10.1007/3-540-64216-1},
isbn = {3-540-64216-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wwca/1998.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scjapan/GondowIHK96,
author = {Katsuhiko Gondow and
Takashi Imaizumi and
Takeshi Hagiwara and
Takuya Katayama},
title = {Application of object-oriented attribute grammars {(OOAG)} to software
development environments},
journal = {Syst. Comput. Jpn.},
volume = {27},
number = {7},
pages = {1--17},
year = {1996},
url = {https://doi.org/10.1002/scj.4690270701},
doi = {10.1002/SCJ.4690270701},
timestamp = {Wed, 13 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scjapan/GondowIHK96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scjapan/KikuchiK96,
author = {Yutaka Kikuchi and
Takuya Katayama},
title = {On Generalization of Attribute Grammars},
journal = {Syst. Comput. Jpn.},
volume = {27},
number = {9},
pages = {33--42},
year = {1996},
url = {https://doi.org/10.1002/scj.4690270904},
doi = {10.1002/SCJ.4690270904},
timestamp = {Wed, 13 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scjapan/KikuchiK96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/Katayama96,
author = {Takuya Katayama},
title = {Principles of Software Evolution},
booktitle = {3rd Asia-Pacific Software Engineering Conference {(APSEC} '96), December
4-7, 1996, Seoul, South Korea},
pages = {152},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.ieeecomputersociety.org/10.1109/APSEC.1996.10005},
doi = {10.1109/APSEC.1996.10005},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/Katayama96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/CherifSK96,
author = {Adel Cherif and
Masato Suzuki and
Takuya Katayama},
title = {A replication technique based on a functional and attribute grammar
computation model},
booktitle = {Seventh International Symposium on Software Reliability Engineering,
{ISSRE} 1996, White Plains, NY, USA, October 30, 1996-Nov. 2, 1996},
pages = {266--273},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/ISSRE.1996.558862},
doi = {10.1109/ISSRE.1996.558862},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/CherifSK96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/IzumiK96,
author = {Naoko Izumi and
Takuya Katayama},
title = {An Object Logic for Object Base Capable of Version Management},
booktitle = {The 8th International Conference on Software Engineering and Knowledge
Engineering, {SEKE} '96, Lake Tahoe, Nevada, USA, June 10-12, 1996},
pages = {171--180},
publisher = {Knowledge Systems Institute},
year = {1996},
timestamp = {Thu, 04 Dec 2014 17:19:18 +0100},
biburl = {https://dblp.org/rec/conf/seke/IzumiK96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftcs/SuzukiKS94,
author = {Masato Suzuki and
Takuya Katayama and
Richard D. Schlichting},
title = {Implementing Fault Tolerance with an Attribute and Functional Based
Model},
booktitle = {Digest of Papers: FTCS/24, The Twenty-Fourth Annual International
Symposium on Fault-Tolerant Computing, Austin, Texas, USA, June 15-17,
1994},
pages = {244--253},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {https://doi.org/10.1109/FTCS.1994.315636},
doi = {10.1109/FTCS.1994.315636},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/ftcs/SuzukiKS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsqp/MochizukiK94,
author = {Sumio Mochizuki and
Takuya Katayama},
editor = {Matthew K. O. Lee and
Ben{-}Zion Barta and
Peter Juliff},
title = {A Proposal for Composing Software Design Process},
booktitle = {Software Quality and Productivity: Theory, practice and training,
5-7 December 1994, City Polytechnic of Hong Kong Hong Kong},
series = {{IFIP} Conference Proceedings},
volume = {3},
pages = {72--77},
publisher = {Chapman {\&} Hall},
year = {1994},
timestamp = {Mon, 21 Oct 2002 11:06:25 +0200},
biburl = {https://dblp.org/rec/conf/icsqp/MochizukiK94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsp/SuzukiIK93,
author = {Masato Suzuki and
Atsushi Iwai and
Takuya Katayama},
title = {A Formal Model of Re-execution in Software Process},
booktitle = {Proceedings of the Second International Conference on the Software
Process, {ICSP} 1993: Continuous Software Process Improvement, Berlin,
Germany, February 25-26},
pages = {84--99},
publisher = {{IEEE} Computer Society},
year = {1993},
timestamp = {Wed, 07 Aug 2019 16:30:04 +0200},
biburl = {https://dblp.org/rec/conf/icsp/SuzukiIK93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isotas/GondowISK93,
author = {Katsuhiko Gondow and
Takashi Imaizumi and
Yoichi Shinoda and
Takuya Katayama},
editor = {Shojiro Nishio and
Akinori Yonezawa},
title = {Change Management and Consistency Maintenance in Software Development
Environments Using Object-Oriented Attribute Grammars},
booktitle = {Object Technologies for Advanced Software, First {JSSST} International
Symposium, Kanazawa, Japan, November 4-6, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {742},
pages = {77--94},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57342-9\_67},
doi = {10.1007/3-540-57342-9\_67},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/isotas/GondowISK93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/DingK93,
author = {Shiyuan Ding and
Takuya Katayama},
editor = {Jack C. Wileden and
Martin S. Feather and
Axel van Lamsweerde},
title = {Specifying Reactive Systems with Attributed Finite State Machines},
booktitle = {Proceedings of the 7th International Workshop on Software Specification
and Design, Redondo Beach, CA, USA, December 6-7, 1993},
pages = {90--99},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://dl.acm.org/doi/10.5555/951807.951824},
doi = {10.5555/951807.951824},
timestamp = {Fri, 13 May 2022 15:10:38 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/DingK93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/MochizukiYK93,
author = {Sumio Mochizuki and
Akira Yamauchi and
Takuya Katayama},
title = {Two Models for Describing Software Design Process: Object-Centered
Model and Phase-Centered Model},
booktitle = {SEKE'93, The 5th International Conference on Software Engineering
and Knowledge Engineering, Tutorials, June 14-15, 1993, Technical
Program, June 16-18, 1993, Hotel Sofitel, San Francisco Bay, {USA}},
pages = {291--295},
publisher = {Knowledge Systems Institute},
year = {1993},
timestamp = {Wed, 21 Feb 2007 11:27:24 +0100},
biburl = {https://dblp.org/rec/conf/seke/MochizukiYK93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/DingK93,
author = {Shiyuan Ding and
Takuya Katayama},
title = {Attributed State Machines For Behavior Specification of Reactive Systems},
booktitle = {SEKE'93, The 5th International Conference on Software Engineering
and Knowledge Engineering, Tutorials, June 14-15, 1993, Technical
Program, June 16-18, 1993, Hotel Sofitel, San Francisco Bay, {USA}},
pages = {695--702},
publisher = {Knowledge Systems Institute},
year = {1993},
timestamp = {Wed, 21 Feb 2007 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seke/DingK93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/1993,
editor = {Victor R. Basili and
Richard A. DeMillo and
Takuya Katayama},
title = {Proceedings of the 15th International Conference on Software Engineering,
Baltimore, Maryland, USA, May 17-21, 1993},
publisher = {{IEEE} Computer Society / {ACM} Press},
year = {1993},
url = {http://dl.acm.org/citation.cfm?id=257572},
isbn = {0-89791-588-7},
timestamp = {Mon, 14 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/1993.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/MochizukiYK91,
author = {Sumio Mochizuki and
Akira Yamauchi and
Takuya Katayama},
title = {Analyzing and evaluating fundamental design process of checkout system
for artificial spacecraft},
booktitle = {Proceedings of the Fifteenth Annual International Computer Software
and Applications Conference, {COMPSAC} 1991, Tokyo, Japan, 11-13 September,
1991},
pages = {507--514},
publisher = {{IEEE}},
year = {1991},
url = {https://doi.org/10.1109/CMPSAC.1991.170229},
doi = {10.1109/CMPSAC.1991.170229},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/compsac/MochizukiYK91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/Katayama91,
author = {Takuya Katayama},
editor = {Les Belady and
David R. Barstow and
Koji Torii},
title = {{ISPW6:} Support for the Software Process},
booktitle = {Proceedings of the 13th International Conference on Software Engineering,
Austin, TX, USA, May 13-17, 1991},
pages = {258--262},
publisher = {{IEEE} Computer Society / {ACM} Press},
year = {1991},
url = {http://portal.acm.org/citation.cfm?id=256664.256774},
timestamp = {Mon, 14 May 2012 18:17:12 +0200},
biburl = {https://dblp.org/rec/conf/icse/Katayama91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispw/KatayamaM91,
author = {Takuya Katayama and
Sumio Motizuki},
editor = {Ian Thomas},
title = {What has been learned from applying a formal process model to a real
process},
booktitle = {Proceedings of the Seventh International Software Process Workshop
{(ISPW} '91), October 1991, Yountville, California, {USA}},
pages = {79--81},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://doi.org/10.1109/ISPW.1991.637537},
doi = {10.1109/ISPW.1991.637537},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ispw/KatayamaM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispw/MochizukiYKS90,
author = {Sumio Mochizuki and
Akira Yamauchi and
Takuya Katayama and
Masato Suzuki},
editor = {Takuya Katayama},
title = {Applying the software process to the instruction tool in system design},
booktitle = {Proceedings of the Sixth International Software Process Workshop {(ISPW}
'90), October 1990, Hakodate, Japan},
pages = {141--144},
publisher = {{IEEE} Computer Society},
year = {1990},
url = {https://doi.org/10.1109/ISPW.1990.659593},
doi = {10.1109/ISPW.1990.659593},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ispw/MochizukiYKS90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispw/ShinodaK90,
author = {Yoichi Shinoda and
Takuya Katayama},
editor = {Takuya Katayama},
title = {Object-oriented software processes and their environment},
booktitle = {Proceedings of the Sixth International Software Process Workshop {(ISPW}
'90), October 1990, Hakodate, Japan},
pages = {191--194},
publisher = {{IEEE} Computer Society},
year = {1990},
url = {https://doi.org/10.1109/ISPW.1990.659603},
doi = {10.1109/ISPW.1990.659603},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ispw/ShinodaK90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sde/TanSK90,
author = {Lichao Tan and
Yoichi Shinoda and
Takuya Katayama},
editor = {Richard N. Taylor},
title = {Coping with changes in an object management system based on attribute
grammars},
booktitle = {SIGSOFT'90 4th Symposium on Software Development Environments, Irvine,
CA, USA, December 3-5, 1990},
pages = {56--65},
publisher = {{ACM}},
year = {1990},
url = {https://doi.org/10.1145/99277.99284},
doi = {10.1145/99277.99284},
timestamp = {Wed, 16 Feb 2022 17:16:25 +0100},
biburl = {https://dblp.org/rec/conf/sde/TanSK90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/waga/ShinodaK90,
author = {Yoichi Shinoda and
Takuya Katayama},
editor = {Pierre Deransart and
Martin Jourdan},
title = {Object-Oriented Extension of Attribute Grammars and its Implementation
Using Distributed Attribute Evaluation Algorithm},
booktitle = {Attribute Grammars and their Applications, International Conference
WAGA, Paris, France, September 19-21, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {461},
pages = {177--191},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-53101-7\_13},
doi = {10.1007/3-540-53101-7\_13},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/waga/ShinodaK90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ispw/1990,
editor = {Takuya Katayama},
title = {Proceedings of the Sixth International Software Process Workshop {(ISPW}
'90), October 1990, Hakodate, Japan},
publisher = {{IEEE} Computer Society},
year = {1990},
url = {https://ieeexplore.ieee.org/xpl/conhome/5298/proceeding},
isbn = {0-8186-2495-7},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ispw/1990.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dood/TanK89,
author = {Lichao Tan and
Takuya Katayama},
editor = {Won Kim and
Jean{-}Marie Nicolas and
Shojiro Nishio},
title = {Meta Operations for Type Management in Object-Oriented Databases},
booktitle = {Deductive and Object-Oriented Databases, Proceedings of the First
International Conference on Deductive and Object-Oriented Databases
(DOOD'89), Kyoto Research Park, Kyoto, Japan, 4-6 December, 1989},
pages = {241--258},
publisher = {North-Holland/Elsevier Science Publishers},
year = {1989},
timestamp = {Tue, 30 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dood/TanK89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/Katayama01,
author = {Takuya Katayama},
editor = {Larry E. Druffel and
Dick Fairley and
Dines Bj{\o}rner},
title = {A Hierarchical and Functional Software Process Description and Its
Enaction},
booktitle = {Proceedings of the 11th International Conference on Software Engineering,
Pittsburg, PA, USA, May 15-18, 1989},
pages = {343--352},
publisher = {{IEEE} Computer Society / {ACM} Press},
year = {1989},
url = {https://doi.org/10.1145/74587.74632},
doi = {10.1145/74587.74632},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/Katayama01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispw/KatayamaS89,
author = {Takuya Katayama and
Masato Suzuki},
editor = {Dewayne E. Perry},
title = {Mechanisms for software process dynamics},
booktitle = {Proceedings of the Fifth International Software Process Workshop {(ISPW}
'89), October 1989, Kennebunkport, Maine, {USA}},
pages = {78--81},
publisher = {{IEEE} Computer Society},
year = {1989},
url = {https://doi.org/10.1109/ISPW.1989.690425},
doi = {10.1109/ISPW.1989.690425},
timestamp = {Tue, 10 May 2022 15:27:57 +0200},
biburl = {https://dblp.org/rec/conf/ispw/KatayamaS89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispw/KatayamaS89a,
author = {Takuya Katayama and
Masato Suzuki},
editor = {Dewayne E. Perry},
title = {An example of process description in {HFSP}},
booktitle = {Proceedings of the Fifth International Software Process Workshop {(ISPW}
'89), October 1989, Kennebunkport, Maine, {USA}},
pages = {161--162},
publisher = {{IEEE} Computer Society},
year = {1989},
url = {https://doi.org/10.1109/ISPW.1989.690458},
doi = {10.1109/ISPW.1989.690458},
timestamp = {Tue, 10 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ispw/KatayamaS89a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/see/ShinodaK89,
author = {Yoichi Shinoda and
Takuya Katayama},
editor = {Fred Long},
title = {Towards Formal Description and Automatic Generation of Programming
Environments},
booktitle = {Software Engineering Environments, International Workshop on Software
Engineering Environments, Chinon, France, September 18-20, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {467},
pages = {261--270},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-53452-0\_48},
doi = {10.1007/3-540-53452-0\_48},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/see/ShinodaK89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/KishidaKMMOSSTW88,
author = {Kouichi Kishida and
Takuya Katayama and
Masatoshi Matsuo and
Isao Miyamoto and
Koichiro Ochimizu and
Nobuo Saito and
John H. Sayler and
Koji Torii and
Lloyd G. Williams},
editor = {Tan Chin Nam and
Larry E. Druffel and
Bertrand Meyer},
title = {{SDA:} {A} Novel Approach to Software Environment Design and Construction},
booktitle = {Proceedings, 10th International Conference on Software Engineering,
Singapore, Singapore, April 11-15, 1988},
pages = {69--79},
publisher = {{IEEE} Computer Society},
year = {1988},
url = {http://dl.acm.org/citation.cfm?id=55831},
timestamp = {Mon, 30 Oct 2017 11:35:10 +0100},
biburl = {https://dblp.org/rec/conf/icse/KishidaKMMOSSTW88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispw/Katayama88,
author = {Takuya Katayama},
editor = {Colin Tully},
title = {A hierarchical and functional approach to software process description},
booktitle = {Proceedings of the Forth International Software Process Workshop,
{ISPW} 1988, Moretonhampstead, Devon, UK, May 1988},
pages = {87--92},
publisher = {{ACM}},
year = {1988},
url = {https://doi.org/10.1145/75110.75124},
doi = {10.1145/75110.75124},
timestamp = {Fri, 18 Feb 2022 16:21:58 +0100},
biburl = {https://dblp.org/rec/conf/ispw/Katayama88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/KatayamaS86,
author = {Takuya Katayama and
Hisashi Sasaki},
title = {Global Storage Allocation in Attribute Evaluation},
booktitle = {Conference Record of the Thirteenth Annual {ACM} Symposium on Principles
of Programming Languages, St. Petersburg Beach, Florida, USA, January
1986},
pages = {26--37},
publisher = {{ACM} Press},
year = {1986},
url = {https://doi.org/10.1145/512644.512647},
doi = {10.1145/512644.512647},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/KatayamaS86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Katayama84,
author = {Takuya Katayama},
title = {Translation of Attribute Grammars into Procedures},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {6},
number = {3},
pages = {345--369},
year = {1984},
url = {https://doi.org/10.1145/579.586},
doi = {10.1145/579.586},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Katayama84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Katayama84,
author = {Takuya Katayama},
editor = {Robert S. Boyer and
Edward S. Schneider and
Guy L. Steele Jr.},
title = {Type Inference and Type Checking for Functional Programming Languages:
{A} Reduced Computation Approach},
booktitle = {Proceedings of the 1984 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1984, Austin, Texas, USA, August 5-8, 1984},
pages = {263--272},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800055.802043},
doi = {10.1145/800055.802043},
timestamp = {Fri, 06 Aug 2021 15:08:55 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Katayama84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rims/SasakiK84,
author = {Hisashi Sasaki and
Takuya Katayama},
editor = {Eiichi Goto and
Keijiro Araki and
Taiichi Yuasa},
title = {Global Storage Allocation in Attribute Evaluation},
booktitle = {{RIMS} Symposia on Software Science and Engineering II, Proceedings
of the Symposia 1983 and 1984, Kyoto, Japan},
series = {Lecture Notes in Computer Science},
volume = {220},
pages = {181--211},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-16470-7\_10},
doi = {10.1007/3-540-16470-7\_10},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/rims/SasakiK84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rims/Katayama82,
author = {Takuya Katayama},
editor = {Eiichi Goto and
Koichi Furukawa and
Reiji Nakajima and
Ikuo Nakata and
Akinori Yonezawa},
title = {Treatment of Big Values in an Applicative Language {HFP}},
booktitle = {{RIMS} Symposium on Software Science and Engineering, Kyoto, Japan,
1982, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {147},
pages = {36--48},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/3-540-11980-9\_14},
doi = {10.1007/3-540-11980-9\_14},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/rims/Katayama82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/KatayamaH81,
author = {Takuya Katayama and
Yutaka Hoshino},
editor = {John White and
Richard J. Lipton and
Patricia C. Goldberg},
title = {Verification of Attribute Grammars},
booktitle = {Conference Record of the Eighth Annual {ACM} Symposium on Principles
of Programming Languages, Williamsburg, Virginia, USA, January 1981},
pages = {177--186},
publisher = {{ACM} Press},
year = {1981},
url = {https://doi.org/10.1145/567532.567552},
doi = {10.1145/567532.567552},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/KatayamaH81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/KatayamaOE78,
author = {Takuya Katayama and
Masayuki Okamoto and
Hajime Enomoto},
title = {Characterization of the Structure-Generating Functions of Regular
Sets and the {DOL} Growth Functions},
journal = {Inf. Control.},
volume = {36},
number = {1},
pages = {85--101},
year = {1978},
url = {https://doi.org/10.1016/S0019-9958(78)90247-4},
doi = {10.1016/S0019-9958(78)90247-4},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/KatayamaOE78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2023-10-01 22:28 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
