On the public citation graph

The impact of requirements changes on specifications and state machines

https://doi.org/10.1002/spe.907
0 signed · 44 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/(sici)1097-024x(199803)28:3<329::aid-spe157>3.0.co;2-hopenalex-snapshot
Sequence-based software specification of deterministic systems
inferredcites →https://doi.org/10.1002/0471028959.sof307openalex-snapshot
Software Cost Reduction
inferredcites →https://doi.org/10.1002/spe.4380251006openalex-snapshot
Software maintenance: An approach to impact analysis of objects change
inferredcites →https://doi.org/10.1007/3-540-08934-9_80openalex-snapshot
Using assertions about traces to write abstract specifications for software modules
inferredcites →https://doi.org/10.1016/0011-684x(85)90108-xopenalex-snapshot
Communicating sequential processes
inferredcites →https://doi.org/10.1016/0096-0551(80)90011-9openalex-snapshot
Introduction to automata theory, languages, and computation
inferredcites →https://doi.org/10.1016/j.entcs.2005.04.008openalex-snapshot
Combining the Box Structure Development Method and CSP for Software Development
inferredcites →https://doi.org/10.1016/j.tcs.2006.01.040openalex-snapshot
Representation of a class of nondeterministic semiautomata by canonical words
inferredcites →https://doi.org/10.1109/2.507640openalex-snapshot
Strategies for managing requirements creep
inferredcites →https://doi.org/10.1109/2.948openalex-snapshot
Stepwise refinement and verification in box-structured systems
inferredcites →https://doi.org/10.1109/32.58785openalex-snapshot
Approximate reasoning about the semantic effects of program changes
inferredcites →https://doi.org/10.1109/32.935852openalex-snapshot
Foundations of the trace assertion method of module interface specification
inferredcites →https://doi.org/10.1109/92.285744openalex-snapshot
Clairvoyant: a synthesis system for production-based specification
inferredcites →https://doi.org/10.1109/apsec.2003.1254357openalex-snapshot
Academia and industry meet: some experiences of formal methods in practice
inferredcites →https://doi.org/10.1109/ecbs.1996.494539openalex-snapshot
Change analysis: a step towards meeting the challenge of changing requirements
inferredcites →https://doi.org/10.1109/ecbs.2001.922419openalex-snapshot
Need-based requirements change management
inferredcites →https://doi.org/10.1109/icre.2000.855597openalex-snapshot
Enhancing requirements and change management through process modelling and measurement
inferredcites →https://doi.org/10.1109/icsm.1996.564987openalex-snapshot
Impact analysis in the software change process: a year 2000 perspective
inferredcites →https://doi.org/10.1109/icsm.2003.1235428openalex-snapshot
Impact analysis and change management of UML models
inferredcites →https://doi.org/10.1109/isre.1993.324847openalex-snapshot
The change and evolution of requirements as a challenge to the practice of software engineering
inferredcites →https://doi.org/10.1109/iwpse.2005.8openalex-snapshot
Change Impact Analysis for Requirement Evolution using Use Case Maps
inferredcites →https://doi.org/10.1109/mc.1987.1663694openalex-snapshot
Improving Software Productivity
inferredcites →https://doi.org/10.1109/sdsoa.2007.11openalex-snapshot
Supporting Change Impact Analysis for Service Oriented Business Applications
inferredcites →https://doi.org/10.1109/tools.2000.868959openalex-snapshot
Algorithmic analysis of the impacts of changes to object-oriented software
inferredcites →https://doi.org/10.1109/tse.2003.1199071openalex-snapshot
Foundations of sequence-based software specification
inferredcites →https://doi.org/10.1109/wpc.2004.1311068openalex-snapshot
Understanding modifications in state-based models
inferredcites →https://doi.org/10.1142/s0129054105003327openalex-snapshot
REPRESENTATION OF SEMIAUTOMATA BY CANONICAL WORDS AND EQUIVALENCES
inferredcites →https://doi.org/10.1142/s0129054107005133openalex-snapshot
REPRESENTATION OF SEMIAUTOMATA BY CANONICAL WORDS AND EQUIVALENCES, PART II: SPECIFICATION OF SOFTWARE MODULES
inferredcites →https://doi.org/10.1145/321239.321249openalex-snapshot
Derivatives of Regular Expressions
inferredcites →https://doi.org/10.1145/360569.360659openalex-snapshot
The new math of computer programming
inferredcites →https://doi.org/10.1145/50087.50089openalex-snapshot
A field study of the software design process for large systems

What points at this work

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

inferred← citeshttps://doi.org/10.1002/spe.2384openalex-snapshot
Automatic builder of class diagram (ABCD): an application of UML generation from functional requirements
inferred← citeshttps://doi.org/10.1007/978-3-642-16111-7_36openalex-snapshot
A Systematic Testing Approach for Autonomous Mobile Robots Using Domain-Specific Languages
inferred← citeshttps://doi.org/10.1007/s10703-013-0185-5openalex-snapshot
Applying string-rewriting to sequence-based specification
inferred← citeshttps://doi.org/10.1016/j.tcs.2009.06.041openalex-snapshot
An axiom system for sequence-based specification
inferred← citeshttps://doi.org/10.1049/iet-sen.2011.0060openalex-snapshot
Model and software tool for automatic generation of user interface based on use case and data model
inferred← citeshttps://doi.org/10.1109/icst.2012.184openalex-snapshot
Managing Evolution by Orchestrating Requirements and Testing Engineering Processes
inferred← citeshttps://doi.org/10.1109/icus52573.2021.9641259openalex-snapshot
The Requirement Traceable Modeling Method and Application of UAV Command System-of-systems Based on SysML
inferred← citeshttps://doi.org/10.1142/s0218194016400118openalex-snapshot
An Algorithm for Forward Reduction in Sequence-Based Software Specification
inferred← citeshttps://doi.org/10.18293/seke2016-192openalex-snapshot
An Algorithm for Forward Reduction in Sequence-Based Software Specification
inferred← citeshttps://doi.org/10.4018/978-1-4666-1580-9.ch007openalex-snapshot
Security Requirements Engineering for Evolving Software Systems
inferred← citeshttps://doi.org/10.4018/978-1-4666-8473-7.ch074openalex-snapshot
Evolution of Security Engineering Artifacts
inferred← citeshttps://doi.org/10.4018/ijsse.2014100103openalex-snapshot
Evolution of Security Engineering Artifacts
inferred← citeshttps://doi.org/10.4018/jsse.2010102004openalex-snapshot
Security Requirements Engineering for Evolving Software Systems
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.