Yazar
Cabot, Jordi. editor.
Format:
Electronic Resources
Alıntı:
transformations and code generation; model synthesis; model-driven testing; formal modeling approaches; business
Yazar
Damiani, Ernesto. editor.
Format:
Electronic Resources
Alıntı:
selected from 95 submissions. The papers are organized in topical sections on service science and business
View Other Search Results
Yazar
Kapitsaki, Georgia M. editor.
Format:
Electronic Resources
Alıntı:
product lines, domain analysis and modeling, software tools and business aspects of software. ICSR 2016
Yazar
Tuosto, Emilio. editor.
Format:
Electronic Resources
Alıntı:
-- Visualization of successor relations in business process models -- Developing and enforcing policies for access
Yazar
Piattini, Mario. editor. (orcid)0000-0002-7212-8279
Format:
Electronic Resources
Alıntı:
. The papers are organized in topical sections: security & privacy, requirements engineering, business
Yazar
Cohen, Albert. editor.
Format:
Electronic Resources
Alıntı:
Business Processes -- CBMC-GC: An ANSI C Compiler for Secure Two-Party Computations.
Yazar
Lindley, Sam. editor.
Format:
Electronic Resources
Alıntı:
Scientist Nightmare -- A Branding Strategy for Business Types -- The Recursive Union of Some Gradual Types
Yazar
Hähnle, Reiner. editor. (orcid)0000-0001-8000-7613
Format:
Electronic Resources
Alıntı:
Formal Tool for Modeling and Verifying Dynamic Updating of C Programs -- Business Process Privacy
Yazar
Chechik, Marsha. editor.
Format:
Electronic Resources
Alıntı:
for Security-sensitive Business Processes -- Developing & Debugging Proof Strategies by Tinkering -- v
Yazar
Counsell, Steve. editor.
Format:
Electronic Resources
Alıntı:
-- Towards Knowledge Modeling for Sustainable Transport -- XBRL-Driven Business Process Improvement: A
Yazar
Margaria, Tiziana. editor.
Format:
Electronic Resources
Alıntı:
Interdisciplinary Healthcare Research: A Proposal -- Domain-Specific Business Modeling with the Business Model