首页> 外文OA文献 >Specifying Distributed Information Systems: Fundamentals of an Object-Oriented Approach Using Distributed Temporal Logic

【2h】

Specifying Distributed Information Systems: Fundamentals of an Object-Oriented Approach Using Distributed Temporal Logic

机译：指定分布式信息系统：使用分布式时间逻辑的面向对象方法的基础

页面导航

著录项
相似文献
相关主题

著录项

作者
G. Denker; H. -d. Ehrich; Abteilung Datenbanken; Technische Universität Braunschweig;
展开▼
作者单位

展开▼
年度 2015
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Modeling and testing object-oriented distributed systems with linear-time temporal logic [J] . F. Dietrich, X. Logean, J.-P. Hubaux Concurrency and Computation . 2001,第5期

机译：使用线性时间时序逻辑建模和测试面向对象的分布式系统
2. Wireless Sensor Network-Based Distributed Approach to Identify Spatio-Temporal Volterra Model for Industrial Distributed Parameter Systems [J] . Gupta Saurav, Sahoo Ajit Kumar, Sahoo Upendra Kumar IEEE transactions on industrial informatics . 2020,第12期

机译：基于无线传感器网络的分布式方法识别工业分布式参数系统的时空Volterra模型
3. The OcoN approach for object-oriented distributed software systems modeling [J] . Holger Giese, Guido Wirtz International Journal of Computer Systems Science & Engineering . 2001,第3期

机译：面向对象的分布式软件系统建模的OcoN方法
4. Specifying Distributed Information Systems: Fundamentals of an Object-Oriented Approach Using Distributed Temporal Logic [C] . G.Denker, H.-D.Ehrich Formal methods for open object-based distributed systems . 1997

机译：指定分布式信息系统：使用分布式时间逻辑的面向对象方法的基础
5. An object-oriented, distributed approach to the development of integrated manufacturing systems [D] . Ting, Jame-John. 1991

机译：面向对象的分布式方法来开发集成制造系统
6. Legacy systems: managing evolution through integration in a distributed and object-oriented computing environment. [O] . D. Lemaitre, D. Sauquet, I. Fofol, 1995

机译：旧版系统：通过在分布式和面向对象的计算环境中进行集成来管理演变。
7. Modeling and testing object-oriented distributed systems with linear-time temporal logic [O] . Dietrich Falk, Logean Xavier, Hubaux Jean-Pierre 2001

机译：使用线性时间时序逻辑建模和测试面向对象的分布式系统
8. NASA JPL Distributed Systems Technology (DST) Object-Oriented Component Approach for Software Inter-Operability and Reuse [R] . Hall, Laverne, Hung, Chaw-Kwei, Lin, Imin 2000

机译：Nasa JpL分布式系统技术（DsT）面向对象的组件方法，用于软件互操作性和重用

Specifying Distributed Information Systems: Fundamentals of an Object-Oriented Approach Using Distributed Temporal Logic

著录项

相似文献

相关主题

期刊订阅