Formal Versus Agile: Survival of the Fittest von Black, S., Boca, P.P., Bowen, J.P., Gorman, J., Hinchey, M.

Volltext

Ten Commandments of Formal Methods ...Ten Years Later von Bowen, J.P., Hinchey, M.G.

Volltext

ZUM '95: The Z Formal Specification Notation: 9th International Conference of Z Users Limerick, Ireland, September 7–9, 1995 Proceedings von Bowen, Jonathan P, Hinchey, Michael G

Volltext

Ten commandments of formal methods von Bowen, J.P., Hinchey, M.G.

Volltext

Seven more myths of formal methods von Bowen, J.P., Hinchey, M.G.

Volltext

Reviews von Bowen, J.P., Bergin, T., Sterling, C.H.

Volltext

Reviews von Bowen, J.P., Bergin, T., Sterling, C.H.

Volltext

Influence of temperature on diffractive lens performance von Behrmann, G P, Bowen, J P

Volltext

Report on Z user meeting von Bowen, J.P

Volltext

Algebraic Approach to Operational Semantics and Observation-Oriented Semantics for a Timed Shared-Variable Language with Probability von Huibiao Zhu, Jifeng He, Bowen, J.P.

Volltext

An Invitation to Formal Methods von Bowen, J.P., Butler, R.W., Dill, D.L., Glass, R.L., Gries, D., Hall, A.

Volltext

Theoretical investigation of the Ca+–N2 and Ca2+–N2 complexes von Kirschner, K.N., Ma, B., Bowen, J.P., Duncan, M.A.

Volltext

Theoretical investigation of the Ca +–N 2 and Ca 2+–N 2 complexes von Kirschner, K.N., Ma, B., Bowen, J.P., Duncan, M.A.

Volltext

[10] Annulene. The wealth of enegetically low-lying structural isomers of the same (CH)[sub 10] connectivity von Xie, Y., Schaefer, H.F. III, Liang, G., Bowen, J.P.

Volltext

Deriving operational semantics from denotational semantics for Verilog von Huibiao, Z., Bowen, J.P., He Jifeng

Volltext

Report on Z user meeting: 7th Annual User Meeting (ZUM'92) Department of Trade and Industry (DTI), London, UK 14–15 December 1992 von Bowen, J.P

Volltext

Reasoning about VHD3L and VHDL-AMS using denotational semantics von Breuer, P.T., Madrid, N.M., Bowen, J.P., France, R., Petrie, M.L., Kloos, C.D.

Volltext bestellen

A Formal Approach to Aspect-Oriented Modular Reconfigurable Computing von Phan Cong-Vinh, Bowen, J.P.

Volltext bestellen

Algebraic Approach to Linking the Semantics of Web Services von Huibiao Zhu, Jifeng He, Jing Li, Bowen, J.P.

Volltext

Formal Methods and Software Safety von Bowen, J.P., Stavridou, V.

Volltext