11 results on '"Polack, Fiona"'
Search Results
2. Dynamic optimisation of preventative and corrective maintenance schedules for a large scale urban drainage system
3. A tutorial on metamodelling for grammar researchers
4. Safety-critical systems argumentation and validation in computational modeling for drug design
5. Automated Formalisation for Verification of Diagrammatic Models
6. Using formal metamodels to check consistency of functional views in information systems specification
7. Frameworks Based on Templates for Rigorous Model-driven Development
8. Emergent Properties Do Not Refine
9. Refinement via Consistency Checking in MDA
10. Refactoring in Maintenance and Development of Z Specifications and Proofs
11. Specification of integrity-preserving operations in information systems by using a formal UML-based 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.