On the public citation graph

A method for the development of correct software

https://doi.org/10.1007/bfb0015454
0 signed · 80 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-16442-1_14openalex-snapshot
Data refinement refined resume
inferredcites →https://doi.org/10.1007/3-540-17654-3openalex-snapshot
VDM '87 VDM — A Formal Method at Work
inferredcites →https://doi.org/10.1007/3-540-17654-3_9openalex-snapshot
Support environments for VDM
inferredcites →https://doi.org/10.1007/3-540-19027-9_3openalex-snapshot
Algebraic formalisation of program development by transformation
inferredcites →https://doi.org/10.1007/3-540-54834-3_3openalex-snapshot
The Larch approach to specification
inferredcites →https://doi.org/10.1007/3-540-55602-8_201openalex-snapshot
Isabelle-91
inferredcites →https://doi.org/10.1007/3-540-57529-4_61openalex-snapshot
Reuse of proofs in software verification
inferredcites →https://doi.org/10.1007/3-540-57840-4_34openalex-snapshot
OPAL: Design and implementation of an algebraic programming language
inferredcites →https://doi.org/10.1007/3-540-58867-1_47openalex-snapshot
Comparative survey
inferredcites →https://doi.org/10.1007/978-1-4612-5983-1openalex-snapshot
The Science of Programming
inferredcites →https://doi.org/10.1007/978-3-642-51136-3_1openalex-snapshot
Static and Dynamic Semantics of Entity—Relationship Models Based on Algebraic Methods
inferredcites →https://doi.org/10.1007/978-3-642-51136-3_2openalex-snapshot
Ablaufspezifikation durch Datenflußdiagramme und Axiome
inferredcites →https://doi.org/10.1007/978-3-642-51136-3_4openalex-snapshot
Formal Foundations for Pragmatic Software Engineering Methods
inferredcites →https://doi.org/10.1007/978-3-642-61512-2openalex-snapshot
Specification and Transformation of Programs
inferredcites →https://doi.org/10.1007/978-3-642-61807-9openalex-snapshot
Algorithmic Language and Program Development
inferredcites →https://doi.org/10.1007/bf00260922openalex-snapshot
The algebraic specification of abstract data types
inferredcites →https://doi.org/10.1007/bf00263742openalex-snapshot
A system which automatically improves programs
inferredcites →https://doi.org/10.1007/bfb0012879openalex-snapshot
LP: The larch prover
inferredcites →https://doi.org/10.1007/bfb0015453openalex-snapshot
Correct software: From experiments to applications
inferredcites →https://doi.org/10.1007/bfb0015455openalex-snapshot
Realizing sets by hash tables
inferredcites →https://doi.org/10.1007/bfb0015458openalex-snapshot
Design of modular software systems with reuse
inferredcites →https://doi.org/10.1007/bfb0015471openalex-snapshot
The Kiv-approach to software verification
inferredcites →https://doi.org/10.1007/bfb0015473openalex-snapshot
Case study “production cell”: A comparative study in formal specification and verification
inferredcites →https://doi.org/10.1007/bfb0015474openalex-snapshot
The Korso case study for software engineering with formal methods: A medical information system
inferredcites →https://doi.org/10.1016/b978-0-444-88074-1.50018-4openalex-snapshot
Algebraic Specification
inferredcites →https://doi.org/10.1017/cbo9780511526602openalex-snapshot
Logic and Computation
inferredcites →https://doi.org/10.1017/cbo9780511569845.004openalex-snapshot
Hardware Verification using Higher Order Logic
inferredcites →https://doi.org/10.1109/32.21743openalex-snapshot
Formal program construction by transformations-computer-aided, intuition-guided programming
inferredcites →https://doi.org/10.1109/tc.1980.1675525openalex-snapshot
IEEE Transactions on Computers
inferredcites →https://doi.org/10.1109/tse.1978.231499openalex-snapshot
The Logic of Computer Programming
inferredcites →https://doi.org/10.1145/567067.567076openalex-snapshot
Transformational programming
inferredcites →https://doi.org/10.48456/tr-91openalex-snapshot
Hardware verification using higher-order logic

What points at this work

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

inferred← citeshttps://doi.org/10.1007/1-4020-8153-7_13openalex-snapshot
Handling Human Factors in Integrated Systems Engineering
inferred← citeshttps://doi.org/10.1007/3-540-60117-1_3openalex-snapshot
Mathematics of software engineering
inferred← citeshttps://doi.org/10.1007/978-3-540-30138-7_8openalex-snapshot
Modeling Concepts for Safety-Related Requirements in Sociotechnical Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-68679-8_23openalex-snapshot
A Heterogeneous Approach to UML Semantics
inferred← citeshttps://doi.org/10.1007/bfb0014423openalex-snapshot
Algebraic specification languages: An overview
inferred← citeshttps://doi.org/10.1007/bfb0015453openalex-snapshot
Correct software: From experiments to applications
inferred← citeshttps://doi.org/10.1007/bfb0015455openalex-snapshot
Realizing sets by hash tables
inferred← citeshttps://doi.org/10.1007/bfb0015465openalex-snapshot
Construction and deduction methods for the formal development of software
inferred← citeshttps://doi.org/10.1007/bfb0015471openalex-snapshot
The Kiv-approach to software verification
inferred← citeshttps://doi.org/10.1007/bfb0015472openalex-snapshot
Three selected case studies in verification
inferred← citeshttps://doi.org/10.1007/bfb0015474openalex-snapshot
The Korso case study for software engineering with formal methods: A medical information system
inferred← citeshttps://doi.org/10.1016/s1389-1286(03)00215-9openalex-snapshot
Development of communication protocols using algebraic and temporal specifications
inferred← citeshttps://doi.org/10.1023/a:1021864801049openalex-snapshot
Automatic Construction of XML-Based Tools Seen as Meta-Programming
inferred← citeshttps://doi.org/10.1109/cise.2009.5363401openalex-snapshot
B Method Based Framework for Correct Software Development
inferred← citeshttps://doi.org/10.1145/349360.351142openalex-snapshot
Completeness in formal specification language design for process-control systems
inferred← citeshttps://doi.org/10.1145/3731302openalex-snapshot
Science of Software Product Lines
inferred← citeshttps://doi.org/10.1145/3731302.3731303openalex-snapshot
Dedication
inferred← citeshttps://doi.org/10.1145/3731302.3731304openalex-snapshot
Acknowledgments
inferred← citeshttps://doi.org/10.1145/3731302.3731305openalex-snapshot
Preface
inferred← citeshttps://doi.org/10.1145/3731302.3731306openalex-snapshot
How to and Who Should Read This Book
inferred← citeshttps://doi.org/10.1145/3731302.3731307openalex-snapshot
Modern Software Design Paradigms
inferred← citeshttps://doi.org/10.1145/3731302.3731308openalex-snapshot
Software Product Lines
inferred← citeshttps://doi.org/10.1145/3731302.3731309openalex-snapshot
Model-Driven Engineering
inferred← citeshttps://doi.org/10.1145/3731302.3731310openalex-snapshot
Basics of Category Theory
inferred← citeshttps://doi.org/10.1145/3731302.3731311openalex-snapshot
Feature Modularity
inferred← citeshttps://doi.org/10.1145/3731302.3731312openalex-snapshot
Pragmatic Issues
inferred← citeshttps://doi.org/10.1145/3731302.3731313openalex-snapshot
Feature Interactions
inferred← citeshttps://doi.org/10.1145/3731302.3731314openalex-snapshot
Cubes: SPLs of SPLs of SPLs of SPLs…
inferred← citeshttps://doi.org/10.1145/3731302.3731315openalex-snapshot
Refactorings and Design Patterns
inferred← citeshttps://doi.org/10.1145/3731302.3731316openalex-snapshot
The X15 SPL Refactoring Engine
inferred← citeshttps://doi.org/10.1145/3731302.3731317openalex-snapshot
Searching Colossal Product Spaces
inferred← citeshttps://doi.org/10.1145/3731302.3731318openalex-snapshot
Dataflow Program Design
inferred← citeshttps://doi.org/10.1145/3731302.3731319openalex-snapshot
Advanced: Optimal Dataflow Programs and Dataflow SPLs
inferred← citeshttps://doi.org/10.1145/3731302.3731320openalex-snapshot
Advanced: Functor Applications
inferred← citeshttps://doi.org/10.1145/3731302.3731321openalex-snapshot
Open Problems
inferred← citeshttps://doi.org/10.1145/3731302.3731322openalex-snapshot
Epilog
inferred← citeshttps://doi.org/10.1145/3731302.3731323openalex-snapshot
Common Symbols, Acronyms and Tool Names Used
inferred← citeshttps://doi.org/10.1145/3731302.3731324openalex-snapshot
Grammars and Parsing
inferred← citeshttps://doi.org/10.1145/3731302.3731325openalex-snapshot
4-Level MOFs and Bootstrapping Tools
inferred← citeshttps://doi.org/10.1145/3731302.3731326openalex-snapshot
Summing Quark Values
inferred← citeshttps://doi.org/10.1145/3731302.3731327openalex-snapshot
Microsoft IP and COM
inferred← citeshttps://doi.org/10.1145/3731302.3731328openalex-snapshot
Expression Problem Source Code
inferred← citeshttps://doi.org/10.1145/3731302.3731329openalex-snapshot
Eclipse Refactoring Preconditions
inferred← citeshttps://doi.org/10.1145/3731302.3731330openalex-snapshot
Polymorphism and Distributivity Properties of MDE Model Refactorings
inferred← citeshttps://doi.org/10.1145/3731302.3731331openalex-snapshot
Bibliography
inferred← citeshttps://doi.org/10.1145/3731302.3731332openalex-snapshot
Author’s Biography/Index
inferred← citeshttps://doi.org/10.1145/967900.968211openalex-snapshot
Modeling sociotechnical specifics using architectural concepts
inferred← citeshttps://doi.org/10.48550/arxiv.1410.4094openalex-snapshot
Towards Development of Correct Software using Views
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.