咨询与建议

限定检索结果

文献类型

  • 109 篇 期刊文献
  • 83 篇 会议

馆藏范围

  • 192 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 166 篇 工学
    • 84 篇 计算机科学与技术...
    • 78 篇 电气工程
    • 67 篇 软件工程
    • 28 篇 控制科学与工程
    • 17 篇 机械工程
    • 13 篇 信息与通信工程
    • 7 篇 测绘科学与技术
    • 4 篇 仪器科学与技术
    • 4 篇 环境科学与工程(可...
    • 3 篇 动力工程及工程热...
    • 3 篇 电子科学与技术(可...
    • 2 篇 土木工程
    • 2 篇 石油与天然气工程
    • 1 篇 材料科学与工程(可...
    • 1 篇 建筑学
    • 1 篇 水利工程
    • 1 篇 交通运输工程
  • 30 篇 管理学
    • 26 篇 管理科学与工程(可...
    • 7 篇 工商管理
    • 4 篇 图书情报与档案管...
  • 20 篇 理学
    • 9 篇 数学
    • 7 篇 地球物理学
    • 4 篇 系统科学
    • 3 篇 物理学
    • 3 篇 生物学
    • 1 篇 地理学
    • 1 篇 统计学(可授理学、...
  • 7 篇 经济学
    • 7 篇 应用经济学
  • 6 篇 医学
    • 5 篇 临床医学
  • 2 篇 教育学
    • 2 篇 教育学
  • 1 篇 农学

主题

  • 192 篇 object-oriented ...
  • 31 篇 object-oriented ...
  • 19 篇 object orientati...
  • 15 篇 software enginee...
  • 9 篇 software tools
  • 9 篇 software quality
  • 9 篇 formal specifica...
  • 9 篇 software metrics
  • 9 篇 software mainten...
  • 7 篇 modeling
  • 7 篇 real-time system...
  • 7 篇 design patterns
  • 6 篇 software archite...
  • 6 篇 control engineer...
  • 6 篇 software reusabi...
  • 6 篇 internet
  • 6 篇 object-oriented ...
  • 5 篇 java
  • 5 篇 program testing
  • 5 篇 software

机构

  • 2 篇 politehn univ ti...
  • 2 篇 victoria univ sc...
  • 2 篇 sun yat sen univ...
  • 1 篇 program studi si...
  • 1 篇 univ zaragoza de...
  • 1 篇 int inst geoinfo...
  • 1 篇 rhein westfal th...
  • 1 篇 german national ...
  • 1 篇 jordan univ sci ...
  • 1 篇 nanyang technol ...
  • 1 篇 univ groningen d...
  • 1 篇 stratasys inc ed...
  • 1 篇 usn res lab char...
  • 1 篇 key lab smart ag...
  • 1 篇 hong kong polyte...
  • 1 篇 politecn milan i...
  • 1 篇 univ essex dept ...
  • 1 篇 siemens ag öster...
  • 1 篇 lund univ s-2210...
  • 1 篇 univ birmingham ...

作者

  • 3 篇 vogel-heuser bir...
  • 2 篇 obermeier martin
  • 2 篇 zayegh aladin
  • 2 篇 kumar s
  • 2 篇 liu y
  • 2 篇 li xia
  • 2 篇 poshyvanyk denys
  • 2 篇 ozansoy cagil r.
  • 2 篇 marcelloni f
  • 2 篇 qi zhixin
  • 2 篇 dai ys
  • 2 篇 yang qp
  • 2 篇 aksit m
  • 2 篇 russo m
  • 2 篇 jiang h
  • 2 篇 kalam akhtar
  • 2 篇 shatnawi raed
  • 2 篇 yeh anthony gar-...
  • 2 篇 losi a
  • 1 篇 subandi

语言

  • 173 篇 英文
  • 16 篇 其他
  • 1 篇 德文
  • 1 篇 葡萄牙文
  • 1 篇 中文
检索条件"主题词=object-oriented methods"
192 条 记 录,以下是91-100 订阅
排序:
Guaranteeing Proper-Temporal-Embedding Safety Rules in Wireless CPS: A Hybrid Formal Modeling Approach
Guaranteeing Proper-Temporal-Embedding Safety Rules in Wirel...
收藏 引用
43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)
作者: Tan, Feng Wang, Yufei Wang, Qixin Bu, Lei Zheng, Rong Suri, Neeraj Hong Kong Polytech Univ Dept Comp Hong Kong Hong Kong Peoples R China Nanjing Univ State Key Lab Novel Software Technol Dept Comp Sci & Technol Nanjing Jiangsu Peoples R China Univ Manchester Dept Comp & Software Manchester M13 9PL Lancs England Tech Univ Darmstadt Dept Comp Sci Darmstadt Germany
Cyber-Physical Systems (CPS) integrate discrete-time computing and continuous-time physical-world entities, which are often wirelessly interlinked. The use of wireless safety critical CPS (control, healthcare etc.) re... 详细信息
来源: 评论
Application of OOP in the self-adaptive simulation of the whole transient
Application of OOP in the self-adaptive simulation of the wh...
收藏 引用
IEEE Region 10 Technical Conference on Computers, Communications, Control and Power Engineering
作者: Wang, QP Chen, CY Chen, LY Dong, XZ Tianjin Univ Tianjin 300072 Peoples R China
For realizing the self-adaptive Simulation of the whole transient, the class Structure of the power system elements is researched by object-oriented Modeling (OOM). By taking generator for example, this paper builds t... 详细信息
来源: 评论
Animating formal specifications with inheritance in a DL-based framework
收藏 引用
Requirements Engineering 1999年 第4期4卷 198-205页
作者: Sánchez, Pedro Letelier, Patricio Ramos, Isidro Department of Information Systems and Computation Valencia University of Technology Valencia Spain Department of Information Systems and Computation Valencia University of Technology 46071 Valencia Camino de Vera s/n Spain
Dynamic logic (DL) provides a suitable formal framework to model actions and reasoning about them. OASIS is a language for the specification of object-oriented conceptual models. In our model, specialisation is a rela... 详细信息
来源: 评论
sql-schema-comparer: Support of Multi-Language Refactoring with Relational Databases
sql-schema-comparer: Support of Multi-Language Refactoring w...
收藏 引用
13th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM)
作者: Schink, Hagen Otto Von Guericke Univ Inst Tech & Business Informat Syst Magdeburg Germany
Refactoring is a method to change a source-code's structure without modifying its semantics and was first introduced for object-oriented code. Since then refactorings were defined for relational databases too. But... 详细信息
来源: 评论
object oriented computational electromagnetics
Object oriented computational electromagnetics
收藏 引用
19th Annual Canadian Conference on Electrical and Computer Engineering
作者: So, Poman Univ Victoria Computat Electromagnet Res Lab Victoria BC V8W 3P6 Canada
Popular numerical techniques for electromagnetic wave modeling can be divided into the frequency-domain and time-domain methods. This paper presents an object oriented modeling framework for building a multiple engine... 详细信息
来源: 评论
Towards an object-oriented Extension for IEC 61131
Towards an Object-Oriented Extension for IEC 61131
收藏 引用
17th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)
作者: Thramboulidis, Kleanthis Univ Patras Patras Greece
The IEC 61131 has been successfully used for many years in the industrial automation domain. IEC 61499 was defined to better handle complexity and increase modularity and reusability in the development process, but it... 详细信息
来源: 评论
A new method for design and analysis of a parameterized electrical machine electromagnetic fields finite element package  6
A new method for design and analysis of a parameterized elec...
收藏 引用
6th International Conference on Electrical Machines and Systems
作者: Wang, SH Li, QF Tian, MX Li, QF Xi An Jiao Tong Univ Fac Elect Engn Xian 710049 Peoples R China
This paper presents a new software analysis method that introduces the IDEF0 software function analysis into object-oriented (OO) modeling. A systematical object-retrieving method based on IDEF0 is proposed. The IDEF0... 详细信息
来源: 评论
A GUI and testing tool for SOFL  7
A GUI and testing tool for SOFL
收藏 引用
7th Asia-Pacific Software Engineering Conference (ASPEC 2000)
作者: Liu, SY Fukuzaki, T Miyamoto, K Hosei Univ Tokyo 142 Japan
SOFL is a formal language and method for system specification and design. As a language it is an integration of Petri nets, Data Flow Diagrams, and VDM-SL. As a method it is a combination of structured method and obje... 详细信息
来源: 评论
object oriented Memory Recollection and Retrieval based on Spatial Log in the iSpace
Object Oriented Memory Recollection and Retrieval based on S...
收藏 引用
IEEE/SICE International Symposium on System Integration (SII)
作者: Saito, Kazufumi Yoshimura, Akira Lee, Joo-Ho
In this paper, we propose a memory recollection and retrieval system using spatial log data in daily living which allows users to see behavior of the past, unconscious behavior and object-oriented behavior in the Inte... 详细信息
来源: 评论
The Urban Expansion Monitoring of Wuhan City Using Multitemporal Remote Sensing Images
The Urban Expansion Monitoring of Wuhan City Using Multitemp...
收藏 引用
IEEE 5th International Conference on Advanced Computational Intelligence (ICACI)
作者: Wang, Meng He, Guojin Chinese Acad Sci Ctr Earth Observat & Digital Earth Beijing 100094 Peoples R China
City is a huge and complicated system. People around the world are paying strong attention to the development of cities. This paper uses Wuhan as the study area and uses Landsat TM images acquired in 2002, 2005 and 20... 详细信息
来源: 评论