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

5th International Conference on software Engineering Research and Innovation (CONISOFT)

作者： Jacome-Guerrero, Santiago P. Ferreira, Juan M. Corral, Alexandra Univ Fuerzas Armadas ESPE Dept Elect & Elect Sangolqui Ecuador Univ Nacl Asuncion Fac Politecn San Lorenzo Paraguay

ISBN: (纸本)9781538639566

Model-Driven Engineering (MDE) is a software development approach that considers the systematic use of models to develop software rather than using general purpose programming languages. The development of MDE based on Domain-Specific Languages (DSLs) covers two stages. The first, the creation of a set of artifacts such as DSLs, model transformation mechanisms, code generators. A second stage, where people do not necessarily with computer training using the artifacts created, develop applications simply because of the high level of abstraction allowed by technology. However, there are several obstacles that need to be overcome in order for this new approach to software development to be widely used. One of them, the lack of knowledge of tools and the development process with MDE. In order to minimize this problem, in the present work a categorization and description of the main environments and tools used in MDE are carried out. Using some of the tools analyzed also points out the process of creating a DSL.

关键词： Model-Driven Engineering software development tools models MDE DSL

来源：评论

学校读者我要写书评

暂无评论

Systematic evaluation of design choices for software development tools

引用

software-CONCEPTS AND tools 1998年第3期19卷 109-121页

作者： Toleman, MA Welsh, J Univ So Queensland Dept Math & Comp Toowoomba Qld 4350 Australia Univ Queensland Software Verificat Res Ctr Brisbane Qld 4072 Australia

Most design and evaluation of software tools is based on the intuition and experience of the designers. software tool designers consider themselves typical users of the teals that they build and tend to subjectively evaluate their products rather than objectively evaluate them using established usability methods. This subjective approach is inadequate if the quality of software tools is to improve and the use of more systematic methods is advocated. This paper summarises a sequence of studies that show how user interface design choices for software development tools can be evaluated using established usability engineering techniques. The techniques used included guideline review, predictive modelling and experimental. studies with users.

关键词： guideline review experimental studies predictive models software development tools language-based editors

来源：评论

学校读者我要写书评

暂无评论

An Approach to software development tools Unification 24

An Approach to Software Development Tools Unification

引用

24th Telecommunications Forum (TELFOR)

作者： Pijetlovic, Stefan Jovanovic, Petar Teslic, Nikola Prljevic, Slobodan RT RK Narodnog Fronta 23a Novi Sad 21000 Serbia

ISBN: (纸本)9781509040865

the paper proposes a concept to unify the tools used by software developers. The goal of the paper is to describe a conceptual framework, based on client-server architecture, which aims to simplify the introduction to new development tools for new users. The framework also tries to solve the issue with multiple tools serving the same purpose as well as making the process of switching between these tools easier. Following the principle of abstraction, the developers use a simplified client application instead of using the tools themselves. The environment is set in such a way that the developers can focus more on their regular tasks while the framework takes care of supporting tasks such as bug reporting, code checkout, committing and many more.

关键词： concept development framework software development tools

来源：评论

学校读者我要写书评

暂无评论

Formal software development tools: an investigation into usability

Formal software development tools: an investigation into usa...

引用

作者： G. F. Kadoda Loughborough University

学位级别：博士

Formal methods are techniques that are firmly based in mathematics, they can be used to specify and verify computer systems. Formal techniques offer many advantages, including correctness and productivity over less formal ones. Wide acceptance of these methods is hindered by their relatively difficult notations and theories. This thesis takes the view that the availability of usable tools that support formal techniques plays an important role in promoting their use by a wider community of software engineers. As part of an effort to understand the usability aspects of these tools, this thesis addresses tools supporting the main two phases in the formal systems development life-cycle (development of formal specifications and implementation). The syntax-directed editing (SDE) approach to developing formal specifications was examined with an emphasis on the comparison of top-down and bottom-up methods. The comparison was approached by conducting a series of experiments. Firstly, by using information theoretic analysis it was possible to exclude the 'information' attribute as a distinguishing factor between the two SDEs. Secondly, by using the 'usability evaluation criteria' proposed by Shackel [Sha86] the two models were compared in a practical setting. A range of subjects (novices and experienced) were used throughout the study. Results highlighted the potential benefits of the bottom-up model of SDEs in terms of performance and attitude measures. Implementation of the bottom-up SDE used a novel algorithm that is part of the contribution of the thesis. The second part of the research used the 'cognitive dimensions' framework proposed by Green [Gre89] to analyse the usability of theorem provers. A questionnaire-based study was conducted that included a total of 27 developers and users of proof systems. Results of the analysis demonstrated the applicability of the dimensions to the theorem proving world, compared different systems, and produced a checklist for proof syst

关键词： Formal Methods tools software development tools Syntax-Directed Editors Proof Systems Theorem Provers Usability Analysis

来源：评论

学校读者我要写书评

暂无评论

An Approach to software development tools Unification

An Approach to Software Development Tools Unification

引用

Telecommunications Forum

作者： Stefan Pijetlovi? Petar Jovanovi? Nikola Tesli? Slobodan Prljevi? RT-RK Narodnog Fronta 23a 21000 Novi Sad Serbia

ISBN: (纸本)9781509040872

关键词： concept development framework software development tools

来源：评论

学校读者我要写书评

暂无评论

software tools for new product development

引用

JOURNAL OF MARKETING RESEARCH 1997年第1期34卷 177-184页

作者： Rangaswamy, A Lilien, GL PENN STATE UNIV SMEAL COLL BUSINESSUNIVERSITY PKPA 16802 USA

The article identifies and describes the major categories of software tools which are available for supporting new product development (NPD). The goals, advantages, and disadvantages of these tools, rather than complete evaluations of the merits of specific software packages, are provided. Companies offering new products are best served by considering value to customers, global competition, strategic positioning and environmental concerns. The individual item must be brainstormed, designed, named and launched with cooperation among business groups to maximize creative ability.

关键词： Computer software Trade names Databases Advertising research Business structures Product development Consumer goods industries software development tools Ideation

来源：评论

学校读者我要写书评

暂无评论

NASA Technical Reports Server (Ntrs) 20030065180: Collaborative software development in Support of Fast Adaptive Aerospace tools (Faast)

引用

2016年

NASA Technical Reports Server (Ntrs) 20030065180: Collaborative software development in Support of Fast Adaptive Aerospace tools (Faast) by NASA Technical Reports Server (Ntrs); NASA Technical Reports Server (Ntrs); p... 详细信息

关键词： (faast) (ntrs) 20030065180: adaptive adaptive control aerospace aerothermodynamics applications programs (computers) compilers computer programming computer systems performance fortran gnoffo, peter a. kleb, william l. nasa space programs nasa technical reports server (ntrs) nielsen, eric j. park, michael a. software development tools software engineering systems engineering wood, william a.

来源：评论

学校读者我要写书评

暂无评论

NASA Technical Reports Server (Ntrs) 19940018043: development of the Fits tools Package for Multiple software Environments

引用

2016年

NASA Technical Reports Server (Ntrs) 19940018043: development of the Fits tools Package for Multiple software Environments by NASA Technical Reports Server (Ntrs); NASA Technical Reports Server (Ntrs); published by

关键词： (ntrs) 19940018043: blackburn, j. k. c (programming language) computer programming data reduction development environments fortran input output routines machine-independent programs multiple nasa technical reports server (ntrs) pence, w. d. programming environments software development tools source programs subroutine libraries (computers) subroutines

来源：评论

学校读者我要写书评

暂无评论

Design traceability

引用

IEEE software 2005年第6期22卷 14-16页

作者： Dick, J City University London. Principal Analyst Telelogic UK

Traceability is about documenting the relationships between layers of information, for instance, between system requirements and software design. Many software development tools manage design relationships, for instance, between modeling elements (such as classes) and source code, or between tasks and source code files. Whatever development scale we engage in, we systematically apply information traceability. It\'s a vehicle for thinking about the way the software meets its requirements; it captures design rationale to help others understand and review; and it gives us far greater confidence in managing future changes.

关键词： formal specification formal verification systems analysis design traceability information traceability software design software development tools source code system requirements engineering design requirements traceability

来源：评论

学校读者我要写书评

暂无评论

Improving the delivery cycle: A multiple-case study of the toolchains in Finnish software intensive enterprises

引用

INFORMATION AND software TECHNOLOGY 2016年 80卷 175-194页

作者： Makinen, Simo Leppanen, Marko Kilamo, Terhi Mattila, Anna-Liisa Laukkanen, Eero Pagels, Max Mannisto, Tomi Univ Helsinki Dept Comp Sci PO 68Gustaf Hallstromin Katu 2b FI-00014 Helsinki Finland Tampere Univ Technol Dept Pervas Comp Korkeakoulunkatu 1 FI-33720 Tampere Finland Aalto Univ Sch Sci Dept Comp Sci & Engn POB 19210 FI-00076 Aalto Finland

Context: software companies seek to gain benefit from agile development approaches in order to meet evolving market needs without losing their innovative edge. Agile practices emphasize frequent releases with the help of an automated toolchain from code to delivery. Objective: We investigate, which tools are used in software delivery, what are the reasons omitting certain parts of the toolchain and what implications toolchains have on how rapidly software gets delivered to customers. Method: We present a multiple-case study of the toolchains currently in use in Finnish software-intensive organizations interested in improving their delivery frequency. We conducted qualitative semi-structured interviews in 18 case organizations from various software domains. The interviewees were key representatives of their organization, considering delivery activities. Results: Commodity tools, such as version control and continuous integration, were used in almost every organization. Modestly used tools, such as UI testing and performance testing, were more distinctly missing from some organizations. Uncommon tools, such as artifact repository and acceptance testing, were used only in a minority of the organizations. Tool usage is affected by the state of current work-flows, manual work and relevancy of tools. Organizations whose toolchains were more automated and contained fewer manual steps were able to deploy software more rapidly. Conclusions: There is variety in the need for tool support in different development steps as there are domain-specific differences in the goals of the case organizations. Still, a well-founded toolchain supports speedy delivery of new software. (C) 2016 Elsevier B.V. All rights reserved.

关键词： Continuous deployment Continuous delivery software development tools Deployment pipeline Agile software development

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：