Ir al contenido (pulsa Retorno)

Universitat Politècnica de Catalunya

    • Català
    • Castellano
    • English
    • LoginRegisterLog in (no UPC users)
  • mailContact Us
  • world English 
    • Català
    • Castellano
    • English
  • userLogin   
      LoginRegisterLog in (no UPC users)

UPCommons. Global access to UPC knowledge

57.066 UPC E-Prints
You are here:
View Item 
  •   DSpace Home
  • E-prints
  • Grups de recerca
  • ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals
  • Reports de recerca
  • View Item
  •   DSpace Home
  • E-prints
  • Grups de recerca
  • ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals
  • Reports de recerca
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

A module concept within the initial behaviour framework

Thumbnail
View/Open
1400008435.pdf (2,477Mb)
Share:
 
  View Usage Statistics
Cita com:
hdl:2117/189076

Show full item record
Nivela Alós, M. Pilar BrígidaMés informació
Orejas Valdés, FernandoMés informacióMés informació
Document typeResearch report
Defense date1988
Rights accessOpen Access
Attribution-NonCommercial-NoDerivs 3.0 Spain
Except where otherwise noted, content on this work is licensed under a Creative Commons license : Attribution-NonCommercial-NoDerivs 3.0 Spain
Abstract
A module concept is defined which anables the description of the whole design of software systems, that is, not only the specifications of problem requirements but also the specification of the process of implementation design. Moreover, this concept encapsulates (like in packages and similar constructions) both the interface and implementation parts. This module concept is based on a behaviour approach where the notion of implementation coincides with realization of the behaviour, that is, an abstract data type implements another if reproduces its behaviour. For that a special kind of signature morphism, called implementation morphism, is introduced in order to formalize this realization of a behaviour idea and it is shown that implementation defined in this way is compatible with parameter passing.
CitationNivela, M.; Orejas, F. "A module concept within the initial behaviour framework". 1988. 
Is part ofLSI-88-23
URIhttp://hdl.handle.net/2117/189076
Collections
  • ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals - Reports de recerca [139]
  • Departament de Ciències de la Computació - Reports de recerca [1.104]
Share:
 
  View Usage Statistics

Show full item record

FilesDescriptionSizeFormatView
1400008435.pdf2,477MbPDFView/Open

Browse

This CollectionBy Issue DateAuthorsOther contributionsTitlesSubjectsThis repositoryCommunities & CollectionsBy Issue DateAuthorsOther contributionsTitlesSubjects

© UPC Obrir en finestra nova . Servei de Biblioteques, Publicacions i Arxius

info.biblioteques@upc.edu

  • About This Repository
  • Contact Us
  • Send Feedback
  • Inici de la pàgina