Search Results - "Software and its engineering Software organization and properties"

LLM for Mobile: An Initial Roadmap.

Authors: Chen, Daihang Liu, Yonghui Zhou, Mingyi et al.

Source: ACM Transactions on Software Engineering & Methodology; Jun2025, Vol. 34 Issue 5, p1-29, 29p

Subject Terms: EVIDENCE gaps, RESEARCH personnel, MOBILE apps, ECOSYSTEMS

Investigating Cultural Dispersion: on the Role of Cultural Differences in Software Development Teams.

Authors: Lambiase, Stefano

Source: ICSE: International Conference on Software Engineering; 2024, p187-191, 5p

Subject Terms: CROSS-cultural differences, COMPUTER software development, SOFTWARE engineering, CULTURAL pluralism, SOCIOTECHNICAL systems

FQN Inference in Partial Code by Prompt-tuned Language Model of Code.

Authors: Huang, Qing Yuan, Zhiqiang Xing, Zhenchang et al.

Source: ACM Transactions on Software Engineering & Methodology; Feb2024, Vol. 33 Issue 2, p1-32, 32p

Subject Terms: LANGUAGE models, INFERENCE (Logic), PROGRAMMING languages, WEB development, SOURCE code, BLOCK ciphers

EXPLORING SOFTWARE ENGINEERING KNOWLEDGE DOMAINS.

Authors: GEORGIEV, DILYAN

Source: Annual of Sofia University 'St. Kliment Ohridski'. Faculty of Mathematics & Informatic; 2024, Vol. 111, p35-53, 19p

Subject Terms: SOFTWARE engineering, CORPORATE culture, ORDER picking systems, BEST practices, KNOWLEDGE management, TEAMS

The Role of Formalism in System Requirements.

Authors: BRUEL, JEAN-MICHEL EBERSOLD, SOPHIE GALINIER, FLORIAN et al.

Source: ACM Computing Surveys; Jun2022, Vol. 54 Issue 5, p1-36, 36p

Subject Terms: COMPUTER software quality control, SYSTEMS software, NATURAL languages, OPEN-ended questions, INDUSTRIAL applications

Application of Data Visualization and Big Data Analysis in Intelligent Agriculture.

Authors: Wei Liu

Source: Journal of Computing & Information Technology; Dec2021, Vol. 29 Issue 4, p251-263, 13p

Subject Terms: COMPUTERS in agriculture, BIG data, DATA visualization, AGRICULTURAL forecasts, DATA analysis, CROP yields

Working Set Analytics.

Authors: DENNING, PETER J.

Source: ACM Computing Surveys; Nov2021, Vol. 53 Issue 6, p1-36, 36p

Subject Terms: INVENTORY control, SHORT-term memory, SET theory, HUMAN behavior models, CACHE memory, TIME measurements

Armed Cats: Formal Concurrency Modelling at Arm.

Authors: ALGLAVE, JADE DEACON, WILL GRISENTHWAITE, RICHARD et al.

Source: ACM Transactions on Programming Languages & Systems; Jul2021, Vol. 43 Issue 2, p1-54, 54p

Subject Terms: TERMS & phrases

Incivility in Open Source Projects: A Comprehensive Annotated Dataset of Locked Github Issue Threads

Authors: Ehsani, Ramtin Imran, Mia Mohammad Zita, Robert et al.

Source: Computer Science Faculty Research & Creative Works

Subject Terms: developer conversations, GitHub, incivility, OSS, Computer Sciences

File Description: application/pdf

Relation: https://scholarsmine.mst.edu/comsci_facwork/1744; https://scholarsmine.mst.edu/context/comsci_facwork/article/2744/viewcontent/Incivility_in_Open_Source_Projects__A_Comprehensive_Annotated_Dataset_of_Locked_Github_Issue_Threads.pdf

Availability: https://scholarsmine.mst.edu/comsci_facwork/1744
https://doi.org/10.1145/3643991.3644887
https://scholarsmine.mst.edu/context/comsci_facwork/article/2744/viewcontent/Incivility_in_Open_Source_Projects__A_Comprehensive_Annotated_Dataset_of_Locked_Github_Issue_Threads.pdf

Practical Model Checking of a Home Area Network System: Case Study.

Authors: Zahid, Soufiane En-Nouaary, Abdeslam Bah, Slimane

Source: Journal of Computing & Information Technology; Jun2019, Vol. 27 Issue 2, p1-16, 16p

Subject Terms: HOME computer networks, TWO-way communication, CASE studies, COMMUNICATION infrastructure, MODEL validation

Towards Implementing Product Line Architecture.

Authors: Yongjie Zheng Cuong Cu

Source: Proceedings of the 1st International Workshop on Bringing Architectural Design Thinking into Developers' Daily Activities; 2016, p5-10, 6p

Analyzing Developer Sentiment in Commit Logs.

Authors: Sinha, Vinayak Lazar, Alina Sharif, Bonita

Source: Proceedings of the 13th International Workshop on Mining Software Repositories; 2016, p520-523, 4p

What Makes Teaching Software Architecture Difficult?

Authors: Galster, Matthias Angelov, Samuil

Source: Proceedings of the 38th International Conference on Software Engineering Companion; 2016, p356-359, 4p

Smart Decisions: An Architectural Design Game.

Authors: Cervantes, Humberto Haziyev, Serge Hrytsay, Olha et al.

Source: Proceedings of the 38th International Conference on Software Engineering Companion; 2016, p327-335, 9p

Building Dynamic, Long-Running Systems.

Authors: Reiss, Steven P. Qi Xin

Source: Proceedings of the 4th International Workshop on Software Engineering for Systems-of-Systems; 2016, p19-24, 6p

Architecture-Centric Derivation of Products in a Software Product Line.

Authors: Cuong Cu Yongjie Zheng

Source: Proceedings of the 8th International Workshop on Modeling in Software Engineering; 2016, p27-33, 7p

Extended Fault Taxonomy of SOA-Based Systems.

Authors: Bhandari, Guru Prasad Gupta, Ratneshwer

Source: Journal of Computing & Information Technology; Dec2017, Vol. 25 Issue 4, p237-257, 21p

Subject Terms: COMPUTER science, SERVICE-oriented architecture (Computer science), HOLISTIC education, CLOUD computing, NON functional requirements (Systems engineering)

LinkED: A Novel Methodology for Publishing Linked Enterprise Data.

Authors: Suresh Rao, Shreyas Nayak, Ashalatha

Source: Journal of Computing & Information Technology; 2017, Vol. 25 Issue 3, p191-209, 19p

Subject Terms: INFORMATION resources management, SEMANTIC computing, SEMANTIC differential technique, INTERNETWORKING, DATABASE management

Dependency Modeling of a SOA Based System Through Colored Petri Nets.

Authors: Kumar, Pawan Gupta, Ratneshwer

Source: Journal of Computing & Information Technology; Sep2016, Vol. 24 Issue 3, p253-269, 17p

Subject Terms: SERVICE-oriented architecture (Computer science), COMPUTER software, PETRI nets, CONFIGURATION management, INFORMATION technology, INCONSISTENCY (Logic)

SYNTHESIS OF STRATEGIES USING THE HOARE LOGIC OF ANGELIC AND DEMONIC NONDETERMINISM.

Authors: MAMOURAS, KONSTANTINOS

Source: Logical Methods in Computer Science (LMCS); 2016, Vol. 12 Issue 3, p1-41, 41p

Subject Terms: HOARE logic, COMPLETENESS theorem, COMPUTATIONAL complexity, GRAPH theory, GAME theory