Searched for: department%3A%22Software%255C+Technology%22
(1 - 20 of 39)

Pages

List view
Grid view
document
Anderson, K.S. (author), Visser, Denise (author), Mannen, Jan-Willem (author), Jiang, Yuxiang (author), van Deursen, A. (author)
Background: Applying Continuous Experimentation on a large scale is not easily achieved. Although the evolution within large tech organisations is well understood, we still lack a good understanding of how to transition a company towards applying more experiments. Objective: This study investigates how practitioners define, value and apply...
conference paper 2022
document
Huijgens, H.K.M. (author), Greuter, Eric (author), Brons, Jerry (author), Doorn, Evert A. van (author), Papadopoulos, Ioannis (author), Martinez, Francisco Morales (author), Aniche, Maurício (author), Visser, O.W. (author), van Deursen, A. (author)
The development of Cloud Infra-Services has shifted over the past decade in the direction of a software code development process, also known as infrastructure as code (IaC). Contemporary continuous delivery settings in industry require fast feedback. As a consequence, companies need insight in time spent, especially in the development of such...
conference paper 2019
document
Huijgens, H.K.M. (author), Spadini, D. (author), Stevens, Dick (author), Visser, Niels (author), van Deursen, A. (author)
Background: During the period of one year, ING developed an approach for software analytics within an environment of a large number of software engineering teams working in a Continuous Delivery as a Service setting. Goal: Our objective is to examine what factors helped and hindered the implementation of software analytics in such an environment...
conference paper 2018
document
Raemaekers, S.B.A. (author), van Deursen, A. (author), Visser, Joost (author)
Systems that depend on third-party libraries may have to be updated when updates to these libraries become available in order to benefit from new functionality, security patches, bug fixes, or API improvements. However, often such changes come with changes to the existing interfaces of these libraries, possibly causing rework on the client...
journal article 2017
document
Huisman, M. (author), Bos, Herbert (author), Brinkkemper, Sjaak (author), van Deursen, A. (author), Groote, Jan Friso (author), Lago, Patricia (author), van de Pol, Jaco (author), Visser, Eelco (author)
Software is widely used, and society increasingly depends on its reliability. However, software has become so complex and it evolves so quickly that we fail to keep it under control. Therefore, we propose intents: fundamental laws that capture a software systems’ intended behavior (resilient, secure, safe, sustainable, etc.). The realization...
conference paper 2016
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
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
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
Van Chastelet, E. (author), Visser, E. (author), Anslow, C. (author)
Federated conferences such as SPLASH are complex orga- nizations composed of many parts (co-located conferences, symposia, and workshops), and are put together by many different people and committees. Developing the website for such a conference requires a considerable effort, and is often reinvented for each edition of a conference using...
conference paper 2015
document
Visser, Eelco (author)
In this essay, I argue that linguistic abstraction should be used systematically as a tool to capture our emerging understanding of domains of computation. Moreover, to enable that systematic application, we need to capture our understanding of the domain of linguistic abstraction itself in higher-level meta languages. The argument is...
journal article 2015
document
Raemaekers, S. (author), Van Deursen, A. (author), Visser, J. (author)
For API users, backward compatibility of new releases is important, as it permits safe and fast upgrading when the new release becomes available. To signal safe upgrading, version naming schemes such as semantic versioning provide strict rules on major (breaking changes permitted) versus minor and patch (no breaking changes permitted) releases....
report 2014
document
Athanasiou, D. (author), Nugroho, A. (author), Visser, J. (author), Zaidman, A. (author)
Automated testing is a basic principle of agile development. Its benefits include early defect detection, defect cause localization and removal of fear to apply changes to the code. Therefore, maintaining high quality test code is essential. This study introduces a model that assesses test code quality by combining source code metrics that...
report 2014
document
Bouwers, E. (author), Visser, J. (author), Van Deursen, A. (author)
In the past two decades both the industry and the research community have proposed hundreds of metrics to track software projects, evaluate quality or estimate effort. Unfortunately, it is not always clear which metric works best in a particular context. Even worse, for some metrics there is little evidence whether the metric measures the...
report 2014
document
Luijten, B. (author), Visser, J. (author), Zaidman, A. (author)
We mined the issue database of GNOME to assess how issues are handled. How many issues are submitted and resolved? Does the backlog grow or decrease? How fast are issues resolved? Does issue resolution speed increase or decrease over time? In which subproject are issues handled most efficiently? To answer such questions, we apply several...
report 2013
document
Raemaekers, S. (author), Nane, G.F. (author), Van Deursen, A. (author), Visser, J. (author)
Preprint of a paper presented at: MSR 2013, The 10th Working Conference on Mining Software Repositories, May 18–19, 2013, San Francisco, California, USA.
report 2013
document
Bouwers, E. (author), Van Deursen, A. (author), Visser, J. (author)
In the evaluation of implemented software architectures, metrics can be used to provide an indication of the degree of encapsulation within a system and to serve as a basis for an informed discussion about how well-suited the system is for expected changes. Current literature shows that over 40 different architecture-level metrics are available...
report 2011
document
Lindeman, R.T. (author), Kats, L.C.L. (author), Visser, E. (author)
Tool support is vital to the effectiveness of domain-specific languages. With language workbenches, domain-specific languages and their tool support can be generated from a combined, high-level specification. This paper shows how such a specification can be extended to describe a debugger for a language. To realize this, we introduce a meta...
report 2011
document
Hemel, Z. (author), Visser, E. (author)
A new generation of mobile touch devices, such as the iPhone, Android and iPad, are equipped with powerful, modern browsers. However, regular websites are not optimized for the specific features and constraints of these devices, such as limited screen estate, unreliable Internet access, touch-based interaction patterns, and features such as GPS....
report 2011
document
Kats, L.C.L. (author), Vermaas, R. (author), Visser, E. (author)
The reliability of compilers, interpreters, and development environments for programming languages is essential for effective software development and maintenance. They are often tested only as an afterthought. Languages with a smaller scope, such as domain-specific languages, often remain untested. General-purpose testing techniques and test...
report 2011
Searched for: department%3A%22Software%255C+Technology%22
(1 - 20 of 39)

Pages

List view
Grid view