• 848 引用
  • 12 h指数
1983 …2020
Pureに変更を加えた場合、すぐここに表示されます。

研究成果 1983 2020

フィルター
Chapter
Chapter

A pattern language for knowledge handover when people transition

Ito, K., Yoder, J. W., Washizaki, H. & Fukazawa, Y., 2019 1 1, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer-Verlag, p. 183-209 27 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 10600 LNCS).

研究成果: Chapter

Pattern Language
Handover
Industry
Knowledge
Personnel

DETAILED DESCRIPTIVE SPECIFICATION OF VM SCHEDULER AND ITS EXPERIENCE.

Kawano, S., Kadokura, T., Fukazawa, Y., Kurino, S., Hirose, K., Yamada, S., Nasu, H., Kawazoe, H., Sakakura, M. & Utsunomiya, K., 1987 3, Bulletin of Centre for Informatics (Waseda University). 巻 5. p. 32-46 15 p.

研究成果: Chapter

Specifications
Formal logic

Generating Linear Temporal Logics Based on Property Specification Templates

Luo, W., Washizaki, H. & Fukazawa, Y., 2020 1 1, Studies in Computational Intelligence. Springer-Verlag, p. 1-15 15 p. (Studies in Computational Intelligence; 巻数 850).

研究成果: Chapter

Temporal logic
Specifications
Model checking
Visualization
1 引用 (Scopus)

Integrated methods for a user adapted usability evaluation

Shirogane, J., Yashita, Y., Iwata, H. & Fukazawa, Y., 2012, Information Systems Research and Exploring Social Artifacts: Approaches and Methodologies. IGI Global, p. 379-397 19 p.

研究成果: Chapter

Software engineering
Engineers
Costs
1 引用 (Scopus)

Modeling dependability of IT services associated with social and economic infrastructure including healthcare

Ohtaka, H. & Fukazawa, Y., 2013, Smart Sensors, Measurement and Instrumentation. Springer International Publishing, 巻 2. p. 297-313 17 p. (Smart Sensors, Measurement and Instrumentation; 巻数 2).

研究成果: Chapter

Information technology
economics
Economics
Defects
safety

SOFTWARE DEVELOPMENT ENVIRONMENT TO SUPPORT ABSTRACTION MECHANISMS.

Fukazawa, Y., 1986 3, Bulletin of Centre for Informatics (Waseda University). 巻 3. p. 21-33, 115

研究成果: Chapter

Macros
Pattern matching
Software engineering
Computer programming languages
Specifications
6 引用 (Scopus)

Software product line evolution method based on kaizen approach

Inoki, M. & Fukazawa, Y., 2007, Proceedings of the ACM Symposium on Applied Computing. p. 1207-1214 8 p.

研究成果: Chapter

Industry

TUNING OF AN OS FOR A UNIVERSITY ENVIRONMENT AND ITS EXPERIENCES - AN APPROACH BASED ON THE FORMAL SPECIFICATION.

Kawano, S., Fukazawa, Y. & Kadokura, T., 1987 9, Bulletin of Centre for Informatics (Waseda University). 巻 6. p. 39-47 9 p.

研究成果: Chapter

Tuning
Computer software maintenance
Specification languages
Software engineering
Computer systems

XAC project: Towards a middleware for open wireless sensor networks

Tei, K., Suenaga, S., Nakamura, Y., Sei, Y., Nakazato, H., Kaneki, Y., Yoshioka, N., Fukazawa, Y. & Honiden, S., 2010, Designing Solutions-Based Ubiquitous and Pervasive Computing: New Issues and Trends. IGI Global, p. 214-231 18 p.

研究成果: Chapter

Middleware
Wireless sensor networks
Ubiquitous computing
Costs