Category
2,089 papers
Professional basketball is the case study, chosen for its data rather than the league, and five public sources are fuse into one per-shot dataset of 4.23M shots over 21 seasons, finding that the analytics tools of professional teams stay out of reach.
Literature and practice has established that the lack of management commitment has been one of the top reasons for a failed SPI (software process improvement) initiative. The paper reports results from an ongoing study aimed at clarifying the role and the meaning of management commitment in SPI initiatives. Results fro...
It is shown that current thinking relies on models of commitment that are flawed in both academic and practical sense and four misconceptions are identified in current thinking.
Reach audiences
Advertise in front of researchers, engineers, and readers.
The results indicate that there exist differences in the views of the nature of UCD, and in the motives for implementing it, in the experiences gained and interpretations made of the use of it in relation to each subculture.
This thesis suggests that the commitment phenomenon is better explained through what can be called strategic, operational and personal commitment nets, which can be used for analyzing the unfolding and alteration of commitment towards a specific entity, in this case a software process improvement endeavor, through time...
Results from the University of Oulu in Finland, where PSP is a mandatory course for students majoring in software engineering, do not indicate a significant improvement in size or effort estimation skills, but the defects found in the unit test phase were decreased.
This work proposes an evolutionary software product line modelling approach based on controllable inheritance of product line members specifications that uses hierarchies of implemented product specifications accompanied by correctness control of product model transformations.
AI agents can generate code at a scale that’s hard for humans to review line-by-line. PDD Kit helps ensure the code is doing what the developer intended by creating formal specifications and testing against them. It converts developer intent into a Verus specification, proves AI-generated code meets it for every input, and uses tests where proofs aren't practical. Developers review intent, not every line. The post Formally verifying agent-written full-stack web apps with PDD Kit appeared first o…
Data Mining & Modeling
Professor Paris Smaragdis develops computers with superhuman hearing for applications like speech recognition, music understanding, and environmental monitoring.
During the School of Humanities, Arts, and Social Sciences’ 75th Anniversary Symposium, President Sally Kornbluth said “MIT has never needed your particular insight and guidance more than we do now.”
Assistant Professor Benjamin Lindquist studies how engineers deliberately injected randomness into early AI, giving rise to deep-learning models that sometimes hallucinate.
“X-Hinges” helps design and 3D print items like lamps and gloves with an interactive twist: automatically embedded sensors that perceive and adaptively respond to human contact.
We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.
