[PDF] Linear Software Models for Well-composed Systems | Semantic Scholar

This paper applies Linear Software Models to software systems, obtaining three consequences:) besides decoupling, various informal notions of software engineering, such as software modules, cohesion, and single responsibility, have for the first time a well-defined formal counterpart; (3) larger software systems obey bordered Linear Models, allowing precise location and visualization of residual coupling.

This paper applies Linear Software Models to software systems, obtaining three consequences:) besides decoupling, various informal notions of software engineering, such as software modules, cohesion, and single responsibility, have for the first time a well-defined formal counterpart; (3) larger software systems obey bordered Linear Models, allowing precise location and visualization of residual coupling.

It is claimed that one must have a deep comprehension of the theory of software – the aim of this effort – before embarking into theory and practice of software engineering.

It is claimed that one must have a deep comprehension of the theory of software – the aim of this effort – before embarking into theory and practice of software engineering.

This paper shows the equivalence of Modularity Matrices to their respective Modularity Lattices, which support the simplest form of software composition, i.e. linear composition, expressed as an addition of independent components.

This paper shows the equivalence of Modularity Matrices to their respective Modularity Lattices, which support the simplest form of software composition, i.e. linear composition, expressed as an addition of independent components.

This work offers algebraic Vector Spaces for software design patterns as a theoretical framework based on Linear Software Models with the ultimate goal of sets of generic pattern modules serving as bases for the vector space.

This work offers algebraic Vector Spaces for software design patterns as a theoretical framework based on Linear Software Models with the ultimate goal of sets of generic pattern modules serving as bases for the vector space.

The idea that outliers not only indicate the need for system redesign, but explicitly point out to problematic design spots is illustrated, which extends the applicability of linear algebra spectral methods to Modularity Matrices, at higher software abstraction levels than previously shown.

The idea that outliers not only indicate the need for system redesign, but explicitly point out to problematic design spots is illustrated, which extends the applicability of linear algebra spectral methods to Modularity Matrices, at higher software abstraction levels than previously shown.

This paper evolves in this direction by analysis and clarification of open issues in architecture an d abstraction terms; second, by pointing out to a mathematical fo rmulation in algebraic terms.

This paper evolves in this direction by analysis and clarification of open issues in architecture an d abstraction terms; second, by pointing out to a mathematical fo rmulation in algebraic terms.

Four NOT theorems are stated, justified and explained in the wider software engineering context and active elimination of mistaken, irrelevant, undesirable notions among previous candidates is promoted.

Four NOT theorems are stated, justified and explained in the wider software engineering context and active elimination of mistaken, irrelevant, undesirable notions among previous candidates is promoted.

Sensemaking-Coevolution-Implementation Theory:a model of the software engineering process in practice

• P. Ralph

• Computer Science

Sensemaking-Coevolution-Implementation Theory is a teleological process theory of the practice of designing complex software systems. It posits that an independent agent (design team) creates a

…

• 5

• PDF