Search Results for Business.

12 sonuç bulundu

Tümünü Seç

000000000000DEFAULTTR

Verification of Business Rules Programs

Yazar

Berstel-Da Silva, Bruno. author.

http://dx.doi.org/10.1007/978-3-642-40038-4

Format:

Electronic Resources

Alıntı:

Verification of Business Rules Programs Berstel-Da Silva, Bruno. author.

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 Technologies 12th International Joint Conference, ICSOFT 2017, Madrid, Spain, July 24–26, 2017, Revised Selected Papers

Yazar

Cabello, Enrique. editor.

https://doi.org/10.1007/978-3-319-93641-3

Format:

Electronic Resources

Alıntı:

; business process modelling; intelligent problem solving; multi-agent systems; and solutions involving big

Modelling Foundations and Applications 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings

Yazar

Pierantonio, Alfonso. editor. (orcid)0000-0002-5231-3952

https://doi.org/10.1007/978-3-319-92997-2

Format:

Electronic Resources

Alıntı:

environments, verification and validation, and domain-specific modelling w.r.t. business processes, automotive

Conceptual Modeling 36th International Conference, ER 2017, Valencia, Spain, November 6–9, 2017, Proceedings

Yazar

Mayr, Heinrich C. editor. (orcid)0000-0001-5770-8091

https://doi.org/10.1007/978-3-319-69904-2

Format:

Electronic Resources

Alıntı:

Requirements, Foundations, Conceptual Modeling in Specifi c Context, Conceptual Modeling and Business Processes

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

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

Genetic Programming Theory and Practice XI

Yazar

Riolo, Rick. editor.

http://dx.doi.org/10.1007/978-1-4939-0375-7

Format:

Electronic Resources

Alıntı:

to Guide Embodied Evolution -- Applying Genetic Programming in Business Forecasting -- Explaining

Evaluation of Novel Approaches to Software Engineering 12th International Conference, ENASE 2017, Porto, Portugal, April 28–29, 2017, Revised Selected Papers

Yazar

Damiani, Ernesto. editor.

https://doi.org/10.1007/978-3-319-94135-6

Format:

Electronic Resources

Alıntı:

Service Science and Business Information Systems -- Guidelines for Designing User Interfaces to

10.

Models@run.time Foundations, Applications, and Roadmaps

Yazar

Bencomo, Nelly. editor.

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

Format:

Electronic Resources

Alıntı:

Software Development Processes to Problem Diagnoses at Runtime -- Research Challenges for Business Process

11.

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

12.

Rules and Reasoning International Joint Conference, RuleML+RR 2017, London, UK, July 12–15, 2017, Proceedings

Yazar

Costantini, Stefania. editor.

https://doi.org/10.1007/978-3-319-61252-2

Format:

Electronic Resources

Alıntı:

applications of rules and reasoning in academia, industry, engineering, business, finance, healthcare and other

	{displayName}	{count}
{error}