Interpreting Invariant Composition in the B Method Using the Spec# Ownership Relation: A Way to Explain and Relax B Restrictions

B 2007: Formal Specification and Development in B - Lecture Notes in Computer Science ◽

10.1007/11955757_4 ◽

2006 ◽

pp. 4-18 ◽

Cited By ~ 4

Author(s):

Sylvain Boulmé ◽

Marie-Laure Potet

Keyword(s):

B Method

Download Full-text

BHive: Behavior-Driven Development Meets B-Method

Advances in Intelligent Systems and Computing - Quality Software Through Reuse and Integration ◽

10.1007/978-3-319-56157-8_11 ◽

2017 ◽

pp. 232-255 ◽

Cited By ~ 1

Author(s):

John Douglas Carter ◽

William Bennett Gardner

Keyword(s):

B Method

Download Full-text

Applying the B-Method to Avionics Software: An Initial Report on the MIST Project

Safety and Reliability of Software Based Systems ◽

10.1007/978-1-4471-0921-1_16 ◽

1997 ◽

pp. 288-304 ◽

Cited By ~ 2

Author(s):

Jonathan Draper

Keyword(s):

Initial Report ◽

B Method

Download Full-text

Interpreting the B-Method in the Refinement Calculus

FM’99 — Formal Methods - Lecture Notes in Computer Science ◽

10.1007/3-540-48119-2_24 ◽

1999 ◽

pp. 411-430 ◽

Cited By ~ 5

Author(s):

Yann Rouzaud

Keyword(s):

Refinement Calculus ◽

B Method

Download Full-text

Validation of Component based Software Development Model using Formal B-Method

International Journal of Computer Applications ◽

10.5120/11423-6768 ◽

2013 ◽

Vol 67 (9) ◽

pp. 24-35 ◽

Cited By ~ 1

Author(s):

Asif IrshadKhan ◽

Md. Mottahir Alam ◽

Noor-ul-Qayyum Noor-ul-Qayyum ◽

Usman Ali Khan

Keyword(s):

Software Development ◽

Development Model ◽

B Method ◽

Software Development Model

Download Full-text

Checking the European Railways Traffic Management System (ERTMS) operating rules using UML and the B method

Computers in Railways XIV ◽

10.2495/cr140111 ◽

2014 ◽

Cited By ~ 1

Author(s):

R. Ben Ayed

Keyword(s):

Traffic Management ◽

Management System ◽

B Method ◽

Operating Rules ◽

Traffic Management System

Download Full-text

Photometric Determination of Antimony in Lead Using Rhodamine B Method

Analytical Chemistry ◽

10.1021/ac60076a047 ◽

1953 ◽

Vol 25 (4) ◽

pp. 674-674 ◽

Cited By ~ 21

Author(s):

C. L. Luke

Keyword(s):

Rhodamine B ◽

Photometric Determination ◽

B Method

Download Full-text

Implementing a hardware‐assisted memory management mechanism for ARM platforms using the B method

Concurrency and Computation Practice and Experience ◽

10.1002/cpe.4659 ◽

2018 ◽

Vol 31 (21) ◽

Cited By ~ 1

Author(s):

Rui Chang ◽

Liehui Jiang ◽

Yaobin Xie ◽

Hongqi He ◽

Danmin Chen ◽

...

Keyword(s):

Memory Management ◽

Management Mechanism ◽

B Method

Download Full-text

Verification and Validation of Web Service Composition Using Event B Method

Lecture Notes in Computer Science - Abstract State Machines, B and Z ◽

10.1007/978-3-540-87603-8_28 ◽

2008 ◽

pp. 339-340 ◽

Cited By ~ 3

Author(s):

Idir Ait-Sadoune ◽

Yamine Ait-Ameur

Keyword(s):

Web Service ◽

Service Composition ◽

Web Service Composition ◽

Verification And Validation ◽

B Method ◽

Event B Method

Download Full-text

A decision support tool approach based on the Electre TRI-B method for the valorisation of tropical timbers from the Congo Basin: an application for glulam products

Southern Forests a Journal of Forest Science ◽

10.2989/20702620.2018.1463153 ◽

2018 ◽

Vol 80 (4) ◽

pp. 361-371 ◽

Cited By ~ 2

Author(s):

René Oum Lissouck ◽

Régis Pommier ◽

Franck Taillandier ◽

Jean K Mvogo ◽

Denys Breysse ◽

...

Keyword(s):

Decision Support ◽

Decision Support Tool ◽

Congo Basin ◽

Support Tool ◽

B Method ◽

Electre Tri

Download Full-text

Formally Specifying T Cell Cytokine Networks with B Method

Computational and Information Science - Lecture Notes in Computer Science ◽

10.1007/978-3-540-30497-5_60 ◽

2004 ◽

pp. 385-390 ◽

Cited By ~ 2

Author(s):

Shengrong Zou

Keyword(s):

T Cell ◽

B Method ◽

Cytokine Networks

Download Full-text