Tony Bryant | Leeds Metropolitan University (original) (raw)
Uploads
Papers by Tony Bryant
Emerald Publishing Limited eBooks, Nov 14, 2022
Thesis Eleven, Jan 10, 2020
Oxford University Press eBooks, Jan 29, 2017
Oxford University Press eBooks, Jan 29, 2017
Historical Social Research, Supplement, 2007
Oxford University Press eBooks, Jan 29, 2017
Oxford University Press eBooks, Jan 29, 2017
Electronic Workshops in Computing, 1996
IEE Colloquium on `Practical Application of Formal Methods', 1995
In the 1980s the promise and potential of formal specification was drastically undermined, in par... more In the 1980s the promise and potential of formal specification was drastically undermined, in part from those claiming that it would solve all problems in the development of software based systems. Formal, mathematically-based notations, had been used with some effect at the level of code in the form of program-proving, usually in the form of constructing statements of pre- and post-conditions and invariants, followed by proofs that sections of code were totally constrained by these aspects. Program proving was applied successfully to several notable high-profile and safety-critical projects, mostly in the defence and space areas. It was also used in hardware design. The paper considers four aspects in the adoption of formal specification. (7 pages)
Grounded Theory and Grounded Theorizing, 2017
The SAGE Handbook of Innovation in Social Research Methods
Theory, Culture & Society, 2007
THIS IS an edited and revised transcript of a presentation organized by LUMEN and CentreCATH as p... more THIS IS an edited and revised transcript of a presentation organized by LUMEN and CentreCATH as part of the Leeds Film Festival. The occasion provided a forum for the presenters to outline and build upon Zygmunt Bauman's concept of liquid modernity and the ways in which his ...
Oxford University Press eBooks, Jan 29, 2017
Edward Elgar Publishing eBooks, Feb 16, 2021
Emerald Publishing Limited eBooks, Nov 14, 2022
Thesis Eleven, Jan 10, 2020
Oxford University Press eBooks, Jan 29, 2017
Oxford University Press eBooks, Jan 29, 2017
Historical Social Research, Supplement, 2007
Oxford University Press eBooks, Jan 29, 2017
Oxford University Press eBooks, Jan 29, 2017
Electronic Workshops in Computing, 1996
IEE Colloquium on `Practical Application of Formal Methods', 1995
In the 1980s the promise and potential of formal specification was drastically undermined, in par... more In the 1980s the promise and potential of formal specification was drastically undermined, in part from those claiming that it would solve all problems in the development of software based systems. Formal, mathematically-based notations, had been used with some effect at the level of code in the form of program-proving, usually in the form of constructing statements of pre- and post-conditions and invariants, followed by proofs that sections of code were totally constrained by these aspects. Program proving was applied successfully to several notable high-profile and safety-critical projects, mostly in the defence and space areas. It was also used in hardware design. The paper considers four aspects in the adoption of formal specification. (7 pages)
Grounded Theory and Grounded Theorizing, 2017
The SAGE Handbook of Innovation in Social Research Methods
Theory, Culture & Society, 2007
THIS IS an edited and revised transcript of a presentation organized by LUMEN and CentreCATH as p... more THIS IS an edited and revised transcript of a presentation organized by LUMEN and CentreCATH as part of the Leeds Film Festival. The occasion provided a forum for the presenters to outline and build upon Zygmunt Bauman's concept of liquid modernity and the ways in which his ...
Oxford University Press eBooks, Jan 29, 2017
Edward Elgar Publishing eBooks, Feb 16, 2021