×
Log in
Upload File
Most Popular
Art & Photos
Automotive
Business
Career
Design
Education
Hi-Tech
+ Browse for More
The top documents tagged [algebraic specification]
Documents
CIS 376 Term Project By James Sheets. Project Description On-line calendar with scheduling
219 views
Documents
Aug./Sept. 2009 Data Mutation Software Testing 1 Data Mutation Testing -- A Method for Automated Generation of Structurally Complex Test Cases Hong Zhu
213 views
Documents
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
213 views
Documents
MDS- why not? 1 ESRC Research Methods Festival July 2004 SESSION: New Directions in Multidimensional Analysis Tony Macmillan Coxon, University of Edinburgh
220 views
Technology
Towards a semantic for uml activity diagram based on institution theory for it's transformation to event b model
376 views
Documents
Aug./Sept. 2009 Data Mutation Software Testing
548 views
Documents
Data Exchange Semantics and Query Answering Paper Seminale
226 views
Documents
SWEN 5130Requirements Engineering Algebraic Specification Slide 1 Algebraic Specification u Specifying abstract types in terms of relationships between
217 views
Documents
Towards An Algebraic Formulation of Domain Definitions using Parameterised Machines T. L. McCluskey and R. M.Simpson School of Computing and Engineering
218 views
Documents
Katz2004 236386--Formal Specifications Larch 1 Algebraic Specification and Larch Formal Specifications of Complex Systems 236368 Shmuel Katz The Technion
222 views
Documents
Formal Specification. Approaches to formal specification Functional –The system is described as a number of functions. –Unnatural and complex for large
223 views
Documents
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
217 views
Next >