CIS 376 Term Project By James Sheets. Project Description On-line calendar with scheduling.
Aug./Sept. 2009 Data Mutation Software Testing 1 Data Mutation Testing -- A Method for Automated Generation of Structurally Complex Test Cases Hong Zhu.
Sept 2008 1 Data Mutation Testing Applied to a Modelling Tool Hong Zhu Dept. of Computing, Oxford Brookes Univ., Oxford, UK Email: [email protected]@brookes.ac.uk.
MDS- why not? 1 ESRC Research Methods Festival July 2004 SESSION: New Directions in Multidimensional Analysis Tony Macmillan Coxon, University of Edinburgh.
Towards a semantic for uml activity diagram based on institution theory for it's transformation to event b model
Aug./Sept. 2009 Data Mutation Software Testing
Data Exchange Semantics and Query Answering Paper Seminale
SWEN 5130Requirements Engineering Algebraic Specification Slide 1 Algebraic Specification u Specifying abstract types in terms of relationships between.
Towards An Algebraic Formulation of Domain Definitions using Parameterised Machines T. L. McCluskey and R. M.Simpson School of Computing and Engineering.
Katz2004 236386--Formal Specifications Larch 1 Algebraic Specification and Larch Formal Specifications of Complex Systems 236368 Shmuel Katz The Technion.
Formal Specification. Approaches to formal specification Functional –The system is described as a number of functions. –Unnatural and complex for large.
Emulating proof-by-hand with Isabelle Julio Rubio Departamento Matemáticas y Computación Universidad de La Rioja (Spain) (Based on joint work with J. Aransay.