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

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

20 篇 会议
1 册 图书

馆藏范围

21 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

19 篇 工学
- 18 篇 计算机科学与技术...
- 15 篇 软件工程
- 1 篇 电气工程
- 1 篇 生物工程
5 篇 理学
- 2 篇 数学
- 1 篇 大气科学
- 1 篇 生物学
- 1 篇 系统科学
- 1 篇 统计学（可授理学、...
3 篇 管理学
- 3 篇 管理科学与工程(可...
- 3 篇 工商管理
2 篇 法学
- 2 篇 社会学
1 篇 经济学
- 1 篇 应用经济学

主题

6 篇 software design
2 篇 programming prof...
2 篇 education
2 篇 codes (symbols)
1 篇 block-based prog...
1 篇 phylogenetics
1 篇 software enginee...
1 篇 multilevel task ...
1 篇 debugging
1 篇 computer softwar...
1 篇 software enginee...
1 篇 shared-memory sy...
1 篇 computer bugs
1 篇 parallel program...
1 篇 iterative method...
1 篇 calculators
1 篇 mechanical calcu...
1 篇 computer languag...
1 篇 programing trani...
1 篇 visual programin...

机构

1 篇 department of so...
1 篇 insta defsec ltd...
1 篇 university of ha...
1 篇 institute of cyb...
1 篇 department of in...
1 篇 istanbul okan un...
1 篇 vaadin ltd turku
1 篇 idean enterprise...
1 篇 lut university
1 篇 dept. of informa...
1 篇 univ minho dept ...
1 篇 faculty of intel...
1 篇 beijing institut...
1 篇 department of pe...
1 篇 univ fed minas g...
1 篇 tampere universi...
1 篇 faculty of manag...
1 篇 toyo univ dept i...
1 篇 university of ta...
1 篇 tampere universi...

作者

3 篇 leppänen ville
2 篇 hyrynsalmi sami
2 篇 mikkonen tommi
1 篇 neves diogo telm...
1 篇 berki eleni
1 篇 antinyan vard
1 篇 staron miroslaw
1 篇 lenarduzzi valen...
1 篇 figueiredo eduar...
1 篇 jaaksi ari
1 篇 systä kari
1 篇 smed jouni
1 篇 gyimóthy tibor
1 篇 mandić vladimir
1 篇 ito eigo
1 篇 vidács lászló
1 篇 taibi davide
1 篇 vancsics béla
1 篇 rindell kalle
1 篇 tengeri dávid

语言

20 篇 英文
1 篇 葡萄牙文

检索条件"任意字段=14th Symposium on Programming Languages and Software Tools, SPLST 2015"

共 21 条记录，以下是1-10 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

Model-based technology of software development in large 14

Model-based technology of software development in large

引用

14th symposium on programming languages and software tools, splst 2015

作者： Penjam, Jaan Tyugu, Enn Institute of Cybernetics Tallinn University of Technology Akadeemia tee 21 Tallinn12618 Estonia

the present work describes a technology for developing software in unique and large projects. the present model-based technology supports the projects where a single software product is developed. this is different from the block languages and model-based software tools on the market, which provide a set of components where the reusability of the components is an important requirement. A distinguished feature of the technology is a support that it gives to the software design at an early stage of the design process. the design process begins on the architectural level where implementation details can be ignored. Components are introduced considering their functionality, but the implementability of a component is taken into account at the early stage of the design process only based on an experience of a designer.

关键词： software design

来源：评论

学校读者我要写书评

暂无评论

Phishing knowledge based user modelling in software design 14

Phishing knowledge based user modelling in software design

引用

14th symposium on programming languages and software tools, splst 2015

作者： Li, Linfeng Nummenmaa, Timo Berki, Eleni Helenius, Marko Beijing Institute of Petrochemical Technology Beijing China University of Tampere Tampere Finland Tampere University of Technology Tampere Finland

Due to the limitations of anti-phishing software and limitations in creating such software, we propose the usage of metamodelling frameworks and software tools for implementing software systems where phishing prevention is already designed as a part of the system itself. An expressive computational, verifiable and validatable metamodel is created that captures user behaviour. Next it is shown through examples that the metamodel follows and describes reported phishing scams accurately. the model is then used to create specification in an executable formal specification tool. the formal specification, which can be executed to observe user behaviour, can be used as a building block in the specification of a larger software system, resulting in an inherently phishing- resilient software system design in the form of a formal specification.

关键词： software design

来源：评论

学校读者我要写书评

暂无评论

Securing scrum for VAHTI 14

Securing scrum for VAHTI

引用

14th symposium on programming languages and software tools, splst 2015

作者： Rindell, Kalle Hyrynsalmi, Sami Leppänen, Ville University of Turku Department of Information Technology Finland

software security is a combination of security methods, techniques and tools, aiming to promote data confidentiality, integrity, usability, availability and privacy. In order to achieve concrete and measurable levels of software security, several international, national and industry-level regulations have been established. Finnish governmental security standard collection, VAHTI, is one of the most extensive example of these standards. this paper presents a selection of methods, tools, techniques and modifications to Scrum software development method to achieve the levels of security compliant with VAHTI instructions for software development. these comprise of security-specific modifications and additions to Scrum roles, modifications to sprints, and inclusion of special hardening sprints and spikes to implement the security items in the product backlog. Security requirements are transformed to security stories, abuse cases and other security-related tasks. Definition of done regarding the VAHTI requirements on is established and the steps to achieve it are described.

关键词： software design

来源：评论

学校读者我要写书评

暂无评论

Requirements management in Github with a lean approach 14

Requirements management in GitHub with a lean approach

引用

14th symposium on programming languages and software tools, splst 2015

作者： Salo, Risto Poranen, Timo Zhang, Zheying University of Tampere School of Information Sciences Tampere Finland

Github is an online platform for hosting projects that use the Git revision control system to manage code. Its lightweight issue tracker helps to maintain lists of issues identified during the development process, including bugs, features, or other software artifacts. Although issue tracking software has been practically used in software industry, studies on using it to manage requirements remain insufficient. this pa- per tackles the issue by presenting a semi-formal guideline for managing requirements in agile software development projects using Github. the guideline is evaluated on a theoretical level by analyzing how well it guides to manage requirements and fits in an agile software development setting. It is compared against lean principles. In addition, the guideline is put into use in a case study. the studies indicate that the guideline and Github are well-suited for requirements management in an agile environment.

关键词： software design

来源：评论

学校读者我要写书评

暂无评论

ICDO: Integrated cloud-based development tool for DevOps 14

ICDO: Integrated cloud-based development tool for DevOps

引用

14th symposium on programming languages and software tools, splst 2015

作者： Ahmadighohandizi, Farshad Systä, Kari Department of Pervasive Computing Tampere University of Technology Korkeakoulunkatu 10 TampereFI-33720 Finland

this research is based on three drivers. Firstly, software development and deployment cycles are getting shorter and require automatic building and deployment processes. Secondly, elastic clouds are available for both hosting and development of applications. thirdly, the increasingly popular DevOps introduces new organizational and business culture. this paper presents a research prototype and demonstrator of an integrated development tool. the tool is cloud based and thus accessible from any Web-enabled terminal. Automation is maximized so that deployment cycles can be as fast as possible. Since the aim is to use cloud resources as a utility in a flexible manner, cloud brokering { i.e. finding the most suitable provider { is included in the system. the contributions of the paper include: an idea of a new kind of DevOps tool, description on how it can be implemented on top of standard components and implications to software development processes.

关键词： software design

来源：评论

学校读者我要写书评

暂无评论

Accounting testing in software cost estimation: A case study of the current practice and impacts 14

Accounting testing in software cost estimation: A case study...

引用

14th symposium on programming languages and software tools, splst 2015

作者： Rahikkala, Jurka Hyrynsalmi, Sami Leppänen, Ville Vaadin Ltd Turku Finland Department of Information Technology University of Turku Finland

Testing has become an integral part of most software projects. It accounts for even as high a share as 40% of the overall work effort. At the same time software projects are systematically exceeding their effort and schedule forecasts. Regardless of the overruns and big share of testing, there is very little advice for estimating testing activities. this case study research assesses the current practice of estimating testing activities, and the impact of these practices on estimation and project success. Based on the interviews with 11 stakeholders involved in two case projects and examination of project documentation, this study shows that companies easily deviate from their standard procedures, when estimating testing. this may even lead to severe estimation errors. the deviations can be explained by negative attitudes towards testing. Furthermore, this study shows that the extant literature has sparsely addressed estimation of software testing.

关键词： software testing

来源：评论

学校读者我要写书评

暂无评论

Internal marketplace as a mechanism for promoting software reuse 14

Internal marketplace as a mechanism for promoting software r...

引用

14th symposium on programming languages and software tools, splst 2015

作者： Ripatti, Maria Kilamo, Terhi Salli, Karri-Tuomas Mikkonen, Tommi Insta Defsec Ltd Sarankulmankatu 20 TampereFI-33901 Finland Department of Pervasive Computing Tampere University of Technology Korkeakoulunkatu 1 TampereFI-33720 Finland

Reuse is one of the classic ways to improve productivity in software development. Indeed, benefiting from software components, patterns, and solutions that have been developed in the company potentially leads to savings in all phases of software intensive work. However, putting such an approach to practice is far from being simple. In particular, when considering software companies that specialize in customer-specific software projects, it is common that similar designs and technology choices are made in parallel without project-crossing knowledge. In such settings, there is a lack of a systematic approach between projects to spread good practices or to eliminate bad ones. In this paper, we propose solving such problems with an information system that acts as a marketplace for promoting software reuse within a project organization, much to the same flavor as app stores are used to promote mobile applications. the paper provides insight to the design of our prototype system, as well as contains preliminary views from users in one organization.

关键词： Computer software reusability

来源：评论

学校读者我要写书评

暂无评论

Lean startup meets software product lines: Survival of the fittest or letting products bloom? 14

Lean startup meets software product lines: Survival of the f...

引用

14th symposium on programming languages and software tools, splst 2015

作者： Terho, Henri Suonsyrjä, Sampo Jaaksi, Ari Mikkonen, Tommi Kazman, Rick Chen, Hong-Mei Tampere University of Technology Korkeakoulunkatu 1 TampereFI-33720 Finland Idean Enterprises Ltd. Hämeenkatu 18 TampereFI-33200 Finland University of Hawaii HonoluluHI United States

Typical management strategies proven to work in already established businesses do not work as expected in startups. Startups do not yet have a business model and product that they could focus on, but are still looking for a working business model. Lean Startup is a method for startup management that focuses on quick iteration and on fast learning to find an iterable business model. As a method, Lean Startup is still quite novel. It does not have much scientific literature written about it, but it is used by startups. the two case study companies were both positive about Lean Startup and felt that the method had given them a helpful approach.

关键词： Iterative methods

来源：评论

学校读者我要写书评

暂无评论

Towards proactive management of technical debt by software metrics 14

Towards proactive management of technical debt by software m...

引用

14th symposium on programming languages and software tools, splst 2015

作者： Sandberg, Anna Staron, Miroslaw Antinyan, Vard Ericsson Goteborg Sweden University of Gothenburg Hörselgangen 11 Göteborg Sweden

Large software development organizations put enormous amount of effort not only for responding to continuous requests of customers but also for reengineering and refactoring activities to keep their product maintainable. Often rapid and immature feature deliveries over long period of time gradually decrease the product quality, and therefore the refactoring activities become costly and effort-intensive. this situation is described by the concept of "technical debt", which represents the accumulated rework that organization has to do in order to prevent the slowdown of the development. In this paper we report results of a case study at Ericsson on using software metrics for moving towards proactive management of technical debt. Our observations show that there are four distinguishable maturity phases of quality management over the eight years of development time of two large products: Start-n-stop, Reactive, Systematic, and Proactive quality management. three sophisticated metrics are applied to help the organizations to move towards Proactive management of technical debt. these metrics are used on a systematic basis to provide information on the areas of the product that have tendency of accumulating technical debt. software engineers use this information for making decisions on whether or not the pinpointed areas should be refactored.

关键词： software design

来源：评论

学校读者我要写书评

暂无评论

Test suite evaluation using code coverage based metrics 14

Test suite evaluation using code coverage based metrics

引用

14th symposium on programming languages and software tools, splst 2015

作者： Horváth, Ferenc Vancsics, Béla Vidács, László Beszédes, Árpád Tengeri, Dávid Gergely, Tamás Gyimóthy, Tibor Department of Software Engineering University of Szeged Szeged Hungary MTA-SZTE Research Group on Artificial Intelligence University of Szeged Szeged Hungary

Regression test suites of evolving software systems are often crucial to maintaining software quality in the long term. they have to be effective in terms of detecting faults and helping their localization. However, to gain knowledge of such capabilities of test suites is usually difficult. We propose a method for deeper understanding of a test suite and its relation to the program code it is intended to test. the basic idea is to decompose the test suite and the program code into coherent logical groups which are easier to analyze and understand. Coverage and partition metrics are then extracted directly from code coverage information to characterize a test suite and its constituents. We also use heat-map tables for test suite assessment both at the system level and at the level of logical groups. We employ these metrics to analyze and evaluate the regression test suite of the WebKit system, an industrial size browser engine with an extensive set of 27,000 tests.

关键词： Codes (symbols)

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共3页 << < 1 2 3 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：