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

14th Koli Calling International Conference on Computing Education Research, Koli Calling 2014

作者： Flores, Pamela Medinilla, Nelson Pamplona, Sonia Computer Languages and Systems and Software Engineering Department Universidad Politécnica de Madrid Spain Computer Science Department Universidad a Distancia de Madrid Spain

ISBN: (纸本)9781450330657

The Information Hiding Principle is a modularization technique aimed at increasing the productivity of software development and maintenance. The Hiding Information concept introduced by Parnas is recognized as one of the key software design principles. However, as the author said, implementing the Principle is harder than it looks. This paper aims to discover what students understand and how they implement, on their designs, the Information Hiding Principle. The research was conducted through a qualitative case study with thirteen Master's students in the domain of software Design. Among the different concepts associated with understanding the Principle we could identify that some students adhere to the idea of dividing in order to hide, while others only care about hiding. Both of them without a successful implementation of the Principle. Few students have some idea about the Principle, however they do not get it all when implementing it. Furthermore, we can conclude that Parnas' statement remains until today. Copyright 2014 ACM.

关键词： software design

来源：评论

学校读者我要写书评

暂无评论

Global software development and collaboration: Barriers and solutions

引用

ACM Inroads 2010年第3期1卷 66-78页

作者： Noll, John Beecham, Sarah Richardson, Ita Lero the Irish Software Engineering Centre Department of Computer Science and Information Systems University of Limerick Limerick Ireland

While organisations recognise the advantages offered by global software development, many socio-technical barriers affect successful collaboration in this inter-cultural environment. In this paper, we present a review of the global software development literature where we highlight collaboration problems experienced by a cross-section of organisations in twenty-six studies. We also look at the literature to answer how organisations are overcoming these barriers in practice. We build on our previous study on global software development where we define collaboration as four practices related to agreeing, allocating, and planning goals, objectives, and tasks among distributed teams. We found that the key barriers to collaboration are geographic, temporal, cultural, and linguistic distance;the primary solutions to overcoming these barriers include site visits, synchronous communication technology, and knowledge sharing infrastructure to capture implicit knowledge and make it explicit. © 2010 ACM.

关键词： software design

来源：评论

学校读者我要写书评

暂无评论

Business Process Remaining Time Prediction Based on Incremental Event Logs

引用

IEEE Transactions on Services Computing 2025年

作者： Guo, Na Liu, Cong Mo, Qi Cao, Jian Ouyang, Chun Lu, Xixi Zeng, Qingtian Shandong University of Technology School of Electrical and Electronic Engineering Zibo255000 China Nova University of Lisbon NOVA Information Management School Lisbon1070-312 Portugal Shandong University of Technology School of Computer Science and Technology Zibo255000 China Yunnan University School of Software Kunming650091 China Shanghai Jiao Tong University Department of Computer Science and Engineering Shanghai200030 China Queensland University of Technology School of Information Systems BrisbaneQLD4000 Australia Utrecht University Department of Information and Computing Sciences CS Utrecht3584 Netherlands Shandong University of Science and Technology College of Computer Science and Engineering Qingdao266590 China

Predictive Process Monitoring (PPM) aims to predict the future state of running process instances to enable timely interventions to mitigate potential risks. As one of the most fundamental tasks in PPM, process remaining time prediction focuses on preventing timeout occurrences. While various deep learning-based approaches have been developed for this purpose, they often rely on pre-established static prediction models and struggle to maintain accurate predictions when the process undergoes dynamic changes, such as an expanding sales channels. To tackle this challenge, this paper proposes an incremental process remaining time prediction framework by continuously updating the prediction model based on an incremental event log. Specifically, a feature selection strategy is first introduced to extract effective features from event logs. Leveraging effective features can significantly improve the prediction quality by capturing the changes in process information. Then, three incremental log-based updating mechanisms, including period-based updating, quantity-based updating, and concept-drift-based updating, along with a reconstruction strategy, are proposed to dynamically adjust the prediction model in response to business changes. Finally, LSTM, Transformer, and Auto-encoder models are adapted and integrated into the proposed framework. The approach has been implemented and publicly released. Experimental evaluation using nine real-life event logs demonstrate that the proposed framework and its three instantiations (i.e., LSTM-based, Transformer-based, and Auto-encoder-based ones) outperform state-of-the-art techniques in terms of prediction accuracy. © 2008-2012 IEEE.

关键词： incremental event log Predictive process monitoring process mining remaining time prediction

来源：评论

学校读者我要写书评

暂无评论

Spatial Correlation Module for Classification of Multi-Label Ocular Diseases Using Color Fundus Images

引用

computers, Materials & Continua 2023年第7期76卷 133-150页

作者： Ali Haider Khan Hassaan Malik Wajeeha Khalil Sayyid Kamran Hussain Tayyaba Anees Muzammil Hussain Department of Software Engineering Faculty of Computer SciencesLahore Garrison UniversityLahorePakistan Department of Computer Science School of Systems and TechnologyUniversity of Management and TechnologyLahore54000Pakistan Department of Computer Science&Information Technology University of Engineering and Technology(UET)PeshawarPakistan Department of Computer Science TIMES InstituteMultan60000Pakistan Department of Software Engineering School of Systems and TechnologyUniversity of Management and TechnologyLahore54000Pakistan

To prevent irreversible damage to one’s eyesight,ocular diseases(ODs)need to be recognized and treated *** fundus imaging(CFI)is a screening technology that is both effective and *** to CFIs,the early stages of the disease are characterized by a paucity of observable symptoms,which necessitates the prompt creation of automated and robust diagnostic *** traditional research focuses on image-level diagnostics that attend to the left and right eyes in isolation without making use of pertinent correlation data between the two sets of *** addition,they usually only target one or a few different kinds of eye diseases at the same *** this study,we design a patient-level multi-label OD(PLML_ODs)classification model that is based on a spatial correlation network(SCNet).This model takes into consideration the relevance of patient-level diagnosis combining bilateral eyes and multi-label ODs ***_ODs is made up of three parts:a backbone convolutional neural network(CNN)for feature extraction i.e.,DenseNet-169,a SCNet for feature correlation,and a classifier for the development of classification *** DenseNet-169 is responsible for retrieving two separate sets of attributes,one from each of the left and right *** then,the SCNet will record the correlations between the two feature sets on a pixel-by-pixel *** the attributes have been analyzed,they are integrated to provide a representation at the patient *** the whole process of ODs categorization,the patient-level representation will be *** efficacy of the PLML_ODs is examined using a soft margin loss on a dataset that is readily accessible to the public,and the results reveal that the classification performance is significantly improved when compared to several baseline approaches.

关键词： Ocular disease multi-label spatial correlation CNN eye disease

来源：评论

学校读者我要写书评

暂无评论

Crowdsourced Requirements engineering Challenges and Solutions:A software Industry Perspective

引用

computer systems Science & engineering 2021年第11期39卷 221-236页

作者： Huma Hayat Khan Muhammad Noman Malik Youseef Alotaibi Abdulmajeed Alsufyani Saleh Alghamdi Department of Software Engineering National University of Modern LanguagesIslamabadPakistan Department of Computer Science National University of Modern LanguagesIslamabadPakistan Department of Computer Science College of Computer and Information SystemsUmm Al-Qura UniversityMakkahSaudi Arabia Department of Computer Science College of Computers and Information TechnologyTaif UniversityPO Box 11099TaifSaudi Arabia Department of Information Technology College of Computers and Information TechnologyTaif UniversityTaifSaudi Arabia

software crowdsourcing(SW CS)is an evolving software development paradigm,in which crowds of people are asked to solve various problems through an open call(with the encouragement of prizes for the top solutions).Because of its dynamic nature,SW CS has been progressively accepted and adopted in the software ***,issues pertinent to the understanding of requirements among crowds of people and requirements engineers are yet to be clarified and *** the requirements are not clear to the development team,it has a significant effect on the quality of the software *** study aims to identify the potential challenges faced by requirements engineers when conducting the SW–CS based requirements engineering(RE)***,solutions to overcome these challenges are also *** data analysis is performed on the interview data collected from software industry ***,20 SW–CS based RE challenges and their subsequent proposed solutions are devised,which are further grouped under seven *** study is beneficial for academicians,researchers and practitioners by providing detailed SW–CS based RE challenges and subsequent solutions that could eventually guide them to understand and effectively implement RE in SW CS.

关键词： software crowdsourced requirements engineering software industry software development survey challenges

来源：评论

学校读者我要写书评

暂无评论

WIP: An Engaging Undergraduate Intro to Model Checking in software engineering Using TLA+ 54

WIP: An Engaging Undergraduate Intro to Model Checking in So...

引用

54th IEEE Frontiers in Education Conference, FIE 2024

作者： Läufer, Konstantin Mertin, Gunda Thiruvathukal, George K. Loyola University Software and Systems Laboratory Department of Computer Science Chicago United States Institute for Software Engineering and Programming Languages University of Lübeck Germany

ISBN: (纸本)9798350351507

Background: In this Innovative Practice Work in Progress, we present our initial efforts to integrate formal methods, with a focus on model-checking specifications written in Temporal Logic of Actions (TLA+), into computer science education, targeting undergraduate juniors/seniors and graduate students. Many safety-critical systems and services crucially depend on correct and reliable behavior. Formal methods can play a key role in ensuring correct and safe system behavior, yet remain underutilized in educational and industry contexts. Aims: We aim to (1) qualitatively assess the state of formal methods in computer science programs, (2) construct level-appropriate examples that could be included midway into one's undergraduate studies, (3) demonstrate how to address successive 'failuresy' through progressively stringent safety and liveness requirements, and (4) establish an ongoing framework for assessing interest and relevance among students. Methods: We detail our pedagogical strategy for embedding TLA+ into an intermediate course on formal methods at our institution. After starting with a refresher on mathematical logic, students specify the rules of simple puzzles in TLA+ and use its included model checker (known as TLC) to find a solution. We gradually escalate to more complex, dynamic, event-driven systems, such as the control logic of a microwave oven, where students will study safety and liveness requirements. We subsequently discuss explicit concurrency, along with thread safety and deadlock avoidance, by modeling bounded counters and buffers. Results: Our initial findings suggest that through careful curricular design and choice of examples and tools, it is possible to inspire and cultivate a new generation of software engineers proficient in formal methods. Conclusions: Our initial efforts suggest that 84% of our students had a positive experience in our formal methods course. Our future plans include a longitudinal analysis within our own institution and

关键词： Students

来源：评论

学校读者我要写书评

暂无评论

Formally modeling UML and its evolution: A holistic approach

Formally modeling UML and its evolution: A holistic approach

引用

4th International Conference on Formal Methods for Open Object-Based Distributed systems, FMOODS 2000

作者： Álvarez, Ambrosio Toval Alemán, José Luis Fernández Software Engineering Research Group Department of Informatics: Languages and Systems University of Murcia Spain

ISBN: (纸本)9781475710182

Due to the pervasiveness of diagrams in human communication and because of the increasing availability of graphical notations in software engineering, the study of diagrammatic notations is at the forefront of many research efforts. The expressive power of these kinds of languages and notations can be remarkably improved by adding extensibility mechanisms Extensibility, the ability of a notation or a modeling language to be extended from its own modeling constructs, is a feature that has assumed considerable importance with the appearance of the UML (Unified Modeling Language). In this paper, a holistic proposal to formally support the evolution of the UML metamodel is presented. To attain this aim, an algebraic formalization is provided which leads to a seamless formal model of the UML four-layer semantics architecture. These two characteristics - being holistic and seamless together with reflection are the most innovative aspects of the research with respect to formalizing the UML. In particular, a central role is played by reflection. A formal language supporting this feature called Maude is studied and put forward as the basis for the formalization of the UML extensibility mechanisms. Since Maude is an executable specification language, the final set of formal models can also be used as a UML virtual machine at the specification level. To illustrate the approach, a UML Class Diagram prototype is implemented using the Maude interpreter. The integration of this Maude prototype with a UML commercial CASE has been developed, in Java, and is currently working. © 2000 International Federation for Information Processing.

关键词： Unified Modeling Language

来源：评论

学校读者我要写书评

暂无评论

Evaluating the usability of Internet networked virtual environments

Evaluating the usability of Internet networked virtual envir...

引用

1st International Conference on Internet Technologies and Applications, ITA 05

作者： Castán, Hector Sánchez-Alonso, Salvador Department of Languages and Systems and Software Engineering Pontifical University of Salamanca Madrid Campus Spain Computer Science Department University of Alcala Madrid Spain

ISBN: (纸本)0946881324

Internet networked virtual environments, such as VRML-based environments, should provide a satisfactory immersive experience to users. However, the time needed to download them and display them in the user platform, as well as the time delays in effectively starting an interaction, may adversely influence the overall user satisfaction. This article shows the results of a series of usability tests oriented towards improving Internet networked virtual environments construction by analysing the influence of time delays and other problems in the users' perception of virtual environments.

关键词： Time delay

来源：评论

学校读者我要写书评

暂无评论

BG-GAN: Generative AI Enable Representing Brain Structure-Function Connections for Alzheimer's Disease

引用

IEEE Transactions on Consumer Electronics 2025年

作者： Zhou, Tong Ding, Chen Jing, Changhong Liu, Feng Hung, Kevin Pham, Hieu Mahmud, Mufti Lyu, Zhihan Qiao, Sibo Wang, Shuqiang Tsang, Kim-Fung Chinese Academy of Sciences Shenzhen Institutes of Advanced Technology Shenzhen518055 China University of Chinese Academy of Sciences Beijing100864 China Stevens Institute of Technology Department of Systems and Enterprises United States Hong Kong Metropolitan University School of Science and Technology Hong Kong Hong Kong VinUniversity College of Engineering and Computer Science VinUni-Illinois Smart Health Center Viet Nam King Fahd University of Petroleum and Minerals Interdisciplinary Research Center for Biosystems and Machines Department of Information and Computer Science SDAIA-KFUPM Joint Research Center for AI Dhahran Saudi Arabia Uppsala University Department of Game Design Faculty of Arts Sweden Tiangong University School of Software Tianjin300387 China

The relationship between brain structure and function is critical for revealing the pathogenesis of brain disorders, including Alzheimer's disease (AD). However, mapping brain structure to function connections is a very challenging task. In this work, a bidirectional graph generative adversarial network (BG-GAN) is proposed to represent brain structure-function connections. Specifically, by designing a module incorporating inner graph convolution network (InnerGCN), the generators of BG-GAN can employ features of direct and indirect brain regions to learn the mapping function between the structural domain and the functional domain. Besides, a new module named Balancer is designed to counterpoise the optimization between generators and discriminators. By introducing the Balancer into BG-GAN, both the structural generator and functional generator can not only alleviate the issue of mode collapse but also learn complementarity of structural and functional features. Experimental results using Alzheimer's Disease Neuroimaging Initiative (ADNI) dataset show that both generated structure and function connections can improve the identification accuracy of AD. The experimental findings suggest that the relationship between brain structure and function is not a complete one-to-one correspondence. They also suggest that brain structure is the basis of brain function, and the strong structural connections are majorly accompanied by strong functional connections. © 2025 IEEE.

关键词： Generative adversarial networks

来源：评论

学校读者我要写书评

暂无评论

Implicit Multi-Scale Swin Transformer Network for Image Denoising

引用

IEEE Transactions on Consumer Electronics 2025年

作者： Zhang, Qi Ding, Yuwei Zhang, Weiqi Zhu, Yian Zhang, Bob Lin, Jerry Chun-Wei Harbin Institute of Technology at Weihai School of Economics and Management Weihai China Nanjing University State Key Laboratory for Novel Software Technology Nanjing China Northwestern Polytechnical University School of Computer Science Xi’an China Northwestern Polytechnical University Yangtze River Delta Research Institute Taicang China University of Macau PAMI Research Group Department of Computer and Information Science Taipa China Department of Distributed Systems and IT Devices Electrical Engineering and Mathematical Sciences Silesian university of technology Poland

Image denoising has been used in various edge computing scenarios such as consumer electronics to improve the image quality and user experience. Existing image denoising methods based on Convolutional Neural Networks (CNNs) and vision Transformers achieve good performance by empirically utilizing residual neural network (ResNet) as basic component. However, ResNet lacks interpretability in network design and also long-term memory of features, potentially restricting the performance of denoising networks. In this paper, we propose an Implicit Multi-scale Swin Transformer Network (IMSNet) for image denoising, which introduces the implicit Euler scheme from the feature memory perspective. Specifically, densely connected implicit feature extraction blocks (IFEBs) are designed to learn the residual mapping between noisy and clean images. The IFEB reformulates the initial skip connection of ResNet based on the implicit Euler discretization, providing both network interpretability and long-term memory. In IFEB, the multi-scale swin Transformer block (MSB) is designed as the implicit layer to capture spatial details and non-local contextual information at different scales. Additionally, a cross-layer feature fusion block (CLFF) is proposed to further improve feature reuse capabilities. Compared to existing denoising networks, the extensive experiments demonstrate the superior performance of our IMSNet in various image denoising tasks, and the flexibility in the practical applications with proposed light model on resource-restricted platforms such as consumer electronic devices. © 1975-2011 IEEE.

关键词： Image denoising

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：