Title : 
Closing the gap between software modelling and code
         
        
            Author : 
Wagner, F. ; Wagner, T. ; Wolstenholme, P.
         
        
        
        
        
        
            Abstract : 
If a software implementation is to be generated fully automatically from a model, then the model must be detailed and totally complete. For the definition of software implementing system behaviour, through finite state machines, we propose a well-proven method for the creation of such models and an associated XML expression of them.
         
        
            Keywords : 
Unified Modeling Language; XML; finite state machines; software prototyping; UML; XML; finite state machine; software implementation; software modelling; system behaviour; Application software; Automata; Computer architecture; Embedded software; Embedded system; Programming; Software libraries; Software standards; Software systems; Unified modeling language;
         
        
        
        
            Conference_Titel : 
Engineering of Computer-Based Systems, 2004. Proceedings. 11th IEEE International Conference and Workshop on the
         
        
            Print_ISBN : 
0-7695-2125-8
         
        
        
            DOI : 
10.1109/ECBS.2004.1316682