Rezumat articol ediţie STUDIA UNIVERSITATIS BABE┼×-BOLYAI

În partea de jos este prezentat rezumatul articolului selectat. Pentru revenire la cuprinsul ediţiei din care face parte acest articol, se accesează linkul din titlu. Pentru vizualizarea tuturor articolelor din arhivă la care este autor/coautor unul din autorii de mai jos, se accesează linkul din numele autorului.

 
       
         
    STUDIA INFORMATICA - Ediţia nr.2 din 2000  
         
  Articol:   FORMAL MODEL FOR SOFTWARE SYSTEMS COMPOSITION.

Autori:  MARIN IUGA.
 
       
         
  Rezumat:  In this paper we have provided a formal model for software sys- tems specification and for the software systems composition operation. Using the notion of information system as a basis, we can model any information system using both software services and software interfaces. Doing this, we can develop a formal model for software systems composition. This formal model may be used both in formal specification of software systems (structure, functionality, requirements) and in software systems composition expressions.  
         
     
         
         
      Revenire la pagina precedentă