相关参考文献
注意:仅列出部分参考文献,下载原文获取全部文献信息。Status Quo in Requirements Engineering: A Theory and a Global Family of Surveys
Stefan Wagner et al.
ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY (2019)
Monotone Conformance Checking for Partially Matching Designed and Observed Processes
Artem Polyvyanyy et al.
2019 INTERNATIONAL CONFERENCE ON PROCESS MINING (ICPM 2019) (2019)
Data-Driven Computationally Intensive Theory Development
Nicholas Berente et al.
INFORMATION SYSTEMS RESEARCH (2019)
Scalable process discovery and conformance checking
Sander J. J. Leemans et al.
SOFTWARE AND SYSTEMS MODELING (2018)
Mining Timed Regular Specifications from System Traces
Apurva Narayan et al.
ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS (2018)
Inferring Extended Probabilistic Finite-State Automaton Models from Software Executions
S. S. Emam et al.
ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY (2018)
The imprecisions of precision measures in process mining
Niek Tax et al.
INFORMATION PROCESSING LETTERS (2018)
Incorporating negative information to process discovery of complex systems
Hernan Ponce de Leon et al.
INFORMATION SCIENCES (2018)
Block SS-CAA: A complex moment-based parallel nonlinear eigensolver using the block communication-avoiding Arnoldi procedure
Akira Imakura et al.
PARALLEL COMPUTING (2018)
Inferring and Asserting Distributed System Invariants
Stewart Grant et al.
PROCEEDINGS 2018 IEEE/ACM 40TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE) (2018)
Resolving inconsistencies and redundancies in declarative process models
Claudio Di Ciccio et al.
INFORMATION SYSTEMS (2017)
A comparative study of existing quality measures for process discovery
Gert Janssenswillen et al.
INFORMATION SYSTEMS (2017)
Process querying: Enabling business intelligence through query-based process analytics
Artem Polyvyanyy et al.
DECISION SUPPORT SYSTEMS (2017)
Inferring extended finite state machine models from software executions
Neil Walkinshaw et al.
EMPIRICAL SOFTWARE ENGINEERING (2016)
Agent planning programs
Giuseppe De Giacomo et al.
ARTIFICIAL INTELLIGENCE (2016)
On the expressive power of behavioral profiles
Artem Polyvyanyy et al.
FORMAL ASPECTS OF COMPUTING (2016)
Coverage-Aware Test Database Reduction
Javier Tuya et al.
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING (2016)
COMPREHENSIBLE PREDICTIVE MODELS FOR BUSINESS PROCESSES
Dominic Breuker et al.
MIS QUARTERLY (2016)
A Unified Approach for Measuring Precision and Generalization Based on Anti-alignments
B. F. van Dongen et al.
BUSINESS PROCESS MANAGEMENT, BPM 2016 (2016)
Fusion Miner: Process discovery for mixed-paradigm models
Johannes De Smedt et al.
DECISION SUPPORT SYSTEMS (2015)
Evolution of software in automated production systems: Challenges and research directions
Birgit Vogel-Heuser et al.
JOURNAL OF SYSTEMS AND SOFTWARE (2015)
Querying process models by behavior inclusion
Matthias Kunze et al.
SOFTWARE AND SYSTEMS MODELING (2015)
Measuring precision of modeled behavior
A. Adriansyah et al.
INFORMATION SYSTEMS AND E-BUSINESS MANAGEMENT (2015)
Mining Unit Tests for Discovery and Migration of Math APIs
Anirudh Santhiar et al.
ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY (2014)
Determining Process Model Precision and Generalization with Weighted Artificial Negative Events
Seppe K. L. M. vanden Broucke et al.
IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING (2014)
Quality Dimensions in Process Discovery: The Importance of Fitness, Precision, Generalization and Simplicity
J. C. A. M. Buijs et al.
INTERNATIONAL JOURNAL OF COOPERATIVE INFORMATION SYSTEMS (2014)
Model-driven engineering practices in industry: Social, organizational and managerial factors that lead to success or failure
John Hutchinson et al.
SCIENCE OF COMPUTER PROGRAMMING (2014)
Automated Comparison of State-Based Software Models in Terms of Their Language and Structure
Neil Walkinshaw et al.
ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY (2013)
Trustrace: Mining Software Repositories to Improve the Accuracy of Requirement Traceability Links
Nasir Ali et al.
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING (2013)
Efficient Consistency Measurement Based on Behavioral Profiles of Process Models
Matthias Weidlich et al.
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING (2011)
Process compliance analysis based on behavioural profiles
Matthias Weidlich et al.
INFORMATION SYSTEMS (2011)
A new method for accelerating Arnoldi algorithms for large scale eigenproblems
K. Dookhitram et al.
MATHEMATICS AND COMPUTERS IN SIMULATION (2009)
Static specification mining using automata-based abstractions
Sharon Shoham et al.
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING (2008)
Genetic process mining: an experimental evaluation
A. K. A. de Medeiros et al.
DATA MINING AND KNOWLEDGE DISCOVERY (2007)
Testing methods for X-machines: a review
K Bogdanov et al.
FORMAL ASPECTS OF COMPUTING (2006)
On the entropy of regular languages
T Ceccherini-Silberstein et al.
THEORETICAL COMPUTER SCIENCE (2003)
Conceptualizing and measuring variety in the execution of organizational work processes
BT Pentland
MANAGEMENT SCIENCE (2003)
Implicitly restarted Arnoldi methods and subspace iteration
RB Lehoucq
SIAM JOURNAL ON MATRIX ANALYSIS AND APPLICATIONS (2001)
Refinement of actions and equivalence notions for concurrent systems
R van Glabbeek et al.
ACTA INFORMATICA (2001)