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

9th International Symposium on Business modeling and software Design (BMSD)

作者： Cordeiro, Jose IPS INCITE Ctr Innovat Sci & Technol Setubal Portugal Polytech Inst Setubal Setubal Sch Technol Campus IPS Setubal Portugal

ISBN: (纸本)9783030248543;9783030248536

Enterprise Ontology (EO) is a well-known theory that captures the essence of an organisation. It is rooted in the Language Action Perspective that acknowledges language as the primary dimension of human cooperative activity. This theory, proposed by Jan Dietz, provides the foundations for designing and engineering of enterprises seen as social information systems. In this paper, we analyse some fundamental aspects of EO using an adapted framework for comparing methodologies. We present also a systematic review of the literature to find how EO and its modelling methodology are used to develop enterprise software applications.

关键词： Enterprise Ontology Enterprise engineering DEMO Language action perspective Information systems Information systems development model-based software development

来源：评论

学校读者我要写书评

暂无评论

A classification and rationalization of model-based software development

引用

software AND SYSTEMS modelING 2013年第4期12卷 669-678页

作者： Zheng, Yongjie Taylor, Richard N. Univ Missouri Dept Comp Sci & Elect Engn Sch Comp & Engn Kansas City MO 64110 USA Univ Calif Irvine Inst Software Res Irvine CA 92697 USA

The use of model-based software development is increasingly popular due to recent advancements in modeling technology. Numerous approaches exist;this paper seeks to organize and characterize them. In particular, important terminological confusion, challenges, and recurring techniques of model-based software development are identified and rationalized. New perspectives are provided on some fundamental issues, such as the distinctions between model-driven development and architecture-centric development, code generation, and metamodeling. On the basis of this discussion, we opine that architecture-centric development and domain-specific model-driven development are the two most promising branches of model-based software development. Achieving a positive future will require, however, specific advances in software modeling, code generation, and model-code consistency management.

关键词： model-based software development model-driven development Architecture-centric development

来源：评论

学校读者我要写书评

暂无评论

Comprehensive Overview of a Process-Oriented Build Tool for Airborne Safety-Critical software development 10

Comprehensive Overview of a Process-Oriented Build Tool for ...

引用

10th International Conference on Recent Advances in Air and Space Technologies (RAST)

作者： Panchal, Purav Dmitriev, Konstantin Myschik, Stephan Holzapfel, Florian Univ Bundeswehr Munich Inst Aeronaut Engn Neubiberg Germany Tech Univ Munich Inst Flight Syst Dynam Garching Germany

ISBN: (纸本)9798350323023

Rise in software use for safety-critical systems is driven by the escalating technology and curiosity in aerospace and space industries. However, the reliance on software in order to increase features and capabilities of an avionic system is directly questioned by how safe the software is, which further points down to the conformance of the software to standards DO-178C/DO-331. This research presents an overview of a process-oriented build tool developed in MATLAB and Simulink, serving the purpose of increasing the development efficiency along with process conformance. The build tool provides advantages like modular software management, artifacts handling with traceability, tools interlinking, automated model and code verification tasks, defined design environment, etc. It is used in several projects serving as software development environment for as flight control applications as well as battery management systems as well as motor controller. The paper provides motivation and functional overview of the build tool along with its key features.

关键词： process oriented DO-178C DO-331 model-based software development safety-critical

来源：评论

学校读者我要写书评

暂无评论

SIMUV: model-based Configuration Management for Simulink models 22

SIMUV: Model-based Configuration Management for Simulink Mod...

引用

ACM/IEEE 25th International Conference on model Driven Engineering Languages and Systems (modelS)

作者： Nguyen, Tien N. Univ Texas Dallas Richardson TX 75083 USA

ISBN: (纸本)9781450394673

To transform the development of complex systems, developers leverage model-based design by systematically using models throughout the entire process. Simulink model is a block diagram environment used to design systems with multi-domain models, simulate before implementation. Keeping different versions of Simulink models is important for the evolution of the design of a complex system. However, the existing state-of-the-art approaches and tools for version control (VC) and configuration management (CM) for the models are still limited to text-based, which treats the source code of the models as texts. This hinders the understanding of model evolution due to the mismatch between the developers' intention and text-based modeling of changes. We propose SIMUV, a VC/CM system that integrates the graph structures of the Simulink models and represents the model's entities and their changes explicitly.

关键词： Version Control software Configuration Management Simulink model model-based software development

来源：评论

学校读者我要写书评

暂无评论

The Importance of Testing in the Early Stages of Smart Contract development Life Cycle

引用

JOURNAL OF WEB ENGINEERING 2020年第2期19卷 215-242页

作者： Sanchez-Gomez, N. Morales-Trujillo, L. Gutierrez, J. J. Torres-Valderrama, J. Univ Seville Escuela Tecn Super Ingn Informat Web Engn & Early Testing IWT2 Grp Ave Reina Mercedes S-N Seville 41012 Spain

The use of smart contract augurs a world without intermediaries because the code and the agreements contained therein exist across a distributed, decentralized blockchain network. In software engineering, this collaboration is usually represented by using business process models and smart contracts can be used to implement business collaborations in general and interorganizational business processes. The validation of this contract and the assurance of its quality are critical for its right application. Early testing in smart contract definition is the fact of this paper. The paper discusses the possibility to use transformation protocols to obtain derived artefacts like test case definitions and smart contract code scaffolds. Generation of derived artefacts significantly reduces the number of defects before deploying the smart contract code in the blockchain network. Transformations protocols are created using model-based software development and modelling techniques. This approach allows to simplify and improve the management and execution of collaborative business processes. This would allow, in addition, the application of systematic mechanisms to evaluate and validate the smart contract and, particularly, the application of early testing techniques which would help to reduce the number of defects and, ultimately, the cost of the final review.

关键词： Blockchain Smart contract model-based software development Early testing

来源：评论

学校读者我要写书评

暂无评论

A model-based approach to develop a mechatronic system 22

A model-based approach to develop a mechatronic system

引用

22nd IEEE International Conference on Automation, Quality and Testing, Robotics (AQTR)

作者： Sandru, Vasile Gabriel Balan, Radu Tech Univ Cluj Napoca Dept Mechatron Cluj Napoca Romania

ISBN: (纸本)9781728171661

model-based engineering or model-based design engineering is one of the approaches of Mechatronic system development and it was developed in last period of time. Nowadays this method is frequently used for developing also software taking into consideration some standards and guidelines, making model-based design to be a trustworthy and a secure development method concerning quality of the developed product.

关键词： model-based design model-based software development Code generation development workflow

来源：评论

学校读者我要写书评

暂无评论

A Comparative Study of Approaches of Ontology Driven software development

引用

INFORMATICA 2018年第3期29卷 439-466页

作者： Haav, Hele-Mai Tallinn Univ Technol Dept Software Sci Akad Tee 15a EE-12618 Tallinn Estonia

Ontology Driven software development (ODSD) combines traditional model based software development (MBSD) techniques with ontology technology in order to provide extensions to and advantages over MBSD. The goal of the paper is to identify current ODSD approaches and to provide qualitative and comparative analysis of the collection of identified approaches. Main research questions of the paper concern the ways of how ontologies are integrated to MBSD process and how their usage advances MBSD. Benefits and challenges of each of the discussed approaches are presented. The analysis is based on literature and projects reviews in the fields of ontology engineering, MBSD and ODSD. The result of the analysis provides understanding of what is the role of ontologies in ODSD and shows whether application of ontology technologies to the MBSD process gives rise to a new paradigm called consistency preserving software development or not.

关键词： ontology model-based software development MBSD ontology driven software development ODSD

来源：评论

学校读者我要写书评

暂无评论

A Comparative Study of Approaches of Ontology Driven software development

引用

Informatica 2019年第3期29卷 439-466页

作者： Haav, Hele-Mai Department of Software Science Tallinn University of Technology Akadeemia tee 15a 12618 Tallinn Estonia. E-mail:

关键词： ontology model-based software development MBSD ontology driven software development ODSD

来源：评论

学校读者我要写书评

暂无评论

Verification Method of Airborne software for Aviation Safety based on model 8

Verification Method of Airborne Software for Aviation Safety...

引用

IEEE 8th Joint International Information Technology and Artificial Intelligence Conference (ITAIC)

作者： Li Yu Sun Kang Li Xin AVIC First Aircraft Inst Syst Integrat Ctr Xian Shaanxi Peoples R China AVIC First Aircraft Inst Landing Gear Syst Res Inst Xian Shaanxi Peoples R China

ISBN: (纸本)9781538681787

This paper discusses the difference between traditional software development and model-based software development. The characteristics and advantages of model-based software development and verification are analyzed. This paper introduces the airborne software development tool SCADE Suite in the field of aviation high safety. In this paper, the model based software verification objectives, verification strategies, high level verification, low level verification, model coverage analysis methods and activities through SCADE Suite are discussed in detail.

关键词： Airborne software model-based software development software modeling software verification

来源：评论

学校读者我要写书评

暂无评论

The Influence of Requirements in software model development in an Industrial Environment 11

The Influence of Requirements in Software Model Development ...

引用

11th ACM/IEEE International Symposium on Empirical software Engineering and Measurement (ESEM)

作者： Echeverria, Jorge Perez, Francisca Ignacio Panach, Jose Cetina, Carlos Pastor, Oscar Univ San Jorge Autovia A-23 Zaragoza Huesca Km 299 Zaragoza Spain Univ Valencia Ave Univ S-N E-46100 Valencia Spain Univ Politecn Valencia Camino Vera S-N E-46022 Valencia Spain

ISBN: (纸本)9781509040391

Textual description of requirements is a specification technique that is widely used in industry, where time is key for success. How requirements are specified textually greatly depends on human factors. In order to study how requirements processing is affected by the level of detail in textual descriptions, this paper compares enriched textual requirements specifications with non-enriched ones. To do this, we have conducted an experiment in industry with 19 engineers of CAF (Construcciones y Auxiliares de Ferrocarril), which is a supplier of railway solutions. The experiment is a crossover design that analyzes efficiency, effectiveness, and perceived difficulty starting from a written specification of requirements that subjects must process in order to build software models. The results show that effectiveness and efficiency for enriched requirements are better, while non-enriched requirements are slightly more difficult to deal with. Therefore, even though enriched requirements require more time to be specified, the results are more successfully when using them.

关键词： software Requirements model-based software development Controlled Experiment

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：