中文
相关论文

相关论文: Leveraging Software, Advocating Ideology: Free Sof…

200 篇论文

This paper explores software's role in visual art production by examining how artists use and develop software. We conducted interviews with professional artists who were collaborating with software developers, learning software…

人机交互 · 计算机科学 2021-01-28 Jingyi Li , Sonia Hashim , Jennifer Jacobs

We have been thinking about other aspects of software engineering for many years; the missing link in engineering software is the soft skills set, essential in the software development process. Although soft skills are among the most…

软件工程 · 计算机科学 2019-01-08 Luiz Fernando Capretz , Faheem Ahmed

Building software that can support the huge growth in data and computation required by modern research needs individuals with increasingly specialist skill sets that take time to develop and maintain. The Research Software Engineering…

软件工程 · 计算机科学 2023-01-26 J. Cohen , D. S. Katz , M. Barker , N. Chue Hong , R. Haines , C. Jay

Measuring and analyzing the performance of software has reached a high complexity, caused by more advanced processor designs and the intricate interaction between user programs, the operating system, and the processor's microarchitecture.…

性能 · 计算机科学 2018-11-21 Martin Becker , Samarjit Chakraborty

The objective of this research is to analyse the ways members of open-source software communities participate in design. In particular we focus on how users of an Open Source (OS) programming language (Python) participate in adding new…

人机交互 · 计算机科学 2016-08-16 Flore Barcellini , Françoise Détienne , Jean-Marie Burkhardt

Writing complex computer programs to study scientific problems requires careful planning and an in-depth knowledge of programming languages and tools. In this chapter the importance of using the right tool for the right problem is…

计算物理 · 物理学 2010-06-17 Helmut G. Katzgraber

Software measurement programs have emerged as compounds of several measurement activities that are pursued as part of a combined effort of several parties within a software organization, based on interests that the organization has…

软件工程 · 计算机科学 2013-07-18 Alejandro Sanchez Guinea

Obviously, the dynamism of software reliability research has speeded up significantly in the last period, and we can state the fact that its intensity is approaching, and in some cases is ahead of the information systems hardware…

软件工程 · 计算机科学 2020-03-06 Anton Petrov , Elena Popova , Alexander Petrov

We report on several scenarios of using automated theorem proving software in university education. In particular, we focus on using the Theorema system in a software-enhanced logic-course for students in computer science or artificial…

计算机科学中的逻辑 · 计算机科学 2022-01-20 Wolfgang Windsteiger

Control systems are sets of interconnected hardware and software components which regulate the behaviour of processes. The software of modern control systems rises for some years by requirements regarding the flexibility and functionality.…

软件工程 · 计算机科学 2009-04-24 Rolf Andreas Rasenack , Karsten Wolke , Kostyantyn Yermashov , Karl Hayo Siemsen

Research software is essential to modern science, yet many research-performing organisations lack coherent policies to support its development, sustainability, and recognition. Despite its central role in research outcomes, research…

The structures for the expression of fault-tolerance provisions into the application software are the central topic of this dissertation. Structuring techniques provide means to control complexity, the latter being a relevant factor for the…

分布式、并行与集群计算 · 计算机科学 2016-11-08 Vincenzo De Florio

Social sustainability in software development means creating and maintaining systems that promote pro-social values (e.g., human well-being, equity), both now and in the future. However, social sustainability lacks clear conceptual and…

软件工程 · 计算机科学 2026-03-31 Bimpe Ayoola , Anielle Andrade , Ronnie de Souza Santos , Paul Ralph

Empirical software engineering is concerned with the design and analysis of empirical studies that include software products, processes, and resources. Optimization is a form of data analytics in support of human decision-making.…

软件工程 · 计算机科学 2019-12-05 Guenther Ruhe

The given paper considered a generalized model representation of the software system "Instrumental complex for ontological engineering purpose". Represented complete software system development process. Developed relevant formal models of…

软件工程 · 计算机科学 2022-01-04 A. V. Palagin , N. G. Petrenko , V. Yu. Velychko , K. S. Malakhov

Ensuring high-quality software requires considering the social climate within which the applications will be deployed and used. This can be done by designing quality goals and objectives that are consistent with changing social and ethical…

软件工程 · 计算机科学 2015-12-10 Nicole Radziwill , Morgan Benton , Kenneth Boadu , Wilson Perdomo

Logic programming is a flexible programming paradigm due to the use of predicates without a fixed data flow. To extend logic languages with the compact notation of functional programming, there are various proposals to map evaluable…

编程语言 · 计算机科学 2022-05-17 Michael Hanus

The use of agile principles and practices in software development is becoming a powerful force in today's workplace. In our quest to develop better products, therefore, it is imperative that we strive to learn and understand the application…

计算机与社会 · 计算机科学 2010-05-28 Shvetha Soundararajan , James D. Arthur , Amine Chigani

This position paper is aimed at providing some history and provocations for the use of an ecological metaphor to describe software development environments. We do not claim that the ecological metaphor is the best or only way of looking at…

软件工程 · 计算机科学 2013-09-10 Nicholas Weber , Andrea Thomer , Michael Twidale

Natural language processing for programming aims to use NLP techniques to assist programming. It is increasingly prevalent for its effectiveness in improving productivity. Distinct from natural language, a programming language is highly…

计算与语言 · 计算机科学 2023-08-08 Qingfu Zhu , Xianzhen Luo , Fang Liu , Cuiyun Gao , Wanxiang Che