Packet types: abstract specification of network protocol messages
Proceedings of the conference on Applications, Technologies, Architectures, and Protocols for Computer Communication
Domain-specific languages: an annotated bibliography
ACM SIGPLAN Notices
Notable design patterns for domain-specific languages
Journal of Systems and Software
DataScript - A Specification and Scripting Language for Binary Data
GPCE '02 Proceedings of the 1st ACM SIGPLAN/SIGSOFT conference on Generative Programming and Component Engineering
When and how to develop domain-specific languages
ACM Computing Surveys (CSUR)
Feature-based survey of model transformation approaches
IBM Systems Journal - Model-driven software development
PADS/ML: a functional data description language
Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Domain-Specific Modeling
The Definitive ANTLR Reference: Building Domain-Specific Languages
The Definitive ANTLR Reference: Building Domain-Specific Languages
SRDS '07 Proceedings of the 26th IEEE International Symposium on Reliable Distributed Systems
RASCAL: A Domain Specific Language for Source Code Analysis and Manipulation
SCAM '09 Proceedings of the 2009 Ninth IEEE International Working Conference on Source Code Analysis and Manipulation
The next 700 data description languages
Journal of the ACM (JACM)
Domain-Specific Languages in Practice: A User Study on the Success Factors
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Semantics and algorithms for data-dependent grammars
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Parsing Techniques: A Practical Guide
Parsing Techniques: A Practical Guide
Adopting model driven software development in industry: a case study at two companies
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Model-Driven engineering in a large industrial context — motorola case study
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
Carving contiguous and fragmented files with fast object validation
Digital Investigation: The International Journal of Digital Forensics & Incident Response
Digital forensics research: The next 10 years
Digital Investigation: The International Journal of Digital Forensics & Incident Response
Digital Investigation: The International Journal of Digital Forensics & Incident Response
Domain-Specific optimization in digital forensics
ICMT'12 Proceedings of the 5th international conference on Theory and Practice of Model Transformations
Design and evaluation of the ModelHealth toolchain for continuity of care web services
Automated Software Engineering
A case study in evidence-based DSL evolution
ECMFA'13 Proceedings of the 9th European conference on Modelling Foundations and Applications
| Hi-index | 0.00 |
Digital forensics investigations often consist of analyzing large quantities of data. The software tools used for analyzing such data are constantly evolving to cope with a multiplicity of versions and variants of data formats. This process of customization is time consuming and error prone. To improve this situation we present Derric, a domain-specific language (DSL) for declaratively specifying data structures. This way, the specification of structure is separated from data processing. The resulting architecture encourages customization and facilitates reuse. It enables faster development through a division of labour between investigators and software engineers. We have performed an initial evaluation of Derric by constructing a data recovery tool. This so-called carver has been automatically derived from a declarative description of the structure of JPEG files. We compare it to existing carvers, and show it to be in the same league both with respect to recovered evidence, and runtime performance.