Books on the topic 'Executable models'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 15 books for your research on the topic 'Executable models.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse books on a wide variety of disciplines and organise your bibliography correctly.
Bernardo, Marco, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, and Ina Schaefer, eds. Formal Methods for Executable Software Models. Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-07317-0.
Full textKatrinakis, Dimitrios. An investigation into the use of Java with MOOSE executable models. UMIST, 1997.
Find full textTorres, Eduardo J. An investigation into the implementation of MOOSE executable models on the Java pre-emptive,multithreaded platform. UMIST, 1998.
Find full textChris, Raistrick, ed. Model driven architecture with executable UML. Cambridge University Press, 2004.
Find full textRademakers, Tijs. Activiti in Action: Executable Business Processes in BPMN 2. 0. Manning Publications Co. LLC, 2012.
Find full textMilicev, Dragan. Model-Driven Development with Executable UML. Wiley & Sons, Incorporated, John, 2009.
Find full textMilicev, Dragan. Model-Driven Development with Executable UML. Wiley & Sons, Incorporated, John, 2009.
Find full textBernardo, Marco, Einar Broch Johnsen, Ina Schaefer, Ferruccio Damiani, and Reiner Haehnle. Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures. Springer London, Limited, 2014.
Find full textExecutable UML: A Foundation for Model Driven Architecture. Addison-Wesley Professional, 2002.
Find full text