Entity usage

This page lists pages that use the given entity (e.g. Q42). The list is sorted by descending page ID, so that newer pages are listed first.

Showing below up to 31 results in range #1 to #31.

The Broad View: How To Spawn a Radical Organizational Transformation ‘En Passant’: Label: en
From Formal Logic through Program Transformations to System Dynamics: 40 Years of Meeting Points with Martin Wirsing: Label: en
Ode to the PST: Label: en
A Homage to Martin Wirsing: Label: en
Programming Autonomic Systems with Multiple Constraint Stores: Label: en
Formalization of Invariant Patterns for the Invariant Refinement Method: Label: en
Rule-Based Modeling and Static Analysis of Self-adaptive Systems by Graph Transformation: Label: en
A White Box Perspective on Behavioural Adaptation: Label: en
Stochastic Model Checking of the Stochastic Quality Calculus: Label: en
The Evolution of Jolie: Label: en
A Flow Analysis Approach for Service-Oriented Architectures: Label: en
A Theory Agenda for Component-Based Design: Label: en
A Framework for Defining and Comparing Modelling Methods: Label: en
Formal Modelling for Cooking Assistance: Label: en
Pragmatic Formal Specification of System Properties by Tables: Label: en
From EU Projects to a Family of Model Checkers: Label: en
Structured Document Algebra in Action: Label: en
Soft Agents: Exploring Soft Constraints to Model Robust Adaptive Distributed Cyber-Physical Agent Systems: Label: en
The Foundational Legacy of ASL: Label: en
Formal Analysis of Leader Election in MANETs Using Real-Time Maude: Label: en
Towards an Institutional Framework for Heterogeneous Formal Development in UML: Label: en
Institutions for OCL-Like Expression Languages: Label: en
Generate & Check Method for Verifying Transition Systems in CafeOBJ: Label: en
Abstract Constraint Data Types: Label: en
An Institution for Object-Z with Inheritance and Polymorphism: Label: en
Partial Valuation Structures for Qualitative Soft Constraints: Label: en
Localized Operational Termination in General Logics: Label: en
Simplified Coalgebraic Trace Equivalence: Label: en
Logical Relations and Nondeterminism: Label: en
Division by Zero in Common Meadows: Label: en
Modal Satisfiability via SMT Solving: Label: en