Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
Open Access
    Datensatz exportieren als...
  • BibTeX
On the Termination of Borrow Checking in Featherweight Rust
NASA Formal Methods, p.411-430
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Formal and Executable Semantics of the Ethereum Virtual Machine in Dafny
Formal Methods, p.571-583
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Towards User-Friendly Projectional Editors
Software Language Engineering, p.41-61
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
A Metamodel Family for Role-Based Modeling and Programming Languages
Software Language Engineering, p.141-160
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
ProMoBox: A Framework for Generating Domain-Specific Property Languages
Software Language Engineering, p.1-20
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
The Moldable Debugger: A Framework for Developing Domain-Specific Debuggers
Software Language Engineering, p.102-121
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Eco: A Language Composition Editor
Software Language Engineering, p.82-101
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
An Introduction to Software Verification with Whiley
Engineering Trustworthy Software Systems, 2019, Vol.11430, p.1-37
2019
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Unifying and Generalizing Relations in Role-Based Data Modeling and Navigation
Software Language Engineering, p.241-260
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
JPure: A Modular Purity System for Java
Compiler Construction, p.104-123
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Model Checking of CTL-Extended OCL Specifications
Software Language Engineering, p.221-240
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
GILK: A Dynamic Instrumentation Tool for the Linux Kernel
Computer Performance Evaluation: Modelling Techniques and Tools, 2002, Vol.2324, p.220-226
2002
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Test-Data Generation for Xtext: Tool Paper
Software Language Engineering, p.342-351
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Automating Optimized Table-with-Polynomial Function Evaluation for FPGAs
Field Programmable Logic and Application, 2004, p.364-373
2004
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Simple, Efficient, Sound and Complete Combinator Parsing for All Context-Free Grammars, Using an Oracle
Software Language Engineering, p.261-281
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Respect Your Parents: How Attribution and Rewriting Can Get Along
Software Language Engineering, p.191-210
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Evaluating the Usability of a Visual Feature Modeling Notation
Software Language Engineering, p.122-140
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
A SAT-Based Debugging Tool for State Machines and Sequence Diagrams
Software Language Engineering, p.21-40
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Streamlining Control Flow Graph Construction with DCFlow
Software Language Engineering, p.322-341
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Making Whiley Boogie
Integrated Formal Methods, p.69-84
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Origin Tracking in Attribute Grammars
Software Language Engineering, p.282-301
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Dynamic Scope Discovery for Model Transformations
Software Language Engineering, p.302-321
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Monto: A Disintegrated Development Environment
Software Language Engineering, p.211-220
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Bounded Seas: Island Parsing Without Shipwrecks
Software Language Engineering, p.62-81
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Reflections on Verifying Software with Whiley
Formal Techniques for Safety-Critical Systems, 2014, Vol.419, p.142-159
2014
Volltextzugriff (PDF)
1 – 25 von 74
Suche als RSS-Feed
Aktive Filter
KollektionJSTOR All Journals
KollektionSpringerLink (Online service)
PublikationsformBuchkapitel
Suchergebnisse filtern
Filter anzeigen