Software Development and Environments
1 – 10 of 275
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2025
-
Mark
Gamifying user feedback collection on static program analysis tools
2025)(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A Trust Establishment and Key Management Architecture for Hospital-at-Home
(
- Contribution to journal › Article
-
Mark
EzSkiROS : enhancing robot skill composition with embedded DSL for early error detection
(
- Contribution to journal › Article
-
Mark
Fully Declarative Specification of Static Code Checkers
2025)(
- Thesis › Doctoral thesis (compilation)
-
Mark
eHealth in Pediatric Surgery : Impact on Postsurgical Care After Reconstructive Surgery for Anorectal Malformations and Hirschsprung's Disease
(
- Contribution to journal › Article
-
Mark
IntraJ: An On-Demand Framework for Intraprocedural Java Code Analysis
2025) Challenges of Software Verification Symposium 2024 In International Journal on Software Tools for Technology Transfer(
- Contribution to journal › Article
-
Mark
Support, not automation : towards AI-supported code review for code quality and beyond
2025) 33rd ACM International Conference on the Foundations of Software(
Engineering- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
What questions do developers ask during code review?
2025) WASP Winter Conference 2025(
- Contribution to conference › Poster
- 2024
-
Mark
A Conceptual Framework and Recommendations for Open Data and Artifacts in Empirical Software Engineering
2024) International Workshop on Methodological Issues with Empirical Studies in Software Engineering, WSESE 2024 In ICSE Workshops p.68-75(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Video Intro: Design of Flexible Code Block Comparisons to Improve Code Review of Refactored Code
2024)(
- Non-textual form › Other