中文
相关论文

相关论文: An Ontological Analysis of a Proposed Theory for S…

200 篇论文

The development of Machine Learning (ML) based systems is complex and requires multidisciplinary teams with diverse skill sets. This may lead to communication issues or misapplication of best practices. Process models can alleviate these…

软件工程 · 计算机科学 2024-08-29 Sergio Morales , Robert Clarisó , Jordi Cabot

A new workflow for software development (proof-driven development) is presented. An extension of test-driven development, the new workflow utilizes the paradigm of dependently typed programming. The differences in design, complexity and…

软件工程 · 计算机科学 2015-12-08 Ben Goodspeed

In this article we focus on evolving information systems. First a delimitation of the concept of evolution is provided, resulting in a first attempt to a general theory for such evolutions. The theory makes a distinction between the…

人工智能 · 计算机科学 2021-05-25 H. A. Proper , Th. P. van der Weide

The software process model consists of a set of activities undertaken to design, develop and maintain software systems. A variety of software process models have been designed to structure, describe and prescribe the software development…

软件工程 · 计算机科学 2013-06-06 Rupinder Kaur , Jyotsna Sengupta

Due to the increased complexity of software development projects more and more systems are described by models. The sheer size makes it impractical to describe these systems by a single model. Instead many models are developed that provide…

软件工程 · 计算机科学 2014-09-24 Christoph Herrmann , Holger Krahn , Bernhard Rumpe , Martin Schindler , Steven Völkel

We propose to validate experimentally a theory of software certification that proceeds from assessment of confidence in fault-freeness (due to standards) to conservative prediction of failure-free operation.

软件工程 · 计算机科学 2014-04-29 John Rushby , Bev Littlewood , Lorenzo Strigini

So far there have been several efforts for developing software process simulators. However, the approaches for developing the simulators seem to have been ad-hoc and no systematic methodology exists. Since modeling and simulation in support…

软件工程 · 计算机科学 2014-03-17 Ioana Rus , Holger Neu , Jürgen Münch

Use case specifications have successfully been used for requirements description. They allow joining, in the same modeling space, the expectations of the stakeholders as well as the needs of the software engineer and analyst involved in the…

软件工程 · 计算机科学 2014-04-04 Rui Couto , António Nestor Ribeiro , José Creissac Campos

An ontology makes a special vocabulary which describes the domain of interest and the meaning of the term on that vocabulary. Based on the precision of the specification, the concept of the ontology contains several data and conceptual…

信息检索 · 计算机科学 2019-10-01 Maryam Alizadeh , Maliheh Heydarpour Shahrezaei , Farajollah Tahernezhad-Javazm

Ontologies are built on systems that conceptually evolve over time. In addition, techniques and languages for building ontologies evolve too. This has led to numerous studies in the field of ontology versioning and ontology evolution. This…

软件工程 · 计算机科学 2012-08-09 Perrine Pittet , Christophe Nicolle , Christophe Cruz

Software Engineering and the implementation of software has become a challenging task as many tools, frameworks and languages must be orchestrated into one functioning piece. This complexity increases the need for testing and analysis…

软件工程 · 计算机科学 2018-06-27 Hannes Thaller

Many academics have called for increasing attention to theory in software engineering. Consequently, this paper empirically evaluates two dissimilar software development process theories - one expressing a more traditional, methodical view…

软件工程 · 计算机科学 2013-07-04 Paul Ralph

Ontologies are widely used for representing domain knowledge and meta data, playing an increasingly important role in Information Systems, the Semantic Web, Bioinformatics and many other domains. However, logical reasoning that ontologies…

人工智能 · 计算机科学 2025-04-08 Jiaoyan Chen , Olga Mashkova , Fernando Zhapa-Camacho , Robert Hoehndorf , Yuan He , Ian Horrocks

Software is becoming a critical component of most products and organizational functions. The ability to continuously improve software determines how well the organization can respond to market opportunities. Continuous software engineering…

软件工程 · 计算机科学 2022-03-25 Eriks Klotins , Tony Gorschek

In this position paper we propose a process model that provides a development infrastructure in which the usability engineering and software engineering life cycles co-exist in complementary roles. We describe the motivation, hurdles,…

人机交互 · 计算机科学 2007-05-23 Pardha S. Pyla , Manuel A. Perez-Quinones , James D. Arthur , H. Rex Hartson

Complex Systems were identified and studied in different fields, such as physics, biology, and economics. These systems exhibit exciting properties such as self-organization, robust order, and emergence. In recent years, software systems…

软件工程 · 计算机科学 2023-06-22 Jan Žižka , Bruno Rossi , Tomáš Pitner

Context: To accelerate time-to-market and improve customer satisfaction, software-producing organizations have adopted continuous delivery practices, impacting the relations between development and infrastructure professionals. Yet, no…

软件工程 · 计算机科学 2021-06-25 Leonardo Leite , Gustavo Pinto , Fabio Kon , Paulo Meirelles

The given work describes methodological principles of design instrumental complex of ontological purpose. Instrumental complex intends for the implementation of the integrated information technologies automated build of domain ontologies.…

人工智能 · 计算机科学 2018-03-28 A. V. Palagin , N. G. Petrenko , V. Yu. Velychko , K. S. Malakhov , Yu. L. Tikhonov

As todays world grows with the technology on the other hand it seems to be small with the World Wide Web. With the use of Internet more and more information can be search from the web. When Users fires a query they want relevancy in…

信息检索 · 计算机科学 2013-11-26 Debajyoti Mukhopadhyay , Sajeeda Shikalgar

Variance theories quantify the variance that one or more independent variables cause in a dependent variable. In software engineering (SE), variance theories are used to quantify -- among others -- the impact of tools, techniques, and other…

软件工程 · 计算机科学 2024-12-18 Julian Frattini , Jannik Fischbach , Davide Fucci , Michael Unterkalmsteiner , Daniel Mendez