Zobrazeno 1 - 10
of 45
pro vyhledávání: '"Carlo Montangero"'
Publikováno v:
Automated Software Engineering. 9:137-150
The experience gained to date in the development of network applications has shown the difficulties of using traditional software technologies: reasoning about network applications is subtly different from reasoning about ordinary programs because of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b0a25a18eb0892561456a7ac24187d69
https://doi.org/10.1023/a:1014530313153
https://doi.org/10.1023/a:1014530313153
Autor:
Laura Semini, Carlo Montangero
Publikováno v:
Science of Computer Programming. 34:79-140
It is fairly accepted that the realization of complex systems must be accomplished step by step from the initial specification, through a sequence of intermediate phases, to the final program. These development steps, linking a preliminary version, o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c75c9df05c19aba24519889e75a8af83
https://doi.org/10.1016/s0167-6423(98)00021-5
https://doi.org/10.1016/s0167-6423(98)00021-5
Autor:
Carlo Montangero
Publikováno v:
ACM SIGSOFT Software Engineering Notes. 22:24-27
This is a short resume of the actual proceedings of the fifth European Workshop on Software Process Technology, held in Nancy, 9-11 October 1996. It is a post-hoc integration of the report that is included in the proceedings of the fourth Internation
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::89cf15f01fa84a058fdc76e3a933a58f
https://doi.org/10.1145/251759.251816
https://doi.org/10.1145/251759.251816
Publikováno v:
Formal Methods for Components and Objects ISBN: 9783642358869
FMCO
FMCO
The management of non-functional features (performance, security, power management, etc.) is traditionally a difficult, error prone task for programmers of parallel applications. To take care of these non-functional features, autonomic managers runni
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b1c91de6f01c3a7561a36b862865d35c
http://hdl.handle.net/11568/153131
http://hdl.handle.net/11568/153131
Autor:
Carlo Montangero, X. J. Chen
Publikováno v:
Acta Informatica. 32:415-458
In this paper we introduce CONESP, a concurrent system built according to the SMoLCS methodology to provide an abstract model of the coordination language Extended Shared Prolog (ESP), which is based on the integration of the blackboard paradigm with
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::74d077ad5438decf626f54bc8bbace34
https://doi.org/10.1007/bf01213078
https://doi.org/10.1007/bf01213078
Autor:
Carlo Montangero, Franco Scarselli
Publikováno v:
International Journal of Software Engineering and Knowledge Engineering. :481-499
Collecting information about the performance of a software process is a necessary step for the assessment of the process quality. Oikos is an environment for the definition and the enactment of software process models. This paper presents the Oikos a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c90a24d8aa002ad162dc04f1b62cc6c4
https://doi.org/10.1142/s0218194094000234
https://doi.org/10.1142/s0218194094000234
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783642204005
Results of the SENSORIA Project
Results of the SENSORIA Project
A trend in software engineering is towards model-driven development. Models are used to document requirements, design results, and analysis in early phases of the development process. However, the aim of modeling is very often more ambitious as model
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3f09c5f4663b0bc61e10341b85e756b7
http://hdl.handle.net/11568/145108
http://hdl.handle.net/11568/145108
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783642204005
Results of the SENSORIA Project
Results of the SENSORIA Project
Businesses typically structure their activities with workflows, which are often implemented in a rather static fashion in their IT systems. Nowadays, system requirements change rapidly as businesses try to maintain their competitive edge, calling for
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5524e9ba42e3eece994cf72a8d0a1610
https://doi.org/10.1007/978-3-642-20401-2_6
https://doi.org/10.1007/978-3-642-20401-2_6
Autor:
Laura Semini, Carlo Montangero
When thinking of MDE, the immediate understanding is that models drive software development, in the sense that the software is constructed by transforming models from higher levels of abstraction to the point where we reach a model which is executabl
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f649c6303d840daf1aa6cb7dda4045b7
http://hdl.handle.net/11568/201199
http://hdl.handle.net/11568/201199
Publikováno v:
Concurrency, Graphs and Models ISBN: 9783540686767
Concurrency, Graphs and Models
Concurrency, Graphs and Models
We analyze the main motivations that lead to the present need for supporting continuous software evolution, and discuss some of the reasons for change requirements. Achieving software that is both dynamically evolvable and dependable is our long-term
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4d181e976a9e3ce8bd138894fc3bdcf6
https://doi.org/10.1007/978-3-540-68679-8_21
https://doi.org/10.1007/978-3-540-68679-8_21