The present book includes extended and revised versions of a set of selected papers from the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering (ENASE 2016), held in Rome, Italy, ...
In our previous work, we proposed and evaluated a novel approach for finding changes in advice applications. In this paper, we overview that approach, provide more details about how it works and additional results of manual verification ...
For instance, we considered the near linear time algorithm to detect community structures in large scale network RAK/LP [37] based on label propagation and ... allow us to perform a broad range of queries and reasoning operations.
SciTePress (2019) 5. Osis, J., Donins, U.: Topological UML Modeling: An Improved Approach for Domain Modeling and Software Development. Elsevier, Amsterdam (2017) 6. Osis, J.: Topological model of system functioning. Autom. Comput. Sci.
Porter's value chain modeling focuses on an economic perspective while value networks primarily shows participants involved in ... Therefore, value streams enable digital business models which are closer to the definition and not the ...
Stein, S.: Modelling Method Extension for Service-Oriented Business Process Management. ... IEEE (2012) Baghdadi, Y., Al-Bulushi, W.: A Guidance process to modernize legacy applications for SOA. Service Oriented Computing and ...
... for business process management: a performance measurement guideline EP9 Research on key performance indicator (kpi) ... Performance measurement in business process outsourcing decisions: Insights from four case studies EP22 Quality ...
... Digital Health Information Information about health is often searched for online. More than 70% of people search the Internet for such information ... Quality of Health-Related Websites 2.3 Credibility Factors of Health-Related Information.
... Health. Information. Based. on. Language. Complexity,. Information. Customization. and. Information. Quality. Marco Alfano3,4(. B. ) , Biagio Lenzitti1 , Davide Taibi2 , and Markus Helfert3 1 Dipartimento di Matematica e Informatica, ...
... Programming 55, 185–208 (2005) Leino, K.R.M., Monahan, R.: Program verification using the Spec # programming system (2008),http://research.microsoft.com/en-us/projects/specsharp/ etaps-specsharp-tutorial.ppt Man Machine Systems: Design ...
... Business Process Improvement in “Real World BPM in an SAP Environment”. Galileo Press (2011), http://www.sap-press.com [Grefen, 2001] Grefen, P., Aberer, K., Ludwig, H., Hoffner, Y.: Crossflow: Crossorganizational workflow management ...
17th International Conference, ICSOFT 2022, Lisbon, Portugal, July 11–13, 2022, Revised Selected Papers Hans-Georg ... 16th International Conference on Information Technology-New Generations (ITNG 2019). AISC, vol. 800, pp. 169–175 ...
本书面向对象的建模、软件体系结构设计、设计模式、组件、数据工程、界面设计、重构等知识。