On the public citation graph

Combining object-oriented analysis and formal description techniques

https://doi.org/10.1007/bfb0052191
0 signed · 29 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/978-3-642-61284-8openalex-snapshot
Fundamentals of Algebraic Specification 2
inferredcites →https://doi.org/10.1007/978-3-642-69962-7openalex-snapshot
Fundamentals of Algebraic Specification 1
inferredcites →https://doi.org/10.1007/978-3-642-82921-5_4openalex-snapshot
Notes on Communicating Sequential Systems
inferredcites →https://doi.org/10.1007/bfb0014017openalex-snapshot
Rigorous object-oriented analysis
inferredcites →https://doi.org/10.1016/0169-7552(87)90085-7openalex-snapshot
Introduction to the ISO specification language LOTOS
inferredcites →https://doi.org/10.1016/0950-5849(92)90131-8openalex-snapshot
Eiffel: the language
inferredcites →https://doi.org/10.1016/b978-0-444-89402-1.50037-0openalex-snapshot
Inheritance in LOTOS
inferredcites →https://doi.org/10.1049/sej.1989.0045openalex-snapshot
Specifications are not (necessarily) executable
inferredcites →https://doi.org/10.1049/sej.1992.0033openalex-snapshot
Specifications are (preferably) executable
inferredcites →https://doi.org/10.1145/130994.130996openalex-snapshot
Object behavior analysis

What points at this work

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

inferred← citeshttps://doi.org/10.1007/3-540-45441-1_21openalex-snapshot
Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model
inferred← citeshttps://doi.org/10.1007/978-0-387-35261-9_15openalex-snapshot
Formal user-centred models
inferred← citeshttps://doi.org/10.1007/978-1-4615-0413-9_5openalex-snapshot
A Translation of UML Components into Formal Specifications
inferred← citeshttps://doi.org/10.1007/978-1-4615-5137-9_1openalex-snapshot
Foundations of Object-Oriented Modeling Notations in a Dynamic Logic Framework
inferred← citeshttps://doi.org/10.1007/978-3-540-30101-1_7openalex-snapshot
Consistency Management within Model-Based Object-Oriented Development of Components
inferred← citeshttps://doi.org/10.1007/bfb0014017openalex-snapshot
Rigorous object-oriented analysis
inferred← citeshttps://doi.org/10.1016/0950-5849(95)90929-oopenalex-snapshot
Type safety and behavioural inheritance
inferred← citeshttps://doi.org/10.1016/s0950-5849(99)00064-6openalex-snapshot
MOOV++: modular object-oriented VDM
inferred← citeshttps://doi.org/10.1023/a:1008752609513openalex-snapshot
Formal Specifications of User Requirements
inferred← citeshttps://doi.org/10.1049/sej.1996.0037openalex-snapshot
Adding rigour to object-oriented analysis
inferred← citeshttps://doi.org/10.1109/icfem.2000.873810openalex-snapshot
Formal foundations of object-oriented modeling notations
inferred← citeshttps://doi.org/10.1109/sccc.1998.730792openalex-snapshot
A dynamic logic model for the formal foundation of object-oriented analysis and design
inferred← citeshttps://doi.org/10.1109/step.1997.615465openalex-snapshot
Constructing formal specifications from informal requirements
inferred← citeshttps://doi.org/10.1145/1167253.1167320openalex-snapshot
Object-oriented behavioral testing through trace generation
inferred← citeshttps://doi.org/10.1145/1233341.1233352openalex-snapshot
Analysis goal expression language
inferred← citeshttps://doi.org/10.1145/253228.253238openalex-snapshot
An object-oriented modeling method for algebraic specifications in CafeOBJ
inferred← citeshttps://doi.org/10.1145/503209.503235openalex-snapshot
A methodology for specifying and analyzing consistency of object-oriented behavioral models
inferred← citeshttps://doi.org/10.35537/10915/2251openalex-snapshot
Una teoría dinámica orientada a objetos como fundamento formal para el proceso de desarrollo de software basado en modelos
inferred← citeshttps://doi.org/10.5815/ijitcs.2017.03.02openalex-snapshot
ATAM-based Architecture Evaluation Using LOTOS Formal Method
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.