On the public citation graph
Formulations and formalisms in software architecture
0 signed · 111 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.1007/3-540-47910-4_21openalex-snapshot
Design Patterns: Abstraction and Reuse of Object-Oriented Design
inferredcites →https://doi.org/10.1007/3-540-54834-3_5openalex-snapshot
Formalizing design spaces: Implicit invocation mechanisms
inferredcites →https://doi.org/10.1007/978-3-540-74343-9_1openalex-snapshot
Introduction to Software Architecture
inferredcites →https://doi.org/10.1007/978-3-642-82921-5_4openalex-snapshot
Notes on Communicating Sequential Systems
inferredcites →https://doi.org/10.1016/0304-3975(92)90185-iopenalex-snapshot
The chemical abstract machine
inferredcites →https://doi.org/10.1016/0890-5401(92)90008-4openalex-snapshot
A calculus of mobile processes, I
inferredcites →https://doi.org/10.1016/0890-5401(92)90009-5openalex-snapshot
A calculus of mobile processes, II
inferredcites →https://doi.org/10.1049/sej.1994.0034openalex-snapshot
Problems, methods and specialisation
inferredcites →https://doi.org/10.1109/32.142871openalex-snapshot
Representing and using nonfunctional requirements: a process-oriented approach
inferredcites →https://doi.org/10.1109/32.385970openalex-snapshot
Abstractions for software architecture and tools to support them
inferredcites →https://doi.org/10.1109/32.385971openalex-snapshot
Specification and analysis of system architecture using Rapide
inferredcites →https://doi.org/10.1109/32.385973openalex-snapshot
Formal specification and analysis of software architectures using the chemical abstract machine model
inferredcites →https://doi.org/10.1109/icse.1994.296767openalex-snapshot
Formalizing architectural connection
inferredcites →https://doi.org/10.1109/ms.1985.230697openalex-snapshot
Helix: The Architecture of the XMS Distributed File system
inferredcites →https://doi.org/10.1109/ms.1987.232095openalex-snapshot
Distributed Management of a Software Database
inferredcites →https://doi.org/10.1109/proc.1980.11811openalex-snapshot
The impact of abstraction concerns on modern programming languages
inferredcites →https://doi.org/10.1142/2207openalex-snapshot
Advances in Software Engineering and Knowledge Engineering
inferredcites →https://doi.org/10.1142/9789812798039openalex-snapshot
Advances in Software Engineering and Knowledge Engineering
inferredcites →https://doi.org/10.1145/141874.141884openalex-snapshot
Foundations for the study of software architecture
inferredcites →https://doi.org/10.1145/167049.167055openalex-snapshot
Using style to understand descriptions of software architecture
inferredcites →https://doi.org/10.1145/190679.190686openalex-snapshot
Overview of Teknowledge's domain-specific software architecture program
inferredcites →https://doi.org/10.1145/193173.195404openalex-snapshot
Exploiting style in architectural design environments
inferredcites →https://doi.org/10.1145/211782.211783openalex-snapshot
Architectural issues in software reuse
inferredcites →https://doi.org/10.1145/219308.219320openalex-snapshot
Summary of the Dagstuhl workshop on software architecture
inferredcites →https://doi.org/10.1145/225014.225031openalex-snapshot
Architectural mismatch or why it's hard to build systems out of existing parts
inferredcites →https://doi.org/10.1145/256428.167055openalex-snapshot
Using style to understand descriptions of software architecture
inferredcites →https://doi.org/10.1145/53990.54013openalex-snapshot
Semantic analysis in a concurrent compiler
inferredcites →https://doi.org/10.1145/960116.54013openalex-snapshot
Semantic analysis in a concurrent compiler
inferredcites →https://doi.org/10.1184/r1/6604010openalex-snapshot
Camelot : a distributed transaction facility for mach and the internet - an interim report
inferredcites →https://doi.org/10.1184/r1/6610001openalex-snapshot
Studying software architecture through design spaces and rules
inferredcites →https://doi.org/10.1184/r1/6620573openalex-snapshot
"What Can We Specify? Questions in the Domains of Software Specifications
inferredcites →https://doi.org/10.1609/aimag.v7i2.537openalex-snapshot
The blackboard model of problem solving
inferredcites →https://doi.org/10.1609/aimag.v9i4.950openalex-snapshot
Foundations and grand challenges of artificial intelligence
inferredcites →https://doi.org/10.5555/257734.257745openalex-snapshot
Formalizing architectural connection
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/spe.3409openalex-snapshot
An Empirical Study on the Effects of Jayvee, a Domain‐Specific Language for Data Engineering, on Understanding Data Pipeline Architectures
inferred← citeshttps://doi.org/10.1007/1-4020-7907-9_29openalex-snapshot
Reference Models for Advanced E-Services
inferred← citeshttps://doi.org/10.1007/11494713_17openalex-snapshot
Architecture Description for Mobile Distributed Systems
inferred← citeshttps://doi.org/10.1007/11966104_13openalex-snapshot
Modeling and Analyzing Mobile Software Architectures
inferred← citeshttps://doi.org/10.1007/3-540-39195-9_3openalex-snapshot
Software Architecture and Software Configuration Management
inferred← citeshttps://doi.org/10.1007/3-540-46000-4_16openalex-snapshot
Coordinating Software Evolution via Two-Tier Programming
inferred← citeshttps://doi.org/10.1007/3-540-48257-1_1openalex-snapshot
High Level System Design and Analysis Using Abstract State Machines
inferred← citeshttps://doi.org/10.1007/3-540-63383-9_80openalex-snapshot
Modeling railway control systems using graph grammars: A case study
inferred← citeshttps://doi.org/10.1007/3-540-63531-9_7openalex-snapshot
A framework for classifying and comparing architecture description languages
inferred← citeshttps://doi.org/10.1007/3-540-63533-5_4openalex-snapshot
A semantic integration of object-Z and CSP for the specification of concurrent systems
inferred← citeshttps://doi.org/10.1007/3-540-68383-6_14openalex-snapshot
Recovery of Architectural Structure: A Case Study
inferred← citeshttps://doi.org/10.1007/978-0-387-35264-0_10openalex-snapshot
Synthesising Interconnections
inferred← citeshttps://doi.org/10.1007/978-0-387-35563-4_10openalex-snapshot
Assessing the Suitability of a Standard Design Method for Modeling Software Architectures
inferred← citeshttps://doi.org/10.1007/978-0-387-35563-4_7openalex-snapshot
Specification and Refinement of Dynamic Software Architectures
inferred← citeshttps://doi.org/10.1007/978-3-319-11653-2_20openalex-snapshot
Supporting Multiplicity and Hierarchy in Model-Based Configuration: Experiences and Lessons Learned
inferred← citeshttps://doi.org/10.1007/978-3-319-15317-9_8openalex-snapshot
Formal Rules for Reliable Component-Based Architecture Evolution
inferred← citeshttps://doi.org/10.1007/978-3-319-26844-6_32openalex-snapshot
Using Cross-Dependencies During Configuration of System Families
inferred← citeshttps://doi.org/10.1007/978-3-540-39800-4_1openalex-snapshot
Formal Modeling and Analysis of Software Architecture: Components, Connectors, and Events
inferred← citeshttps://doi.org/10.1007/978-3-540-75912-6_11openalex-snapshot
Using Mobile Architecture Modeling and Simulation for Enterprise Applications
inferred← citeshttps://doi.org/10.1007/978-3-642-05250-7_32openalex-snapshot
Semantic Model Driven Architecture Based Method for Enterprise Application Development
inferred← citeshttps://doi.org/10.1007/978-3-642-16419-4_29openalex-snapshot
Adaptive Access Control Modes Enforcement in Organizations
inferred← citeshttps://doi.org/10.1007/978-94-017-0437-3_11openalex-snapshot
Deduction-Based Software Component Retrieval
inferred← citeshttps://doi.org/10.1007/bfb0027297openalex-snapshot
Analyzing and refining an architectural style
inferred← citeshttps://doi.org/10.1007/s00236-003-0121-zopenalex-snapshot
Pipelines: Modelling a software architecture through relations
inferred← citeshttps://doi.org/10.1007/s10664-025-10746-7openalex-snapshot
Can a domain-specific language improve program structure comprehension of data pipelines? A mixed-methods study
inferred← citeshttps://doi.org/10.1016/j.entcs.2005.12.023openalex-snapshot
Architecture Description for Mobile Distributed Systems Using Typed π-Calculus
inferred← citeshttps://doi.org/10.1016/j.infsof.2010.07.006openalex-snapshot
Quantification of interacting runtime qualities in software architectures: Insights from transaction processing in client–server architectures
inferred← citeshttps://doi.org/10.1016/j.scico.2006.10.008openalex-snapshot
Definition and use of Computation Independent Models in an MDA-based groupware development process
inferred← citeshttps://doi.org/10.1016/s0167-6423(97)00022-1openalex-snapshot
A logic for a coordination model with multiple spaces
inferred← citeshttps://doi.org/10.1023/a:1011269103179openalex-snapshot
Specification, Refinement and Verification of Concurrent Systems—An Integration of Object-Z and CSP
inferred← citeshttps://doi.org/10.1109/32.708567openalex-snapshot
Describing software architecture styles using graph grammars
inferred← citeshttps://doi.org/10.1109/32.825767openalex-snapshot
A classification and comparison framework for software architecture description languages
inferred← citeshttps://doi.org/10.1109/acc.2001.945772openalex-snapshot
Communication and control of distributed hybrid systems
inferred← citeshttps://doi.org/10.1109/apsec.2001.991474openalex-snapshot
Formal specification of mixed components with Korrigan
inferred← citeshttps://doi.org/10.1109/cdc.2003.1272828openalex-snapshot
A framework for networked motion control
inferred← citeshttps://doi.org/10.1109/cds.1996.509340openalex-snapshot
Abstractions and implementations for architectural connections
inferred← citeshttps://doi.org/10.1109/cds.1998.675757openalex-snapshot
SOFA/DCUP: architecture for component trading and dynamic updating
inferred← citeshttps://doi.org/10.1109/discex.2001.932175openalex-snapshot
Intrusion tolerant software architectures
inferred← citeshttps://doi.org/10.1109/icse.2000.870441openalex-snapshot
Towards the principled design of software engineering diagrams
inferred← citeshttps://doi.org/10.1109/icse.2001.919147openalex-snapshot
The coming-of-age of software architecture research
inferred← citeshttps://doi.org/10.1109/is.2018.8710480openalex-snapshot
Managing costs in software development
inferred← citeshttps://doi.org/10.1109/mysec.2011.6140648openalex-snapshot
A systematic literature review of interoperable architecture for e-government portals
inferred← citeshttps://doi.org/10.1109/qsic.2013.26openalex-snapshot
An Approach to Reliable Software Architectures Evolution
inferred← citeshttps://doi.org/10.1109/wicsa.2009.5290799openalex-snapshot
Evolution styles: Foundations and tool support for software architecture evolution
inferred← citeshttps://doi.org/10.1142/9789812775245_0005openalex-snapshot
COEXISTENCE OF OBJECT-ORIENTED MODELING AND ARCHITECTURAL DESCRIPTION
inferred← citeshttps://doi.org/10.1145/1041680.1041681openalex-snapshot
A survey of peer-to-peer content distribution technologies
inferred← citeshttps://doi.org/10.1145/1050330.1050351openalex-snapshot
System level modeling of component based software systems
inferred← citeshttps://doi.org/10.1145/1118537.1123062openalex-snapshot
A specification language for coordinated objects
inferred← citeshttps://doi.org/10.1145/226241.226244openalex-snapshot
Formalizing style to understand descriptions of software architecture
inferred← citeshttps://doi.org/10.1145/239098.239105openalex-snapshot
Software architecture styles as graph grammars
inferred← citeshttps://doi.org/10.1145/250707.239105openalex-snapshot
Software architecture styles as graph grammars
inferred← citeshttps://doi.org/10.1145/2578128.2578236openalex-snapshot
Modeling multiplicity and hierarchy in product line architectures
inferred← citeshttps://doi.org/10.1145/258077.258078openalex-snapshot
A formal basis for architectural connection
inferred← citeshttps://doi.org/10.1145/267895.267903openalex-snapshot
A framework for classifying and comparing architecture description languages
inferred← citeshttps://doi.org/10.1145/337180.337371openalex-snapshot
Towards the principled design of software engineering diagrams
inferred← citeshttps://doi.org/10.1145/504087.504088openalex-snapshot
Modeling software architectures in the Unified Modeling Language
inferred← citeshttps://doi.org/10.1184/r1/6626228openalex-snapshot
Three Patterns that Help Explain the Development of Software Engineering
inferred← citeshttps://doi.org/10.1360/jos171470openalex-snapshot
PESOI: Process Embedded Service-Oriented Architecture
inferred← citeshttps://doi.org/10.17877/de290r-16052openalex-snapshot
Pipes and filters: Modelling a software architecture through relations
inferred← citeshttps://doi.org/10.21236/ada494322openalex-snapshot
The Golden Age of Software Architecture: A Comprehensive Survey
inferred← citeshttps://doi.org/10.31390/gradschool_theses.2756openalex-snapshot
Software architecture: styles and representational schemes
inferred← citeshttps://doi.org/10.3166/ejc.7.178-202openalex-snapshot
Control Design for Autonomous Vehicles: A Dynamic Optimization Perspective
inferred← citeshttps://doi.org/10.3233/jid-2010-14401openalex-snapshot
SYNERGISTIC VALIDATION METHODOLOGY FOR KNOWLEDGE-BASED ENGINEERING SYSTEMS
inferred← citeshttps://doi.org/10.3390/admsci10020025openalex-snapshot
A Systematic Literature Review on Existing Digital Government Architectures: State-of-the-Art, Challenges, and Prospects
inferred← citeshttps://doi.org/10.4204/eptcs.139.3openalex-snapshot
Actions and Events in Concurrent Systems Design
inferred← citeshttps://doi.org/10.5007/1518-2924.2020.e67665openalex-snapshot
Arquitetura de publicação de dados abertos conectados governamentais da Universidade de Brasília
inferred← citeshttps://doi.org/10.5539/cis.v8n4p12openalex-snapshot
Multi-View Software Architecture Design: Case Study of a Mission-Critical Defense System
inferred← citeshttps://doi.org/10.5555/381473.381549openalex-snapshot
The coming-of-age of software architecture research
inferred← citeshttps://doi.org/10.5753/sbes.1998.24016openalex-snapshot
Specifying Dynamic Distributed Software Architectures
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.