Interconnecting formalisms: supporting modularity, reuse and incrementality

No abstract is available for this paper.

• Publication year

  1995

• Venue

  SIGSOFT FSE

• Publication date

  1995-10-01

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1145/222124.222141
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• A simple approach to specifying concurrent systems

  2016cited by this paper
• Categorical Semantics of Parallel Program Design

  1997cited by this paper
• Correctness and composition of software architectures

  1994cited by this paper
• Institutions for Behaviour Specification

  1994cited by this paper
• Conjunction as composition

  1993cited by this paper
• A Classification of Models for Concurrency

  1993cited by this paper
• Viewpoints: A Framework for Integrating Multiple Perspectives in System Development

  1992cited by this paper
• CATEGORICAL APPROACH TO GENERAL SYSTEMS THEORY

  1992cited by this paper
• Software reuse

  1992cited by this paper
• Institutions: abstract model theory for specification and programming

  1992cited by this paper
• Temporal reasoning over deontic specifications

  1991cited by this paper
• The Temporal Logic of Reactive and Concurrent Systems

  1991cited by this paper
• Superimposition for Interacting Processes

  1990cited by this paper
• Parallel program design

  1989cited by this paper
• A categorical manifesto

  1989cited by this paper
• A Pluralistic Knowledge-Based Approach to Software Specification

  1989cited by this paper
• Composing specifications

  1989cited by this paper
• Distributed cooperation with action systems

  1988cited by this paper
• Specifications in an Arbitrary Institution

  1988cited by this paper
• A compositional approach to superimposition

  1988cited by this paper
• Parallel program design - a foundation

  1988influential reference
• Logics of Time and Computation

  1987cited by this paper
• Fundamentals of Algebraic Specification 1

  1985cited by this paper
• Fundamentals of Algebraic Specification 1: Equations and Initial Semantics

  1985cited by this paper
• Building Specifications in an Arbitrary Institution

  1984cited by this paper
• Another look at software design methodology

  1984cited by this paper
• A Categorical Approach to General Systems

  1978cited by this paper
• WHO Technical Report

  1954cited by this paper

• Compositional Cyber-Physical Systems Modeling

  2021cites this paper
• Optimizing Distributed Resource Allocation using Epistemic Game Theory: A Model-driven Engineering Approach

  2017cites this paper
• A Graph Transformation Approach to Introducing Aspects into Software Architectures

  2017cites this paper
• On optimal modularity for system construction

  2016cites this paper
• Aalborg Universitet Real-time specifications

  2013cites this paper
• Unifying the syntax and semantics of modular extensions of Petri nets

  2013cites this paper
• Real-time specifications

  2013cites this paper
• Modal specification theories for component-based design

  2012cites this paper
• Category Theory and Model-Driven Engineering: From Formal Semantics to Design Patterns and Beyond

  2012cites this paper
• Encapsulating deontic and branching time specifications

  2012cites this paper
• Modal event-clock specifications for timed component-based design

  2012cites this paper
• The analysis and management of non-canonical requirement specifications through a belief integration game

  2010cites this paper
• Specifying overlaps of heterogeneous models for global consistency checking

  2010cites this paper
• A belief-theoretic framework for the collaborative development and integration of para-consistent conceptual models

  2009cites this paper
• ABelief-theoreticFrameworkfortheCollaborativeDevelopmentand IntegrationofPara-consistentConceptualModels

  2008cites this paper
• Design in CommUnity with Extension Morphisms

  2007cites this paper
• Proposal for PhD Degree Program The Integration of Paraconsistent Conceptual Models Influenced by Uncertainty : A Belief-theoretic Approach By

  2007cites this paper
• Specification-Carrying Software: Evolving Specifications for Dynamic System Composition

  2005cites this paper
• On what exactly goes on when software is developed step-by-step, II: The sequel

  2003cites this paper
• Draft-Inconsistency Management in Software Engineering 1 INCONSISTENCY M ANAGEM ENT IN SOFTWARE ENGINEERING : SURVEY AND OPEN RESEARCH ISSUES

  2003cites this paper
• Requirements interaction management

  2003cites this paper
• A Mathematical Semantics for Architectural Connectors

  2003cites this paper
• Using AToM3 as a Meta-Case Tool

  2002cites this paper
• Revisiting the Categorical Approach to Systems

  2002cites this paper
• ATOM³: A Tool for Multi-formalism Modelling and Meta-modelling

  2002cites this paper
• Computer Aided Multi-paradigm Modelling to Process Petri-Nets and Statecharts

  2002cites this paper
• Guarded Transitions in Evolving Specifications

  2002cites this paper
• AToM3: A Tool for Multi-formalism and Meta-modelling

  2002cites this paper
• Observation and Abstract Behaviour in Specification and Implementation of State-based Systems

  2001cites this paper
• Formal specification

  2001cites this paper
• 1 Higher-Order Architectural Connectors 1

  2001cites this paper
• Inconsistency Management in Software Engineering: Survey and Open Research Issues

  2000cites this paper
• A Framework for Describing Software Architectures for Reuse

  1999cites this paper
• Specification of software architecture reconfiguration

  1999cites this paper
• Overlaps in Requirements Engineering

  1999cites this paper
• Algebraic software architecture reconfiguration

  1999influential citation
• Interoperability via Architecture U.s. Partners Brazilian Partner Previous Interactions Bio and Indication of Submission to Cnpq from Brazilian Partner See Attached. Mathematical and Engineering Foundations for Interoperability via Architecture

  1998cites this paper
• Formal methods and requirements engineering: Challenges and synergies

  1998cites this paper
• Proposal Arpa/ito Baa 98-10 Framework for Interoperable Representations a Reeective Framework for Formal Interoperability

  1998cites this paper
• Connectors for Mobile Programs

  1998influential citation
• Specifying Reactive Systems in B AMN

  1997cites this paper
• Conservative Extensions, Interpretations Between Theories and All That!

  1997cites this paper
• Objects, Associations and Subsystems: A Hierarchical Approach to Encapsulation

  1997cites this paper
• Algorithmic Languages and Calculi

  1997cites this paper
• Semantics of Architectural Connectors

  1997cites this paper
• Categorical Semantics of Parallel Program Design

  1997cites this paper
• Synthesising interconnections

  1997cites this paper
• Preservation and Reflection in Specification

  1997cites this paper
• A mathematical toolbox for the software architect

  1996cites this paper
• On the Emergence of Properties in Component-Based Systems

  1996cites this paper
• A Mathematical Toolbox for the Software Architec

  1996cites this paper
• Semantic Foundations for Composition and Interoperation of Open Systems Principal Investigators

  1996cites this paper
• Using B to Design and Verify Controllers forChemical

  1996cites this paper
• Development of concurrent systems in B AMN

  1996cites this paper
• Architectural Specifications: Modeling and Structuring Behavior Through Rules

  1996cites this paper
• A Mathematical Toolbox for the Software

  1996cites this paper
• DESIGN STRUCTURES FOR OBJECT-BASED SYSTEMS Jos

  1996cites this paper
• Unifying Theories in Different Institutions

  1995cites this paper
• Verifying for Reuse: Foundations of Object-Oriented System Verification

  1994cites this paper
• Types for Multi-Paradigm Modelling

  year unknowncites this paper