On the public citation graph

Describing, structuring and implementing objects

https://doi.org/10.1007/bfb0019447

0 signed · 86 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/3-540-12727-5_24openalex-snapshot

Structured theories in LCF

inferredcites →https://doi.org/10.1007/3-540-15199-0_14openalex-snapshot

A theory of abstract data types for program development: Bridging the gap?

inferredcites →https://doi.org/10.1007/3-540-50325-0_3openalex-snapshot

Structuring theories on consequence

inferredcites →https://doi.org/10.1007/3-540-50345-5_10openalex-snapshot

Abstract object types for databases

inferredcites →https://doi.org/10.1007/3-540-51803-7_30openalex-snapshot

The prescription and description of state based systems

inferredcites →https://doi.org/10.1007/3-540-51803-7_33openalex-snapshot

Abstract object types: A temporal perspective

inferredcites →https://doi.org/10.1007/3-540-52559-9_67openalex-snapshot

Algebraic implementation of objects over objects

inferredcites →https://doi.org/10.1007/978-1-4757-0555-3_18openalex-snapshot

A Categorical Approach to General Systems

inferredcites →https://doi.org/10.1007/978-3-0346-0145-0_26openalex-snapshot

Introducing Institutions

inferredcites →https://doi.org/10.1007/978-3-642-69962-7openalex-snapshot

Fundamentals of Algebraic Specification 1

inferredcites →https://doi.org/10.1007/bf00289507openalex-snapshot

Proof of correctness of data representations

inferredcites →https://doi.org/10.1007/bf00291052openalex-snapshot

Specification and verification of database dynamics

inferredcites →https://doi.org/10.1016/0141-9331(87)90465-0openalex-snapshot

The specification of computer programs

inferredcites →https://doi.org/10.1016/0169-023x(89)90038-4openalex-snapshot

Specifying dynamic and deontic integrity constraints

inferredcites →https://doi.org/10.1016/0306-4379(80)90009-5openalex-snapshot

Temporal aspects of logical procedure definition

inferredcites →https://doi.org/10.1016/0306-4379(86)90023-2openalex-snapshot

The INFOLOG linear tense propositional logic of events and transactions

inferredcites →https://doi.org/10.1016/c2009-0-22107-6openalex-snapshot

A Mathematical Introduction to Logic

inferredcites →https://doi.org/10.1017/s0960129500000050openalex-snapshot

A categorical manifesto

inferredcites →https://doi.org/10.1093/logcom/1.2.187openalex-snapshot

Logics of Modal Terms for Systems Specification

inferredcites →https://doi.org/10.1093/logcom/1.3.357openalex-snapshot

Temporal Reasoning over Deontic Specifications

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

Semantical consideration on floyo-hoare logic

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

The temporal logic of programs

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.21236/ada106750openalex-snapshot

Verification of Concurrent Programs. Part I. The Temporal Framework,

inferredcites →https://doi.org/10.2307/2273958openalex-snapshot

Vaughan R. Pratt. Semantical considerations on Floyd–Hoare logic. 17th Annual Symposium on Foundations of Computer Science, Institute of Electrical and Electronics Engineers, New York1976, pp. 109–121. - Michael J. Fischer and Richard E. Ladner. Propositional dynamic logic of regular programs.…

inferredcites →https://doi.org/10.5555/800054.802014openalex-snapshot

On what exactly is going on when software is developed step-by-step

What points at this work

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

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

UML 2 Semantics and Applications

inferred← citeshttps://doi.org/10.1007/11750321_57openalex-snapshot

Object-Oriented Specification Composition and Refinement Via Category Theoretic Computations

inferred← citeshttps://doi.org/10.1007/3-540-36103-0_11openalex-snapshot

Three-Tiered Specification of Micro-architectures

inferred← citeshttps://doi.org/10.1007/3-540-47884-1_4openalex-snapshot

From Implicit Specifications to Explicit Designs in Reactive System Development

inferred← citeshttps://doi.org/10.1007/3-540-47910-4_23openalex-snapshot

O-O Requirements Analysis: an Agent Perspective

inferred← citeshttps://doi.org/10.1007/3-540-53982-4_20openalex-snapshot

Object-based concurrency : A process calculus analysis

inferred← citeshttps://doi.org/10.1007/3-540-54345-7_53openalex-snapshot

Abstract dynamic data types: A temporal logic approach

inferred← citeshttps://doi.org/10.1007/3-540-54415-1_65openalex-snapshot

Sharing actions and attributes in modal action logic

inferred← citeshttps://doi.org/10.1007/3-540-54496-8_13openalex-snapshot

Entities: An institution for dynamic systems

inferred← citeshttps://doi.org/10.1007/3-540-55015-1_22openalex-snapshot

Semantics of inheritance In logical object specifications

inferred← citeshttps://doi.org/10.1007/3-540-55808-x_42openalex-snapshot

On the nature of events

inferred← citeshttps://doi.org/10.1007/3-540-56379-2_34openalex-snapshot

Objects and their specification

inferred← citeshttps://doi.org/10.1007/3-540-56379-2_43openalex-snapshot

Process semantics of temporal logic specification

inferred← citeshttps://doi.org/10.1007/3-540-56777-1_14openalex-snapshot

Elicitating and formalising requirements for C.I.M. information systems

inferred← citeshttps://doi.org/10.1007/3-540-63533-5_8openalex-snapshot

Design of reactive control systems for event-driven operations

inferred← citeshttps://doi.org/10.1007/3-540-64299-4_35openalex-snapshot

Specifying with defaults: Compositional semantics

inferred← citeshttps://doi.org/10.1007/3-540-69687-3_33openalex-snapshot

Formalising Object-Oriented Models in the Object Calculus

inferred← citeshttps://doi.org/10.1007/3540539816_61openalex-snapshot

Formal specification of object systems

inferred← citeshttps://doi.org/10.1007/978-0-387-35563-4_14openalex-snapshot

A Framework for Describing Software Architectures for Reuse

inferred← citeshttps://doi.org/10.1007/978-0-85729-707-5_6openalex-snapshot

Simulation Environment

inferred← citeshttps://doi.org/10.1007/978-1-4471-3227-1_32openalex-snapshot

Modal Action Logic in a Practical Specification Language

inferred← citeshttps://doi.org/10.1007/978-3-319-10882-7_19openalex-snapshot

A Heterogeneous Characterisation of Component-Based System Design in a Categorical Setting

inferred← citeshttps://doi.org/10.1007/978-3-642-14808-8_21openalex-snapshot

Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting

inferred← citeshttps://doi.org/10.1007/978-3-642-77312-9_1openalex-snapshot

Concepts of Object—Orientation

inferred← citeshttps://doi.org/10.1007/bf01212304openalex-snapshot

Temporal theories as modularisation units for concurrent system specification

inferred← citeshttps://doi.org/10.1007/bf01531261openalex-snapshot

Towards specifying norms

inferred← citeshttps://doi.org/10.1007/bfb0014429openalex-snapshot

Transactions in object-oriented specifications

inferred← citeshttps://doi.org/10.1007/bfb0014433openalex-snapshot

Institutions for behaviour specification

inferred← citeshttps://doi.org/10.1007/bfb0019445openalex-snapshot

A categorial theory of objects as observed processes

inferred← citeshttps://doi.org/10.1007/bfb0024642openalex-snapshot

A metalanguage for the formal requirement specification of reactive systems

inferred← citeshttps://doi.org/10.1007/bfb0027290openalex-snapshot

Integrating VDM++ and real-time system design

inferred← citeshttps://doi.org/10.1007/bfb0035140openalex-snapshot

Elaborating, structuring and expressing formal requirements of composite systems

inferred← citeshttps://doi.org/10.1007/bfb0053385openalex-snapshot

Objects, associations and subsystems: A hierarchical approach to encapsulation

inferred← citeshttps://doi.org/10.1007/s10270-007-0064-xopenalex-snapshot

A compositional semantics of UML-RSDS

inferred← citeshttps://doi.org/10.1007/s10270-007-0068-6openalex-snapshot

Redesign of UML class diagrams: a formal approach

inferred← citeshttps://doi.org/10.1007/s11334-013-0201-3openalex-snapshot

Reusing models and properties in the analysis of similar interactive devices

inferred← citeshttps://doi.org/10.1016/0020-0190(93)90141-uopenalex-snapshot

Models for the substitution axiom of UNITY logic

inferred← citeshttps://doi.org/10.1016/0164-1212(93)90013-nopenalex-snapshot

On the notion of object

inferred← citeshttps://doi.org/10.1016/0169-023x(91)90025-sopenalex-snapshot

Towards object-oriented conceptual modeling

inferred← citeshttps://doi.org/10.1016/b978-0-444-89402-1.50024-2openalex-snapshot

Dynamic Configuration in LOTOS

inferred← citeshttps://doi.org/10.1016/s0967-0661(99)00138-0openalex-snapshot

Experiences of using formal methods for chemical process control specification

inferred← citeshttps://doi.org/10.1017/s0960129500001067openalex-snapshot

Mirror, mirror in my hand: a duality between specifications and models of process behaviour

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

Mapping Procedural Patterns to Object-Oriented Design Patterns

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

Object Calculus and the Object-Oriented Analysis and Design of an Error-Sensitive GIS

inferred← citeshttps://doi.org/10.1049/sej.1991.0028openalex-snapshot

Software engineering, the software process and their support

inferred← citeshttps://doi.org/10.1080/00207169508804409openalex-snapshot

An algebraic approach to formalization of object-orientation*

inferred← citeshttps://doi.org/10.1080/00207543.2012.701773openalex-snapshot

Decision model to support the SMEs’ decision to participate or leave a collaborative network

inferred← citeshttps://doi.org/10.1093/comjnl/43.6.451openalex-snapshot

A Semantic Comparison of Fusion and Syntropy

inferred← citeshttps://doi.org/10.1109/ftdcs.1992.217518openalex-snapshot

Distributed system specification using CO-OPN

inferred← citeshttps://doi.org/10.1109/hicss.1994.323448openalex-snapshot

ALBERT: an agent-oriented language for building and eliciting requirements for real-time systems

inferred← citeshttps://doi.org/10.1109/isre.1993.324823openalex-snapshot

Defaults in specifications

inferred← citeshttps://doi.org/10.1109/iwrsp.1992.243915openalex-snapshot

Producing prototypes from CO-OPN specifications

inferred← citeshttps://doi.org/10.1109/iwssd.1996.501156openalex-snapshot

Software package requirements and procurement

inferred← citeshttps://doi.org/10.1109/step.1997.615521openalex-snapshot

Reeingineering legacy applications using design patterns

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

A logical theory of interfaces and objects

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

The representation of policies as system objects

inferred← citeshttps://doi.org/10.14236/ewic/fa1996.11openalex-snapshot

FORMALISING DESIGN PATTERNS

inferred← citeshttps://doi.org/10.14236/ewic/fm1997.8openalex-snapshot

A Formal Approach to Design Patterns in Re-engineering

inferred← citeshttps://doi.org/10.14236/ewic/iwfm2001.4openalex-snapshot

Observation and Abstract Behaviour in Specification and Implementation of State-based Systems

inferred← citeshttps://doi.org/10.1533/9781782420613.17openalex-snapshot

Design Patterns and their Role in Formal Object-oriented Development

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.