Supporting Tools for Designing-By-Contract in Component based Applications (Contributo in volume (capitolo o saggio))

Type

• Contributo in volume (capitolo o saggio) (Classe)
• Prodotto della ricerca (Classe)

Label

• Supporting Tools for Designing-By-Contract in Component based Applications (Contributo in volume (capitolo o saggio)) (literal)

Anno

• 2005-01-01T00:00:00+01:00 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi

• 10.1007/11518358_1 (literal)

Alternative label

• Coronato Antonio, D' Acierno Antonio, Diego D'Ambrosio, De Pietro Giuseppe (2005)
  Supporting Tools for Designing-By-Contract in Component based Applications
  in , 2005
  (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori

• Coronato Antonio, D' Acierno Antonio, Diego D'Ambrosio, De Pietro Giuseppe (literal)

Pagina inizio

• 1 (literal)

Pagina fine

• 13 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroVolume

• 3511 (literal)

Rivista

• Lecture notes in computer science (Rivista)

Note

• Scopu (literal)
• ISI Web of Science (WOS) (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni

• DRR-CNR, ISA-CNR, ICAR-CNR, ICAR-CNR (literal)

Titolo

• Supporting Tools for Designing-By-Contract in Component based Applications (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#isbn

• 978-3-540-27328-8 (literal)

Abstract

• This paper deals with the modeling and the automatic implementation 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 set of tools that enable developers both to model component constraints and to automatically generate component skeletons that already implement such constraints. (literal)
• This paper deals with the modeling and the automatic implementation 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 set of tools that enable developers both to model component constraints and to automatically generate component skeletons that already implement such constraints. (literal)

Prodotto di

• Institute for high performance computing and networking (ICAR) (Istituto)

Autore CNR

• GIUSEPPE DE PIETRO (Unità di personale interno)
• ANTONIO D'ACIERNO (Persona)
• ANTONIO CORONATO (Persona)

Incoming links:

Prodotto

• Institute for high performance computing and networking (ICAR) (Istituto)

Autore CNR di

• GIUSEPPE DE PIETRO (Unità di personale interno)
• ANTONIO D'ACIERNO (Persona)
• ANTONIO CORONATO (Persona)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#rivistaDi

• Lecture notes in computer science (Rivista)