Výsledky vyhledávání - "Montangero, C."

Periodical

Two-Level Control Structure for Nondeterministic Programming.

Autor: Montangero, C.¹, Pacini, G.¹, Turini, F.¹, Horning, J. J.

Publikováno v: Communications of the ACM. Oct1977, Vol. 20 Issue 10, p725-730. 6p. 3 Charts.

Detecting policy conflicts by model checking UML state machines

Autor: Ter Beek M. H., Gnesi S., Montangero C., Semini L.

Publikováno v: FEATURE INTERACTIONS IN SOFTWARE AND COMMUNICATION SYSTEMS Nakamura, M; Reiff-Marganiec, S, edited by Nakamura, M; Reiff-Marganiec, S, pp. 59–74. Amsterdam: IOS Press, 2009
info:cnr-pdr/source/autori:Ter Beek M. H.; Gnesi S.; Montangero C.; Semini L./congresso_nome:10th International Conference on Feature Interactions in Telecommunications and Software Systems/congresso_luogo:Lisbon, PORTUGAL/congresso_data:JUN 11-12, 2009/anno:2009/pagina_da:59/pagina_a:74/intervallo_pagine:59–74
info:cnr-pdr/source/autori:Ter Beek M. H.; Gnesi S.; Montangero C.; Semini L./titolo:Detecting policy conflicts by model checking UML state machines/titolo_volume:FEATURE INTERACTIONS IN SOFTWARE AND COMMUNICATION SYSTEMS Nakamura, M; Reiff-Marganiec, S/curatori_volume:Nakamura, M; Reiff-Marganiec, S/editore: /anno:2009

Policies are convenient means to modify system behaviour at run-time. Nowadays, policies are created in great numbers by different actors, ranging from system administrators to lay-users. However, this situation may lead naturally to inconsistencies,

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::573053b14c1e62179e5df33e6be71ede
https://openportal.isti.cnr.it/doc?id=people______::76ce4ea16269701c3dddcd1a9270fa95

Zobrazit plný text záznamu

Logic Based Coordination for Event-Driven Self-Healing Distributed Systems

Autor: Montangero, C., Laura SEMINI, Semprini, S.

Publikováno v: Scopus-Elsevier

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::2c9385c0608668cbf257bca56e86520e
http://hdl.handle.net/11568/190427

Zobrazit plný text záznamu

A Refinement Calculus for Mobility: Expressing Security Properties

Autor: Ferrari, GIAN-LUIGI, Montangero, C, Semini, Laura

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______3728::fcdf7011aff14bca727be1af1611ce00
http://hdl.handle.net/11568/167908

Zobrazit plný text záznamu

'The World and the Machine': a critical perspective on process technology

Autor: Emmerich, W., Finkelstein, A., Montangero, C.

Publikováno v: Presented at: International Workshop on Research Directions in Process Technology, Nancy, France. (1997)
International Workshop on Research Directions in Process Technology

This short paper sets out a critical perspective process technology. It uses an analytical framework drawn from the work of Jackson as a means of identifying some important concerns and looks at the way research in the broad area of process technolog

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::4c87aa6afd75ad9260d977e4d04fdf18
https://discovery.ucl.ac.uk/id/eprint/941/

Zobrazit plný text záznamu

Standards compliant software development

Autor: Emmerich, W., Finkelstein, A., Montangero, C., Stevens, R.

Publikováno v: ICSE Workshop on Living with Inconsistency
Presented at: ICSE Workshop on Living with Inconsistency, Boston, USA. (1997)

Software engineering standards determine practices that `compliant' software processes shall follow. Standards generally define practices in terms of constraints that must hold for documents. The document types identified by standards not only includ

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::05b2451bfcd52eb1d10b56386a746b31
https://openaccess.city.ac.uk/id/eprint/26465/1/standard.pdf

Zobrazit plný text záznamu