On the public citation graph
How Understandable Are Pattern-based Behavioral Constraints for Novice Software Designers?
0 signed · 67 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/11596141_7openalex-snapshot
Pattern-Based Specification and Validation of Web Services Interaction Properties
inferredcites →https://doi.org/10.1007/11837862_18openalex-snapshot
A Declarative Approach for Flexible Business Processes Management
inferredcites →https://doi.org/10.1007/11841197_1openalex-snapshot
DecSerFlow: Towards a Truly Declarative Service Flow Language
inferredcites →https://doi.org/10.1007/11912873_18openalex-snapshot
Pattern Based Property Specification and Verification for Service Composition
inferredcites →https://doi.org/10.1007/978-3-319-07869-4_17openalex-snapshot
Investigating Differences between Graphical and Textual Declarative Process Models
inferredcites →https://doi.org/10.1007/978-3-319-09195-2_4openalex-snapshot
OCLR: A More Expressive, Pattern-Based Temporal Extension of OCL
inferredcites →https://doi.org/10.1007/978-3-319-39696-5_6openalex-snapshot
Improving Understandability of Declarative Process Models by Revealing Hidden Dependencies
inferredcites →https://doi.org/10.1007/978-3-642-00255-7_5openalex-snapshot
Property Specifications for Workflow Modelling
inferredcites →https://doi.org/10.1007/978-3-642-02144-2_37openalex-snapshot
The Declarative Approach to Business Process Execution: An Empirical Test
inferredcites →https://doi.org/10.1007/978-3-642-14538-4openalex-snapshot
Specification and Verification of Declarative Open Interaction Models : A Logic-Based Approach
inferredcites →https://doi.org/10.1007/978-3-642-29860-8_11openalex-snapshot
Runtime Verification of LTL-Based Declarative Process Models
inferredcites →https://doi.org/10.1007/978-3-642-38484-4_2openalex-snapshot
Making Sense of Declarative Process Models: Common Strategies and Typical Pitfalls
inferredcites →https://doi.org/10.1007/978-3-642-40355-2_15openalex-snapshot
Beautiful Workflows: A Matter of Taste?
inferredcites →https://doi.org/10.1007/s00766-011-0145-9openalex-snapshot
Automotive behavioral requirements expressed in a specification pattern system: a case study at BOSCH
inferredcites →https://doi.org/10.1007/s00766-014-0210-2openalex-snapshot
Exploring cognitive style and task-specific preferences for process representations
inferredcites →https://doi.org/10.1007/s10270-013-0323-yopenalex-snapshot
Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation
inferredcites →https://doi.org/10.1007/s10270-013-0356-2openalex-snapshot
Investigating expressiveness and understandability of hierarchy in declarative business process models
inferredcites →https://doi.org/10.1007/s10270-013-0366-0openalex-snapshot
Model checking LTL properties over ANSI-C programs with bounded traces
inferredcites →https://doi.org/10.1007/s10270-014-0395-3openalex-snapshot
Formalizing and appling compliance patterns for business process compliance
inferredcites →https://doi.org/10.1007/s10664-012-9208-xopenalex-snapshot
Do background colors improve program comprehension in the #ifdef hell?
inferredcites →https://doi.org/10.1007/s10664-016-9437-5openalex-snapshot
Robust Statistical Methods for Empirical Software Engineering
inferredcites →https://doi.org/10.1016/j.cosrev.2010.06.002openalex-snapshot
Linear Temporal Logic Symbolic Model Checking
inferredcites →https://doi.org/10.1016/j.eswa.2015.07.040openalex-snapshot
Declarative process mining in healthcare
inferredcites →https://doi.org/10.1016/j.jvlc.2010.11.002openalex-snapshot
Visually specifying compliance rules and explaining their violations for business processes
inferredcites →https://doi.org/10.1037//0033-2909.114.3.494openalex-snapshot
Dominance statistics: Ordinal analyses to answer ordinal questions.
inferredcites →https://doi.org/10.1037/h0043158openalex-snapshot
The magical number seven, plus or minus two: Some limits on our capacity for processing information.
inferredcites →https://doi.org/10.1080/17517575.2013.830340openalex-snapshot
Declarative business process modelling: principles and modelling languages
inferredcites →https://doi.org/10.1093/logcom/exn075openalex-snapshot
Comparing LTL Semantics for Runtime Verification
inferredcites →https://doi.org/10.1109/edocw.2016.7584380openalex-snapshot
Ontology-Based Behavioral Constraint Authoring
inferredcites →https://doi.org/10.1109/esem.2011.25openalex-snapshot
Experimental Analysis of Textual and Graphical Representations for Software Architecture Design
inferredcites →https://doi.org/10.1109/fose.2007.17openalex-snapshot
Research Directions in Requirements Engineering
inferredcites →https://doi.org/10.1109/icsa.2017.10openalex-snapshot
On the Understandability of Semantic Constraints for Behavioral Software Architecture Compliance: A Controlled Experiment
inferredcites →https://doi.org/10.1109/tse.2002.1027796openalex-snapshot
Preliminary guidelines for empirical research in software engineering
inferredcites →https://doi.org/10.1109/tsmca.2010.2087017openalex-snapshot
A Study Into the Factors That Influence the Understandability of Business Process Models
inferredcites →https://doi.org/10.1111/j.1467-985x.2010.00676_9.xopenalex-snapshot
ggplot2: Elegant Graphics for Data Analysis
inferredcites →https://doi.org/10.1111/j.1600-0587.2013.00205.xopenalex-snapshot
Where is positional uncertainty a problem for species distribution modelling?
inferredcites →https://doi.org/10.1111/j.2517-6161.1995.tb02031.xopenalex-snapshot
Controlling the False Discovery Rate: A Practical and Powerful Approach to Multiple Testing
inferredcites →https://doi.org/10.1145/143062openalex-snapshot
0897915046/International Conference on Software Engineering
inferredcites →https://doi.org/10.1145/2000799.2000800openalex-snapshot
Runtime Verification for LTL and TLTL
inferredcites →https://doi.org/10.1145/2542182.2542199openalex-snapshot
Monitoring business constraints with the event calculus
inferredcites →https://doi.org/10.1145/298595.298598openalex-snapshot
Property specification patterns for finite-state verification
inferredcites →https://doi.org/10.1145/3019612.3019827openalex-snapshot
Runtime verification of LTL on lossy traces
inferredcites →https://doi.org/10.1145/302405.302672openalex-snapshot
Patterns in property specifications for finite-state verification
inferredcites →https://doi.org/10.1177/0049124113509605openalex-snapshot
Choosing the Number of Categories in Agree–Disagree Scales
inferredcites →https://doi.org/10.1177/1049732305276687openalex-snapshot
Three Approaches to Qualitative Content Analysis
inferredcites →https://doi.org/10.18637/jss.v057.i05openalex-snapshot
Design of Diverging Stacked Bar Charts for Likert Scales and Other Applications
inferredcites →https://doi.org/10.32614/cran.package.psychopenalex-snapshot
psych: Procedures for Psychological, Psychometric, and Personality Research
inferredcites →https://doi.org/10.5281/zenodo.3228045openalex-snapshot
On the Understandability of Temporal Properties Formalized in Linear Temporal Logic, Property Specification Patterns and Event Processing Language
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.2139/ssrn.4777776openalex-extracted
On the Understandability of Machine Learning Practices in Deep Learning and Reinforcement Learning Based Systems
inferred← citeshttps://doi.org/10.1007/978-3-030-64694-3_2openalex-snapshot
Safety Patterns for SysML: What Does OMG Specify?
inferred← citeshttps://doi.org/10.1007/978-3-032-10794-7_22openalex-snapshot
Auto-Generating Visual Editors for Formal Logics with Blockly
inferred← citeshttps://doi.org/10.1007/s10664-024-10601-1openalex-snapshot
Understanding security tactics in microservice APIs using annotated software architecture decomposition models – a controlled experiment
inferred← citeshttps://doi.org/10.1016/j.jss.2025.112343openalex-snapshot
On the understandability of machine learning practices in deep learning and reinforcement learning based systems
inferred← citeshttps://doi.org/10.1016/j.jss.2025.112637openalex-snapshot
Modeling the composition of analysis components and automatic constraint checking for semantic soundness
inferred← citeshttps://doi.org/10.1108/jeim-11-2020-0478openalex-snapshot
How novice analysts understand supply chain process models: an experimental study of using diagrams and texts
inferred← citeshttps://doi.org/10.1109/icse-nier58687.2023.00009openalex-snapshot
Anti-Patterns (Smells) in Temporal Specifications
inferred← citeshttps://doi.org/10.1109/models-c59198.2023.00071openalex-snapshot
Specifying Temporal Properties in UML Using Patterns: A Tool-Supported Approach
inferred← citeshttps://doi.org/10.1109/tse.2022.3176725openalex-snapshot
Construct Validity in Software Engineering
inferred← citeshttps://doi.org/10.1109/tse.2024.3367488openalex-snapshot
On the Understandability of MLOps System Architectures
inferred← citeshttps://doi.org/10.1109/vissoft52517.2021.00016openalex-snapshot
TransVis: Using Visualizations and Chatbots for Supporting Transient Behavior in Microservice Systems
inferred← citeshttps://doi.org/10.1145/3691630openalex-snapshot
On the Understandability of Design-Level Security Practices in Infrastructure-as-Code Scripts and Deployment Architectures
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.