On the public citation graph

Software Cost Reduction

https://doi.org/10.1002/0471028959.sof307

0 signed · 73 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/j.1538-7305.1981.tb00304.xopenalex-snapshot

Using Documentation as a Software Design Medium

inferredcites →https://doi.org/10.1007/3-540-45499-3_8openalex-snapshot

Practical Application of Functional and Relational Methods for the Specification and Verification of Safety Critical Software

inferredcites →https://doi.org/10.1007/3-540-46419-0_26openalex-snapshot

Salsa: Combining Constraint Solvers with BDDs for Automatic Invariant Checking

inferredcites →https://doi.org/10.1016/0167-6423(95)96871-jopenalex-snapshot

Functional documents for computer systems

inferredcites →https://doi.org/10.1016/s0167-6423(00)00004-6openalex-snapshot

On a formal semantics of tabular expressions

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

TAME: Using PVS strategies for special-purpose theorem proving

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

The model checker SPIN

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

Experiences using lightweight formal methods for requirements modeling

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

Using abstraction and model checking to detect safety violations in requirements specifications

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

The Core method for real-time requirements

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

Documentation for safety critical software

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

On the Design and Development of Program Families

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

Designing Software for Ease of Extension and Contraction

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

Specifying Software Requirements for Complex Systems: New Techniques and Their Application

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

Abstract requirements specification: A new approach and its application

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

A rational design process: How and why to fake it

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

Automated consistency checking of requirements specifications

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

Automatic generation of state invariants from requirements specifications

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

Specifying the mode logic of a flight guidance system in CoRE and SCR

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

Using TAME to prove invariants of automata models

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

A technique for software module specification with examples

inferredcites →https://doi.org/10.21236/ada465318openalex-snapshot

SCR*: A Toolset for Specifying and Analyzing Requirements

inferredcites →https://doi.org/10.21236/ada465334openalex-snapshot

SCR*: A Toolset for Specifying and Analyzing Software Requirements

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.907openalex-snapshot

The impact of requirements changes on specifications and state machines

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

Testing with model checkers: a survey

inferred← citeshttps://doi.org/10.1007/1-4020-7997-4_7openalex-snapshot

Mastering the Complexity of Reactive Systems - The AutoFocusApproach

inferred← citeshttps://doi.org/10.1007/11563228_16openalex-snapshot

Evolutionary Safety Analysis: Motivations from the Air Traffic Management Domain

inferred← citeshttps://doi.org/10.1007/3-540-36578-8_21openalex-snapshot

Automatic Model Driven Animation of SCR Specifications

inferred← citeshttps://doi.org/10.1007/978-1-4020-6585-9_10openalex-snapshot

Automatic Program Generation from Formal Specifications using APTS

inferred← citeshttps://doi.org/10.1007/978-1-84882-736-3_3openalex-snapshot

The Abstract State Machines Method for High-Level System Design and Analysis

inferred← citeshttps://doi.org/10.1007/978-3-030-32079-9_1openalex-snapshot

A Retrospective Look at the Monitoring and Checking (MaC) Framework

inferred← citeshttps://doi.org/10.1007/978-3-319-74183-3_13openalex-snapshot

An Extended Description of MORPH: A Reference Architecture for Configuration and Behaviour Self-Adaptation

inferred← citeshttps://doi.org/10.1007/978-3-540-30472-2_5openalex-snapshot

A Practice-Oriented Course on the Principles of Computation, Programming, and System Design and Analysis

inferred← citeshttps://doi.org/10.1007/978-3-540-39878-3_13openalex-snapshot

Developing High Assurance Systems: On the Role of Software Tools

inferred← citeshttps://doi.org/10.1007/978-3-642-28891-3_16openalex-snapshot

Temporal Action Language (TAL): A Controlled Language for Consistency Checking of Natural Language Temporal Requirements

inferred← citeshttps://doi.org/10.1007/978-981-97-2285-3_7openalex-snapshot

Specification-Based Inspection

inferred← citeshttps://doi.org/10.1007/s00165-011-0175-6openalex-snapshot

Information gain of black-box testing

inferred← citeshttps://doi.org/10.1007/s00450-011-0203-zopenalex-snapshot

Deriving fault-detection mechanisms from safety requirements

inferred← citeshttps://doi.org/10.1007/s10009-005-0209-6openalex-snapshot

Software tools for safety-critical software development

inferred← citeshttps://doi.org/10.1007/s10515-009-0059-7openalex-snapshot

Finding robust solutions in requirements models

inferred← citeshttps://doi.org/10.1016/j.advengsoft.2009.05.003openalex-snapshot

A document driven methodology for developing a high quality Parallel Mesh Generation Toolbox

inferred← citeshttps://doi.org/10.1016/j.compeleceng.2012.08.008openalex-snapshot

Survey and analysis on Security Requirements Engineering

inferred← citeshttps://doi.org/10.1016/j.entcs.2004.11.004openalex-snapshot

Managing Complexity in Software Development with Formally Based Tools

inferred← citeshttps://doi.org/10.1016/j.entcs.2008.06.019openalex-snapshot

Modular Functional Descriptions

inferred← citeshttps://doi.org/10.1016/j.nucengdes.2011.10.010openalex-snapshot

Analyzing the decision making process of certifying digital control systems of nuclear power plants

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

Capturing emerging complex interactions: Safety analysis in air traffic management

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

Defining the meaning of tabular mathematical expressions

inferred← citeshttps://doi.org/10.1016/j.tcs.2009.06.041openalex-snapshot

An axiom system for sequence-based specification

inferred← citeshttps://doi.org/10.1016/s0065-2458(05)65004-8openalex-snapshot

Verification and Validation and Artificial Intelligence

inferred← citeshttps://doi.org/10.1023/a:1023072104553openalex-snapshot

inferred← citeshttps://doi.org/10.1023/b:pacs.0000004131.54590.fbopenalex-snapshot

The UniTesK Approach to Designing Test Suites

inferred← citeshttps://doi.org/10.1049/ic:20040232openalex-snapshot

Systematically combining specifications of internal and external system behavior using statecharts

inferred← citeshttps://doi.org/10.1080/0035919x.2010.522449openalex-snapshot

Integrated software methodologies – An engineering approach

inferred← citeshttps://doi.org/10.1109/apscc.2008.263openalex-snapshot

Computer-Aided Privacy Requirements Elicitation Technique

inferred← citeshttps://doi.org/10.1109/ase.2011.6100148openalex-snapshot

Toward consistency checking of natural language temporal requirements

inferred← citeshttps://doi.org/10.1109/dasc.2002.1053007openalex-snapshot

Software safety analysis of a flight guidance system

inferred← citeshttps://doi.org/10.1109/dasc.2009.5347443openalex-snapshot

Model-based adaptation of flight-critical systems

inferred← citeshttps://doi.org/10.1109/ecbs.2003.1194810openalex-snapshot

Consistency in model-based development

inferred← citeshttps://doi.org/10.1109/icrtit.2011.5972266openalex-snapshot

A model based security requirements engineering framework applied for online trading system

inferred← citeshttps://doi.org/10.1109/issre.2002.1173208openalex-snapshot

Saturation effects in testing of formal models

inferred← citeshttps://doi.org/10.1109/itcc.2005.132openalex-snapshot

Disciplined methods of software specification: a case study

inferred← citeshttps://doi.org/10.1109/mc.2016.228openalex-snapshot

What Happened to Formal Methods for Security?

inferred← citeshttps://doi.org/10.1109/memcod.2004.1459821openalex-snapshot

Using invariants to optimize fonnal specifications before code synthesis

inferred← citeshttps://doi.org/10.1109/re.2006.61openalex-snapshot

Systematic Development of Requirements Documentation for General Purpose Scientific Computing Software

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

Decomposition-Based Approach for Model-Based Test Generation

inferred← citeshttps://doi.org/10.1142/s0218194016400118openalex-snapshot

An Algorithm for Forward Reduction in Sequence-Based Software Specification

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

User guidance for creating precise and accessible property specifications

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

Variable-specific resolutions for feature interactions

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

Testing, Validation, and Verification of Robotic and Autonomous Systems: A Systematic Review

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

A strategy for efficiently verifying requirements

inferred← citeshttps://doi.org/10.1184/r1/6574109openalex-snapshot

How To Compare the Security Quality Requirements Engineering (SQUARE) Method with Other Methods

inferred← citeshttps://doi.org/10.18419/opus-3015openalex-snapshot

SCR-Spracherweiterung für Enterprise Architect

inferred← citeshttps://doi.org/10.21236/ada464275openalex-snapshot

A Strategy for Efficiently Verifying Requirements Specifications Using Composition and Invariants

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.