Tamai's Publications

Books

• Medvidovic, N. and Tamal, T. eds.,
  Proceedings of the Warm Up Workshop for ACM/IEEE ICSE 2010,
  IEEE, 2009.
  ACM Digital Library
• Tamal, T. ed.,
  16th International Conference on Requirements Engineering --- RE'08,
  IEEE, September 2008.
  IEEE Xplore
• Tamai, T. and Nakatani, T.,
  "Statistical Modeling of Software Evolution,"
  Chapter 7 of Madhavji, N.H., Ramil, J.F. and Perry, D.E., eds., Software Evolution and Feedback: Theory and Practice,
  John Wiley and Sons, 2006, pp.143-160.
• Tamal, T., Aoyama, M. and Bennett, K. eds.,
  4th International Workshop on Principles of Software Evolution --- IWPSE2001,
  ACM, 2002.
  ACM Digital Library
• Katayama, T., Tamai, T. and Yonezaki, N. eds.,
  International Symposium on Principles of Software Evolution --- ISPSE2000,
  IEEE Computer Society, 2000.

• Futatsugi, k., Nakagawa, A. T. and Tamai, T. eds.,
  CAFE: An Industrial-Strength Algebraic Formal Method,
  Elsevier, 2000.

Papers

• Tamai, T.,
  "Introduction to the RE’08 special issue,"
  Requirements Engineering, Springer, vol. 14, no. 4, pp. 229-230, Dec 2009
  SpringerLink

• Tamai, T.,
  "Social Impact of Information System Failures,"
  Computer, IEEE, vol. 42, no. 6, pp. 58-65, May 2009
  IEEE Xplore

• Shibuya, B. H. and Tamai, T.,
  "Understanding the Process of Participating in Open Source Communities,"
  Proceedings of FLOSS Workshop@ICSE 2009,
  Vancouver, British Columbia, Canada, May 2009, pp.1-6.
  ACM Digital Library

• Wang, Y. and Tamai, T.,
  "A Game-Theoretic Approach to Branching Time Abstract-Check-Refine Process,"
  Proceedings of the First NASA Formal Methods Symposium,
  Moffett Field, California, USA, April 2009, NASA Ames Research Center, pp.26-35.
  e-publication

• Liu, S., Tamai, T., and Nakajima, S.,
  "Integration of Formal Specification, Review, and Testing for Software Component Quality Assurance,"
  ACM Symposium on Applied Computing (SAC) 2009,
  Honolulu, USA, March 2009, ACM, pp.415-421.
  ACM Digital Library

• Tamai, T. and Kamata, M. I.,
  "Impact of Requirements Quality on Project Success or Failure,"
  Design Requirements Engineering: A Ten-Year Perspective,
  Lecture Notes in Business Information Processing, Vol. 14, 2009, Springer, pp.258-275.
  SpringerLink

• Kumazawa, T. and Tamai, T.,
  "Iterative Model Fixing with Counterexamples,"
  Proceedings 15th Asia-Pacific Software Engineering Conference (APSEC 2008),
  Beijing, China, December 2008, IEEE, pp.369-376.
  IEEE Xplore

• Kamina, T. and Tamai, T.,
  "Lightweight Dependent Classes,"
  GPCE'08, Proceedings of the 7th International Conference on Generative Programming and Component Engineering,
  Nashville, USA, October 2008, ACM, pp.113-124.
  ACM Digital Library
• Supasit, M. and Tamai, T.,
  "The Implementation and Execution Framework of a Role Model Based Language, EpsilonJ,"
  Proceedings of the Ninth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD'08),
  Phuket, Thailand, August 2008, pp.269-276.
  IEEE-CS Digital Library
• Ubayashi, N., Sato, Y., Sakai, A., and Tamai, T.,
  "Alloy-based Lightweight Verification for Aspect-oriented Architecture,"
  Proceedings of 2008 Sixth Software Engineering Research, Management and Applications (SERA 2008),
  Prague, Czech Republic, August 2008, pp.171-178.
  IEEE-CS Digital Library
• Kamina, T. and Tamai, T.,
  " Flexible Object Adaptation for Java-like Languages,"
  Proceedings of the 10th Workshop on Formal Techniques for Java-like Programs (FTfJP 2008), July 2008, pp.63-76.
  pdf

• Ubayashi, N., Piao, J., Shinotsuka, S., and Tamai, T.,
  "Contract-Based Verification for Aspect-Oriented Refactoring,"
  Proceedings of 2008 International Conference on Software Testing, Verification, and Validation (ICST 2008),
  Lillehammer, Norway, April 2008, pp.180-189.
  IEEE-CS Digital Library
• Supasit, M. and Tamai, T.,
  "The Design and Implementation of a Role Model Based Language, EpsilonJ,"
  Proceedings of the 2008 5th International Conference on Electrical Engineering/Electronics, Computer, Telecommunications and Information Technology (ECTICON'08),
  Krabi, Thailand, May 2008, pp.37-40.
  pdf
• Ubayashi, N., Sakai, A. and Tamai, T.,
  "An aspect-oriented weaving mechanism based on component and connector architecture,"
  Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE'07),
  Atlanta, Georgia, USA, November 2007, pp.154-163.
  ACM Digital Library
• Kamata, I. M. and Tamai, T.,
  "How Does Requirements Quality Relate to Project Success or Failure?"
  Proceedings of the 15th IEEE International Requirements Engineering Conference (RE'07),
  New Delhi, India, October 2007, IEEE, pp.69-78.
  IEEE-CS Digital Library
• Kamina, T. and Tamai, T.,
  "Lightweight Scalable Components,"
  GPCE'07, Proceedings of the 6th International Conference on Generative Programming and Component Engineering,
  Salzburg, Austria, October 2007, ACM, pp.145-154.
  ACM Digital Library
• Tamai, T., Ubayashi, N. and Ichiyama, R.
  "Objects as Actors Assuming Roles in the Environment,"
  Choren, R., Garcia, A., Giese, H., Leung, H., Lucena, C., and Romanovsky A., eds., Software Engineering for Multi-Agent Systems V,
  LNCS 4408, Springer-Verlag, 2007, pp.185-203.
  SpringerLink

• Ubayashi, N., Sakai, A. and Tamai, T.,
  "An interface mechanism for encapsulating weaving in class-based AOP,"
  Proceedings of the 5th workshop on Engineering properties of languages and aspect technologies,
  Vancouver, British Columbia, Canada, March 2007.
  ACM Digital Library
• Tamai, T.,
  "A Pedagogical View on Software Modeling and Graph-Structured Diagrams,"
  Inverardi, P. and Jazayeri, M., eds., Software Engineering Education in the Modern Age,
  LNCS 4309, Springer-Verlag, 2006, pp.59-71.
  SpringerLink
• Tsumaki, T. and Tamai, T.
  "A Framework for Matching Requirements Engineering Techniques to Project Characteristics,"
  Software Process: Improvement and Practice,
  Vol.11, No.5(September/October 2006), pp.505-519.
  Wiley InterScience

• Takemura, T. and Tamai, T.,
  "Rigorous Business Process Modeling with OCL,"
  OCL for (Meta-)Models in Multiple Application Domains (OCLApps) workshop at Models/UML 2006,
  Genoa, Italy, October 2006, pp.68-80.

• Shinotsuka, S., Ubayashi, N., Shinomi, H. and Tamai, T.,
  "An Extensible Contract Verifier for AspectJ,"
  2nd Asian Workshop on Aspect-Oriented Software Development (AOAsia-2, Workshop at ASE 2006),
  Tokyo, Japan, September 2006, pp.35-40.

• Nakajima, S. and Tamai, T.,
  "Formal Specification and Analysis of JAAS Framework,"
  Software Engineering for Secure Systems (SESS06, Workshop at ICSE 2006),
  Shanghai, China, May 2006, pp.59-64.
  ACM Digital Library
• Nakajima, S. and Tamai, T.,
  "Aspect-Oriented Software Design with a Variant of UML/STD,"
  5th International Workshop on Scenarios and State Machines: Model, Algorithm and Tools (SCESM'06, Workshop at ICSE 2006),
  Shanghai, China, May 2006, pp.44-50.
  ACM Digital Library
• Kamina, T. and Tamai, T.,
  "Flexible Method Combination based on Mixin Subtyping"
  Journal of Object Technology,
  vol. 4, no. 10, Special Issue: OOPS Track at SAC 2005, Santa Fe USA, December 2005, pp. 95-115.
  e-publication
• Ubayashi, N., Tamai, T., Sano, S., Maeno, Y. and Murakami, S.,
  "Model Compiler Construction Based on Aspect-Oriented Mechanisms,"
  Generative Programming and Component Engineering, 4th Intenational Conference, GPCE 2005,
  Talllinn, Estonia, September/October 2005. LNCS 3676, Springer-Verlag, pp.109-124.
  SpringerLink
• Ubayashi, N., Moriyama, G., Masuhara, H. and Tamai, T.,
  "A Parameterized Interpreter for Modeling Different AOP Mechanisms,"
  Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE'05),
  Long Beach, CA, USA, November 2005, pp.194-203.
  ACM Digital Library
• Shinomi, H. and Tamai, T.,
  "Impact Analysis of Weaving in Aspect-Oriented Programming,"
  Proceedings of the International Conference on Software Maintenance (ICSM2005),
  Budapest, Hungary, September, 2005, pp.657-660.
  IEEE-Xplore
• Ubayashi, N, Sano, Maeno, Y., Murakami, S. and Tamai, T.,
  "Model Evolution with Aspect-Oriented Mechanisms,"
  Eighth International Workshop on Principles of Software Evolution (IWPSE'05), 2005, pp. 187-194.
  IEEE-CS Digital Library
• Tamai, T.,
  "A Pedagogical View on Software Modeling,"
  Proceedings of the 2nd Workshop on New Approaches to Software Construction (WNASC2005),
  Tokyo, Japan, September, 2005, pp.121-126.
• Tsumaki, T. and Tamai, T.
  "A Framework for Matching Requirements Engineering Techniques to Project Characteristics and Situation Changes,"
  Proceedings of International Workshop on Situational Requirements Engineering Processes (SREP'05),
  Paris, France, September, 2005, pp.44-58.
  pdf

• Tamai, T.,
  "Conquering the Eight-Tailed Dragon - An Attempt to Deal with Structural and Behavioral Complexities,"
  Keynote, Proceedings of the 10th International Conference on Engineering of Complex Computer Systems (ICECCS2005),
  Shanghai, China, June, 2005, pp.261-272.
  IEEE-CS Digital Library
• Tamai, T., Ubayashi, N. and Ichiyama, R.
  "An Adaptive Object Model with Dynamic Role Binding,"
  Proceedings of the International Conference on Software Engineering (ICSE2005),
  St. Louis, Missouri, USA, May, 2005, pp.166-175.
  ACM Digital Library

• Tamai, T.,
  "How to Teach Software Modeling,"
  Proceedings of the International Conference on Software Engineering (ICSE2005),
  St. Louis, Missouri, USA, May, 2005, pp.609-610.
  ACM Digiral Library

• Ubayashi, N. and Tamai, T.
  "Concern Management for Constructing Model Compilers,"
  Proceedings of 1st International Workshop on the Modeling and Analysis of Concerns in Software (MACS 2005),
  St. Louis, Missouri, USA, May, 2005, pp.9-13.
  ACM Digital Library

• Kamina, T. and Tamai, T.,
  "McJava - A Design and Implementation of Java with Mixin-Types"
  Second ASIAN Symposium on Programming Languages and Systems (APLAS 2004),
  Taipei, Taiwan, November 4-6, 2004, LNCS 3302, Springer-Verlag, pp. 398-414.
  SpringerLink
• Nakajima, S. and Tamai, T.,
  "Lightweight Formal Analysis of Aspect-Oriented Models,"
  UML2004 Workshop on Aspect-Oriented Modeling, 2004.
  e-publication
• Nakajima, S. and Tamai, T.,
  "Weaving in Role-based Aspect Design Models,"
  Early Aspects 2004 (Workshop at OOPAL 2004), 2004.
  e-publication
• Ubayashi, N., Masuhara, H. and Tamai,T.,
  "An AOP Implementation Framework for Extending Join Point Models,"
  Proceedings of ECOOP2004 Workshop on Reflection, AOP and Meta-Data for Software Evolution (RAM-SE'04),
  Oslo, Norway, June 2004.
  e-publication
• Kamina, T. and Tamai, T.,
  "A Core Calculus for Mixin-Types,"
  Foundations of Object-Oriented Languages (FOOL11), In conjunction with POPL 2004, Venice, Italy, January 2004.
  pdf
• Kamina, T. and Tamai, T.,
  "Loosely Connected RPC: An Approach for Extendable Interface of Web Services,"
  Proceedings of the 1st International Workshop on Web Services: Modelling, Architecture and Infrastructure (WSMAI-2003),
  in conjunction with ICEIS2003, pages 62-73,
  Angers, France, April 2003.
  pdf
• Kamina, T. and Tamai, T.,
  "Embedding XML Processing Toolkit on General Purpose Programming Language,"
  Proceedings Ninth Asia-Pacific Software Engineering Conference(APSEC 2002),
  Gold Coast, Australia, December 2002, IEEE, pp.159-166.
  IEEE-CS Digital Library

• Tamai, T.,
  "Process of Software Evolution,"
  Invited Paper, Proceedings of the First International Symposium on Cyber Worlds (CW2002),
  Tokyo, Japan, November, 2002, pp.8-15.
  IEEE-CS Digital Library

• Fang, X. and Tamai, T.,
  "Analysis approach for software reconstruction,"
  Proceedings of the 7th International Symposium on Future Software Technology (ISFST2002),
  Wuhan, China, October, 2002.
  pdf

• Tamai, T.,
  "Evolvable Programming based on Collaboration-Field and Role Model,"
  Keynote, International Workshop on Principles of Software Evolution (IWPSE'02),
  Orlando, Florida, ACM, 2002, pp.1-5.
  ACM Digital Library

• Tamai, T. and Nakatani, T.,
  "Analysis of Software Evolution Processes Using Statistical Distribution Models,"
  International Workshop on Principles of Software Evolution (IWPSE'02),
  Orlando, Florida, ACM, 2002, pp.120-123.
  ACM Digital Library

• Ubayashi, N. and Tamai, T.,
  "Aspect-Oriented Programming with Model Checking,"
  AOSD 2002(1st International Conference on Aspect-Oriented Software Development) Conference Proceedings,
  Enschede, The Netherlands, April 22-26, 2002, pp.148-154.
  ACM Digital Library

• Nakatani, T., Urai, T., Ohmura, S. and Tamai, T.,
  "A Requirements Description Metamodel for Use Cases,"
  Proceedings Eighth Asia-Pacific Software Engineering Conference,
  Macao, China, December 2001, IEEE, pp.251-258.
  IEEE-CS Digital Library

• Ubayashi, N. and Tamai, T.:
  "Separation of Concerns in Mobile Agent Applications,"
  Metalevel Architectures and Separation of Crosscutting Concerns -- Proceedings of the 3rd International Conference, REFLECTION 2001, Kyoto, Japan, September 2001, LNCS 2192, Springer, pp.89-109.
  SpringerLink

• Nakajima, S. and Tamai, T.,
  "Behavioural Analysis of the Enterprise JavaBeansTM Component Architecture,"
  Model Checking Software -- Proceedings of the 8th International SPIN Workshop,
  Toronto, Canada, May 2001, LNCS 2057, Springer, pp.163-182.
  ACM Digital Library

• Matsumoto, Y., Akiyama, Y., Dairiki, O. and Tamai, T.,
  "A Case of Software Engineering Accreditation," 14th Conference on Software Engineering Education & Training,
  Charlotte, North Carolina, Feburuary 2001, IEEE, pp.201-209.
  IEEE-CS Digital Library

• Ubayashi, N. and Tamai, T.,
  "RoleEP: Role Based Evolutionary Programming for Cooperative Mobile Agent Applications,"
  International Symposium on Principles of Software Evolution,
  IEEE Computer Society, 2000, pp.232-240.
  IEEE-CS Digital Library

• Tamai, T.,
  "Formal Treatment of a Family of Fixed-Point Problems on Graphs by CafeOBJ,"
  Third IEEE International Conference on Formal Engineering Methods (ICFEM2000),
  York, England, September 2000, pp.67-74.
  IEEE-CS Digital Library

• Tamai, T.,
  "Objects and roles: modeling based on the dualistic view,"
  Information and Software Technology, Vol.41, No.14 (1999), pp.1005-1010.
  Elsevier Science Direct Library

• Nakatani, T. and Tamai, T.,
  "Empirical Observations on Object Evolution,"
  Proc. Asia Pacific Software Engineering Conference '99 ,
  Takamatsu, December, 1999, pp.2-9.
  IEEE-CS Digital Library

• Ubayashi, N. and Tamai, T.,
  "An Evolutional Cooperative Computation Based on Adaptation to Environment,"
  Proc. Asia Pacific Software Engineering Conference '99 ,
  Takamatsu, December, 1999, pp.334-341.
  IEEE-CS Digital Library

• Nakatani, T. and Tamai, T.,
  "Characteristics of Object Evolurion Processes,"
  Short papers for presentation, International Conference on Software Maintenance '99 ,
  Oxford, England, August-September, 1999, pp.13-18.

• Abe, A. and Tamai, T.,
  "IDEF0-Based Software Process Analysis for Scheduling Systems Development,"
  Proc. 1st International Conference on Enterprise Information Systems ,
  pp.361-370, 1999.

• Yamamoto, M., Takahashi, T., Hagiya, M. and Tamai, T.
  "Formalization of graph search algorithms and its applications,"
  Theorem Proving Higher Order Logics ,
  Vol.1479 of LNCS(1998), pp.479-496.
  SpringerLink

• Tamai, T.,
  "Abstraction Oriented Property of Software and its Relation to Patentability,"
  Information and Software Technology, Vol.40, No.5/6 (1998), pp. 253-257.
  Elsevier Science Direct Library

• Tamai, T. and Nakatani, T.,
  "An Empirical Study of Object Evolution Processes,"
  Proceedings International Workshop on Principles of Software Evolution,
  Kyoto, April 1998, pp. 33-37.
  pdf

• Nakatani,T. and Tamai, T.,
  "Evolutional Characteristics of Class Inheritance Trees'',
  Proceedings of the International Symposium on Future Software Technology (ISFST-97),
  Xiamen, China, October 1997, pp. 44-51.

• Nakatani, T. and Tamai, T.,
  "Towards Constructing a Class Evolution Model'',
  "Proceedings of Asia-Pacific Software Engineering Conference,"
  Hong Kong, December 1997, pp. 131-138.
  IEEE-CS Digital Library

• Tamai, T.,
  "How Modeling Methods Affect the Process of Architectural Design Decision: A Comparative Study'',
  Proc. 8th International Workshop on Software Specification and Design,
  Paderborn, Germany, March, 1996, pp.125-134.
  ACM Digital Library

• Tamai, T.,
  "A Class of Fixed-Point Problems on Graphs and Iterative Solution Algorithms'',
  Logic and Software Engineering, edited by Pnueli, A. and Lin, H., World Scientific, 1996,
  pp. 102-121.

• Nakatani, T., Tamai, T., Tomoeda, A. and Sakoh, H.,
  "Quantitative Analysis on Evolution Process of Object-Oriented Systems''
  Proceedings of the International Symposium on Future Software Technology,
  Xi'an, China, October, 1996, pp. 49-56.

• Tamai, T.,
  "Software Gap between Japan and US'',
  Workshop on Asian Approaches for Software Engineering, Seattle, Washington, U.S.A.,
  Apr., 1995.
  pdf

• Nakatani, T., and Tamai, T.,
  "A Domain Modeling Method Integrating Multiple Views,''
  Proc. Changsha International CASE Symposium '95, October, 1995, pp. 205-210,

• Tamai, T.,
  "The Structure of Elimination-Type Algorithms for a Class of Fixed-Point Problems on Graphs,''
  Electronics and Communications Japan-- Part III: Fundamental Electronic Science,
  Vol.77, No.2 (1994), pp. 1-13.

• Tamai, T.,
  "How Domain Analysis Methods Affect Architectural Design ?,''
  Proc. Kunming International Symposium on CASE, Kunming, China, November 1994.

• Tamai, T. and Itou, A.,
  "Requirements and Design Change in Large-Scale Software Development: Analysis from the Viewpoint of Process Backtracking,"
  Proc. 15th International Conference on Software Engineering (ICSE1993) ,
  Baltimore, Maryland, U.S.A., May 1993, pp. 167-176.
  ACM Digital Library
• Tamai, T.,
  "Current Practices in Software Processes for System Planning and Requirements Analysis,"
  Information and Software Technology, Vol.35, No.6/7 (1993), pp. 339-344.
  Elsevier Science Direct Library

• Tamai, T.,
  "A Class of Fixed-Point Problems on Graphs and Iterative Solution Algorithms,''
  Electronics and Communications Japan-- Part III: Fundamental Electronic Science,
  Vol.76, No.8 (1993), pp. 25-36.

• Tamai, T. and Itou, A.,
  "Requirements and Design Change Large-Scale Software Development: Analysis from the Viewpoint of Process Backtrack,"
  Research Report, Graduate School of Systems Management,
  the University of Tsukuba, Tokyo, No. 92-06 (1992).

• Tamai, T.,
  "Experiment on Coordination within Software Development Teams,"
  Information and Software Technology, Vol.34, No.7 (1992), pp. 437-442.
  Elsevier Science Direct Library

• Tamai, T. and Torimitsu, Y.,
  "Software Lifetime and its Evolution Process over Generations,"
  Proc. Conference on Software Maintenance - 1992, Orlando, Florida,
  November 1992, pp. 63-69.
  pdf

• Tamai, T. and Notkin, D.,
  "Report of Working Group 1: Software Development Process,"
  Proceedings of the 3rd International Workshop on Software Quality Improvement,
  Japan Information Service Industry Association, January 1991, pp. 189-193.

• Tamai, T.,
  "Formal and Informal Approaches for Validation (for the panel: Analysis, Testing and Verification of Object Oriented Software),"
  Proceedings of COMPSAC91, IEEE, 1991, pp. 534-535.

• Tamai, T.,
  "Human Aspects of Software Process Analysis and Modeling,"
  Proceedings of Beijn International CASE Symposium '91,
  Peking University, October 1991.

• Tamai, T. and Itou, A.,
  "Backtrack and Foresight Software Processes,"
  Proceedings of the 7th International Software Process Workshop,
  Vountville, California, October 1991, pp. 130-132.

• Tamai, T.,
  "On Japanese-based Programming,"
  Journal of Information Processing, Vol.13, No.1 (1990), pp.46-56.

• Tamai, T.,
  "An Experiment on Coordination and Competition between Software Development Teams,"
  Research Report, Graduate School of Systems Management, the University of Tsukuba,
  Tokyo, No. 90-05(1990).

• Tamai, T.,
  "Comparative Study on Current Practices of System Planning and Requirements Analysis,"
  Research Report, Graduate School of Systems Management, the University of Tsukuba,
  Tokyo, No. 90-11 (1990).

• Tamai, T.,
  "Applying the Knowledge Engineering Approach to Software Engineering,"
  Japanese Perspectives on Software Engineering, edited by Matsumoto, Y. and Ohno, Y.,
  Addison-Wesley, London, 1989, pp. 207-227.

• Tamai, T. and Fujita, M.,
  "Development of an expert system for credit card application assessment,"
  International Journal of Computer Applications in Technology, Vol. 2, No. 4 (1989), pp. 1-7.
  pdf

• Tamai, T.,
  "A Class of Fixed-Point Problems on Networks and the Unified Algorithm,"
  Research Report, Graduate School of Systems Management, the University of Tsukuba,
  Tokyo, No. 89-07 (1989).

• Tamai, T.,
  "A Class of Fixed-Point Problems on Networks and the Unified Algorithm,"
  Proc. 6th Annual Conference of Japan Society for Software Science and Technology, 1989, pp. 385-388.

• Nishiyama, S., Yoshida, N. and Tamai, T.,
  "Development of a Program Synthesis system MOOG,"
  Proc. Logic Programming Conference '84, Tokyo, 1984.

• Tamai, T.,
  "A Simplifier for Program Verification with Built-Knowledge on Equality and Partial Ordering and its Use for Finding Loop Invariants,"
  Journal of Information Processing, Vol.6, No.4 (1983), pp. 218-225.

• Tamai, T. and Fukunaga, K.,
  "A Verification System for File Processing Programs,"
  Proc. 6th International Conference on Software Engineering Poster Session, Tokyo, 1982.

• Tamai, T. and Fukunaga, K.,
  "A Verification System for File Processing Programs,"
  Proc. 3rd RIMS Symposium on Mathematical Methods Software Science and Engineering, Kyoto, 1981.

• Tamai, T. and Fukunaga, K.,
  "Formal Treatment of File Processing Programs,"
  Journal of Mitsubishi Research Institute, No. 8 (1979), pp. 34-69.

• Mukawa, H., Okamoto, Y., Sorimachi, Y., and Tamai, T.,
  "Implementation of the Heuristic Mixed Integer Program to the Mathematical Programming System,"
  Proc. 9th International Mathematical Programming Symposium, Budapest,
  August 1976, pp. 37-47.