D. Cansell and D. Mery, “Foundations of the B Method,” Computing and Informatics, Vol. 22, 2003, pp. 221-256.

has been cited by the following article:

• TITLE: Conversion of Object Oriented System into Software Product Line with Delta Modeling Abstract Behavioral Specification

  AUTHORS: Ricky Timothy Gultom, Maya Retno Ayu Setyautami, Iis Solichah

  KEYWORDS: System Conversion; Abstract Behavioral Specification; Delta Modeling; Software Product line; Object Oriented

  JOURNAL NAME: Journal of Computer and Communications, Vol.2 No.2, January 10, 2014

  ABSTRACT: This article contains a system conversion from object oriented design into Software Product Line (SPL) using delta modeling of Abstract Behavioral Specification (ABS). ABS is a modeling language which targets system with high level of variety and supports SPL development with delta modeling. The case study of this thesis is a digital library system called Library Automation and Digital Archive (LONTAR). Originally, LONTAR only uses SOAP-based web service. With ABS, LONTAR will be converted into SPL and implement another web service called REST. The motivation of this conversion of LONTAR from object oriented into SPL is because it is easier to develop system with ABS than using regular object oriented. Product definition in ABS is relatively easier than creating a new subclass and do customization to make it works well.