1,721,008 research outputs found
Replication Data for: To be or not to be... an algorithm: the notion according to students and teachers
No full textQuasi-algorithms used in the workshop described in the paper
Language Support for Evolvable Software: An Initial Assessment of Aspect-Oriented Programming
No full text
Alla sorgente del codice: Open Source nelle piccole e medie aziende tra sfide e opportunità
No full textL'articolo presenta i risultati di un progetto di ricerca relativa all'adozione del software open source da parte delle piccole e medie imprese in Italia. L'articolo presenta l'analisi della domanda e dei driver di adozione dei prodotti Floss nelle PMI italiane. Viene poi presentata una metodologia di supporto alla selezione di prodotti Floss. Infine, dopo aver discusso le implicazioni manageriali relative all'implementazione di una piattaforma Floss, vengono esposte alcune considerazioni conclusive sul rapporto fra system integrator e Floss
Malaj: A Proposal to Eliminate Clashes Between Aspect oriented Programming and Object Oriented Programming
No full text
Replication Data for: How is two better than one? An observational study on the impact of working in pairs when solving Bebras tasks
No full textAnswers given to the Italian Bebras tasks, collected during the challenge held on November 2021
Davinci Goes to Bebras: A Study on the Problem Solving Ability of GPT-3
Get PDFIn this paper we study the problem-solving ability of the Large Language Model known as GPT-3 (codename DaVinci), by considering its performance in solving tasks proposed in the “Bebras International Challenge on Informatics and Computational Thinking”. In our experiment, GPT-3 was able to answer with a majority of correct answers about one third of the Bebras tasks we submitted to it. The linguistic fluency of GPT-3 is impressive and, at a first reading, its explanations sound coherent, on-topic and authoritative; however the answers it produced are in fact erratic and the explanations often questionable or plainly wrong. The tasks in which the system performs better are those that describe a procedure, asking to execute it on a specific instance of the problem. Tasks solvable with simple, one-step deductive reasoning are more likely to obtain better answers and explanations. Synthesis tasks, or tasks that require a more complex logical consistency get the most incorrect answers
Using Graph Transformation Systems to Specify and Verify Data Abstractions
Get PDFThis paper proposes an approach for the specification of the behavior of software components that implement data abstractions. By generalizing the approach of behavior models using graph transformation, we provide a concise specification for data abstractions that describes the relationship between the internal state, represented in a canonical form, and the observers of the component. Graph transformation also supports the generation of behavior models that are amenable to verification. To this end, we provide a translation approach into an LTL model on which we can express useful properties that can be model-checked with a SAT solver
Supporting Cooperative Software Processes in a Decentralized and Nomadic World
No full textRecent advances in wireless networks enable decentralized cooperative and nomadic work scenarios where mobile users can interact in performing some tasks without being permanently online. Scenarios where connectivity is transient and the network topology may change dynamically are considered. Connectivity among nodes does not require the support offered by a permanent infrastructure but may rely on ad hoc networking facilities. In this paper, a scenario in which a nomadic group of software engineers cooperate in developing an application is investigated. The proposed solution, however, is not software process specific but holds for other cases where shared documents are developed cooperatively by a number of interacting nomadic partners. Support tools for these groups are normally based on a client-server architecture, which appears to be unsuitable in highly dynamic environments. Peer-to-peer solutions, which do not rely on services provided by centralized servers, look more pron-dsing. This paper presents a fully decentralized cooperative infrastructure centered around peer-to-peer versioning system (PeerVerSy), a configuration management tool based on a peer-to-peer architecture, which supports cooperative services even when some of the collaborating nodes are offline. Some preliminary experiences gained from its use in a teaching environment are also discussed
- …
