Search Results - "B method (Computer science)"

Inferring physical units in formal models.

Authors: Krings, Sebastian Leuschel, Michael

Source: Software & Systems Modeling. Feb2017, Vol. 16 Issue 1, p25-47. 23p.

Subjects: B method (Computer science), Formal languages, Units of measurement, Technical specifications, Semantics

Optimizing bug report assignment using multi criteria decision making technique.

Authors: Goyal, Anjali Sardana, Neetu

Source: Intelligent Decision Technologies. 2017, Vol. 11 Issue 3, p307-320. 14p.

Subjects: Analytic hierarchy process, B method (Computer science), Debugging

Concepts of Refinement and Simulation in BPA and B-Method.

Authors: Výrost, Marek Korečko, Štefan Hudák, Štefan

Source: Journal of Computer Science & Control Systems; 2009, Vol. 2 Issue 2, p74-79, 6p, 7 Diagrams, 1 Chart

Translating B to TLA+ for validation with TLC.

Authors: Hansen, Dominik Leuschel, Michael

Source: Science of Computer Programming. Dec2016, Vol. 131, p109-125. 17p.

Subjects: B method (Computer science), Programming languages, Predicate (Logic), Set theory, Computer programming, Translating machines

A formal validation of the RBAC ANSI 2012 standard using B.

Authors: Huynh, Nghi Frappier, Marc Mammar, Amel et al.

Source: Science of Computer Programming. Dec2016, Vol. 131, p76-93. 18p.

Subjects: B method (Computer science), ANSI standards, Inconsistency (Logic), Mathematical notation, Ad hoc computer networks, Access control

The correctness of event-B inductive convergence.

Authors: Hallerstede, Stefan¹ stefan.hallerstede@wanadoo.fr

Source: Science of Computer Programming. Dec2016, Vol. 131, p94-108. 15p.

Subjects: Computer software correctness, B method (Computer science), Computer programming, Proof theory, Stochastic convergence, Mathematical induction

Modeling in Event-B : System and Software Engineering

Authors: Jean-Raymond Abrial

Resource Type: eBook.

Subjects: Computer science--Mathematical models, Computer systems--Verification, Formal methods (Computer science), B method (Computer science)

Categories: COMPUTERS / Data Science / General, COMPUTERS / Computer Literacy, COMPUTERS / Computer Science, COMPUTERS / Information Technology, COMPUTERS / Machine Theory, COMPUTERS / Reference, COMPUTERS / Hardware / General

Proof-based verification approaches for dynamic properties: application to the information system domain.

Authors: Mammar, Amel Frappier, Marc

Source: Formal Aspects of Computing. Mar2015, Vol. 27 Issue 2, p335-374. 40p.

Subjects: Information storage & retrieval systems, B method (Computer science), Programming languages, Computer systems, Algorithms

FORMAL DEVELOPMENT OF NoC SYSTEMS IN B.

Authors: Tsiopoulos, Leonidas Waldén, Marina

Source: Nordic Journal of Computing. Summer2006, Vol. 13 Issue 1/2, p127-145. 19p. 12 Diagrams, 1 Chart.

Subjects: B method (Computer science), Computer architecture, Technical specifications, Standardization, Modular arithmetic

A Component-Based Approach for the Development of Automated Systems.

Authors: Mosbahi, Olfa Khalgui, Mohamed Hanish, Hans-Michael et al.

Source: IEEE Transactions on Systems, Man & Cybernetics: Part A. Sep2011, Vol. 41 Issue 5, p1026-1031. 6p.

Subjects: Automation, B method (Computer science), Material requirements planning, Detectors, Control theory (Engineering), Synchronization, Mathematical proofs

HDF: Heat diffusion fields for polyp detection in CT colonography

Authors: Konukoğlu, E. Acar, B.

Source: Signal Processing. Oct2007, Vol. 87 Issue 10, p2407-2416. 10p.

Subjects: Computer software development, B method (Computer science), Computer programming management, POLYP (Computer system)

Large-scale system development using Abstract Data Types and refinement.

Authors: Fürst, Andreas Hoang, Thai Son Basin, David et al.

Source: Science of Computer Programming; Dec2016, Vol. 131, p59-75, 17p

Smart Game Board and Go Explorer: a study in software and knowledge engineering.

Authors: Kierulf, Ander Chen, Ken Nievergelt, Jurg

Source: Communications of the ACM; February 1990, Vol. 33, p152-166, 15p

Differential Debugging.

Source: IEEE Software; Nov2013, Vol. 30 Issue 6, p9-10, 2p, 1 Graph

Dynamic graphical UML views from formal B specifications.

Authors: Idani, Akram Ledru, Yves

Source: Information & Software Technology; March 2006, Vol. 48 Issue 3, p154-169, 16p

Book Review: Specification in B: an introduction using the B toolkit. Kevin Lano and Howard Haughton. Published by Imperial College Press and distributed by World Scientific Publishing, London, U.K., 1996. ISBN: 1-86094-018-8, 242 pages. Price: U.K. £17.00, soft cover.

Authors: Waeselynck, Hélène¹

Source: Software Testing: Verification & Reliability; Jun97, Vol. 7 Issue 2, p129-130, 2p

Beyond markets and firms: The emergence of Open Source networks.

Authors: Iannacci, Federico Mitleton, Kelly, Eve

Source: First Monday; May2005, p1-1, 1p

Review: Book Review.

Authors: Butler, M.¹

Source: Computer Journal; 1997, Vol. 40 Issue 1, p59-61, 3p

The development of a probabilistic B-method and a supporting toolkit

Authors: Hoang, Thai Son

URL: https://unsworks.unsw.edu.au/bitstreams/b7cde1ca-659a-4581-9b2e-f80899a867fc/download

THE B METHOD AND THE COMPONENT-BASED APPROACH.

Authors: Petit, Dorian Poirriez, Vincent Mariano, Georges

Source: Journal of Integrated Design & Process Science. Mar2004, Vol. 8 Issue 1, p65-76. 12p.