Searched for: department:"Software%5C+Technology"
(1 - 20 of 197)

Pages

document
Oosterwaal, Sebastiaan (author), van Deursen, A. (author), De Souza Coelho, R. (author), Sawant, A.A. (author), Bacchelli, A. (author)

One of the tasks of reviewers is to verify that code modifications are well tested. However, current tools offer little support in understanding precisely how changes to the code relate to changes to the tests. In particular, it is hard to see whether (modified) test code covers the changed code. To mitigate this problem, we developed OPERIAS...

conference paper 2016
document
Hermans, F. (author), Aivaloglou, E. (author)
Recently, block-based programming languages like Alice, Scratch and Blockly have become popular tools for programming education. There is substantial research showing that block-based languages are suitable for early programming education. But can block-based programs be smelly too? And does that matter to learners? In this paper we explore the...
report 2016
document
Dintzner, N.J.R. (author), Van Deursen, A. (author), Pinzger, M. (author)
The study of the evolution of highly configurable systems requires a thorough understanding of thee core ingredients of such systems: (1) the underlying variability model; (2) the assets that together implement the configurable features; and (3) the mapping from variable features to actual assets. Unfortunately, to date no systematic way to...
conference paper 2016
document
Heck, P.M. (author)
The goal of this thesis was to obtain a deeper understanding of the notion of quality for Just-in-Time (JIT) Requirements. JIT requirements are the opposite of up-front requirements. JIT requirements are not analyzed or defined until they are needed meaning that development is allowed to begin with incomplete requirements. We started our...
doctoral thesis 2016
document
Beller, M. (author), Levaja, I. (author), Panichella, A. (author), Gousios, G. (author), Zaidman, A.E. (author)
As software engineering researchers, we are also zealous tool smiths. Building a research prototype is often a daunting task, let alone building an industry-grade family of tools supporting multiple platforms to ensure the generalizability of results. In this paper, we give advice to academic and industrial tool smiths on how to design and build...
conference paper 2016
document
Beller, M. (author), Bholanath, R. (author), McIntosh, S. (author), Zaidman, A.E. (author)
The use of automatic static analysis has been a software engineering best practice for decades. However, we still do not know a lot about its use in real-world software projects: How prevalent is the use of Automated Static Analysis Tools (ASATs) such as FindBugs and JSHint? How do developers use these tools, and how does their use evolve over...
conference paper 2016
document
Walraven, E.M.P. (author), Spaan, M.T.J. (author)
The increasing penetration of renewable energy sources and electric vehicles raises important challenges related to the operation of electricity grids. For instance, the amount of power generated by wind turbines is time-varying and dependent on the weather, which makes it hard to match flexible electric vehicle demand and uncertain wind power...
conference paper 2016
document
Wilson, M. (author)
This thesis presents research on scheduling in an uncertain environment, which forms a part of the rolling stock life cycle logistics applied research and development program funded by Dutch railway industry companies. The focus therefore lies on scheduling of maintenance operations on rolling stock in the railway industry. The first chapter...
doctoral thesis 2016
document
Roy, S. (author), Hermans, F.F.J. (author), Aivaloglou, E. (author), Winter, J (author), van Deursen, A. (author)
Spreadsheets are popular end-user computing applications and one reason behind their popularity is that they offer a large degree of freedom to their users regarding the way they can structure their data. However, this flexibility also makes spreadsheets difficult to understand. Textual documentation can address this issue, yet for supporting...
conference paper 2016
document
van Deursen, A. (author), Finavaro Aniche, M. (author), Aué, Joop (author)
book 2016
document
Vergu, V. (author), Neron, P. (author), Visser, E. (author)
The formal definition the semantics of a programming language and its implementation are typically separately defined, with the risk of divergence such that properties of the formal semantics are not properties of the implementation. In this paper, we present DynSem, a domain-specific language for the specification of the dynamic semantics of...
report 2015
document
Hermans, F. (author), Aivaloglou, E. (author), Jansen, B. (author)
Spreadsheets are used heavily in many business domains around the world. They are easy to use and as such enable end-user programmers to and build and maintain all sorts of reports and analyses. In addition to using spreadsheets for modeling and calculation, spreadsheets are often also used for creating reports and dashboards: combining data...
report 2015
document
Dintzner, N. (author)
Despite a global recognition of the problem, and massive investment from researchers and practitioners, the evolution of complex software systems is still a major challenge for today’s architects and developers. In the context of product lines, or highly configurable systems, variability in the implementation and design makes many of the pre...
report 2015
document
Van Antwerpen, H. (author), Néron, P. (author), Tolmach, A. (author), Visser, E. (author), Wachsmuth, G. (author)
In previous work, we introduced scope graphs as a formalism for describing program binding structure and performing name resolution in an AST-independent way. In this paper, we show how to use scope graphs to build static semantic analyzers. We use constraints extracted from the AST to specify facts about binding, typing, and initialization. We...
report 2015
document
Van Antwerpen, H. (author), Néron, P. (author), Tolmach, A. (author), Visser, E. (author), Wachsmuth, G. (author)
In previous work, we introduced scope graphs as a formalism for describing program binding structure and performing name resolution in an AST-independent way. In this paper, we show how to use scope graphs to build static semantic analyzers. We use constraints extracted from the AST to specify facts about binding, typing, and initialization. We...
report 2015
document
Coelho, R. (author), Almeida, L. (author), Gousios, G. (author), Van Deursen, A. (author)
This paper reports on a study mining the exception stack traces included in 159,048 issues reported on Android projects hosted in GitHub (482 projects) and Google Code (157 projects). The goal of this study is to investigate whether stack trace information can reveal bug hazards related to exception handling code that may lead to a decrease in...
report 2015
document
Dintzner, N. (author), Van Deursen, A. (author), Pinzger, M. (author)
Evolving a large scale, highly variable systems is a challenging task. For such a system, evolution operations often require to update consistently both their implementation and its feature model. In this context, the evolution of the feature model closely follows the evolution of the system. The purpose of this work is to show that fine-grained...
report 2015
document
Voelter, M. (author), Van Deursen, A. (author), Kolb, B. (author), Eberle, S. (author)
We report on an industrial case study on developing the embedded software for a smart meter using the C programming language and domain-specific extensions of C such as components, physical units, state machines, registers and interrupts. We find that the extensions help significantly with managing the complexity of the software. They improve...
report 2015
document
Van Antwerpen, H. (author), Neron, P. (author), Tolmach, A. (author), Visser, E. (author), Wachsmuth, G. (author)
We extend and combine two existing declarative formalisms, the scope graphs of Neron et al. and type constraint systems, to build a language-independent theory that can describe both name and type resolution for realistic languages with complex scope and typing rules. Unlike conventional static semantics presentations, our approach maintains a...
report 2015
document
Raemaekers, S.B.A. (author)
Third-party libraries are used frequently in modern software development. Websites that are visited millions of times a day often make heavy use of open-source software libraries. As a software developer, using these libraries has a number of advantages. Developers save time and effort because functionality does not have to be rebuilt from...
doctoral thesis 2015
Searched for: department:"Software%5C+Technology"
(1 - 20 of 197)

Pages