On the public citation graph

A design theory for software engineering

https://doi.org/10.1016/j.infsof.2017.01.010

0 signed · 96 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/047001363xopenalex-snapshot

A First Course in Stochastic Models

inferredcites →https://doi.org/10.1006/ijhc.1999.0290openalex-snapshot

Allocation of function: scenarios, context and the economics of effort

inferredcites →https://doi.org/10.1007/3-540-55610-9_167openalex-snapshot

The box calculus: A new causal algebra with multi-label communication

inferredcites →https://doi.org/10.1007/3-540-57318-6_23openalex-snapshot

An extended duration calculus for hybrid real-time systems

inferredcites →https://doi.org/10.1007/978-1-84800-100-8_3openalex-snapshot

Safety Process Improvement with POSE and Alloy

inferredcites →https://doi.org/10.1007/978-3-540-71289-3_30openalex-snapshot

Towards Normal Design for Safety-Critical Systems

inferredcites →https://doi.org/10.1007/978-3-642-84420-1_9openalex-snapshot

Modeling the Design Process

inferredcites →https://doi.org/10.1007/978-94-010-1829-6openalex-snapshot

Topics in the Philosophy of Biology

inferredcites →https://doi.org/10.1007/978-94-010-3142-4_18openalex-snapshot

Articulation of Parts Explanation in Biology and the Rational Search for them

inferredcites →https://doi.org/10.1007/978-94-015-8788-4openalex-snapshot

The Complexity of Creativity

inferredcites →https://doi.org/10.1007/978-94-015-8788-4_8openalex-snapshot

On Creativity in Reasoning

inferredcites →https://doi.org/10.1007/b138130openalex-snapshot

Discrete, Continuous, and Hybrid Petri Nets

inferredcites →https://doi.org/10.1007/bf01213535openalex-snapshot

A tactic calculus — abridged version

inferredcites →https://doi.org/10.1007/s00163-008-0043-4openalex-snapshot

C-K design theory: an advanced formulation

inferredcites →https://doi.org/10.1007/s001639870001openalex-snapshot

Axiomatic Design Theory for Systems

inferredcites →https://doi.org/10.1007/s10270-004-0062-1openalex-snapshot

Problem frame semantics for software development

inferredcites →https://doi.org/10.1007/s10270-011-0223-yopenalex-snapshot

Design rationale capture for process improvement in the globalised enterprise: an industrial study

inferredcites →https://doi.org/10.1007/s11334-011-0171-2openalex-snapshot

Software engineering as the design theoretic transformation of software problems

inferredcites →https://doi.org/10.1016/0004-3702(80)90011-9openalex-snapshot

Circumscription—A form of non-monotonic reasoning

inferredcites →https://doi.org/10.1016/0020-0190(91)90122-xopenalex-snapshot

A calculus of durations

inferredcites →https://doi.org/10.1016/0141-9331(86)90196-1openalex-snapshot

Communicating sequential processes

inferredcites →https://doi.org/10.1016/0167-6423(90)90076-popenalex-snapshot

Communication and concurrency

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

Theory-oriented software engineering

inferredcites →https://doi.org/10.1016/s0049-237x(08)x7039-9openalex-snapshot

The Collected Papers of Gerhard Gentzen

inferredcites →https://doi.org/10.1016/s0304-3975(99)00171-1openalex-snapshot

Cut-elimination for a logic with definitions and induction

inferredcites →https://doi.org/10.1049/cp:20070449openalex-snapshot

Safety process improvement: early analysis and justification

inferredcites →https://doi.org/10.1086/341857openalex-snapshot

Rethinking Mechanistic Explanation

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

Single event upset at ground level

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

A Problem-Oriented Theory of Pattern-Oriented Analysis and Design

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

The Structure of Design Theories, and an Analysis of their Use in Software Engineering Experiments

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

Uncovering theories in software engineering

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

Forming theories of practices for software engineering

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

Possible core theories for software engineering

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

Generating a useful theory of software engineering

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

Towards a Design-Theoretic Characterisation of Software Development Process Models

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

Exploring Theory of Cognition for General Theory of Software Engineering

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

2013 2nd SEMAT Workshop on a General Theory of Software Engineering (GTSE)

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

Goal-Oriented Patterns for UML-Based Modeling of Embedded Systems Requirements

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

Designing an Online Part-Time Master of Philosophy with Problem Oriented Engineering

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

A reference model for requirements engineering

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

4th SEMAT Workshop on General Theory of Software Engineering (GTSE 2015)

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

ISO/IEC/IEEE Systems and software engineering -- Architecture description

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

The synchronous languages 12 years later

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

The theory of hybrid automata

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

Iterative and incremental developments. a brief history

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

Turning software into a service

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

Beauty in software engineering

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

Fault-Tolerant Microprocessor-Based Systems

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

Where's the Theory for Software Engineering?

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

Architecture-driven problem decomposition

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

13th IEEE International Conference on Requirements Engineering (RE'05)

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

Problem Oriented Software Engineering: Solving the Package Router Control Problem

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

Changing the paradigm of software engineering

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

Progressing problems from requirements to specifications in problem frames

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

Design science as nested problem solving

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

Four dark corners of requirements engineering

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

Practical trigger-action programming in the smart home

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

Proceedings of the 3rd SEMAT Workshop on General Theories of Software Engineering

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

Towards middle-range usable design theories for software engineering

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

System of systems software architecture description using the ISO/IEC/IEEE 42010 standard

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

Little-JIL/Juliette

inferredcites →https://doi.org/10.1177/001872088502700104openalex-snapshot

The Allocation of Functions in Systems

inferredcites →https://doi.org/10.21954/ou.ro.0000ed63openalex-snapshot

Problem Oriented Engineering for Software Safety

inferredcites →https://doi.org/10.21954/ou.ro.00016081openalex-snapshot

POELog: a Prolog-based engine for Problem Oriented Engineering

inferredcites →https://doi.org/10.2307/2102968openalex-snapshot

The Semantic Conception of Truth: and the Foundations of Semantics

inferredcites →https://doi.org/10.2307/2393788openalex-snapshot

What Theory is Not

inferredcites →https://doi.org/10.2307/25148742openalex-snapshot

The Nature of Theory in Information Systems1

inferredcites →https://doi.org/10.2307/2785233openalex-snapshot

The Research Center for Group Dynamics at Massachusetts Institute of Technology

inferredcites →https://doi.org/10.2307/40180865openalex-snapshot

The Conduct of Inquiry

inferredcites →https://doi.org/10.2307/748528openalex-snapshot

The Psychology of Mathematical Abilities in Schoolchildren

inferredcites →https://doi.org/10.4018/978-1-61520-623-0.ch005openalex-snapshot

The Global Knot

inferredcites →https://doi.org/10.4018/978-1-87828-991-9.ch048openalex-snapshot

Problem Frames for Sociotechnical Systems

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

Developing and evaluating software engineering process theories

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

The unending quest for valid, useful software engineering theories

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

A cookbook for using the model-view controller user interface paradigm in Smalltalk-80

inferredcites →https://doi.org/10.7551/mitpress/12274.003.0035openalex-snapshot

Managing the Development of Large Software Systems (1970)

What points at this work

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

inferred← citeshttps://doi.org/10.1002/smr.2346openalex-snapshot

Security risks in cyber physical systems—A systematic mapping study

inferred← citeshttps://doi.org/10.1002/sres.2533openalex-snapshot

POE‐Δ: Towards an engineering framework for solving change problems

inferred← citeshttps://doi.org/10.1007/978-3-031-94544-1_1openalex-snapshot

Core Theories in Agile Software Development

inferred← citeshttps://doi.org/10.1007/978-3-032-17618-9_36openalex-snapshot

Threats to Validity of Process Mining Research

inferred← citeshttps://doi.org/10.1007/978-3-032-27879-1_1openalex-snapshot

Empirical Research on Petri Nets

inferred← citeshttps://doi.org/10.1016/j.jss.2022.111592openalex-snapshot

Investigating acceptance behavior in software engineering—Theoretical perspectives

inferred← citeshttps://doi.org/10.1016/j.ress.2016.11.016openalex-snapshot

Safety engineering with COTS components

inferred← citeshttps://doi.org/10.1109/iri.2017.65openalex-snapshot

A Phenomenal Basis for Hybrid Modelling

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

A Taxonomy of Contextual Factors in Continuous Integration Processes

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

Parameterising a theory of software problem solving

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

Research on Vehicle Control System Based on Speech Recognition Technology

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

State of Research Based on Essence (A Systematic Mapping Study)

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

Methodology of Algorithm Engineering

inferred← citeshttps://doi.org/10.1371/journal.pdig.0000722openalex-snapshot

Addressing technology-mediated stigma in sexual health-related digital platforms: Insights from design team members

inferred← citeshttps://doi.org/10.18489/sacj.v32i2.898openalex-snapshot

Invited Lecture: Notions of 'Theory' and their Practical Consequences in the Discipline of Software 'Engineering' (including Information Systems Design)

inferred← citeshttps://doi.org/10.22545/2022/00177openalex-snapshot

Aligning Software Engineering and Artificial Intelligence with Transdisciplinary

inferred← citeshttps://doi.org/10.3990/1.9789036557580openalex-snapshot

Systematic modelling of embedded systems: managing non-formal aspects

inferred← citeshttps://doi.org/10.4018/ijcac.2022010110openalex-snapshot

A Metaphoric Design of Electronic Medical Record (EMR) for Periodic Health Examination Reports

inferred← citeshttps://doi.org/10.48550/arxiv.2107.10675openalex-snapshot

Theory and Practice of Algorithm Engineering

inferred← citeshttps://doi.org/10.5772/acrt.2022035openalex-snapshot

Artificial Intelligence Theories: Application to CommonKAD Methodology

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.