Formal design and implementation of constraints in software components (Articolo in rivista)

Type
Label
  • Formal design and implementation of constraints in software components (Articolo in rivista) (literal)
Anno
  • 2010-01-01T00:00:00+01:00 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi
  • 10.1016/j.advengsoft.2009.12.014 (literal)
Alternative label
  • De Pietro G.; Coronato A. (2010)
    Formal design and implementation of constraints in software components
    in Advances in engineering software (1992)
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • De Pietro G.; Coronato A. (literal)
Pagina inizio
  • 737 (literal)
Pagina fine
  • 747 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url
  • http://www.sciencedirect.com/science/article/pii/S0965997809002774 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroVolume
  • 41 (literal)
Rivista
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroFascicolo
  • 5 (literal)
Note
  • ISI Web of Science (WOS) (literal)
  • Google S (literal)
  • Scopu (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • ICAR-CNR, Via Castellino 111, 80131 Napoli, Italy (literal)
Titolo
  • Formal design and implementation of constraints in software components (literal)
Abstract
  • This paper deals with the modeling, automatic implementation and runtime verification of constraints in component-based applications. Constraints have been assuming an ever more relevant role in modeling distributed systems as long as business rules implementation, design-by-contract practice, and fault-tolerance requirements are concerned. Nevertheless, component developers are not sufficiently supported by existing tools to model and implement such features. In this paper, we propose a methodology and a set of tools that enable developers both to model componentconstraints and to generate automatically component skeletons that already implement such constraints. The methodology has been extended to support implementation even in case of legacy components. (literal)
Prodotto di
Autore CNR
Insieme di parole chiave

Incoming links:


Prodotto
Autore CNR di
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#rivistaDi
Insieme di parole chiave di
data.CNR.it