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

研究成果 1983 2020

フィルター
Chapter
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
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
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
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
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
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
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
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