<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Peter Y. H. Wong</style></author><author><style face="normal" font="default" size="100%">Elvira Albert</style></author><author><style face="normal" font="default" size="100%">Radu Muschevici</style></author><author><style face="normal" font="default" size="100%">José Proença</style></author><author><style face="normal" font="default" size="100%">Jan Schäfer</style></author><author><style face="normal" font="default" size="100%">Rudolf Schlatte</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">The ABS tool suite: modelling, executing and analysing distributed adaptable object-oriented systems</style></title><secondary-title><style face="normal" font="default" size="100%">STTT - Software Tools for Technology Transfer</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2012</style></year></dates><urls><related-urls><url><style face="normal" font="default" size="100%">https://haslab.uminho.pt/sites/default/files/joseproenca/files/1-original.pdf</style></url></related-urls></urls><number><style face="normal" font="default" size="100%">5</style></number><volume><style face="normal" font="default" size="100%">14</style></volume><pages><style face="normal" font="default" size="100%">567–588</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Modern software systems must support a high degree of variability to accommodate a wide range  of requirements and operating conditions. This paper introduces the Abstract Behavioural Specication (ABS) language and tool suite, a comprehensive platform for developing and analysing highly adaptable distributed concurrent software systems. The ABS language has a hybrid functional and object-oriented core, and comes with extensions that support the development of systems that are adaptable to diversied requirements, yet capable to maintain a high level of trustworthiness. Using ABS, system variability is consistently traceable from the level of requirements engineering down to object behaviour. This facilitates temporal evolution, as changes to the required set of features of a system are automatically re ected by functional adaptation of the system's behaviour. The analysis capabilities of ABS stretch from debugging, observing and simulating to resource analysis of ABS models and help ensure that a system will remain dependable throughout its evolutionary lifetime. We report on the experience of using the ABS language and the ABS tool suite in an industrial case study.&lt;/p&gt;
</style></abstract><issue><style face="normal" font="default" size="100%">5</style></issue></record></records></xml>