429 results on '"Polack, Fiona"'
Search Results
152. An Outline Pattern Language for Z: Five Illustrations and Two Tables
153. Coming and Going from UML to B: A Proposal to Support Traceability in Rigorous IS Development
154. A Rigorous Metamodel for UML Static Conceptual Modelling of Information Systems
155. Systems development using Z generics
156. Tasmanian Vision: Landscapes in Writing, Art and Photography
157. Whose bones?
158. Software Quality Assurance using the SAZ Method
159. Towards hybrid model persistence
160. Towards Efficient Comparison of Change-Based Models.
161. Refactoring in Maintenance and Development of Z Specifications and Proofs
162. Specification of integrity-preserving operations in information systems by using a formal UML-based language
163. A multi-arm bandit neighbourhood search for routing and scheduling problems
164. Taking the waters: Abjection and homecoming in The Shipping News and Death of a River Guide
165. Simulating biology: towards understanding what the simulation shows
166. Risk Driven Analysis of Maintenance for a Large-scale Drainage System
167. Efficient Large-scale Road Inspection Routing
168. The Effect of Cooperation in Pickup and Multiple Delivery Problems
169. Emergence of Frontiers in networked Schelling segregationist models
170. A Comparison of Model Migration Tools
171. Comparing Model-Metamodel and Transformation-Metamodel Co-evolution
172. Using argument notation to engineer biological simulations with increased confidence
173. A tutorial on metamodelling for grammar researchers
174. Principled simulation of cell proliferation dynamics using the CoSMoS approach
175. Filling gaps in simulation of complex systems: the background and motivation for CoSMoS
176. Aligning OCL with Domain-Specific Languages to Support Instance-Level Model Queries
177. Writing Effective Security Abuse Cases
178. Secure Database Development and the Clark-Wilson Security Model
179. Constructing Models with the Human-Usable Textual Notation
180. Autonomous Objects and Bottom-Up Composition in ZOO Applied to a Case Study of Biological Reactivity
181. Extreme Programming Security Practices
182. Neutral Emergence and Coarse Graining
183. SAZ
184. The SAZ project: Integrating SSADM and Z
185. The Epsilon Transformation Language
186. UML+Z: Augmenting UML with Z
187. The Epsilon Generation Language
188. A Rigorous Metamodel for UML Static Conceptual Modelling of Information Systems Specification
189. Metamodels for Static Conceptual Modelling of Information Systems
190. Formal Specification of the UML Metamodel for Building Rigorous Caise Tools
191. Bioinspired Load Balancing in Large-Scale WSNs Using Pheromone Signalling
192. Scenario-based modeling to capture requirements for immune inspired profile adaptation
193. Juxtaposing Australian and Canadian Writing.
194. Runtime optimisation in WSNs for load balancing using pheromone signalling
195. Epsilon Flock: a model migration language
196. Choosing and adapting design notations in the principled development of complex systems simulations for research
197. Engineering Simulations for Cancer Systems Biology
198. Searching for model migration strategies
199. Scenario-Based Modeling to Capture Requirements for Immune Inspired Profile Adaptation.
200. Model transformation specification for automated formal verification
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.