![]() | 2009 | |
---|---|---|
43 | ![]() ![]() ![]() ![]() ![]() ![]() | Hamido Fujita, Vladimír Marík: New Trends in Software Methodologies, Tools and Techniques - Proceedings of the Eighth SoMeT 2009, September 23-25, 2009, Prague, Czech Republic IOS Press 2009 |
42 | ![]() ![]() ![]() ![]() ![]() ![]() | Yutaka Watanobe, Victor E. Malyshkin, Rentaro Yoshioka, Nikolay N. Mirenkov, Hamido Fujita: Filmification of Methods: Representation of Particle-In-Cell Algorithms. PaCT 2009: 360-376 |
41 | ![]() ![]() ![]() ![]() ![]() ![]() | Colette Rolland, Hamido Fujita: About Strategies to Engineer Situational Methods. SoMeT 2009: 22-38 |
40 | ![]() ![]() ![]() ![]() ![]() ![]() | Mohamed Mejri, Kamel Adi, Hamido Fujita: Formal Specification and Analysis of Firewalls. SoMeT 2009: 284-293 |
39 | ![]() ![]() ![]() ![]() ![]() ![]() | Tae Kameda, Osamu Arai, Sergei Gorlatch, Hamido Fujita: Towards a Verification-Based Development Approach for Reactive Systems. SoMeT 2009: 350-363 |
38 | ![]() ![]() ![]() ![]() ![]() ![]() | Hamido Fujita, Jun Hakura, Masaki Kurematsu: Virtual Medical Doctor Interaction Based on Transactional Analysis. SoMeT 2009: 503-517 |
37 | ![]() ![]() ![]() ![]() ![]() ![]() | Jun Hakura, Hamido Fujita, Masaki Kurematsu: Facial Expression Invariants for Estimating Mental States of Person. SoMeT 2009: 518-530 |
36 | ![]() ![]() ![]() ![]() ![]() ![]() | Masaki Kurematsu, Marina Ohashi, Orimi Kinosita, Jun Hakura, Hamido Fujita: A Study of How to Implement a Listener Estimate Emotion in Speech. SoMeT 2009: 531-540 |
35 | ![]() ![]() ![]() ![]() ![]() ![]() | Jun Sasaki, Keizo Yamada, Michiru Tanaka, Hamido Fujita, Domenico M. Pisanelli, Riccardo Rasconi, Lorenza Tiberio, Claudio De Lazzari: Improving Safety and Healthy Life of Elderly People: Italian and Japanese Experiences. SoMeT 2009: 585-598 |
34 | ![]() ![]() ![]() ![]() ![]() ![]() | Hamido Fujita: Special issue on "Intelligent Software Design". Knowl.-Based Syst. 22(3): 129-131 (2009) |
33 | ![]() ![]() ![]() ![]() ![]() ![]() | Hanane Houmani, Mohamed Mejri, Hamido Fujita: Secrecy of cryptographic protocols under equational theory. Knowl.-Based Syst. 22(3): 160-173 (2009) |
32 | ![]() ![]() ![]() ![]() ![]() ![]() | Sergei Gorlatch, Jens Müller-Iden, Martin Alt, Jan Dünnweber, Hamido Fujita, Yutaka Funyu: Clayworks: Toward user-oriented software for collaborative modeling and simulation. Knowl.-Based Syst. 22(3): 209-215 (2009) |
31 | ![]() ![]() ![]() ![]() ![]() ![]() | Hamido Fujita, Jun Hakura, Masaki Kurematsu: Intelligent human interface based on mental cloning-based software. Knowl.-Based Syst. 22(3): 216-234 (2009) |
2008 | ||
30 | ![]() ![]() ![]() ![]() ![]() ![]() | Hamido Fujita, Imran A. Zualkernan: New Trends in Software Methodologies, Tools and Techniques - Proceedings of the Seventh SoMeT 2008, October 15-17, 2008, Sharjah, United Arab Emirates IOS Press 2008 |
29 | ![]() ![]() ![]() ![]() ![]() ![]() | Hamido Fujita, Jun Hakura, Masaki Kurematsu, Shigekazu Chida, Yuko Arakawa: Empirical Based Techniques for Human Cognitive Interaction Analysis: Universal Template Design. SoMeT 2008: 257-277 |
28 | ![]() ![]() ![]() ![]() ![]() ![]() | Masaki Kurematsu, Marina Ohashi, Orimi Kinosita, Jun Hakura, Hamido Fujita: An Emotion Estimation from Human Speech Using Speech Recognition and Speech Synthesize. SoMeT 2008: 278-289 |
27 | ![]() ![]() ![]() ![]() ![]() ![]() | Jun Hakura, Shigekazu Chida, Masaki Kurematsu, Hamido Fujita: An Automatic Facial Expression Recognition Method Using Situational Information - A Classification of User Profiles as Situational Information. SoMeT 2008: 290-306 |
26 | ![]() ![]() ![]() ![]() ![]() ![]() | Sergei Gorlatch, Frank Glinka, Alexander Ploss, Allaithy Raed, Hamido Fujita: User-Oriented Software Development for Real-Time Online Applications. SoMeT 2008: 339-360 |
25 | ![]() ![]() ![]() ![]() ![]() ![]() | Osamu Arai, Hamido Fujita: Design Concept of Automatic Program Generation Tool for Reactive Requirement. SoMeT 2008: 377-388 |
24 | ![]() ![]() ![]() ![]() ![]() ![]() | Tae Kameda, Osamu Arai, Sergei Gorlatch, Hamido Fujita: Towards Verifying Declarative Specifications of Reactive Systems. SoMeT 2008: 389-400 |
23 | ![]() ![]() ![]() ![]() ![]() ![]() | Mohamed Mejri, Hamido Fujita: Enforcing Security Policies Using Algebraic Approach. SoMeT 2008: 84-98 |
2007 | ||
22 | ![]() ![]() ![]() ![]() ![]() ![]() | Hamido Fujita, Domenico M. Pisanelli: New Trends in Software Methodologies, Tools and Techniques - Proceedings of the Sixth SoMeT 2007, November 7-9, 2007, Rome, Italy IOS Press 2007 |
21 | ![]() ![]() ![]() ![]() ![]() ![]() | Hamido Fujita, Jun Hakura, Masaki Kurematsu: Cognitive Modeling in Software and Relation to Human Emotional Reasoning. SoMeT 2007: 145-165 |
20 | ![]() ![]() ![]() ![]() ![]() ![]() | T. Mechri, Mahjoub Langar, Mohamed Mejri, Hamido Fujita, Yutaka Funyu: Automatic Enforcement of Security in Computer Networks. SoMeT 2007: 200-222 |
19 | ![]() ![]() ![]() ![]() ![]() ![]() | Osamu Arai, Hamido Fujita: New Verification of Reactive Requirement for Lyee Method. SoMeT 2007: 225-238 |
18 | ![]() ![]() ![]() ![]() ![]() ![]() | Sergei Gorlatch, Jens Müller, Martin Alt, Jan Dünnweber, Hamido Fujita, Yutaka Funyu: Clayworks: Toward User-Oriented Software for Collaborative Modeling and Simulation. SoMeT 2007: 403-415 |
17 | ![]() ![]() ![]() ![]() ![]() ![]() | Hamido Fujita: Special issue on "techniques to produce Intelligent_Secure software". Knowl.-Based Syst. 20(7): 614-616 (2007) |
16 | ![]() ![]() ![]() ![]() ![]() ![]() | Béchir Ktari, Hamido Fujita, Mohamed Mejri, Daniel Godbout: Toward a new software development environment. Knowl.-Based Syst. 20(7): 683-693 (2007) |
2006 | ||
15 | ![]() ![]() ![]() ![]() ![]() ![]() | Hamido Fujita, Mohamed Mejri: New Trends in Software Methodologies, Tools and Techniques - Proceedings of the Fifth SoMeT 2006, October 25-27, 2006, Quebec, Canada IOS Press 2006 |
14 | ![]() ![]() ![]() ![]() ![]() ![]() | Fumio Negoro, Hamido Fujita: Theory on Software Diagnosis for Program Code Validation. SoMeT 2006: 245-271 |
13 | ![]() ![]() ![]() ![]() ![]() ![]() | Osamu Arai, Hamido Fujita: Verification of the Lyee requirement. SoMeT 2006: 340-361 |
12 | ![]() ![]() ![]() ![]() ![]() ![]() | Sergei Gorlatch, Tae Kameda, Hamido Fujita, Michiru Tanaka, Yutaka Funyu, Osamu Arai: Towards Developing Adjustable Software: A Case Study with the Lyee Approach. SoMeT 2006: 423-438 |
11 | ![]() ![]() ![]() ![]() ![]() ![]() | Volker Gruhn, Hamido Fujita: Special Issue on "Intelligent Software Design". Knowl.-Based Syst. 19(2): 105-106 (2006) |
10 | ![]() ![]() ![]() ![]() ![]() ![]() | Hamido Fujita, Béchir Ktari, Mohamed Mejri: Implementing Lyee-Calculus in Java. Knowl.-Based Syst. 19(2): 116-129 (2006) |
2005 | ||
9 | ![]() ![]() ![]() ![]() ![]() ![]() | Hamido Fujita, Mohamed Mejri: New Trends in Software Methodologies, Tools and Techniques - Proceedings of the Fifth SoMeT 2005, September 28-30, 2005, Tokyo, Japan IOS Press 2005 |
8 | ![]() ![]() ![]() ![]() ![]() ![]() | Béchir Ktari, Mohamed Mejri, Daniel Godbout, Hamido Fujita: LyeeBuilder. SoMeT 2005: 83-99 |
2004 | ||
7 | ![]() ![]() ![]() ![]() ![]() ![]() | Paul Johannesson, Hamido Fujita: Special issue on 'Legacy systems and software change'. Knowl.-Based Syst. 17(5-6): 237-238 (2004) |
6 | ![]() ![]() ![]() ![]() ![]() ![]() | Hamido Fujita, Mohamed Mejri, Béchir Ktari: A process algebra to formalize the Lyee methodology. Knowl.-Based Syst. 17(5-6): 263-281 (2004) |
5 | ![]() ![]() ![]() ![]() ![]() ![]() | Yozo Takeda, Hamido Fujita: Legacy system program transformation by Lyee methodology. Knowl.-Based Syst. 17(5-6): 283-302 (2004) |
2003 | ||
4 | ![]() ![]() ![]() ![]() ![]() ![]() | Darren Brown, Margaret M. Burnett, Gregg Rothermel, Hamido Fujita, Fumio Negoro: Generalizing WYSIWYT visual testing to screen transition languages. HCC 2003: 203-210 |
3 | ![]() ![]() ![]() ![]() ![]() ![]() | Hamido Fujita: Special issue on 'Intention and Software Process'. Knowl.-Based Syst. 16(7-8): 339 (2003) |
2 | ![]() ![]() ![]() ![]() ![]() ![]() | Mohamed Mejri, Béchir Ktari, Hamido Fujita, M. M. Erhioui: Static analysis of Lyee requirements. Knowl.-Based Syst. 16(7-8): 361-382 (2003) |
1 | ![]() ![]() ![]() ![]() ![]() ![]() | Osamu Arai, Hamido Fujita: Mathematical structure model for Word-Based Program. Knowl.-Based Syst. 16(7-8): 399-411 (2003) |