The B−Method

The B−Method

Bibliographic Details
Main Authors:	Abrial, J, Lee, M, Neilson, D, Scharbach, P, Sørensen, I
Format:	Conference item
Published:	Springer−Verlag 1991

Similar Items

B: towards zero defect software
by: Sorensen, I, et al.
Published: (2001)

Applying the B Technologies on CICS
by: Hoare, J, et al.
Published: (1996)

The B-book : assigning programs to meanings /
by: 255155 Abrial, Jean-Raymond
Published: (1996)

High integrity software
by: Sorensen, I, et al.
Published: (2001)

B−Tool
by: Lee, M, et al.
Published: (1991)

Formality, evolution, and model-driven software engineering
by: Davies, J, et al.
Published: (2005)

Formality‚ Evolution‚ and Model−driven Software Engineering
by: Davies, J, et al.
Published: (2005)

KWIC−index generation
by: Steensgaard−Madsen, J, et al.
Published: (1982)

Estimating front-wave velocity of infectious diseases: a simple, efficient method applied to bluetongue
by: Pioz Maryline, et al.
Published: (2011-04-01)

Which peer-reviewed journals publish the most on diabetes?
by: Christine J Neilson, et al.
Published: (2008-12-01)

Using B to Specify‚ Verify and Design Hardware Circuits
by: Sørensen, I
Published: (1998)

Applications of Differential Geometry Linking Topological Bifurcations to Chaotic Flow Fields
by: Peter D. Neilson, et al.
Published: (2024-06-01)

How French culture influences the framing of genetic modifications on the internet: Insights from Google-based corpus analysis
by: Anaïs Degache, et al.
Published: (2024-01-01)

How French culture influences the framing of genetic modifications on the internet: Insights from Google-based corpus analysis.
by: Anaïs Degache, et al.
Published: (2024-01-01)

The use of B to specify‚ design and verify hardware
by: Ifill, W, et al.
Published: (2001)

A Riemannian Geometry Theory of Synergy Selection for Visually-Guided Movement
by: Peter D. Neilson, et al.
Published: (2021-05-01)

The Riemannian Geometry Theory of Visually-Guided Movement Accounts for Afterimage Illusions and Size Constancy
by: Peter D. Neilson, et al.
Published: (2022-06-01)

A Riemannian Geometry Theory of Three-Dimensional Binocular Visual Perception
by: Peter D. Neilson, et al.
Published: (2018-12-01)

Bayesian hierarchical models for disease mapping applied to contagious pathologies.
by: Sylvain Coly, et al.
Published: (2021-01-01)

What Do Health Libraries Tweet About? A Content Analysis
by: Christine J Neilson
Published: (2016-09-01)

"It's like your days are empty and yet there's life all around": A mixed methods, multi-site study exploring boredom during and following homelessness.
by: Carrie Anne Marshall, et al.
Published: (2024-01-01)

Novelty Seeking in Parkinson’s Disease: A Candidate Biomarker for Cognitive Changes
by: Kyle Paulk, et al.
Published: (2024-11-01)

“It’s like your days are empty and yet there’s life all around”: A mixed methods, multi-site study exploring boredom during and following homelessness
by: Carrie Anne Marshall, et al.
Published: (2024-01-01)

Epidémiologie de la tremblante et de l’Encéphalopathie Spongiforme Bovine en France
by: C. DUCROT, et al.
Published: (2004-12-01)

Interactive computerized accounting problems set/
by: 341447 Neilson, Denis P.
Published: (1972)

Small-group learning and its value to social work education
by: Neilson, Deanna
Published: (2006)

Instituitional isormorphism in financial disclosure practices in Malaysian local government
by: Teruki, Neilson
Published: (2017)

Cost-System Functionality, Perceived Usefulness of Cost Information and Performance of Oil Palm Enterprises in Malaysia
by: Teruki, Neilson
Published: (2007)

Reaching the Palace
by: Shane Neilson
Published: (2011-01-01)

From Participant to Partner: Applying Indigenous Understandings of Treaties to Canada’s Environmental Impact Assessment Processes
by: Claire Neilson
Published: (2024-08-01)

Let Me Heal
by: Shane Neilson
Published: (2011-01-01)

A Break
by: Shane Neilson
Published: (2011-01-01)

Registration is Open: CHLA/ABSC’s Annual Conference in Winnipeg, MB
by: Christine Neilson
Published: (2024-04-01)

Report from the UK e-Science All Hands Meeting, September 10-13, 2007, Nottingham, UK
by: Colin Neilson
Published: (2008-12-01)

Investigating the impact financial content structure has on consumer appreciation: An empirical study of Australian statement of advice documents
by: Ben Neilson
Published: (2023-11-01)

Report from the UK e-Science All Hands Meeting, September 10-13, 2007, Nottingham, UK
by: Colin Neilson
Published: (2008-12-01)

Report from the UK e-Science All Hands Meeting, September 10-13, 2007, Nottingham, UK
by: Colin Neilson
Published: (2008-12-01)

Report from the UK e-Science All Hands Meeting, September 10-13, 2007, Nottingham, UK
by: Colin Neilson
Published: (2008-12-01)

Mark Your Calendar – CHLA/ABSC Conference 2024
by: Christine Neilson
Published: (2023-12-01)

Learning for the Future beyond COVID-19: A Critical Alternative to the Neoliberal Model of Development
by: David Neilson
Published: (2022-02-01)