Bayesian Network Based XP Process Modelling

Behavioral subtyping through typed assertions

Benchmarking the solar dynamo with Maxima

Beyond The Desktop Spreadsheet

Bigraphical Refinement

BOA: Framework for Automated Builds

BP Variability Case Studies Development using different Modeling Approaches

BPDMN: A Conservative Extension of BPMN with Enhanced Data Representation Capabilities

BPEL-RF: A formal framework for BPEL orchestrations integrating distributed resources

Breviz: Visualizing Spreadsheets using Dataflow Diagrams

BRIDGE: A Model for Modern Software Development Process to Cater the Present Software Crisis

Bridging the Gap between Technical Heterogeneity of Context-Aware Platforms: Experimenting a Service Based Connectivity between Adaptable Android, WComp and OpenORB

Browser-based Analysis of Web Framework Applications

Broy-Lamport Specification Problem: A Gurevich Abstract State Machine Solution

Bug shallowness in open-source, Macintosh software

Building a refinement checker for Z

Building Financial Accuracy into Spreadsheets

Building Healthcare - Patient Relationship with CRM 2.0: Lesson Learnt from Prita Mulyasari's Case

Building Reusable Software Component For Optimization Check in ABAP Coding

Building sustainable ecosystem-oriented architectures