On the public citation graph
Categories for Software Engineering
0 signed · 151 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 points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/9781118616727.ch5openalex-snapshot
Modeling and Simulation of Complex Systems: Pitfalls and Limitations of Interpretation
inferred← citeshttps://doi.org/10.1002/spe.2561openalex-snapshot
The analysis of architectural languages for the needs of practitioners
inferred← citeshttps://doi.org/10.1007/11494713_10openalex-snapshot
Context-Awareness in Software Architectures
inferred← citeshttps://doi.org/10.1007/11548133_7openalex-snapshot
Complete Axioms for Stateless Connectors
inferred← citeshttps://doi.org/10.1007/11693017_4openalex-snapshot
A Formal Approach to Event-Based Architectures
inferred← citeshttps://doi.org/10.1007/11780274_10openalex-snapshot
Extension Morphisms for CommUnity
inferred← citeshttps://doi.org/10.1007/11784180_19openalex-snapshot
Fork Algebras as a Sufficiently Rich Universal Institution
inferred← citeshttps://doi.org/10.1007/11841883_16openalex-snapshot
Categorical Foundations of Distributed Graph Transformation
inferred← citeshttps://doi.org/10.1007/11908029_56openalex-snapshot
On a Parthood Specification Method for Component Software
inferred← citeshttps://doi.org/10.1007/978-1-4471-2297-5_1openalex-snapshot
The Many Faces of Complexity in Software Design
inferred← citeshttps://doi.org/10.1007/978-3-030-54341-9_23openalex-snapshot
Semantic Web: Graphs, Imprecision and Knowledge Generation
inferred← citeshttps://doi.org/10.1007/978-3-030-66199-1_2openalex-snapshot
Ontological Categorisation and Mereology
inferred← citeshttps://doi.org/10.1007/978-3-031-10363-6_21openalex-snapshot
Consistency of Heterogeneously Typed Behavioural Models: A Coalgebraic Approach
inferred← citeshttps://doi.org/10.1007/978-3-031-90341-0_19openalex-snapshot
Collaborative Design Between Intelligent Agents Through Resource Sharing
inferred← citeshttps://doi.org/10.1007/978-3-319-09108-2_15openalex-snapshot
Van Kampen Squares for Graph Transformation
inferred← citeshttps://doi.org/10.1007/978-3-319-10431-7_10openalex-snapshot
A General Framework for Architecture Composability
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-319-11617-4_10openalex-snapshot
A Formal Foundation of Systems Engineering
inferred← citeshttps://doi.org/10.1007/978-3-319-15545-6_12openalex-snapshot
Abstract Constraint Data Types
inferred← citeshttps://doi.org/10.1007/978-3-319-15545-6_15openalex-snapshot
Towards an Institutional Framework for Heterogeneous Formal Development in UML
inferred← citeshttps://doi.org/10.1007/978-3-319-22750-4_1openalex-snapshot
The Axiom of Choice and Some of Its Equivalents
inferred← citeshttps://doi.org/10.1007/978-3-319-22750-4_4openalex-snapshot
Measures for Probabilistic Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-28114-8_8openalex-snapshot
A Full Operational Semantics for Asynchronous Relational Networks
inferred← citeshttps://doi.org/10.1007/978-3-319-49815-7_7openalex-snapshot
Algebraic Foundations for Specification Refinements
inferred← citeshttps://doi.org/10.1007/978-3-319-61482-3_10openalex-snapshot
Efficient Consistency Checking of Interrelated Models
inferred← citeshttps://doi.org/10.1007/978-3-319-75477-2_3openalex-snapshot
Algebraic Specification for Interoperability Between Data Formats: Application on Arabic Lexical Data
inferred← citeshttps://doi.org/10.1007/978-3-540-30101-1_8openalex-snapshot
CommUnity on the Move: Architectures for Distribution and Mobility
inferred← citeshttps://doi.org/10.1007/978-3-540-31862-0_1openalex-snapshot
Software Services: Scientific Challenge or Industrial Hype?
inferred← citeshttps://doi.org/10.1007/978-3-540-70874-2_14openalex-snapshot
Toward a Topic Maps Amanuensis
inferred← citeshttps://doi.org/10.1007/978-3-540-71998-4_10openalex-snapshot
A (Co)Algebraic Analysis of Synchronization in CSP
inferred← citeshttps://doi.org/10.1007/978-3-540-71998-4_3openalex-snapshot
Algebraic Semantics of Service Component Modules
inferred← citeshttps://doi.org/10.1007/978-3-540-71998-4_6openalex-snapshot
Structured CSP – A Process Algebra as an Institution
inferred← citeshttps://doi.org/10.1007/978-3-540-73196-2_23openalex-snapshot
Specifying and Composing Interaction Protocols for Service-Oriented System Modelling
inferred← citeshttps://doi.org/10.1007/978-3-540-73859-6_14openalex-snapshot
Structured Co-spans: An Algebra of Interaction Protocols
inferred← citeshttps://doi.org/10.1007/978-3-540-75221-9_20openalex-snapshot
Design in CommUnity with Extension Morphisms
inferred← citeshttps://doi.org/10.1007/978-3-540-85064-9_8openalex-snapshot
A Categorical Approach to Mereology and Its Application to Modelling Software Components
inferred← citeshttps://doi.org/10.1007/978-3-540-88030-1_12openalex-snapshot
Towards Interoperability in Component Based Development with a Family of DSLs
inferred← citeshttps://doi.org/10.1007/978-3-540-88479-8_38openalex-snapshot
Contexts and Context Awareness in View of the Diagram Predicate Framework
inferred← citeshttps://doi.org/10.1007/978-3-540-92188-2_8openalex-snapshot
Causal Semantics for the Algebra of Connectors
inferred← citeshttps://doi.org/10.1007/978-3-642-01203-7_19openalex-snapshot
Categorical Representation of Decision-Making Process Guided by Performance in Enterprise Integration Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-02571-6_4openalex-snapshot
A Diagrammatic Formalisation of MOF-Based Modelling Languages
inferred← citeshttps://doi.org/10.1007/978-3-642-05441-9_11openalex-snapshot
Towards Specifying Reactive Autonomic Systems with a Categorical Approach: A Case Study
inferred← citeshttps://doi.org/10.1007/978-3-642-12029-9_2openalex-snapshot
A Formalisation of Constraint-Aware Model Transformations
inferred← citeshttps://doi.org/10.1007/978-3-642-12082-4_23openalex-snapshot
Category Theoretic Integration Framework for Formal Notations in Model Driven Software Engineering
inferred← citeshttps://doi.org/10.1007/978-3-642-13273-5_9openalex-snapshot
Towards a Tool Support for Specifying Complex Software Systems by Categorical Modeling Language
inferred← citeshttps://doi.org/10.1007/978-3-642-14808-8_13openalex-snapshot
Testing of Abstract Components
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-25032-3_1openalex-snapshot
Model Transformation and Induced Instance Migration: A Universal Framework
inferred← citeshttps://doi.org/10.1007/978-3-642-28872-2_12openalex-snapshot
Intermodeling, Queries, and Kleisli Categories
inferred← citeshttps://doi.org/10.1007/978-3-642-29320-7_22openalex-snapshot
Intentional Automata: A Context-Dependent Model for Component Connectors
inferred← citeshttps://doi.org/10.1007/978-3-642-33654-6_1openalex-snapshot
A Graph-Based Design Framework for Services
inferred← citeshttps://doi.org/10.1007/978-3-642-35861-6_5openalex-snapshot
A Categorical Approach to Structuring and Promoting Z Specifications
inferred← citeshttps://doi.org/10.1007/978-3-642-37635-1_12openalex-snapshot
Satisfiability Calculus: The Semantic Counterpart of a Proof Calculus in General Logics
inferred← citeshttps://doi.org/10.1007/978-3-662-49665-7_21openalex-snapshot
Many-Valued Institutions for Constraint Specification
inferred← citeshttps://doi.org/10.1007/978-90-481-3660-5_57openalex-snapshot
Towards Enterprise Integration Performance Assessment based on Category Theory
inferred← citeshttps://doi.org/10.1007/978-94-007-7738-5_1openalex-snapshot
Research Tools and Paradigms
inferred← citeshttps://doi.org/10.1007/978-94-007-7738-5_2openalex-snapshot
State of the Art: Mathematical Approaches in Brain Science
inferred← citeshttps://doi.org/10.1007/978-94-007-7738-5_3openalex-snapshot
The Categorical Imperative: Category Theory in Cognitive and Brain Science
inferred← citeshttps://doi.org/10.1007/978-94-007-7738-5_4openalex-snapshot
Elementary Principles in Cognitive Systems Modeling
inferred← citeshttps://doi.org/10.1007/978-94-007-7738-5_5openalex-snapshot
The Shift Towards Structure
inferred← citeshttps://doi.org/10.1007/978-94-007-7738-5_6openalex-snapshot
A General Framework for Representation
inferred← citeshttps://doi.org/10.1007/978-94-007-7738-5_7openalex-snapshot
Towards a Theory of Brain Structure and Function
inferred← citeshttps://doi.org/10.1007/978-94-007-7738-5_8openalex-snapshot
A Theory of Hippocampus Structure and Function Based on Category Theory
inferred← citeshttps://doi.org/10.1007/978-94-007-7738-5_9openalex-snapshot
From Cells to Memories: A Categorical Approach
inferred← citeshttps://doi.org/10.1007/s00165-010-0166-zopenalex-snapshot
An abstract model of service discovery and binding
inferred← citeshttps://doi.org/10.1007/s00165-014-0307-xopenalex-snapshot
A formalisation of deep metamodelling
inferred← citeshttps://doi.org/10.1007/s00165-015-0336-0openalex-snapshot
Categorical foundations for structured specifications in Z
inferred← citeshttps://doi.org/10.1007/s00165-015-0349-8openalex-snapshot
A general framework for architecture composability
inferred← citeshttps://doi.org/10.1007/s10009-006-0027-5openalex-snapshot
Experiences applying formal approaches in the development of swarm-based space exploration systems
inferred← citeshttps://doi.org/10.1007/s10270-012-0236-1openalex-snapshot
A model for dynamic reconfiguration in service-oriented architectures
inferred← citeshttps://doi.org/10.1007/s10485-007-9106-3openalex-snapshot
Construction and Properties of Adhesive and Weak Adhesive High-Level Replacement Categories
inferred← citeshttps://doi.org/10.1007/s10516-014-9242-yopenalex-snapshot
Composable Relations Induced in Networks of Aligned Ontologies: A Category Theoretic Approach
inferred← citeshttps://doi.org/10.1007/s10703-010-0091-zopenalex-snapshot
Causal semantics for the algebra of connectors
inferred← citeshttps://doi.org/10.1007/s10817-017-9409-5openalex-snapshot
Genetic Programming $$\varvec{+}$$ + Proof Search $$\varvec{=}$$ = Automatic Improvement
inferred← citeshttps://doi.org/10.1007/s11390-005-0751-4openalex-snapshot
Towards a Mathematical Theory of Knowledge^*
inferred← citeshttps://doi.org/10.1016/j.entcs.2005.06.031openalex-snapshot
Modelling the GSM Handover Protocol in CommUnity
inferred← citeshttps://doi.org/10.1016/j.entcs.2007.08.029openalex-snapshot
An Institutional Theory for #-Components
inferred← citeshttps://doi.org/10.1016/j.entcs.2009.12.031openalex-snapshot
Compositional Specification of Parallel Components Using Circus
inferred← citeshttps://doi.org/10.1016/j.entcs.2020.02.008openalex-snapshot
Indexed and Fibred Structures for Hoare Logic
inferred← citeshttps://doi.org/10.1016/j.jlamp.2020.100543openalex-snapshot
Specifying with syntactic theory functors
inferred← citeshttps://doi.org/10.1016/j.jlap.2009.10.003openalex-snapshot
A formalisation of the copy-modify-merge approach to version control in MDE
inferred← citeshttps://doi.org/10.1016/j.jlap.2012.03.006openalex-snapshot
A formal approach to the specification and transformation of constraints in MDE
inferred← citeshttps://doi.org/10.1016/j.procs.2015.05.030openalex-snapshot
Using Category Theory to Verify Implementation Against Design in Concurrent Systems
inferred← citeshttps://doi.org/10.1016/j.procs.2015.05.031openalex-snapshot
Modelling Multi-agent Systems with Category Theory
inferred← citeshttps://doi.org/10.1016/j.procs.2016.04.155openalex-snapshot
Using Failures and Category Theory to Verify Process Communications between Design and Implementation of Concurrent Systems
inferred← citeshttps://doi.org/10.1016/j.scico.2005.10.010openalex-snapshot
Adding mobility to software architectures
inferred← citeshttps://doi.org/10.1016/j.tcs.2006.07.005openalex-snapshot
A basic algebra of stateless connectors
inferred← citeshttps://doi.org/10.1016/j.tcs.2011.12.016openalex-snapshot
Encapsulating deontic and branching time specifications
inferred← citeshttps://doi.org/10.1016/j.tcs.2011.12.072openalex-snapshot
A formal abstract framework for modelling and testing complex software systems
inferred← citeshttps://doi.org/10.1016/j.tcs.2013.05.011openalex-snapshot
An interface theory for service-oriented design
inferred← citeshttps://doi.org/10.1016/j.tcs.2013.11.008openalex-snapshot
Parameterisation for abstract structured specifications
inferred← citeshttps://doi.org/10.1017/9781108872348openalex-snapshot
Theoretical Computer Science for the Working Category Theorist
inferred← citeshttps://doi.org/10.1017/s0960129507006299openalex-snapshot
An algebraic semantics of event-based architectures
inferred← citeshttps://doi.org/10.1057/9781137345929_2openalex-snapshot
Ontological Categorisation and Mereology
inferred← citeshttps://doi.org/10.1063/1.5033822openalex-snapshot
A new approach for modular robot system behavioral modeling: Base on Petri net and category theory
inferred← citeshttps://doi.org/10.1093/logcom/exs038openalex-snapshot
Towards a uniform presentation of logical systems by indexed categories and adjoint situations
inferred← citeshttps://doi.org/10.1109/apsec.2012.109openalex-snapshot
Architecture Based Development with DYNACOMM: Incorporating Dynamic Reconfiguration and Hierarchical Design into CommUnity
inferred← citeshttps://doi.org/10.1109/asap.2010.5540769openalex-snapshot
A formal specification of fault-tolerance in prospecting asteroid mission with Reactive Autonomie Systems Framework
inferred← citeshttps://doi.org/10.1109/csie.2009.1109openalex-snapshot
Enterprise Integration Performance Modeling and Measurement Based on Category Theory
inferred← citeshttps://doi.org/10.1109/iciecs.2009.5364170openalex-snapshot
Introduction to Category Semantics of Essential Use Case Analysis Technology
inferred← citeshttps://doi.org/10.1109/icis.2013.6607868openalex-snapshot
Research on the method of data extraction based on category
inferred← citeshttps://doi.org/10.1109/icisa.2011.5772351openalex-snapshot
Capabilities and Features: Linking Business and Application Architectures - I
inferred← citeshttps://doi.org/10.1109/icsea.2008.59openalex-snapshot
A Formal Definition of Complex Software
inferred← citeshttps://doi.org/10.1109/icss.2010.11openalex-snapshot
Refactoring from Object-Oriented Systems to Service-Oriented Systems: A Categorical Approach
inferred← citeshttps://doi.org/10.1109/icsse.2010.5551809openalex-snapshot
A theoretical model of the Adaptive Navigation support
inferred← citeshttps://doi.org/10.1109/ictta.2008.4530342openalex-snapshot
Towards a rigorous framework for dealing with domain specific language families
inferred← citeshttps://doi.org/10.1109/mc.2007.16openalex-snapshot
Designing for software's social complexity
inferred← citeshttps://doi.org/10.1109/nafips.2006.365429openalex-snapshot
Protoforms and Category Theory
inferred← citeshttps://doi.org/10.1109/sbcars.2015.22openalex-snapshot
A Model of Service-Oriented Architectures
inferred← citeshttps://doi.org/10.1109/sera.2009.15openalex-snapshot
An Abstract Approach to Describing Scenario-Based Specifications
inferred← citeshttps://doi.org/10.1109/sere-c.2013.38openalex-snapshot
A Categorical Approach for Modeling and Verifying Dynamic Software Architecture
inferred← citeshttps://doi.org/10.1109/sew.2005.45openalex-snapshot
Towards a Hybrid Formal Method for Swarm-Based Exploration Missions
inferred← citeshttps://doi.org/10.1109/sose.2010.9openalex-snapshot
A Formal Modeling for Component Behaviors Based on Event Track
inferred← citeshttps://doi.org/10.1109/synasc.2005.67openalex-snapshot
Specification of coordinated objects and verification of their temporal properties
inferred← citeshttps://doi.org/10.1109/tase.2011.26openalex-snapshot
A Categorical Modeling Approach of Aspect-Oriented Systems
inferred← citeshttps://doi.org/10.1109/tc.2008.26openalex-snapshot
The Algebra of Connectors—Structuring Interaction in BIP
inferred← citeshttps://doi.org/10.1109/wicsa.2004.1310715openalex-snapshot
An architectural approach to mobility - the handover case study
inferred← citeshttps://doi.org/10.1109/wicsa.2007.3openalex-snapshot
A Model-Driven Approach to Extract Views from an Architecture Description Language
inferred← citeshttps://doi.org/10.1109/wicsa.2011.12openalex-snapshot
Capabilities and Features: Linking Business and Application Architectures
inferred← citeshttps://doi.org/10.1134/s0005117913090075openalex-snapshot
Systems analysis of life cycle of large-scale information-control systems
inferred← citeshttps://doi.org/10.1134/s0965542516010115openalex-snapshot
Category-theoretic models of algebraic computer systems
inferred← citeshttps://doi.org/10.1145/1081180.1081196openalex-snapshot
Requirements of an integrated formal method for intelligent swarms
inferred← citeshttps://doi.org/10.1145/1368088.1368171openalex-snapshot
A language for advanced protocol analysis in automotive networks
inferred← citeshttps://doi.org/10.1145/1385989.1386018openalex-snapshot
A metamodel for distributed event based systems
inferred← citeshttps://doi.org/10.1145/2641483.2641529openalex-snapshot
Using Category Theory and Data Flow Analysis for Modeling and Verifying Properties of Communications in the Process-Oriented Language Erasmus
inferred← citeshttps://doi.org/10.1155/2009/917826openalex-snapshot
Managing Requirement Volatility in an Ontology-Driven Clinical LIMS Using Category Theory
inferred← citeshttps://doi.org/10.1504/ijipt.2006.009740openalex-snapshot
Distribution concerns in service-oriented modelling
inferred← citeshttps://doi.org/10.18576/amis/110106openalex-snapshot
Category Theory as a Formal Mathematical Foundation for Model-Based Systems Engineering
inferred← citeshttps://doi.org/10.23638/lmcs-14(2:5)2018openalex-snapshot
Van Kampen Colimits and Path Uniqueness
inferred← citeshttps://doi.org/10.2514/6.2006-5555openalex-snapshot
Verifying Future Swarm-Based Missions
inferred← citeshttps://doi.org/10.25209/2079-3316-2015-6-1-3-10openalex-snapshot
Category-theoretic approach to algebraic computer systems design
inferred← citeshttps://doi.org/10.31449/inf.v45i2.2967openalex-snapshot
Towards a formal multi-agent organizational modeling framework based on category theory
inferred← citeshttps://doi.org/10.3182/20120215-3-at-3016.00081openalex-snapshot
Describing Human Emotions Through Mathematical Modelling
inferred← citeshttps://doi.org/10.3233/fi-2010-239openalex-snapshot
A Generic Approach to Connector Architectures Part I: The General Framework
inferred← citeshttps://doi.org/10.4018/978-1-4666-6026-7.ch008openalex-snapshot
An Algebraic Approach for the Specification and the Verification of Aspect-Oriented Systems
inferred← citeshttps://doi.org/10.4204/eptcs.139.3openalex-snapshot
Actions and Events in Concurrent Systems Design
inferred← citeshttps://doi.org/10.4204/eptcs.93.1openalex-snapshot
Category Theory and Model-Driven Engineering: From Formal Semantics to Design Patterns and Beyond
inferred← citeshttps://doi.org/10.48550/arxiv.1109.5542openalex-snapshot
Gaming security by obscurity
inferred← citeshttps://doi.org/10.48550/arxiv.1403.7747openalex-snapshot
An Institutional Framework for Heterogeneous Formal Development in UML
inferred← citeshttps://doi.org/10.48550/arxiv.1403.7760openalex-snapshot
Categories and all that -- A Tutorial
inferred← citeshttps://doi.org/10.5772/12883openalex-snapshot
Biomedical Adaptive Educational Hypermedia System: a Theoretical Model for Adaptive Navigation Support
inferred← citeshttps://doi.org/10.7561/sacs.2014.1.1openalex-snapshot
A Logic for Complex Computing Systems: Properties Preservation Along Integration and Abstraction
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.