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

研究成果 1983 2020

フィルター
Chapter
1986

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
1987

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

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
2007
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
2010

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
2012
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
2013
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
2019

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
2020

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