Volgen
howard haughton
howard haughton
MD Holistic Risk Solutions and Kings College London
Geverifieerd e-mailadres voor kcl.ac.uk
Titel
Geciteerd door
Geciteerd door
Jaar
Object-oriented specification case studies
K Lano, H Haughton
Prentice Hall International (UK) Ltd., 1994
1841994
Specification in B: An introduction using the B toolkit
H Haughton, K Lano
World Scientific, 1996
1231996
Reasoning and refinement in object-oriented specification languages
K Lano, H Haughton
European Conference on Object-Oriented Programming, 78-97, 1992
571992
Reverse‐engineering cobol via formal methods
K Lano, PT Breuer, H Haughton
Journal of Software Maintenance: Research and Practice 5 (1), 13-35, 1993
501993
Reverse engineering and software maintenance: a practical approach
K Lano, H Haughton
McGraw-Hill, Inc., 1993
481993
Formal methods into practice: case studies in the application of the B method
JC Bicarregui, DL Clutterbuck, G Finnie, H Haughton, K Lano, H Lesan, ...
IEE Proceedings-Software 144 (2), 119-133, 1997
451997
Objects revisited
HP Haughton, K Lano
1991 Conference on Software Maintenance, 152,153,154,155,156,157,158,159,160 …, 1991
321991
The z++ manual
K Lano, H Haughton
Lloyds Register of Shipping 29, 1994
301994
Formal development in B abstract machine notation
K Lano, H Haughton
Information and Software Technology 37 (5-6), 303-316, 1995
221995
Reuse and adaptation of Z specifications
K Lano, H Haughton
Z User Workshop, London 1992, 62-90, 1993
171993
A strategy for the production of verifiable code using the B method
AC Storey, HP Haughton
International Symposium of Formal Methods Europe, 346-365, 1994
141994
A specification‐based approach to maintenance
K Lano, H Haughton
Journal of Software Maintenance: Research and Practice 3 (4), 193-213, 1991
141991
Integrating formal and structured methods in reverse-engineering
K Lano, H Haughton
[1993] Proceedings Working Conference on Reverse Engineering, 17-26, 1993
131993
The impact of integrating agile software development and model-driven development: a comparative case study
H Alfraihi, K Lano, S Kolahdouz-Rahimi, M Sharbaf, H Haughton
International Conference on System Analysis and Modeling, 229-245, 2018
122018
Experiences in using the abstract machine notation in a GKS case study
B Ritchie, J Bicarregui, H Haughton
International Symposium of Formal Methods Europe, 93-104, 1994
121994
A comparative description of object-oriented specification languages
K Lano, H Haughton
Object-oriented specification case studies, 20-54, 1994
121994
Extracting design and functionality from code
K Lano, H Haughton
Proceedings of the Fifth International Workshop on Computer-Aided Software …, 1992
121992
An algebraic semantics for the specification language Z++
K Lano, HP Haughton
Proceedings of the Second International Conference on Methodology and …, 1991
111991
Improving the process of system specification and refinement in B
K Lano, H Haughton
6th Refinement Workshop, 45-68, 1994
101994
Specifying a concept-recognition system in Z++
K Lano, H Haughton
Object-oriented specification case studies, 137-157, 1994
91994
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20