Searched for:
(1 - 4 of 4)
document
Konat, G.D.P. (author), Steindorfer, M.J. (author), Erdweg, S.T. (author), Visser, Eelco (author)
Context.
Software development pipelines are used for automating essential parts of software engineering processes, such as build automation and continuous integration testing. In particular, interactive pipelines, which process events in a live environment such as an IDE, require timely results for low-latency feedback, and persistence to...
journal article 2018
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
Hemel, Z. (author), Groenewegen, D.M. (author), Kats, L.C.L. (author), Visser, E. (author)
Modern web application development frameworks provide web application developers with highlevel abstractions to improve their productivity. However, their support for static verification of applications is limited. Inconsistencies in an application are often not detected statically, but appear as errors at run-time. The reports about these...
report 2010
document
Groenewegen, D.M. (author), Visser, E. (author)
Data validation rules constitute the constraints that data input and processing must adhere to in addition to the structural constraints imposed by a data model. Web modeling tools do not make all types of data validation explicit in their models, hampering full code generation and model expressivity. Web application frameworks do not offer a...
journal article 2010
Searched for:
(1 - 4 of 4)