On the public citation graph
Rigorous object-oriented analysis
0 signed · 99 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.
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.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1002/spe.4380101209openalex-snapshot
A case study in rapid prototyping
inferredcites →https://doi.org/10.1007/3-540-10235-3openalex-snapshot
A Calculus of Communicating Systems
inferredcites →https://doi.org/10.1007/3-540-47910-4_23openalex-snapshot
O-O Requirements Analysis: an Agent Perspective
inferredcites →https://doi.org/10.1007/3-540-51722-7_9openalex-snapshot
Objects, object types, and object identification
inferredcites →https://doi.org/10.1007/3-540-56379-2_34openalex-snapshot
Objects and their specification
inferredcites →https://doi.org/10.1007/3-540-56610-4_79openalex-snapshot
A theory of requirements capture and its applications
inferredcites →https://doi.org/10.1007/3-540-57208-2_12openalex-snapshot
A pi-calculus semantics for an object-based design notation
inferredcites →https://doi.org/10.1007/978-1-4471-3071-0_3openalex-snapshot
LOTOS in the Object-Oriented Analysis Process
inferredcites →https://doi.org/10.1007/978-3-642-48354-7_5openalex-snapshot
Software Engineering Economics
inferredcites →https://doi.org/10.1007/978-3-642-59412-0_33openalex-snapshot
Structured Analysis and System Specification
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-69796-8_1openalex-snapshot
A Systematic Look at Prototyping
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/bf00283332openalex-snapshot
The complexity of reachability in distributed communicating processes
inferredcites →https://doi.org/10.1007/bfb0019440openalex-snapshot
Designing an object-oriented programming language with behavioural subtyping
inferredcites →https://doi.org/10.1007/bfb0019444openalex-snapshot
Object-oriented specification in LOTOS and Z, or my cat really is object-oriented!
inferredcites →https://doi.org/10.1007/bfb0019445openalex-snapshot
A categorial theory of objects as observed processes
inferredcites →https://doi.org/10.1007/bfb0024639openalex-snapshot
The integration of LOTOS with an object oriented development method
inferredcites →https://doi.org/10.1007/bfb0039717openalex-snapshot
A formal approach to requirements engineering
inferredcites →https://doi.org/10.1007/bfb0052191openalex-snapshot
Combining object-oriented analysis and formal description techniques
inferredcites →https://doi.org/10.1007/bfb0052192openalex-snapshot
A specification language for object-oriented analysis and design
inferredcites →https://doi.org/10.1007/bfb0053030openalex-snapshot
Aggregation in a behavior oriented object model
inferredcites →https://doi.org/10.1016/0140-3664(92)90128-2openalex-snapshot
Use of LOTOS in the formal development of an OSI protocol
inferredcites →https://doi.org/10.1016/0164-1212(93)90080-hopenalex-snapshot
Large project experiences with object-oriented methods and reuse
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(87)90014-0openalex-snapshot
Software prototyping — progress and prospects
inferredcites →https://doi.org/10.1016/0950-5849(89)90049-9openalex-snapshot
Incremental development: review of nonmonolithic life-cycle development models
inferredcites →https://doi.org/10.1016/b978-0-444-89402-1.50037-0openalex-snapshot
Inheritance in LOTOS
inferredcites →https://doi.org/10.1037/0033-295x.101.2.343openalex-snapshot
The magical number seven, plus or minus two: Some limits on our capacity for processing information.
inferredcites →https://doi.org/10.1049/sej.1989.0045openalex-snapshot
Specifications are not (necessarily) executable
inferredcites →https://doi.org/10.1049/sej.1990.0020openalex-snapshot
The design and development of embedded Ada systems
inferredcites →https://doi.org/10.1049/sej.1992.0033openalex-snapshot
Specifications are (preferably) executable
inferredcites →https://doi.org/10.1049/sej.1992.0034openalex-snapshot
Application and benefits of formal methods in software development
inferredcites →https://doi.org/10.1049/sej.1993.0029openalex-snapshot
A formal specification for a hierarchy of collections
inferredcites →https://doi.org/10.1109/2.161278openalex-snapshot
Object-oriented and conventional analysis and design methodologies
inferredcites →https://doi.org/10.1109/2.59openalex-snapshot
A spiral model of software development and enhancement
inferredcites →https://doi.org/10.1109/52.156899openalex-snapshot
Operational prototyping: a new development approach
inferredcites →https://doi.org/10.1109/52.23134openalex-snapshot
How to integrate object orientation with structured analysis and design
inferredcites →https://doi.org/10.1109/cmpsac.1988.17162openalex-snapshot
Early and not-so-early prototyping-rationale and tool support
inferredcites →https://doi.org/10.1109/mc.1983.1654237openalex-snapshot
Software Technology in the 1990's: Using a New Paradigm
inferredcites →https://doi.org/10.1109/mc.1985.1662826openalex-snapshot
Object-Based Computing and the Ada Programming Language
inferredcites →https://doi.org/10.1109/tse.1975.6312870openalex-snapshot
Iterative enhancement: A practical technique for software development
inferredcites →https://doi.org/10.1109/tse.1984.5010238openalex-snapshot
Prototyping Versus Specifying: A Multiproject Experiment
inferredcites →https://doi.org/10.1142/9789812831163_0011openalex-snapshot
AN ANIMATOR FOR THE OBJECT SPECIFICATION LANGUAGE TROLL light
inferredcites →https://doi.org/10.1145/1005959.1005964openalex-snapshot
The impact of rapid prototyping on specifying user requirements
inferredcites →https://doi.org/10.1145/1006258.1006261openalex-snapshot
Operational specification as the basis for rapid prototyping
inferredcites →https://doi.org/10.1145/1006258.1006266openalex-snapshot
Rapid prototyping using executable requirements specifications
inferredcites →https://doi.org/10.1145/122012.122013openalex-snapshot
Structured analysis and object-oriented development are not compatible
inferredcites →https://doi.org/10.1145/122025.122026openalex-snapshot
Structured analysis and object-oriented design are compatible
inferredcites →https://doi.org/10.1145/122215.122218openalex-snapshot
An ada object-based analysis and design approach
inferredcites →https://doi.org/10.1145/131736.131751openalex-snapshot
OBSERV—a prototyping language and environment
inferredcites →https://doi.org/10.1145/165854.165897openalex-snapshot
On the purpose of object-oriented analysis
inferredcites →https://doi.org/10.1145/165854.165925openalex-snapshot
Impacts of object-oriented technologies
inferredcites →https://doi.org/10.1145/165854.165929openalex-snapshot
Roles for composite objects in object-oriented analysis and design
inferredcites →https://doi.org/10.1145/167049.167072openalex-snapshot
A framework for programming and formalizing concurrent objects
inferredcites →https://doi.org/10.1145/2166.357215openalex-snapshot
Guardians and Actions: Linguistic Support for Robust, Distributed Programs
inferredcites →https://doi.org/10.1145/358557.358572openalex-snapshot
On the inevitable intertwining of specification and implementation
inferredcites →https://doi.org/10.1145/361598.361623openalex-snapshot
On the criteria to be used in decomposing systems into modules
inferredcites →https://doi.org/10.1145/365813.365819openalex-snapshot
SIMULA: an ALGOL-based simulation language
inferredcites →https://doi.org/10.1145/381963.382021openalex-snapshot
Object oriented requirements analysis in an Ada project
inferredcites →https://doi.org/10.1145/38765.38818openalex-snapshot
Composite object support in an object-oriented database system
inferredcites →https://doi.org/10.1145/38765.38823openalex-snapshot
Dimensions of object-based language design
inferredcites →https://doi.org/10.1145/62058.62060openalex-snapshot
Type theories and object-oriented programmimg
inferredcites →https://doi.org/10.1145/69610.357982openalex-snapshot
The operational versus the conventional approach to software development
inferredcites →https://doi.org/10.1145/71633.71639openalex-snapshot
An object-oriented approach to domain analysis
inferredcites →https://doi.org/10.1145/74261.74291openalex-snapshot
The object-oriented software development method: a practical approach to object-oriented development
inferredcites →https://doi.org/10.1145/74587.74595openalex-snapshot
An algebraic data type specification language and its rapid prototyping environment
inferredcites →https://doi.org/10.1145/988175.988177openalex-snapshot
How object-oriented is your system?
inferredcites →https://doi.org/10.25405/ncl.34123362openalex-snapshot
Software Development: A Rigorous Approach
inferredcites →https://doi.org/10.5555/41765.41799openalex-snapshot
Production of large computer programs
inferredcites →https://doi.org/10.5555/41765.41801openalex-snapshot
Managing the development of large software systems: concepts and techniques
inferredcites →https://doi.org/10.5555/800078.802542openalex-snapshot
Executable requirements for embedded systems
inferredcites →https://doi.org/10.5555/800078.802546openalex-snapshot
Prototyping as a tool in the specification of user requirements
inferredcites →https://doi.org/10.5860/choice.29-2152openalex-snapshot
Object-oriented languages, systems and applications
inferredcites →https://doi.org/10.5860/choice.33-5142openalex-snapshot
The mythical man-month: essays on software engineering
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-63114-3_16openalex-snapshot
Towards an integration of syntactic constructs and structural features for formalised object-oriented methods
inferred← citeshttps://doi.org/10.1007/978-0-387-35261-9_15openalex-snapshot
Formal user-centred models
inferred← citeshttps://doi.org/10.1007/bfb0052191openalex-snapshot
Combining object-oriented analysis and formal description techniques
inferred← citeshttps://doi.org/10.1016/s0096-0551(01)00014-5openalex-snapshot
Object-oriented modelling and specification using SHE
inferred← citeshttps://doi.org/10.1049/sej.1996.0037openalex-snapshot
Adding rigour to object-oriented analysis
inferred← citeshttps://doi.org/10.1109/32.798324openalex-snapshot
BDL: a specialized language for per-object reactive control
inferred← citeshttps://doi.org/10.1109/eurmic.1998.711790openalex-snapshot
System level modelling for hardware/software systems
inferred← citeshttps://doi.org/10.1109/step.1997.615465openalex-snapshot
Constructing formal specifications from informal requirements
inferred← citeshttps://doi.org/10.1109/tools.1999.796474openalex-snapshot
Extending formal specification to object-oriented models through level-view structured schemas
inferred← citeshttps://doi.org/10.20868/upm.thesis.1056openalex-snapshot
Método formal de modelización conceptual para sistemas software
inferred← citeshttps://doi.org/10.5753/sbes.1993.24408openalex-snapshot
Os Métodos Formais na Análise de Orientação por Objectos
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.