Search Results for Business.

Modelling Foundations and Applications 10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21-25, 2014. Proceedings

Yazar

Cabot, Jordi. editor.

http://dx.doi.org/10.1007/978-3-319-09195-2

Format:

Electronic Resources

Alıntı:

transformations and code generation; model synthesis; model-driven testing; formal modeling approaches; business

Practical Aspects of Declarative Languages 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8–9, 2018, Proceedings

Yazar

Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834

https://doi.org/10.1007/978-3-319-73305-0

Format:

Electronic Resources

Alıntı:

submissions. They deal with functional programming; constraint programming and business rules; prolog and

Software Reuse: Bridging with Social-Awareness 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings

Yazar

Kapitsaki, Georgia M. editor.

http://dx.doi.org/10.1007/978-3-319-35122-3

Format:

Electronic Resources

Alıntı:

product lines, domain analysis and modeling, software tools and business aspects of software. ICSR 2016

Web Services and Formal Methods 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers

Yazar

Tuosto, Emilio. editor.

http://dx.doi.org/10.1007/978-3-319-08260-8

Format:

Electronic Resources

Alıntı:

-- Visualization of successor relations in business process models -- Developing and enforcing policies for access

A List of Successes That Can Change the World Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday

Yazar

Lindley, Sam. editor.

http://dx.doi.org/10.1007/978-3-319-30936-1

Format:

Electronic Resources

Alıntı:

Scientist Nightmare -- A Branding Strategy for Business Types -- The Recursive Union of Some Gradual Types

Logic-Based Program Synthesis and Transformation 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers

Yazar

Hermenegildo, Manuel V. editor. (orcid)0000-0002-7583-323X

https://doi.org/10.1007/978-3-319-63139-4

Format:

Electronic Resources

Alıntı:

Consumption-Preserving Translation of Actors to Haskell -- Verification of Time-Aware Business Processes using

Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Yazar

Chechik, Marsha. editor.

http://dx.doi.org/10.1007/978-3-662-49674-9

Format:

Electronic Resources

Alıntı:

for Security-sensitive Business Processes -- Developing & Debugging Proof Strategies by Tinkering -- v

Software Engineering and Formal Methods SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers

Yazar

Counsell, Steve. editor.

http://dx.doi.org/10.1007/978-3-319-05032-4

Format:

Electronic Resources

Alıntı:

-- Towards Knowledge Modeling for Sustainable Transport -- XBRL-Driven Business Process Improvement: A

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II

Yazar

Margaria, Tiziana. editor.

http://dx.doi.org/10.1007/978-3-662-45231-8

Format:

Electronic Resources

Alıntı:

Interdisciplinary Healthcare Research: A Proposal -- Domain-Specific Business Modeling with the Business Model

	{displayName}	{count}
{error}