OSOGAMI Masahiro

J-GLOBAL         Last updated: Dec 6, 2018 at 17:24
 
Avatar
Name
OSOGAMI Masahiro
Affiliation
Fukui University of Technology
Section
Faculty of Environmental and Information Sciences Department of Management and Information Sciences
Degree
(BLANK)(Fukui University of Technology)

Research Areas

 
 

Education

 
 
 - 
1995
Graduate School, Division of Engineering, Fukui University of Technology
 
 
 - 
1988
Faculty of Engineering, University of Fukui
 

Misc

 
A Method of Automatic Program Generation Using Informal Procedure Call Sentences
Proceeding of the ACIS 2nd International Conference of Software Engineering, Artificial Intelligence, Networking & Parallel / Distributed Computing   969-976 969-976   2001   [Refereed]
Module-Aidled Programing Sytem by using Prolog
Memoirs of Fukui university of technology   (22) 299-306   1992
Prolog-based module retrieval and program-generation
Memoirs of Fukui university of technology   (23) 313-320   1993
A method of Automated Program Design and A Structured Program Diagram Drawing
Memoirs of Fukui university of technology   (24) 261-268   1994
A method of automatic generation of C source codes by program design documents
Memoirs of Fukui university of technology   (25) 315-322   1995
Construction of Generic modules of structs
Memoirs of Fukui university of technology   (26) 311-318   1996
Automatic Module Linking in Program Generation
Memoirs of Fukui university of technology   (27) 305-312   1997
Prolog-based module retrieval and program-generation
Proceedings of the 43rd confference of IPSJ   4 293-294   1991
Module-based Specifications and Program Generation
Proceedings of the 44th confference of IPSJ   5 191-192   1992
Frame-based Program Generation in File Data Processing
Proceedings of the 45th confference of IPSJ   5 359-360   1992
Automatic Generation of SPD and programs from Specifications
Proceedings of the 46th confference of IPSJ   5 327-328   1993
Specifying and Checking of Structured Diagrams for Transferring to Programs
Proceedings of the 47th confference of IPSJ   5 265-266   1993
On frame-like Extention of Modules
Proceedings of the 48th confference of IPSJ   5 353-354   1994
A method of constructing frame works
Proceedings of the 49th confference of IPSJ   5 183-184   1994
A method of constructing Flexible Modules
Proceedings of the 50th confference of IPSJ   5 219-220   1995
A method of constructing class-modules
Proceedings of the 51st confference of IPSJ   5 157-158   1995
A program Constructing by Automatic Module Linking
Proceedings of the 52nd confference of IPSJ   5 47-48   1996
Initial-Marking-Based Liveness on Dissynchronous Choice Petri nets(共著)
Proceeding of the 1996 International Technical Confference on Circuits/Systems, Computers and Communications   713-716   1996
Necessary and Sufficient Condition for structural liveness of Dissynchronous Choice Petri Nets(共著)
Technical Report of IEICE   96(204) 39-46   1996
Application of Petri nets for Object Oriented Analysis
Proceedings of the 1996 Engineering Sciences Society confference of IEICE   318-319   1996
The Simplest Class which Admits New Type of Traps in Petri Nets and its Structural Liveness
Proceedings of the 1996 Engineering Science Society confference of IEICE   316-317   1996
Relationships between Structure and Behavior of Partially Ordered Petri Nets and their Typical Subclasses : Liveness Conditions-PartI-(共著)
1-8   1996
A Method of Automatic Program Designing and Code Generation using Informal Procedure Call Sentences(共著)
Proceeding of the IASTED International Conference Airtificial Intelligence and Soft Computing   161-164   1998
Construction of Class Modules
Memoirs of Fukui university of technology   (28) 261-268   1998
Application of Petri nets for Object Oriented CASE
Proceedings of the 1997 Information/System society conference of IEICE   298   1997
Automatic Program Generation System using Prolog
Technical Report of IEICE   SS98-11 1-8   1988
Input and Output Conditions Check using List Processing in Program Generation
Memoirs of Fukui university of technology   29 289-296   1999
A Method of Automatic Program Generation and Structured Diagram using Informal Call Sentences
Proceedings of the IASTED International Conference Software Engineering and Applications   104-108   1999
Integrated Design Education for Information Society
Bulletin of Japanese society for the science of design   164-165   1999
Automatic Program Generation using Input Output Conditions
Memoirs of Fukui university of technology   (30) 301-308   2000
Integrated Design Education for Information Society(3)
Bulletin of Japanese Society for the science of design   318-319   2000

Research Grants & Projects

 
Study on Automatic Program Generation
Study of Necessary and Sufficient Conditions for Liveness of Petri Nets
Integrated Design Education for Information Society