On the public citation graph

Formal analysis of the Shlaer-Mellor method: Towards a toolkit of formal and informal requirements specification techniques

https://doi.org/10.1007/bf01235905
0 signed · 47 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.1096-9942.1995.tb00006.xopenalex-snapshot
Using Dynamic Classes and Role Classes to Model Object Migration
inferredcites →https://doi.org/10.1002/j.1096-9942.1995.tb00011.xopenalex-snapshot
Object Identifiers, Keys, and Surrogates: Object Identifiers Revisited
inferredcites →https://doi.org/10.1007/3-540-15670-4_19openalex-snapshot
The ESTEREL synchronous programming language and its mathematical semantics
inferredcites →https://doi.org/10.1007/3-540-55015-1_23openalex-snapshot
A formalization of objects using equational dynamic logic
inferredcites →https://doi.org/10.1007/3-540-61292-0_13openalex-snapshot
Guidelines for formalizing Fusion object-oriented analysis models
inferredcites →https://doi.org/10.1007/978-1-4471-2107-7openalex-snapshot
Notations for Software Design
inferredcites →https://doi.org/10.1007/978-3-322-94709-3openalex-snapshot
Algebraische Spezifikation abstrakter Datentypen
inferredcites →https://doi.org/10.1007/978-3-642-51136-3_5openalex-snapshot
Combining Troll with the Object Modeling Technique
inferredcites →https://doi.org/10.1007/978-3-642-59412-0_18openalex-snapshot
The Entity Relationship Model — Toward a Unified View of Data
inferredcites →https://doi.org/10.1007/978-3-642-82453-1_17openalex-snapshot
On the Development of Reactive Systems
inferredcites →https://doi.org/10.1007/bf01556356openalex-snapshot
Actors, actions, and initiative in normative system specification
inferredcites →https://doi.org/10.1007/bfb0017625openalex-snapshot
Software design methods for concurrent and real-time systems
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/0167-6423(87)90035-9openalex-snapshot
Statecharts: a visual formalism for complex systems
inferredcites →https://doi.org/10.1016/0304-3975(92)90302-vopenalex-snapshot
Order-sorted algebra I: equational deduction for multiple inheritance, overloading, exceptions and partial operations
inferredcites →https://doi.org/10.1016/0378-4754(81)90068-9openalex-snapshot
Introduction to automata theory, languages and computation
inferredcites →https://doi.org/10.1016/0950-5849(92)90126-aopenalex-snapshot
Object-oriented software engineering: a use case driven approach
inferredcites →https://doi.org/10.1017/cbo9780511624223openalex-snapshot
A Practical Handbook for Software Development
inferredcites →https://doi.org/10.1049/ic:19951142openalex-snapshot
Life-cycle models for developing current and future client/server software: procedural centric vs. data centric (object-oriented) approach
inferredcites →https://doi.org/10.1057/jors.1981.229openalex-snapshot
Design Methods: Seeds of Human Futures
inferredcites →https://doi.org/10.1093/comjnl/35.5.460openalex-snapshot
Introduction to Algebraic Specification. Part 1: Formal Methods for Software Development
inferredcites →https://doi.org/10.1093/comjnl/38.1.17openalex-snapshot
Combining Static and Dynamic Modelling Methods: A Comparison of Four Methods
inferredcites →https://doi.org/10.1093/logcom/5.1.27openalex-snapshot
Axiomatization, Declarative Semantics and Operational Semantics of Passive and Active Updates in Logic Databases
inferredcites →https://doi.org/10.1109/32.469459openalex-snapshot
A formal semantics for object model diagrams
inferredcites →https://doi.org/10.1109/tse.1986.6312937openalex-snapshot
Object-oriented development
inferredcites →https://doi.org/10.1145/117954.117968openalex-snapshot
Coherent models for object-oriented analysis
inferredcites →https://doi.org/10.1145/118014.117968openalex-snapshot
Coherent models for object-oriented analysis
inferredcites →https://doi.org/10.1145/197530.197634openalex-snapshot
From structured analysis to formal specifications
inferredcites →https://doi.org/10.1145/226163.226166openalex-snapshot
TROLL
inferredcites →https://doi.org/10.1145/320434.320440openalex-snapshot
The entity-relationship model—toward a unified view of data
inferredcites →https://doi.org/10.1145/320544.320546openalex-snapshot
Database abstractions
inferredcites →https://doi.org/10.1145/359605.359620openalex-snapshot
Database abstractions
inferredcites →https://doi.org/10.1145/71633.71639openalex-snapshot
An object-oriented approach to domain analysis
inferredcites →https://doi.org/10.1201/9781420043037.ch29openalex-snapshot
Object-Oriented Analysis
inferredcites →https://doi.org/10.1305/ndjfl/1093637776openalex-snapshot
A different approach to deontic logic: deontic logic viewed as a variant of dynamic logic.
inferredcites →https://doi.org/10.5555/9794.9797openalex-snapshot
Object-oriented development
inferredcites →https://doi.org/10.5860/choice.29-5729openalex-snapshot
Object-oriented systems analysis: a model-driven approach

What points at this work

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

inferred← citeshttps://doi.org/10.1002/0471028959.sof332openalex-snapshot
Software Tools
inferred← citeshttps://doi.org/10.1007/11787044_10openalex-snapshot
Dynamic Logic Semantics for UML Consistency
inferred← citeshttps://doi.org/10.1016/j.jides.2015.11.001openalex-snapshot
A pattern-based method for refining and formalizing informal specifications in critical control systems
inferred← citeshttps://doi.org/10.1109/issre.2000.885885openalex-snapshot
Can intuition become rigorous? Foundations for UML model verification tools
inferred← citeshttps://doi.org/10.1109/pdse.1997.596835openalex-snapshot
Formalizing a design technique for distributed programs
inferred← citeshttps://doi.org/10.1109/rev.2006.5openalex-snapshot
Validating Requirements Engineering Process Improvements - A Case Study
inferred← citeshttps://doi.org/10.1145/299917.299919openalex-snapshot
A survey of structured and object-oriented software specification methods and techniques
inferred← citeshttps://doi.org/10.25911/5d7a2ca14572aopenalex-snapshot
The Meaning of UML Models
inferred← citeshttps://doi.org/10.3390/hydrogen6020024openalex-snapshot
Comprehensive Study on Hydrogen Production for Sustainable Transportation Planning: Strategic, Techno-Economic, and Environmental Impacts
inferred← citeshttps://doi.org/10.7321/jscse.v2.n8.2openalex-snapshot
A Formal Framework for the Formalization of Informal Requirements
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.