The state of the art in language workbenches: Conclusions from the language workbench challenge

S Erdweg, T Van Der Storm, M Völter… - … Conference, SLE 2013 …, 2013 - Springer
Abstract Language workbenches are tools that provide high-level mechanisms for the
implementation of (domain-specific) languages. Language workbenches are an active area …

[HTML][HTML] Digital forensics as a service: Step** up the game

HMA van Beek, J van den Bos, A Boztas… - Forensic Science …, 2020 - Elsevier
Abstract After providing Digital Forensics as a Service (DFaaS) implementations to law
enforcement agencies for close to a decade, we present our view from an inside-out …

[HTML][HTML] A tutorial on metamodelling for grammar researchers

RF Paige, DS Kolovos, FAC Polack - Science of Computer Programming, 2014 - Elsevier
A metamodel has been defined as: a model of a model; a definition of a language; a
description of abstract syntax; and a description of a domain. Because of these varied …

Lessons learned from develo** mbeddr: a case study in language engineering with MPS

M Voelter, B Kolb, T Szabó, D Ratiu… - Software & Systems …, 2019 - Springer
Abstract Language workbenches are touted as a promising technology to engineer
languages for use in a wide range of domains, from programming to science to business …

Languages of games and play: A systematic map** study

R Van Rozen - ACM Computing Surveys (CSUR), 2020 - dl.acm.org
Digital games are a powerful means for creating enticing, beautiful, educational, and often
highly addictive interactive experiences that impact the lives of billions of players worldwide …

A comprehensive literature review of file carving

R Poisel, S Tjoa - 2013 International conference on availability …, 2013 - ieeexplore.ieee.org
File carving is a recovery technique allowing file recovery without knowledge about
contextual information such as file system metadata. Due to recent advancements in …

Toward live domain-specific languages: From text differencing to adapting models at run time

R van Rozen, T van der Storm - Software & Systems Modeling, 2019 - Springer
Live programming is a style of development characterized by incremental change and
immediate feedback. Instead of long edit-compile cycles, developers modify a running …

Type systems for the masses: Deriving soundness proofs and efficient checkers

S Grewe, S Erdweg, P Wittmann, M Mezini - 2015 ACM International …, 2015 - dl.acm.org
The correct definition and implementation of non-trivial type systems is difficult and requires
expert knowledge, which is not available to developers of domain-specific languages …

[HTML][HTML] Error level analysis technique for identifying jpeg block unique signature for digital forensic analysis

NAN Azhan, RA Ikuesan, SA Razak, VR Kebande - Electronics, 2022 - mdpi.com
The popularity of unique image compression features of image files opens an interesting
research analysis process, given that several digital forensics cases are related to diverse …

[HTML][HTML] Nugget: A digital forensics language

C Stelly, V Roussev - Digital Investigation, 2018 - Elsevier
One of the long-standing conceptual problems in digital forensics is the dichotomy between
the imperative for verifiable and reproducible forensic computations, and the lack of …