Compositional adjustment of concurrent processes to satisfy temporal logic constraints in MENDELS ZONE von Uchihira, Naoshi, Arami, Mikako, Honiden, Shinichi

Proceedings of the IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems von Honiden, Shinichi

Volltext öffnen

Compositional adjustment of concurrent programs to satisfy temporal logic constraints in MENDELS ZONE von Uchihira, Naoshi, Honiden, Shinichi

A Petri-net-based programming environment and its design methodology for cooperating discrete event systems von Uchihira, Naoshi, Arami, Mikako, Honiden, Shinichi

An application of artificial intelligence to prototyping process in performance design for real-time systems von Honiden, Shinichi, Uchihira, Naoshi, Itoh, Kiyoshi

A concurrent program synthesis using Petri net and temporal logic in MENDELS ZONE von Uchihira, Naoshi, Kawata, Hideji, Honiden, Shinichi

Net-oriented analysis and design von Honiden, Shinichi, Uchihira, Naoshi

An integration environment to put formal specifications into practical use in real-time systems von Honiden, Shinichi, Ohsuga, Akihiko, Uchihira, Naoshi

Verification and synthesis of concurrent programs using Petri nets and temporal logic von Uchihira, Naoshi, Honiden, Shinichi

MENDEL, Prolog based concurrent object oriented language von Honiden, Shinichi, Uchihira, Naoshi, Kasuya, Toshiaki

Engineering adaptive software systems communications of NII Shonan meetings

Weitere Verfasser: Volltext öffnen