30 results on '"Polack, Fiona"'
Search Results
2. Evaluating Hyperheuristics and Local Search Operators for Periodic Routing Problems
3. Variable Neighbourhood Descent with Memory: A Hybrid Metaheuristic for Supermarket Resupply
4. Metamodelling for Grammarware Researchers
5. Sensitivity Analysis in Model-Driven Engineering
6. Identifying Desirable Game Character Behaviours through the Application of Evolutionary Algorithms to Model-Driven Engineering Metamodels
7. Formal Analysis in Model Management: Exploiting the Power of CZT
8. Constructing and Navigating Non-invasive Model Decorations
9. Taming EMF and GMF Using Model Transformation
10. Model Migration with Epsilon Flock
11. A Comparison of Model Migration Tools
12. The Grand Challenge of Scalability for Model Driven Engineering
13. On the Evolution of OCL for Capturing Structural Constraints in Modelling Languages
14. The Epsilon Object Language (EOL)
15. A Formal Template Language Enabling Metaproof
16. Merging Models with the Epsilon Merging Language (EML)
17. An Object-Oriented Structuring for Z Based on Views
18. An Agile and Extensible Code Generation Framework
19. An Architecture for Modelling Emergence in CA-Like Systems
20. Secure Databases: An Analysis of Clark-Wilson Model in a Database Environment
21. Formal Proof from UML Models
22. Comparison of Formalisation Approaches of UML Class Constructs in Z and Object-Z
23. Patterns to Guide Practical Refactoring: Examples Targetting Promotion in Z
24. An Outline Pattern Language for Z: Five Illustrations and Two Tables
25. Coming and Going from UML to B: A Proposal to Support Traceability in Rigorous IS Development
26. Systems development using Z generics
27. Constructing Models with the Human-Usable Textual Notation
28. Neutral Emergence and Coarse Graining
29. The Epsilon Transformation Language
30. The Epsilon Generation Language
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.