Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Tali Yatzkar-Haham"'
Publikováno v:
Science of computer programming, 78(12), 2313-2330. ELSEVIER SCIENCE BV
Software product lines are increasingly built using components from specialized suppliers. A company that is in the middle of a supply chain has to integrate components from its suppliers and offer (partially configured) products to its customers. To
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::62eed86b5e055b1c6ae3461e00c0fb2b
https://doi.org/10.1016/j.scico.2012.04.004
https://doi.org/10.1016/j.scico.2012.04.004
Autor:
Yael Abarbanel-Vinov, Neta Aizenbud-Reshef, Irit Shitsevalov, Cindy Eisner, Iris Reuveni, Tali Yatzkar-Haham, Yaron Wolfsthal, Ilan Beer, Daniel Geist, Tamir Heyman, Eran Rippel
Publikováno v:
Formal Methods in System Design. 19:35-44
We examine IBM's exploitation of formal verification using RuleBase—a formal verification tool developed by the IBM Haifa Research Laboratory. The goal of the paper is methodological. We identify an integrated methodology for the deployment of form
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::22163b2a577ba0e8eb2e52412bf3819e
https://doi.org/10.1023/a:1011219209077
https://doi.org/10.1023/a:1011219209077
Publikováno v:
Proceedings of the 2013 International Workshop on Software Development Lifecycle for Mobile.
In recent years we have been witness to rapidly growing adoption and spread of smart mobile devices, not only for personal use but also by enterprises. An important feature provided by majority of these devices is location awareness – ability to de
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2a5af147b8d2316ce06d2dc0490e6be8
https://doi.org/10.1145/2501553.2501559
https://doi.org/10.1145/2501553.2501559
Publikováno v:
PLEASE@ICSE
Numerous software product lines today are built from components supplied by different vendors. Companies situated in the middle of a software supply chain must configure and integrate components from their suppliers and offer (partially configured) v
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::98d380732c267f2024b1415f5369df98
https://doi.org/10.1145/1808937.1808939
https://doi.org/10.1145/1808937.1808939
Publikováno v:
Software Product Lines: Going Beyond ISBN: 9783642155789
SPLC
SPLC
Software product lines are increasingly built using components from specialized suppliers. A company that is in the middle of a supply chain has to integrate components from its suppliers and offer (partly configured) products to its customers. To co
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fdd853cf7db882f06e75b151c58f1973
https://doi.org/10.1007/978-3-642-15579-6_25
https://doi.org/10.1007/978-3-642-15579-6_25
Publikováno v:
SIGMOD Conference
Events are at the core of reactive and proactive applications, which have become popular in many domains. This demo shows the monitoring of incoming events as a means to detect possible problems in the course of business processes using a dependency
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a2f74b314d83bf44ed3bbfa2c5d9e213
https://doi.org/10.1145/375663.375759
https://doi.org/10.1145/375663.375759