On the public citation graph

Managing Design-Time Uncertainty

https://doi.org/10.1109/models.2017.24

0 signed · 63 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.

Claim with ORCID

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.

See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1002/smr.316openalex-snapshot

Formalizing refactorings with graph transformations

inferredcites →https://doi.org/10.1007/11691372_29openalex-snapshot

PRISM: A Tool for Automatic Verification of Probabilistic Systems

inferredcites →https://doi.org/10.1007/11763864_45openalex-snapshot

Designing Software Product Lines with UML 2.0: From Use Cases to Pattern-Based Software Architectures

inferredcites →https://doi.org/10.1007/11768869_14openalex-snapshot

KM3: A DSL for Metamodel Specification

inferredcites →https://doi.org/10.1007/3-540-28901-1openalex-snapshot

Software Product Line Engineering : Foundations, Principles, and Techniques

inferredcites →https://doi.org/10.1007/3-540-56689-9_43openalex-snapshot

A concept of hierarchical Petri nets with building blocks

inferredcites →https://doi.org/10.1007/978-3-319-10157-6_3openalex-snapshot

The Agile Manifesto

inferredcites →https://doi.org/10.1007/978-3-319-21155-8_7openalex-snapshot

Migrating Automotive Product Lines: A Case Study

inferredcites →https://doi.org/10.1007/978-3-540-28630-1_17openalex-snapshot

Staged Configuration Using Feature Models

inferredcites →https://doi.org/10.1007/978-3-540-30494-4_20openalex-snapshot

Memory Efficient All-Solutions SAT Solver and Its Application for Reachability Analysis

inferredcites →https://doi.org/10.1007/978-3-540-45221-8_28openalex-snapshot

Using Description Logic to Maintain Consistency between UML Models

inferredcites →https://doi.org/10.1007/978-3-540-47919-2_10openalex-snapshot

Coloured Petri Nets

inferredcites →https://doi.org/10.1007/978-3-540-71998-4_7openalex-snapshot

Incremental Resolution of Model Inconsistencies

inferredcites →https://doi.org/10.1007/978-3-642-21292-5_3openalex-snapshot

An Approach for Effective Design Space Exploration

inferredcites →https://doi.org/10.1007/978-3-642-28872-2_16openalex-snapshot

Language Independent Refinement Using Partial Modeling

inferredcites →https://doi.org/10.1007/978-3-642-35813-5_9openalex-snapshot

Uncertainty in Self-Adaptive Software Systems

inferredcites →https://doi.org/10.1007/978-3-642-36654-3_2openalex-snapshot

A Survey of Feature Location Techniques

inferredcites →https://doi.org/10.1007/978-3-642-41533-3_41openalex-snapshot

Transformation of Models Containing Uncertainty

inferredcites →https://doi.org/10.1016/j.jss.2009.05.052openalex-snapshot

Identifying some important success factors in adopting agile software development practices

inferredcites →https://doi.org/10.1016/j.scico.2009.02.007openalex-snapshot

Comparison and evaluation of code clone detection techniques and tools: A qualitative approach

inferredcites →https://doi.org/10.1109/12.675716openalex-snapshot

A prioritized Petri net model and its application in distributed multimedia systems

inferredcites →https://doi.org/10.1109/5.24143openalex-snapshot

Petri nets: Properties, analysis and applications

inferredcites →https://doi.org/10.1109/eurmic.2003.1231600openalex-snapshot

A flyweight UML modelling tool for software development in heterogeneous environments

inferredcites →https://doi.org/10.1109/icecs.2006.379694openalex-snapshot

A UML-based Environment for System Design Space Exploration

inferredcites →https://doi.org/10.1109/icse.2015.226openalex-snapshot

MU-MMINT: An IDE for Model Uncertainty

inferredcites →https://doi.org/10.1109/models.2017.3openalex-snapshot

Software Product Lines with Design Choices: Reasoning about Variability and Design Uncertainty

inferredcites →https://doi.org/10.1109/seaa.2010.40openalex-snapshot

Exploring the Sources of Waste in Kanban Software Development Projects

inferredcites →https://doi.org/10.1109/seams.2012.6224396openalex-snapshot

A taxonomy of uncertainty for dynamically adaptive systems

inferredcites →https://doi.org/10.1109/tc.1982.1676110openalex-snapshot

Performance Analysis Using Stochastic Petri Nets

inferredcites →https://doi.org/10.1109/tse.2009.67openalex-snapshot

The “Physics” of Notations: Toward a Scientific Basis for Constructing Visual Notations in Software Engineering

inferredcites →https://doi.org/10.1145/1060710.1060712openalex-snapshot

Challenges of migrating to agile methodologies

inferredcites →https://doi.org/10.1145/1164394.1164418openalex-snapshot

Can distributed software development be agile?

inferredcites →https://doi.org/10.1145/1595696.1595731openalex-snapshot

Insights from expert software design practice

inferredcites →https://doi.org/10.1145/1806799.1806850openalex-snapshot

Model checking lots of systems

inferredcites →https://doi.org/10.1145/1858996.1859003openalex-snapshot

Software design sketching with calico

inferredcites →https://doi.org/10.1145/1995376.1995394openalex-snapshot

Satisfiability modulo theories

inferredcites →https://doi.org/10.1145/2076450.2076469openalex-snapshot

Programming by optimization

inferredcites →https://doi.org/10.1145/2095654.2095656openalex-snapshot

Partial models

inferredcites →https://doi.org/10.1145/2211616.2211617openalex-snapshot

Type checking annotation-based product lines

inferredcites →https://doi.org/10.1145/2377816.2377817openalex-snapshot

Toward variability-aware testing

inferredcites →https://doi.org/10.1145/2568225.2568267openalex-snapshot

Lifting model transformations to product lines

inferredcites →https://doi.org/10.1145/2577080.2577091openalex-snapshot

Systematic derivation of static analyses for software product lines

inferredcites →https://doi.org/10.1145/2593822.2593823openalex-snapshot

Using developer conversations to resolve uncertainty in software development: a position paper

inferredcites →https://doi.org/10.1145/2663340openalex-snapshot

Colored Petri nets

inferredcites →https://doi.org/10.1145/390016.808439openalex-snapshot

The Mythical Man-Month

inferredcites →https://doi.org/10.1145/979743.979773openalex-snapshot

Review of "Lean software development

inferredcites →https://doi.org/10.5555/1926458.1926464openalex-snapshot

MDE-based approach for generalizing design space exploration

inferredcites →https://doi.org/10.5555/1926458.1926471openalex-snapshot

Henshin: advanced concepts and tools for in-place EMF model transformations

inferredcites →https://doi.org/10.5555/2337223.2337290openalex-snapshot

Partial models: towards modeling and reasoning with uncertainty

inferredcites →https://doi.org/10.5555/2662737.2662740openalex-snapshot

MAV-Vis: a notation for model uncertainty

inferredcites →https://doi.org/10.5555/2666795.2666812openalex-snapshot

A taxonomy of uncertainty for dynamically adaptive systems

inferredcites →https://doi.org/10.5555/2819009.2819138openalex-snapshot

FlexiSketch Team: collaborative sketching and notation creation on the fly

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1007/978-3-030-16722-6_1openalex-snapshot

Software Assurance in an Uncertain World

inferred← citeshttps://doi.org/10.1007/978-3-030-30690-8_12openalex-snapshot

Union Models: Support for Efficient Reasoning About Model Families Over Space and Time

inferred← citeshttps://doi.org/10.1007/978-3-031-15116-3_14openalex-snapshot

Architectural Optimization for Confidentiality Under Structural Uncertainty

inferred← citeshttps://doi.org/10.1007/978-3-319-40530-8_6openalex-snapshot

A Tool Environment for Managing Families of Model Transformation Rules

inferred← citeshttps://doi.org/10.1109/icssp.2019.00011openalex-snapshot

Towards a Knowledge Warehouse and Expert System for the Automation of SDLC Tasks

inferred← citeshttps://doi.org/10.1109/models-c.2019.00077openalex-snapshot

Towards Reasoning About Product Lines with Design Choices

inferred← citeshttps://doi.org/10.1109/models.2017.25openalex-snapshot

Heuristic-Based Recommendation for Metamodel — OCL Coevolution

inferred← citeshttps://doi.org/10.1109/models.2017.3openalex-snapshot

Software Product Lines with Design Choices: Reasoning about Variability and Design Uncertainty

inferred← citeshttps://doi.org/10.1109/tse.2020.3008850openalex-snapshot

Execution of Partial State Machine Models

inferred← citeshttps://doi.org/10.1145/3270112.3275339openalex-snapshot

Tolerant consistency management in model-driven engineering

inferred← citeshttps://doi.org/10.5381/jot.2021.20.3.a3openalex-snapshot

Towards a Generic Method for Articulating Design-time Uncertainty.

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.