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

The Evolution of Automated Component-based Software Development Tools: from structural synthesis of programs to Behavioral Types

The Evolution of Automated Component-based Software Developm...

引用

International Conference on Information Science and Communications Technologies (ICISCT) - Applications, Trends and Opportunities

作者： Giedrimas, Vaidas Omanovic, Samir Grigorenko, Pavel Siauliai Univ Shiauliai Lithuania Univ Sarajevo Sarajevo Bosnia & Herceg Inst Cybernet Tallinn Estonia

ISBN: (纸本)9781538621684

The software composition using high-granularity entities nowadays is a common practice. The process of software composition is supported by various CASE tools. First tools were made on the basis of very simple formalisms (e.g. intuitionistic propositional logic). During the years the tools evolved to more efficient ones, which are able to deal with concurrency, multiparty sessions and other advanced aspects of distributed software. Such tools often are based on the behavioral types (BT). This paper presents 3 logically related tools: CoCoViLa, SoCoSys and BSynth in order to expose such evolution. CoCoViLa and (partially) SoCoSys are based on the structural synthesis of programs method while BSynth tool is more related to behavioral types. The focus of this paper is more on the BSynth, because it implements the Evolutionary prediction algorithm, enabling to predict what components are missing in initial repository. The possible future trends of automated component-based software development and its relation to selected tools are discussed also.

关键词： Component-Based Software Development Automated Software Engineering CASE tools structural synthesis of programs

来源：评论

学校读者我要写书评

暂无评论

structural synthesis of data processing programs

引用

Informatica (Netherlands) 1990年第2期1卷 110-120页

作者： Laurinskas, Justinas Taucaitè, Grazina Institute of Mathematics and Informatics Lithuanian Academy of Sciences Vilnius 232600 K.Požèlos St.54 Lithuania Kaunas Polytechnic Institute Kaunas Lithuania Institute of Math ematics and Informatics Lithuania

Data processing programs combine computations with navigation in a data base. Methods of the structural synthesis of programs are oriented towards construction of computing programs, and the methods of synthesis of relations are oriented towards construction of (logical) navigation paths. An approach to the integration of methods of the structural synthesis of programs and methods of the synthesis of relations is proposed. This approach is based on a computation model (a set of formulas), describing both computations and navigation paths. The sound and complete system of inference rules for the class of formulas, used in such computation models, is given. © 1990 IOS. All right reserved.

关键词： Inference rules Relational data bases structural synthesis of programs synthesis of relations

来源：评论

学校读者我要写书评

暂无评论

Semantic tools for development of high-level interactive applications for supercomputers

引用

JOURNAL OF SUPERCOMPUTING 2021年第10期77卷 11866-11880页

作者： Gorodnichev, Maxim Lebedev, Danil Inst Computat Math & Math Geophys SB RAS Novosibirsk Russia Novosibirsk State Univ Novosibirsk Russia Novosibirsk State Tech Univ Novosibirsk Russia Astana IT Univ Nur Sultan Kazakhstan

The paper addresses the problem of devising a systematic approach and software tools to support development of interactive supercomputer applications on the basis of low level codes that are typically used on supercomputers for numerical simulation and data processing. An interactive application should help a user to systematically organize all the activities associated with solution of some class of problems on remote high performance computing systems. Activities include input data preparation, chaining of remotely run computing jobs, visualization, search and comparison of results, performance optimization and others. A platform for development of interactive supercomputer applications is proposed. The core of the platform is a visual language that allows a developer to formally describe activities (operations) and their relations to immutable data objects ("inputs" and "outputs"). Such a representation of a problem domain contains information about meaningful combinations of operations and becomes a basis for automated derivation of necessary user scenarios. A developer collects a library of UI components to represent data objects and a library of program modules that implement operations. These libraries are used in generation of a web-application that provides end users with appropriate interface to support derived scenarios.

关键词： Interactive supercomputer application Usability User interfaces Domain specific language structural synthesis of programs

来源：评论

学校读者我要写书评

暂无评论

A Case Study of Combining Compositional and Object-oriented Software Development

A Case Study of Combining Compositional and Object-oriented ...

引用

2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD)

作者： Tyugu, Enn Harf, Mait Grigorenko, Pavel Tallinn Univ Technol Inst Cybernet Tallinn Estonia

ISBN: (纸本)9789897580659

We analyze an approach to software development where object-oriented and compositional software specifications are written in separate languages and are only loosely connected. It supports compositional design of software in a domain-specific language and automatic model-driven construction of code from classes written in Java. We justify our approach by giving examples of development of large simulation programs and services on large models. We present also an example of using our method in general purpose software development this is bootstrapping the essential part of a software tool CoCoViLa, i.e. synthesizing CoCoViLa in CoCoViLa itself.

关键词： Domain-specific Modeling structural synthesis of programs Model Driven Software Development Compositional Software Design

来源：评论

学校读者我要写书评

暂无评论

Components in Model-Based Software Development

Components in Model-Based Software Development

引用

9th International Conference on Computer Science and Information Technologies (CSIT)

作者： Tyugu, Enn Grigorenko, Pavel Tallinn Univ Technol Inst Cybernet Akad Tee 21 EE-12618 Tallinn Estonia

ISBN: (纸本)9781479924608

Model-based software development (MBSD) is rapidly gaining popularity. There are two main approaches to MBSD: transformational and compositional approaches. The first has been initiated in nineties by creating UML - a universal modeling language that has become a standard for software specification, and has influenced research in software engineering. One can say that UML has initiated model-driven software engineering (MDSE). The second - compositional approach has grown out of domain-specific language development. It uses visual specifications as input, and is represented by tools like MetaEdit+ and CoCoViLa. We give a survey of these approaches, and discuss in more detail the compositional approach, paying attention at combining compositional and object-oriented software specifications.

关键词： domain-specific modelling structural synthesis of programs model driven software development compositional software design software components

来源：评论

学校读者我要写书评

暂无评论

Components in Model-Based Software Development

Components in Model-Based Software Development

引用

International Conference on Computer Science and Information Technologies

作者： Enn Tyugu Pavel Grigorenko Institute of Cybernetics Tallinn University of Technology

ISBN: (纸本)9781479924622

关键词： Domain-specific modelling structural synthesis of programs Model driven software development Compositional software design Software components

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：