Combining semi-formal and formal notations in software specification: an approach to modelling time-constrained systems
Peter B. Hitchcock, Sergiu-Mihai Dascalu · 2001
This thesis is about the integration of semi-formal, graphical representations with formal notations within a modelling approach aimed at the construction of time-constrained systems (TCS). We believe that the two types of notation, graphical (semi-formal) and, respectively, formal, can efficiently complement each other and provide the basis for a software specification approach that can be both rigorous and practical. Although many authors have envisaged the advantages of combining informality with formality in software construction, there are very few reports that address the problem within the context of object-orientation and project its solution over the canvas of TCS modelling.