The following pages link to Software, Services, and Systems (Q5256327):
Displayed 31 items.
- A Homage to Martin Wirsing (Q5256328) (← links)
- Ode to the PST (Q5256333) (← links)
- From Formal Logic through Program Transformations to System Dynamics: 40 Years of Meeting Points with Martin Wirsing (Q5256334) (← links)
- The Broad View: How To Spawn a Radical Organizational Transformation ‘En Passant’ (Q5256335) (← links)
- Modal Satisfiability via SMT Solving (Q5256336) (← links)
- Division by Zero in Common Meadows (Q5256337) (← links)
- Logical Relations and Nondeterminism (Q5256338) (← links)
- Simplified Coalgebraic Trace Equivalence (Q5256339) (← links)
- Localized Operational Termination in General Logics (Q5256340) (← links)
- Partial Valuation Structures for Qualitative Soft Constraints (Q5256343) (← links)
- An Institution for Object-Z with Inheritance and Polymorphism (Q5256346) (← links)
- Abstract Constraint Data Types (Q5256347) (← links)
- Generate & Check Method for Verifying Transition Systems in CafeOBJ (Q5256348) (← links)
- Institutions for OCL-Like Expression Languages (Q5256349) (← links)
- Towards an Institutional Framework for Heterogeneous Formal Development in UML (Q5256350) (← links)
- Formal Analysis of Leader Election in MANETs Using Real-Time Maude (Q5256351) (← links)
- The Foundational Legacy of ASL (Q5256352) (← links)
- Soft Agents: Exploring Soft Constraints to Model Robust Adaptive Distributed Cyber-Physical Agent Systems (Q5256354) (← links)
- Structured Document Algebra in Action (Q5256355) (← links)
- From EU Projects to a Family of Model Checkers (Q5256356) (← links)
- Pragmatic Formal Specification of System Properties by Tables (Q5256357) (← links)
- Formal Modelling for Cooking Assistance (Q5256360) (← links)
- A Framework for Defining and Comparing Modelling Methods (Q5256361) (← links)
- A Theory Agenda for Component-Based Design (Q5256362) (← links)
- A Flow Analysis Approach for Service-Oriented Architectures (Q5256365) (← links)
- The Evolution of Jolie (Q5256366) (← links)
- Stochastic Model Checking of the Stochastic Quality Calculus (Q5256368) (← links)
- A White Box Perspective on Behavioural Adaptation (Q5256369) (← links)
- Rule-Based Modeling and Static Analysis of Self-adaptive Systems by Graph Transformation (Q5256370) (← links)
- Formalization of Invariant Patterns for the Invariant Refinement Method (Q5256374) (← links)
- Programming Autonomic Systems with Multiple Constraint Stores (Q5256375) (← links)