145 results on '"Stevens, Perdita"'
Search Results
2. Theory and Practice of Networks of Models
3. The Future of Programming andModelling: A Vision
4. Introduction to Bidirectional Transformations
5. How to Write Good Programs: A Guide for Students
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
18. Modelling Recursive Calls with UML State Diagrams
19. UML and Concurrency
20. Enriching OCL Using Observational Mu-Calculus
21. On Associations in the Unified Modelling Language
22. On Use Cases and Their Relationships in the Unified Modelling Language
23. Extreme Programming and Modelling? : Panel
24. Some Issues in the Software Engineering of Verification Tools
25. Practical model-checking using games
26. Abstract games for infinite state processes
27. Playing Games with Software Design
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
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.