AAAAAA

   
Results: 1-10 |
Results: 10
HYPERSEQUENTIAL PROGRAMMING - A NEW WAY TO DEVELOP CONCURRENT PROGRAMS
Authors: UCHIHIRA N HONIDEN S SEKI T
Citation: N. Uchihira et al., HYPERSEQUENTIAL PROGRAMMING - A NEW WAY TO DEVELOP CONCURRENT PROGRAMS, IEEE concurrency, 5(3), 1997, pp. 44
EVA - A FLEXIBLE PROGRAMMING METHOD FOR EVOLVING SYSTEMS
Authors: MATSUURA S KURUMA H HONIDEN S
Citation: S. Matsuura et al., EVA - A FLEXIBLE PROGRAMMING METHOD FOR EVOLVING SYSTEMS, IEEE transactions on software engineering, 23(5), 1997, pp. 296-313
MENDELS ZONE - A PARALLEL PROGRAM-DEVELOPMENT SYSTEM BASED ON FORMAL SPECIFICATIONS
Authors: HONIDEN S OHSUGA A UCHIHIRA N
Citation: S. Honiden et al., MENDELS ZONE - A PARALLEL PROGRAM-DEVELOPMENT SYSTEM BASED ON FORMAL SPECIFICATIONS, Information and software technology, 38(3), 1996, pp. 181-189
A HIGH-LEVEL PETRI-NET FOR ACCURATE MODELING OF REACTIVE AND CONCURRENT SYSTEMS
Authors: UCHIHIRA N HONIDEN S
Citation: N. Uchihira et S. Honiden, A HIGH-LEVEL PETRI-NET FOR ACCURATE MODELING OF REACTIVE AND CONCURRENT SYSTEMS, IEICE transactions on fundamentals of electronics, communications and computer science, E79A(11), 1996, pp. 1797-1808
COMPOSITIONAL ADJUSTMENT OF CONCURRENT PROGRAMS TO SATISFY TEMPORAL LOGIC CONSTRAINTS IN MENDELS ZONE
Authors: UCHIHIRA N HONIDEN S
Citation: N. Uchihira et S. Honiden, COMPOSITIONAL ADJUSTMENT OF CONCURRENT PROGRAMS TO SATISFY TEMPORAL LOGIC CONSTRAINTS IN MENDELS ZONE, The Journal of systems and software, 33(3), 1996, pp. 207-221
AN ANALYSIS OF SIMULATION BETWEEN PETRI NETS THROUGH REWRITING LOGIC
Authors: TAHARA Y HONIDEN S
Citation: Y. Tahara et S. Honiden, AN ANALYSIS OF SIMULATION BETWEEN PETRI NETS THROUGH REWRITING LOGIC, IEICE transactions on fundamentals of electronics, communications and computer science, E78A(11), 1995, pp. 1498-1503
RELIABILITY AND SAFETY OF REAL-TIME SYSTEMS
Authors: EVERETT W HONIDEN S
Citation: W. Everett et S. Honiden, RELIABILITY AND SAFETY OF REAL-TIME SYSTEMS, IEEE software, 12(3), 1995, pp. 13-16
ADAPTING OBJECT-COMMUNICATION METHODS DYNAMICALLY
Authors: KISHIMOTO Y KOTAKA N HONIDEN S
Citation: Y. Kishimoto et al., ADAPTING OBJECT-COMMUNICATION METHODS DYNAMICALLY, IEEE software, 12(3), 1995, pp. 65-74
AN APPLICATION OF ARTIFICIAL-INTELLIGENCE TO OBJECT-ORIENTED PERFORMANCE DESIGN FOR REAL-TIME SYSTEMS
Authors: HONIDEN S NISHIMURA K UCHIHIRA N ITOH K
Citation: S. Honiden et al., AN APPLICATION OF ARTIFICIAL-INTELLIGENCE TO OBJECT-ORIENTED PERFORMANCE DESIGN FOR REAL-TIME SYSTEMS, IEEE transactions on software engineering, 20(11), 1994, pp. 849-867
SPECIAL SECTION ON NETS-ORIENTED SOFTWARE SPECIFICATION AND DESIGN - FOREWORD
Authors: HONIDEN S
Citation: S. Honiden, SPECIAL SECTION ON NETS-ORIENTED SOFTWARE SPECIFICATION AND DESIGN - FOREWORD, IEICE transactions on fundamentals of electronics, communications and computer science, E76A(10), 1993, pp. 1565-1566
Risultati: 1-10 |