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
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...
    Datensatz exportieren als...
  • BibTeX
Hagenberg Business Process Modelling Method
1, 2016
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
How to Select the Suitable Formal Method for an Industrial Application: A Survey
Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016, p.213-228
2016
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
A Rigorous Semantics for BPMN 2.0 Process Diagrams
2014, 2014
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Evaluating the suitability of state‐based formal methods for industrial deployment
Software, practice & experience, 2018-12, Vol.48 (12), p.2350-2379
2018
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
ML-PipeDebugger: A Debugging Tool for Data Processing Pipelines
Database and Expert Systems Applications, 2019, Vol.11707, p.263-272
2019
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Landing Gear System: An ASM-Based Solution for the ABZ Case Study
ABZ 2014: The Landing Gear Case Study, 2014, Vol.433, p.142-147
2014
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Deontic BPMN: a powerful extension of BPMN with a trusted model transformation
Software and systems modeling, 2015-05, Vol.14 (2), p.765-793
2015
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Improving the Understandability of Formal Specifications: An Experience Report
Requirements Engineering: Foundation for Software Quality, 2014, p.184-199
2014
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Model-Driven Re-engineering of a Pressure Sensing System: An Experience Report
Modelling Foundations and Applications, 2018, Vol.10890, p.264-278
2018
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
A Rigorous Semantics for BPMN 2. 0 Process Diagrams
1, 2015
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
A Formal Description of the ITIL Change Management Process Using Abstract State Machines
2012 23rd International Workshop on Database and Expert Systems Applications, 2012, p.65-69
2012
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Graceful Integration of Process Capability Improvement, Formal Modeling and Web Technology for Traceability
Systems, Software and Services Process Improvement, 2017, Vol.748, p.381-398
2017
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Business Process Model and Notation: 4th International Workshop, BPMN 2012, Vienna, Austria, September 12-13, 2012, Proceedings
1, 2012
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Horizontal Business Process Model Integration
Transactions on Large-Scale Data- and Knowledge-Centered Systems XVIII, 2015, Vol.8980, p.30-52
2015
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Event-Based Gateways: Open Questions and Inconsistencies
Business Process Model and Notation, 2012, p.53-67
2012
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
A Practical Approach for Process Mining in Production Processes
Innovations in Enterprise Information Systems Management and Engineering, 2017, Vol.285, p.87-95
2017
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
User System Interaction Within Theorema  Extended Abstract
Electronic notes in theoretical computer science, 1999, Vol.23 (3), p.387-400
1999
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Formal Specification of the eP2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${eP^2}$$\end{document} Architecture
Hagenberg Business Process Modelling Method, 2016, p.179-249
2016
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
An Enhanced Communication Concept
Hagenberg Business Process Modelling Method, 2016, p.117-145
2016
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Summary and Outlook
Hagenberg Business Process Modelling Method, 2016, p.251-255
2016
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Introduction
Hagenberg Business Process Modelling Method, 2016, p.1-13
2016
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Deontic Process Diagrams
Hagenberg Business Process Modelling Method, 2016, p.15-62
2016
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
A Typed Approach to User Interaction Modelling
Hagenberg Business Process Modelling Method, 2016, p.85-116
2016
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Horizontal Model Integration
Hagenberg Business Process Modelling Method, 2016, p.147-178
2016
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
A Layered Approach for Actor Modelling
Hagenberg Business Process Modelling Method, 2016, p.63-84
2016
Volltextzugriff (PDF)
1 – 25 von 44
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen