On the public citation graph

Constraint-driven development

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

0 signed · 48 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.1007/11576280_5openalex-snapshot

29 New Unclarities in the Semantics of UML 2.0 State Machines

inferredcites →https://doi.org/10.1007/3-540-40006-0_3openalex-snapshot

The Approach: Integrating Object Oriented Design and Formal Verification

inferredcites →https://doi.org/10.1007/3-540-44525-0_2openalex-snapshot

A Formal Mapping between UML Models and Object-Z Specifications

inferredcites →https://doi.org/10.1007/3-540-45739-9_23openalex-snapshot

Model Checking Timed UML State Machines and Collaborations

inferredcites →https://doi.org/10.1007/978-1-4020-2867-0openalex-snapshot

UML-B Specification for Proven Embedded Systems Design

inferredcites →https://doi.org/10.1007/978-1-4612-5983-1openalex-snapshot

The Science of Programming

inferredcites →https://doi.org/10.1007/978-3-540-24756-2_11openalex-snapshot

UML to B: Formal Verification of Object-Oriented Models

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

Objects, associations and subsystems: A hierarchical approach to encapsulation

inferredcites →https://doi.org/10.1016/b978-0-7506-6496-7.x5000-7openalex-snapshot

Advanced Systems Design with Java, UML and MDA

inferredcites →https://doi.org/10.1016/b978-075066496-7/50007-9openalex-snapshot

Internet system design

inferredcites →https://doi.org/10.1016/j.entcs.2005.04.028openalex-snapshot

Refinement Patterns for UML

inferredcites →https://doi.org/10.1023/a:1008697817793openalex-snapshot

Model Checking Complete Requirements Specifications Using Abstraction

inferredcites →https://doi.org/10.1093/logcom/8.5.679openalex-snapshot

Logical specification of reactive and real-time systems

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

KIDS: a semiautomatic program development system

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

Formal Specification using Interaction Diagrams

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

Proposed NIST standard for role-based access control

inferredcites →https://doi.org/10.3166/objet.9.4.53-73openalex-snapshot

RSDS, a Subset of UML with Precise Semantics

inferredcites →https://doi.org/10.5381/jot.2002.1.2.a1openalex-snapshot

Debugging UML Designs with Model Checking.

inferredcites →https://doi.org/10.5381/jot.2002.1.4.c4openalex-snapshot

The Theory of Classification, Part 3: Object Encoding and Recursion.

inferredcites →https://doi.org/10.5381/jot.2007.6.9.a2openalex-snapshot

Direct Semantics of Extended State Machines.

inferredcites →https://doi.org/10.5860/choice.34-3906openalex-snapshot

The B-book: assigning programs to meanings

What points at this work

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

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

UML 2 Semantics and Applications

inferred← citeshttps://doi.org/10.1002/9780470522622.ch12openalex-snapshot

Verification of UML Models

inferred← citeshttps://doi.org/10.1002/9780470522622.ch14openalex-snapshot

Model Transformation Specification and Verification

inferred← citeshttps://doi.org/10.1002/9780470522622.ch2openalex-snapshot

The Role of Semantics

inferred← citeshttps://doi.org/10.1002/9780470522622.ch6openalex-snapshot

Axiomatic Semantics of UML Class Diagrams

inferred← citeshttps://doi.org/10.1002/9780470522622.ch8openalex-snapshot

Axiomatic Semantics of State Machines

inferred← citeshttps://doi.org/10.1007/978-3-030-89159-6_23openalex-snapshot

The Future of Programming andModelling: A Vision

inferred← citeshttps://doi.org/10.1007/978-3-642-16129-2_17openalex-snapshot

Slicing of UML Models Using Model Transformations

inferred← citeshttps://doi.org/10.1007/978-3-642-16265-7_15openalex-snapshot

Specification and Verification of Model Transformations Using UML-RSDS

inferred← citeshttps://doi.org/10.1007/978-3-642-29320-7_4openalex-snapshot

A Model-Based Development Approach for Model Transformations

inferred← citeshttps://doi.org/10.1007/978-3-642-32943-2_4openalex-snapshot

Correctness of Object Oriented Models by Extended Type Inference

inferred← citeshttps://doi.org/10.1007/s10270-019-00736-xopenalex-snapshot

Maintaining consistency in networks of models: bidirectional transformations in the large

inferred← citeshttps://doi.org/10.1016/j.ins.2010.06.024openalex-snapshot

Formal behavior modeling and effective automatic refinement

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

CollabRDL: A language to coordinate collaborative reuse

inferred← citeshttps://doi.org/10.1016/j.scico.2013.10.009openalex-snapshot

A survey and comparison of transformation tools based on the transformation tool contest

inferred← citeshttps://doi.org/10.1051/matecconf/20165407002openalex-snapshot

Variability based Approach for Minimizing over Design and under Design

inferred← citeshttps://doi.org/10.1109/csicsse.2011.5964000openalex-snapshot

Integrating goal-oriented measurement for evaluation of model transformation

inferred← citeshttps://doi.org/10.1109/icst.2010.31openalex-snapshot

Specification of UML Model Transformations

inferred← citeshttps://doi.org/10.1109/iiai-aai.2013.23openalex-snapshot

Releasing the Power of Variability: Towards Constraint Driven Quality Assurance

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

Bidirectional Transformations in the Large

inferred← citeshttps://doi.org/10.14257/ijunesst.2015.8.11.24openalex-snapshot

Towards Expression and Evaluation of Design Deviation

inferred← citeshttps://doi.org/10.4204/eptcs.74.6openalex-snapshot

Solving the TTC 2011 Model Migration Case with UML-RSDS

inferred← citeshttps://doi.org/10.5220/0001683700420049openalex-snapshot

SEMANTICS AND REFINEMENT OF BEHAVIOR STATE MACHINES

inferred← citeshttps://doi.org/10.5220/0002913202590262openalex-snapshot

SLICING OF UML MODELS

inferred← citeshttps://doi.org/10.5381/jot.2007.6.9.a2openalex-snapshot

Direct Semantics of Extended State Machines.

inferred← citeshttps://doi.org/10.5381/jot.2011.10.1.a11openalex-snapshot

Slicing Techniques for UML Models.

inferred← citeshttps://doi.org/10.70675/e9fd22b6z1f6ez4f33z9c87z6a66250031dcopenalex-snapshot

Environnement d'assistance au développement de transformations de graphes correctes

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.