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

Proceedings of the Fifteenth Australasian User Interface Conference - Volume 150

作者： Martin Vogel Tim Warnecke Christian Bartelt Andreas Rausch Clausthal University Clausthal-Zellerfeld Germany

ISBN: (纸本)9781921770333

In the early phases, software engineers use whiteboards and flip charts to create and discuss their ideas and later they transform manually the hand drawn pictures into machine readable models. During this transformation important sketch information, like the history of origin or some elements, will be lost. To solve this problem, we present a new approach using digital whiteboards to elaborate in a creative and collaborative environment hand drawn pictures and transform them into domain specific models and vice versa. This poster outlines the process of the automatic transformation from sketch models to models based on well-defined notations and vice versa in the early creative phases of software ***: https://***/watch?v=0i3M9djPrRM

关键词： sketch recognition collaborative software engineering model-based software development

来源：评论

学校读者我要写书评

暂无评论

A tool environment for quality assurance based on the Eclipse modeling Framework

引用

AUTOMATED software ENGINEERING 2013年第2期20卷 141-184页

作者： Arendt, Thorsten Taentzer, Gabriele Univ Marburg FB Math & Comp Sci 12 D-35032 Marburg Germany

The paradigm of model-based software development has become more and more popular since it promises an increase in the efficiency and quality of software development. Following this paradigm, models become primary artifacts in the software development process. Therefore, software quality and quality assurance frequently leads back to the quality and quality assurance of the involved models. In our approach, we propose a model quality assurance process that can be adapted to project-specific and domain-specific needs. This process is based on static model analysis using model metrics and model smells. based on the outcome of the model analysis, appropriate model refactoring steps can be performed. In this paper, we present a tool environment conveniently supporting the proposed model quality assurance process. In particular, the presented tools support metrics reporting, smell detection, and refactoring for models being based on the Eclipse modeling Framework, a widely used open source technology in model-based software development.

关键词： modeling model-based software development model quality model quality assurance Eclipse modeling Framework

来源：评论

学校读者我要写书评

暂无评论

A Sampling Diagnostics model for Neural System Training Optimization

A Sampling Diagnostics Model for Neural System Training Opti...

引用

10th International Conference on Information Technology - New Generations (ITNG)

作者： Montini, Denis Avila Matuck, Gustavo Ravanhani da Cunha, Adilson Marques Vieira Dias, Luiz Alberto Possebon Ribeiro, Alexandre Lima Montini, Alessandra Avila Brazilian Aeronaut Inst Technol ITA Div Comp Sci Sao Jose Dos Campos SP Brazil Univ Sao Paulo Sao Paulo SP Brazil

ISBN: (纸本)9780769549675

This paper describes a hybrid-sampling model for bank fraud diagnosis, including those for multiple frauds in a banking system. The Multi-Layer Perceptron (MLP) network was used to analyze similarity, together with a statistical optimization model for sampling, to reduce the volume of used data in the diagnostics phase. The created MLP was utilized for banking transactions learning, in order to detect frauds. This neural network was tested with different configurations to improve diagnosis. The hybrid-sampling model was also employed to improve training results. The results have shown that the optimization strategy reduced the database volume and improved the learning process, presenting similar precisions to diagnose frauds detection, within this hybrid-sampling model.

关键词： model-based software development Statistical Sampling model Neural Networks MLP Banking Frauds Detection

来源：评论

学校读者我要写书评

暂无评论

A model-Driven Parser Generator with Reference Resolution Support 12

A Model-Driven Parser Generator with Reference Resolution Su...

引用

27th IEEE/ACM International Conference on Automated software Engineering (ASE)

作者： Quesada, Luis Univ Granada CITIC Dept Comp Sci & Artificial Intelligence E-18071 Granada Spain

ISBN: (纸本)9781450312042

modelCC is a model-based parser generator. model-based parser generators decouple language specification from language processing. This model-driven approach avoids the limitations imposed by parser generators whose language specifications must conform to specific grammar constraints. Moreover, modelCC supports reference resolution within the language specification. Therefore, it does not parse just trees but it can also efficiently deal with abstract syntax graphs. These graphs can even include cycles (i.e. they are not constrained to directed acyclic graphs).

关键词： model-based software development language specification parser generators abstract syntax graphs

来源：评论

学校读者我要写书评

暂无评论

Provably correct Java implementations of Spi Calculus security protocols specifications

引用

COMPUTERS & SECURITY 2010年第3期29卷 302-314页

作者： Pironti, Alfredo Sisto, Riccardo Politecn Torino Dip Automat & Informat I-10129 Turin Italy

Spi Calculus is an untyped high level modeling language for security protocols, used for formal protocols specification and verification In this paper, a type system for the Spi Calculus and a translation function are formally defined, in order to formalize the refinement of a Spi Calculus specification into a Java implementation The Java implementation generated by the translation function uses a custom Java library Formal conditions on such library are stated, so that, if the library implementation code satisfies such conditions, then the generated Java implementation correctly simulates the Spi Calculus specification A verified implementation of part of the custom library is further presented (C) 2009 Elsevier Ltd All rights reserved

关键词： model-based software development Correctness preserving code generation Code verification Formal methods Security protocols

来源：评论

学校读者我要写书评

暂无评论

Designing and Applying a Framework for Logic-based model Querying

Designing and Applying a Framework for Logic-Based Model Que...

引用

36th EUROMICRO Conference on software Engineering and Advanced Applications (SEAA2010)

作者： Dohrmann, Patrick Herold, Sebastian Tech Univ Clausthal Dept Informat Software Syst Engn Julius Albert Str 4 D-38678 Clausthal Zellerfeld Germany

ISBN: (纸本)9780769541709

Querying models is one of the most essential and most elementary tasks in model-based software development. More complex activities like, for instance finding source patterns of model transformations, measuring models, or checking consistency between models, include querying models for certain properties, elements, or substructures. Logic formalisms like full first-predicate logic or description logics provide the well-understood foundation for implementing efficient model querying mechanisms. Regarding the specific purpose of querying models, a more efficient but less expressive logic formalism might be more useful than in other use cases. In this paper, we will introduce a framework which enables us to easily realise metamodel independent query tools based on different subsets of first-order logic. We show the application of the framework by checking a UML design model for architectural properties.

关键词： model-based software development model Querying Logic-based Querying

来源：评论

学校读者我要写书评

暂无评论

Deriving Safety Cases for Hierarchical Structure in model-based development

Deriving Safety Cases for Hierarchical Structure in Model-Ba...

引用

29th International Conference on Computer Safety, Reliability and Security

作者： Basir, Nurlida Denney, Ewen Fischer, Bernd Univ Southampton ECS Southampton SO17 1BJ Hants England SGT NASA Ames Res Ctr Moffett Field CA 94035 USA

ISBN: (纸本)9783642156502

model-based development and automated code generation are increasingly used for actual production code, in particular in mathematical and engineering domains. However, since code generators are typically not qualified, there is no guarantee that their output satisfies the system requirements, or is even safe. Here we present an approach to systematically derive safety cases that argue along the hierarchical structure in model-based development. The safety cases are constructed mechanically using a formal analysis, based on automated theorem proving, of the automatically generated code. The analysis recovers the model structure and component hierarchy from the code, providing independent assurance of both code and model. It identifies how the given system safety requirements are broken down into component requirements, and where they are ultimately established, thus establishing a hierarchy of requirements that is aligned with the hierarchical model structure. The derived safety cases reflect the results of the analysis, and provide a high-level argument that traces the requirements on the model via the inferred model structure to the code. We illustrate our approach on flight code generated from hierarchical Simulink models by Real-Time Workshop.

关键词： model-based software development automated code generation formal proofs formal analysis safety case automated theorem proving

来源：评论

学校读者我要写书评

暂无评论

DFG Research Training Group "Algorithmic Synthesis of Reactive and Discrete-Continuous Systems (AlgoSyn)"

引用

IT-INFORMATION TECHNOLOGY 2009年第4期51卷 222-230页

作者： Thomas, Wolfgang Bollue, Kai Gueckel, Dominique Quiros, Gustavo Slaats, Michaela Ummels, Michael Rhein Westfal TH Aachen Lehrstuhl Informat 7 D-52056 Aachen Germany

While methods of software validation and verification are by now well established, the approach of automatic synthesis of software (and hardware) is as yet only developed in quite rudimentary form. Algorithmic program synthesis is possible in restricted scenarios, in particular in reactive multi- agent systems with lowdata complexity and in control systems. Central issues are the establishment of system models that support algorithmic solutions, the combinationof discrete andcontinuous parameters (in hybrid systems), and the exploration of applications. The aim of the Research Training Group AlgoSyn is to unify the expertise from computer science, mathematics, and four engineering disciplines (processor architectures, automatic control, process control engineering, traintraffic systems), inorder to push forward the desired integration of methods.

关键词： D.2.2 [software: software Engineering: Design Tools and Techniques] Algorithmic game theory reactive systems automatic control hybrid systems multi-agent systems formal methods model-based software development process control engineering automatic control

来源：评论

学校读者我要写书评

暂无评论

Formally Sound Refinement of Spi Calculus Protocol Specifications into Java Code

Formally Sound Refinement of Spi Calculus Protocol Specifica...

引用

11th IEEE High Assurance Systems Engineering Symposium

作者： Pironti, Alfredo Sisto, Riccardo Politecn Torino Dipartimento Automat & Informat I-10129 Turin Italy

ISBN: (纸本)9780769534824

Spi Calculus is an untyped high level modeling language for security protocols, used for formal protocols specification and verification. In this paper a type system for the Spi Calculus and a translation function are formally defined, in order to formalize the refinement of a Spi Calculus specification into a Java implementation. Since the generated Java implementation uses a custom Java library, formal conditions on the custom Java library are also stated, so that, if the library implementation code satisfies such conditions, then the generated Java implementation correctly simulates the Spi Calculus specification.

关键词： model-based software development Correctness preserving code generation Formal methods Security protocols

来源：评论

学校读者我要写书评

暂无评论

Formally Sound Refinement of Spi Calculus Protocol Specifications into Java Code

Formally Sound Refinement of Spi Calculus Protocol Specifica...

引用

11th IEEE High Assurance Systems Engineering Symposium(HASE 2008)(第十一届IEEE高可信系统工程国际研讨会)

作者： Alfredo Pironti Riccardo Sisto Politecnico di Torino Dip.di Automatica e Informatica c.so Duca degli Abruzzi 24 I-10129 Torino (Italy)

Spi Calculus is an untyped high level modeling language for security protocols, used for formal protocols specification and verification. In this paper, a type system for the Spi Calculus and a translation function are formally defined, in order to formalize the refinement of a Spi Calculus specification into a Java implementation. Since the generated Java implementation uses a custom Java library, formal conditions on the custom Java library are also stated, so that, if the library implementation code satisfies such conditions, then the generated Java implementation correctly simulates the Spi Calculus specification.

关键词： model-based software development Correctness preserving code generation Formal methods Security protocols

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：