%0 Conference Paper
%B Simpósio Brasileiro de Linguagens de Programação - SBLP
%D 2013
%T Boilerplates for reconfigurable systems: a language and its semantics
%A Alexandre Madeira
%A M. Martins
%A Luis Soares Barbosa
%C Natal, Brazil
%I Springer
%P 75–89
%V 8129
%X <p>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 dierent 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.</p>
%8 October
%> https://haslab.uminho.pt/sites/default/files/madeira/files/1305.6115.pdf