The automatic assessment of Z specifications

QR Code

The automatic assessment of Z specifications

The need to automate the process of assessing a specification in a learning environment is identified to be one of the fundamental ways to improve the use of formal notation in specifying a real system. General issues involved in building an automatic marking system for computer-based courses are e...

Full description

Bibliographic Details
Main Author:	Shukur, Zarina
Format:	Thesis (University of Nottingham only)
Language:	English
Published:	1999
Subjects:	z specifications
Online Access:	https://eprints.nottingham.ac.uk/28622/

Similar Items

Understanding the use of sex pilus specific bacteriophages to reduce conjugative dissemination of antibiotic resistance
by: Maluping, Ramon
Published: (2023)

Analysis of substrate selectivity determinants in Ubiquitin Specific Proteases 11 and 15
by: Mayer, Matthias
Published: (2023)

Establishing usability heuristics for heuristics evaluation in a specific domain: is there a consensus?
by: Hermawati, Setia, et al.
Published: (2016)

Assessing the influence of "standard" and "culturally specific" risk factors on the prevalence and frequency of offending: The case of Indigenous Australians
by: Ferrante, Anna
Published: (2012)

Structural Assessment Of Distressed Bridges As An Aid To Development Of An Expert System
by: Chong, Kau Ping
Published: (2001)

Financial liberalization and the relationship-specificity of exports
by: Defever, Fabrice, et al.
Published: (2014)

Local governmental management of discretionary and specific accruals
by: Pilcher, Robyn
Published: (2011)

Spatial processing is frequency-specific in auditory cortex but not in the midbrain
by: Sollini, Joseph A., et al.
Published: (2017)

The role of relaxin family receptor 1 and 2 (RXFP1 and RXFP2) in gender- specific physiology and pathology
by: Alhujaili, Waleed
Published: (2021)

Separating content-specific retrieval from post-retrieval processing
by: Doidge, Amie N., et al.
Published: (2017)

Self-esteem, shyness, and sociability in adolescents with specific language impairment (SLI)
by: Wadman, Ruth, et al.
Published: (2008)

Postschool Educational and Employment Experiences of Young People With Specific Language Impairment.
by: Conti-Ramsden, Gina, et al.
Published: (2012)

The impact of the number of tears in patient-specific Stanford type B aortic dissecting aneurysm: CFD simulation
by: Naim, Wan, et al.
Published: (2013)

Important Criteria For Industrialized Building Systems From The Prespectives Of Major Project Partcipants
by: Lim, Jee Gin
Published: (2002)

School-age prework experiences of young people with a history of specific language impairment
by: Durkin, K., et al.
Published: (2012)

Mucosal cell responses to Clostridium difficile toxins
by: Mullan, Nivette K.
Published: (2011)

The clinical utility of pain classification in non-specific arm pain
by: Moloney, N., et al.
Published: (2015)

BIM application to enhance the quality of project management for building owners and developers
by: Fang, Fang
Published: (2020)

Public perception on freedom of information: the level of readiness in implementing the freedom of information in Malaysia / Jasmine Ahmad and Azni Mohd Dian
by: Ahmad, Jasmine, et al.
Published: (2011)

Sensory characteristics of chronic non-specific low back pain: A subgroup investigation
by: O'Sullivan, Peter, et al.
Published: (2014)

Model specification in panel data unit root tests with an unknown break
by: Chan, Felix, et al.
Published: (2011)

The application of specific point energy analysis to laser cutting with 1 μm laser radiation
by: Hashemzadeh, M., et al.
Published: (2014)

Functional outcomes of adolescents with a history of specific language impairment (SLI) with and without autistic symptomatology
by: Durkin, K., et al.
Published: (2012)

Surviving and thriving in the cystic fibrosis lung: contribution of an arginine specific aminopeptidase to sustained infection by Pseudomonas aeruginosa
by: Spencer, Daniella Lucy
Published: (2019)

Feasibility of a home-based program to improve handwriting after stroke: a pilot study
by: Simpson, B., et al.
Published: (2015)

Genetic analysis of two structure-specific endonucleases Hef and Fen1 in archaeon Haloferax volcanii
by: Duan, Zhenhong
Published: (2009)

A methodology of integrating marketing with engineering for defining design specifications of new products
by: Kwong, C., et al.
Published: (2011)

The messages they send: e-mail use by adolescents with and without a historyof specific language impairment (SLI)
by: Conti-Ramsden, Gina, et al.
Published: (2012)

Working, declarative and procedural memory in specific language impairment
by: Lum, J., et al.
Published: (2012)

Primase is required for helicase activity and helicase alters the specificity of primase in the enteropathogen Clostridium difficile
by: van Eijk, Erika, et al.
Published: (2016)

Primase is required for helicase activity and helicase alters the specificity of primase in the enteropathogen Clostridium difficile
by: van Eijk, Erika, et al.
Published: (2016)

Z-source matrix rectifier
by: Hongchen, Liu, et al.
Published: (2016)

Use of biomarker distributions and compound specific isotopes of carbon and hydrogen to delineate hydrocarbon characteristics in the East Sirte Basin (Libya)
by: Aboglila, S., et al.
Published: (2010)

The future of work: work values of Generation Z
by: Lee, Lineker Hock Huat
Published: (2024)

Evaluation of Domain-specific Rule Generation Framework based on Usability Criteria
by: Mani, N., et al.
Published: (2018)

New modulation scheme for bidirectional quasi z-source modular multilevel converters
by: Khera, Fatma, et al.
Published: (2018)

Safety stressors, safety-specific trust, and safety citizenship behavior: A contingency perspective
by: Wang, D., et al.
Published: (2020)

The efficacy of manual therapy and exercise for different stages of non-specific low back pain: an update of systematic reviews
by: Hidalgo, B., et al.
Published: (2014)

Investigations into fibre laser cutting
by: Hashemzadeh, Majid
Published: (2014)

Determinants of profitability in Chinese commercial banking sector
by: LIU, XUEGE
Published: (2018)