检索结果-内蒙古大学图书馆

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 relation between classes that defines an inheritance mechanism through static and dynamic partitions. A variant of DL (including the deontic operators for permission, prohibition and obligation) is the formalism used in OASIS to deal with changes of state, triggers, preconditions, protocols and operations. The animation of conceptual models in order to validate the specification is an interesting topic. We have worked on translating OASIS specifications automatically to concurrent environments in order to obtain a prototype useful to validate specifications by animation. The aim of this paper is to show that it is feasible to translate static and dynamic partitions automatically into dynamic logic formulae. Thus, using the same developed schema of animation it is possible to execute OASIS specifications including inheritance. © 1999 Springer-Verlag London Limited.

关键词： Animation of specifications Inheritance object-oriented methods Requirements engineering

来源：评论

学校读者我要写书评

暂无评论

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

ISBN: (纸本)0769509150;0769509169

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 object-oriented method. In this paper we introduce a graphical user interface (GUI) for supporting the construction of SOFL specifications, and a tool for testing SOFL specifications. With those tools it would be easy to construct a SOFL specification that consists of Condition Data Flow Diagrams, modules, and classes and to ensure its consistency and validity.

关键词： structured methods object-oriented methods formal engineering methods SOFL data flow diagrams

来源：评论

学校读者我要写书评

暂无评论

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

ISBN: (纸本)9781467357395

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 database refactorings must be treated differently because a database schema's structure defines semantics used by other applications to access the data in the schema. Thus, many database refactorings may break interaction with other applications if not treated appropriately. We discuss problems of database refactoring in regard to Java code and present sql-schema-comparer, a library to detect refactorings of database schemes. The sql-schema-comparer library is our first step to more advanced tools supporting developers in their database refactoring efforts.

关键词： SQL object-oriented methods relational databases software maintenance

来源：评论

学校读者我要写书评

暂无评论

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

ISBN: (纸本)0780374908

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 the object-oriented self-adaptive models of elements and realizes the transform of subelasses. The object-oriented technology is also used to implement the Simulating program. The simulating results verify that problems caused by the function-oriented method are solved.

关键词： object-oriented programming power system simulation power system transients object-oriented methods object oriented programming self-adaptive simulation transient power system elements class structure object-oriented modeling simulation program function-oriented method

来源：评论

学校读者我要写书评

暂无评论

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

ISBN: (纸本)9781467347372;9781467347358

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 failed on its objective. The extension of the IEC 61131 that supports the object oriented paradigm is considered today as the most promising solution to address new requirements and lead to a more productive development process. In this paper, the upcoming version of the IEC 61131 and mainly its extension to the OO paradigm is analyzed with the intention to identify defects and propose solutions. The approach adopted in this extension is quite similar to the one of C++, i.e., a mixing of procedural and OO paradigms. This has advantages and dis-advantages for the developer.

关键词： C++ language IEC standards computational complexity factory automation object-oriented methods production engineering computing

来源：评论

学校读者我要写书评

暂无评论

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

ISBN: (纸本)750626210X

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 improves the object-retrieving of OO method and can facilitate the construction of functional models of the software package. This paper applies the proposed method to the parameterized finite element analysis (FEA) package for electrical machine electromagnetic fields. The FEA package developed successfully suggests that the new method combines the respective advantages of IDEF0 and OO method.

关键词： electric machine analysis computing electric machines electromagnetic fields finite element analysis object-oriented methods parameterized electrical machine electromagnetic fields IDEFO software function analysis object-oriented modeling OO object-retrieving method software package finite element analysis FEA

来源：评论

学校读者我要写书评

暂无评论

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

ISBN: (纸本)9781467314978

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 Intelligent Space. The proposed system consists of multiple camera devices and microphone and it utilizes various kinds of data;human identification, human motion, object instance, weather information, lighting intensity, heuristic information, etc. We constructed the system, focused on objects, in the Intelligent Space. To generate Metadata, based on collected log data to achieve the system of Recollection and Retrieval, several algorithms were used. This paper presents the prototype of Recollection and Retrieval System, and original dataset, useful for various purposes in the Intelligent Space.

关键词： cameras information retrieval meta data object-oriented methods ubiquitous computing

来源：评论

学校读者我要写书评

暂无评论

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

ISBN: (纸本)9781467317443

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 2010 respectively as the basic data. Based on object-oriented image analysis approach, the land use information is extracted firstly, and then the urban expansion of Wuhan city during last decade is analyzed with the urban expansion intensity index, the quadrants position analysis and the overall pattern analysis. From the result we can see that the pattern of urban expansion of Wuhan is a combination of ribbon expansion and centralized concentric expansion. And the scale of the expansion is under control.

关键词： computerised monitoring geophysical image processing object-oriented methods remote sensing town and country planning

来源：评论

学校读者我要写书评

暂无评论

GASE -An Input Domain Reduction and Branch Coverage System Based on Genetic Algorithm and Symbolic Execution

GASE -An Input Domain Reduction and Branch Coverage System B...

引用

International Conference on Information Communication and Embedded Systems (ICICES)

作者： Parthiban, M. Sumalatha, M. R. Anna Univ Dept Informat Technol Chennai 600025 Tamil Nadu India

ISBN: (纸本)9781467357869;9781467357876

Software industry produces high quality software, in that software testing plays a vital role. In software testing automatic generation can reduce the process time and cost. Automatic generation of object-oriented unit tests in software testing is a challenging task especially in white box testing. In software engineering Software testing becomes challenging issue with the development of software tools. Using Genetic Algorithm will provide best results in the software testing toolkit. This paper suggests an upgrading of automated search-based test generation of test cases in order to obtain high branch coverage in white box testing. The proposed technique outperforms providing greater efficiency in testing technique which combines Genetic Algorithm and Symbolic Execution named GASE. GASE automatically generates test data in order to obtain high branch coverage in white box testing aiming effective testing process which can be extended for software testing in cloud computing where it becomes necessity.

关键词： object-oriented methods program testing software cost estimation software houses software quality software tools

来源：评论

学校读者我要写书评

暂无评论

CASE STUDIES OF AUTOMATIC CHANGE DETECTION USING AVNIR-2 ONBOARD ALOS 30

CASE STUDIES OF AUTOMATIC CHANGE DETECTION USING AVNIR-2 ONB...

引用

30th IEEE International Geoscience and Remote Sensing Symposium (IGARSS) on Remote Sensing - Global Vision for Local Action

作者： Hashimoto, Shutaro Onosato, Masahiko Tadono, Takeo Hori, Masahiro Moriyama, Takashi Hokkaido Univ Grad Sch Informat Sci & Technol N14W9 Sapporo Hokkaido 0600814 Japan Japan Aerosp Explorat Agcy Earth Observat Res Ctr Tsukuba Ibaraki 3058505 Japan

ISBN: (纸本)9781424495665

This paper suggests a new automatic change detection approach using image-object-based contextual inference. The approach first detects changed areas, and then infers what happened there. The inference process uses knowledge based on a change detection process performed by humans. It enables flexible and intuitive description of the change detection process. In this paper, we describe the results of case studies on automatic change detection using the Advanced Visible and Near Infrared Radiometer type-2 (AVNIR-2) onboard the Advanced Land Observing Satellite (ALOS, nicknamed "Daichi").

关键词： Remote sensing Artificial intelligence Production systems object-oriented methods

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：