Kirsty Gunn's The Big Music (Faber £20) takes the bold step of using its subject matter, classical Scottish bagpipe music, as a formal model.
SOT can be used as a formal model to rigorously analyze the architectures and efficiencies of system organizations.
We try to help teachers to make the implicit design process explicit in order to improve design quality and to represent a traditionally informal description as a formal model that can be used for scaffolding and orchestrating a PBL process.
With this in mind and understanding the relevance of visual languages specially at the design level, we present in this paper a graphical model using hyperedge replacement systems as a formal model to represent styles and their reconfigurations.
This work presents a formal specification of PALS as a formal model transformation that maps a synchronous design, together with a set of performance bounds of the underlying infrastructure, to a formal DRTS specification that is semantically equivalent to the synchronous design.
That is, an ontology serves as a formal model through which one can employ mathematical logic to clarify and define concepts and relationships within a domain of interest.
