全部文献期刊学位论文会议报纸专利标准年鉴图书|学者科研项目
中外文文献  中文文献  外文文献
作者:Tsutomu Kobayashi , Fuyuki Ishikawa , Shinichi Honiden
来源:[J].Formal Aspects of Computing(IF 0.5), 2019, Vol.31 (3), pp.287-320Springer
摘要:Abstract(#br)Event-B has been attracting much interest because it supports a flexible refinement mechanism that reduces the complexity of constructing and verifying models of complicated target systems by taking into account multiple abstraction layers of the models. Although mos...
作者:Shinichi Honiden , Akihiko Ohsuga , Naoshi Uchihira
来源:[J].Information and Software Technology(IF 1.522), 1996, Vol.38 (3), pp.181-189Elsevier
摘要:Abstract(#br)MENDELS ZONE is a formal specification-based practical parallel program development system on an MIMD machine with 64 processors. It has been applied to the several practical applications: one such application is described in formal specifications totalling 3700 line...
作者:Naoshi Uchihira , Shinichi Honiden
来源:[J].The Journal of Systems & Software(IF 1.135), 1996, Vol.33 (3), pp.207-221Elsevier
摘要:Abstract(#br)In this paper, we examine “program adjustment”, a formal and practical approach to developing correct concurrent programs, by automatically adjusting an imperfect program to satisfy given constraints. A concurrent program is modeled by a finite state process, an...
作者:Shinichi Honiden , Naoshi Uchihira ...
来源:[J].Real-Time Systems(IF 0.55), 1990, Vol.1 (4), pp.313-331Springer
摘要:Abstract(#br)This paper presents an application of structural modeling and automated reasoning as a software development environment for real-time systems. This application satisfies two major requirements for such an environment: (1) to synthesize an absolutely correct program a...
作者:... Nicolas Sabouret , Shinichi Honiden , H. Van Dyke Parunak
来源:[J].Autonomous Agents and Multi-Agent Systems(IF 0.79), 2007, Vol.14 (1), pp.31-47Springer
摘要:Abstract(#br)The environment has been recognized as an explicit and exploitable element to design multi-agent systems (MAS). It can be assigned a number of responsibilities that would be more difficult to design with the sole notion of agents. To support the engineering of these ...
作者:... Naoki Kase , Akihiko Ohsuga , Shinichi Honiden
来源:[J].New Generation Computing(IF 0.795), 1999, Vol.17 (4), pp.359-367Springer
摘要:Abstract(#br)“Drivers’ Information Assistance System (DIA system)” is an ITS (Intelligent Transport Systems) application framework that provides agent-based information assistance to drivers through car navigation systems or on-board PCs.(#br)DIA system enables flexible...
作者:... Akihiko Ohsuga , Shinichi Honiden , Nobuyuki Mori
来源:[J].Nuclear Technology(IF 0.447), 1998, Vol.124 (3), pp.255-264Taylor & Francis
摘要:Abstract(#br)A formal verification method using an algebraic specification technique is proposed, and its effectiveness is studied. A computerized automatic verification system, which utilizes an algebraic specification to describe system requirements and to prove an inductive th...
作者:Nobukazu Yoshioka , Akihiko Ohsuga , Shinichi Honiden
来源:[J].Electrical Engineering in Japan(IF 0.104), 2004, Vol.149 (3), pp.49-64Wiley
摘要:Abstract(#br)Pervasive computing is becoming a more important issue for open distributed systems. It is, however, hard to design such distributed systems when the user uses many kinds of terminals and migrates with these. This paper has proposed a new framework for pervasive...
作者:KIYOSHI ITOH , YASUHISA TAMURA , SHINICHI HONIDEN
来源:[J].International Journal of Software Engineering and Knowledge Engineering(IF 0.295), 1992, Vol.2 (01), pp.5-29World Scientific Publishing
摘要:A software prototyping environment called TransObj (TRANSaction and OBJect) is used for designing real-time Transaction-based Concurrent Software Systems (TCSS). In a TCSS design process, a software designer should perform both functional design and performance design. The design...
作者:JUNICHI YAMAMOTO , AKIHIKO OHSUGA , SHINICHI HONIDEN
来源:[J].International Journal of Software Engineering and Knowledge Engineering(IF 0.295), 1995, Vol.5 (03), pp.367-389World Scientific Publishing
摘要:Although many CASE tools for object-oriented methods (OO CASE tools) have been proposed, few, if any, can verify that the constructed analysis and design models actually match the requirements of the system being developed. In order to realize this kind of verification, we propos...

我们正在为您处理中,这可能需要一些时间,请稍等。

资源合作:cnki.scholar@cnki.net, +86-10-82896619   意见反馈:scholar@cnki.net

×