On the public citation graph

Elaborating, structuring and expressing formal requirements of composite systems

https://doi.org/10.1007/bfb0035140
0 signed · 35 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-51803-7_33openalex-snapshot
Abstract object types: A temporal perspective
inferredcites →https://doi.org/10.1007/3-540-53912-3_16openalex-snapshot
Formalizing informal requirements some aspects
inferredcites →https://doi.org/10.1007/3540539816_61openalex-snapshot
Formal specification of object systems
inferredcites →https://doi.org/10.1007/978-3-642-61284-8_4openalex-snapshot
Basic Operations on Module Specifications
inferredcites →https://doi.org/10.1007/bfb0019447openalex-snapshot
Describing, structuring and implementing objects
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)90020-7openalex-snapshot
A requirements modeling language and its logic
inferredcites →https://doi.org/10.1016/0950-7051(93)90027-qopenalex-snapshot
From natural language processing to logic for expert systems
inferredcites →https://doi.org/10.1109/32.21745openalex-snapshot
Constructing specifications by combining parallel elaborations
inferredcites →https://doi.org/10.1109/32.75413openalex-snapshot
The Requirements Apprentice: automated assistance for requirements acquisition
inferredcites →https://doi.org/10.1109/icse.1988.93723openalex-snapshot
Deriving specification from requirements
inferredcites →https://doi.org/10.1109/tse.1977.229897openalex-snapshot
Editor's Notice
inferredcites →https://doi.org/10.1109/tse.1977.229899openalex-snapshot
Structured Analysis for Requirements Definition
inferredcites →https://doi.org/10.1109/tse.1977.229902openalex-snapshot
PSL/PSA: A Computer-Aided Technique for Structured Documentation and Analysis of Information Processing Systems
inferredcites →https://doi.org/10.1109/tse.1977.233838openalex-snapshot
A Requirements Engineering Methodology for Real-Time Processing Requirements
inferredcites →https://doi.org/10.1145/102675.102676openalex-snapshot
Telos: representing knowledge about information systems
inferredcites →https://doi.org/10.1145/22719.22947openalex-snapshot
Language support for the specification and development of composite systems
inferredcites →https://doi.org/10.1145/75199.75228openalex-snapshot
Multiparty specification
inferredcites →https://doi.org/10.1145/75199.75231openalex-snapshot
The requirements apprentice: an initial scenario
inferredcites →https://doi.org/10.1145/75200.75228openalex-snapshot
Multiparty specification
inferredcites →https://doi.org/10.5555/952786.952818openalex-snapshot
A model for composite system design

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-26661-5_2openalex-snapshot
Properties of Information Modeling Techniques for Information Systems Engineering
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-56777-1_14openalex-snapshot
Elicitating and formalising requirements for C.I.M. information systems
inferred← citeshttps://doi.org/10.1007/978-3-662-03526-9_2openalex-snapshot
Characterizing Information Modeling Techniques
inferred← citeshttps://doi.org/10.1016/j.infsof.2004.03.003openalex-snapshot
Erratum to “On the interplay between consistency, completeness, and correctness in requirements evolution”
inferred← citeshttps://doi.org/10.1016/s0306-4379(98)00005-2openalex-snapshot
Information modeling in the time of the revolution
inferred← citeshttps://doi.org/10.1016/s0950-5849(03)00100-9openalex-snapshot
On the interplay between consistency, completeness, and correctness in requirements evolution
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80672-8openalex-snapshot
Model-Generation of a Fictitious Clock Real-Time Logic Using Sharing Trees
inferred← citeshttps://doi.org/10.1023/a:1008627026003openalex-snapshot
Representing Software Engineering Knowledge
inferred← citeshttps://doi.org/10.1108/14637159910249117openalex-snapshot
Critical review of existing BPR methodologies
inferred← citeshttps://doi.org/10.1109/icse.1994.296773openalex-snapshot
On formal requirements modeling languages: RML revisited
inferred← citeshttps://doi.org/10.1109/icse.1994.296775openalex-snapshot
Understanding "why" in software process modelling, analysis, and design
inferred← citeshttps://doi.org/10.1145/226163.226166openalex-snapshot
TROLL
inferred← citeshttps://doi.org/10.5555/257734.257757openalex-snapshot
Understanding “why” in software process modelling, analysis, and design
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.