<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Alexandre Madeira</style></author><author><style face="normal" font="default" size="100%">M. Martins</style></author><author><style face="normal" font="default" size="100%">Luis Soares Barbosa</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Boilerplates for reconfigurable systems: a language and its semantics</style></title><secondary-title><style face="normal" font="default" size="100%">Simpósio Brasileiro de Linguagens de Programação - SBLP</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2013</style></year><pub-dates><date><style  face="normal" font="default" size="100%">October</style></date></pub-dates></dates><urls><related-urls><url><style face="normal" font="default" size="100%">https://haslab.uminho.pt/sites/default/files/madeira/files/1305.6115.pdf</style></url></related-urls></urls><publisher><style face="normal" font="default" size="100%">Springer</style></publisher><pub-location><style face="normal" font="default" size="100%">Natal, Brazil</style></pub-location><volume><style face="normal" font="default" size="100%">8129</style></volume><pages><style face="normal" font="default" size="100%">75–89 </style></pages><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Boilerplates are simplied, normative English texts, intended to capture software requirements in a controlled way. This paper proposes a pallet of boilerplates as a requirements modelling language for recongurable systems, i.e., systems structured in dierent modes of execution among which they can dynamically commute. The language semantics is given as an hybrid logic, in an institutional setting. The mild use made of the theory of institutions, which, to a large extent, may be hidden from the working software engineer, not only provides a rigorous and generic semantics, but also paves the way to tool-supported validation.&lt;/p&gt;
</style></abstract></record></records></xml>