Search

Your search keyword '"Stevens, Perdita"' showing total 145 results

Search Constraints

Start Over You searched for: Author "Stevens, Perdita" Remove constraint Author: "Stevens, Perdita" Publication Type eBooks Remove constraint Publication Type: eBooks
145 results on '"Stevens, Perdita"'

Search Results

1. Models as Documents, Documents as Models

2. Theory and Practice of Networks of Models

3. The Future of Programming andModelling: A Vision

4. Introduction to Bidirectional Transformations

6. Is Bidirectionality Important?

7. Reflections on Monadic Lenses

8. Notions of Bidirectional Computation and Entangled State Monads

9. Bidirectionally Tolerating Inconsistency: Partial Transformations

10. Enforcing QVT-R with mu-Calculus and Games

11. Recursive Checkonly QVT-R Transformations with General when and where Clauses via the Modal Mu Calculus

12. A Simple Game-Theoretic Approach to Checkonly QVT Relations

13. A Landscape of Bidirectional Model Transformations

14. Towards an Algebraic Theory of Bidirectional Transformations

15. Bidirectional Model Transformations in QVT: Semantic Issues and Open Questions

16. UML for Global Computing

17. Games for UML Software Design

19. UML and Concurrency

23. Extreme Programming and Modelling? : Panel

28. Principles and Practice of Bidirectional Programming in BiGUL

29. Engineering Bidirectional Transformations

30. An Introduction to Triple Graph Grammars as an Implementation of the Delta-Lens Framework

31. Modular Edit Lenses

32. PVAIR: Partial Variable Assignment InterpolatoR

33. Verifying a Verifier: On the Formal Correctness of an LTS Transformation Verification Technique

34. Hybrid Session Verification Through Endpoint API Generation

35. Many-Valued Institutions for Constraint Specification

36. CafeInMaude: A CafeOBJ Interpreter in Maude

37. Reduction Rules for Colored Workflow Nets

38. Towards Formal Proof Metrics

39. Cut Branches Before Looking for Bugs: Sound Verification on Relaxed Slices

40. Modeling and Abstraction of Memory Management in a Hypervisor

41. Family-Based Modeling and Analysis for Probabilistic Systems – Featuring ProFeat

42. Statistical Model Checking of e-Motions Domain-Specific Modeling Languages

43. An Iterative Decision-Making Scheme for Markov Decision Processes and Its Application to Self-adaptive Systems

44. Model-Based Testing of Probabilistic Systems

45. Crowdsourced Bug Triaging: Leveraging Q&A Platforms for Bug Assignment

46. Two-Step Transformation of Model Traversal EOL Queries for Large CDO Repositories

47. The Influences of Edge Instability on Change Propagation and Connectivity in Call Graphs

48. RuleMerger: Automatic Construction of Variability-Based Model Transformation Rules

49. Automated Model Merge by Design Space Exploration

50. Iterative and Incremental Model Generation by Logic Solvers

Catalog

Books, media, physical & digital resources