Relevant bibliographies by topics / Executable models

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers
  6. Reports

Academic literature on the topic 'Executable models'

Author: Grafiati
Published: 5 June 2025
Last updated: 15 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources 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.

Journal articles on the topic "Executable models"

1

Bicevskis, Janis, Zane Bicevska, and Girts Karnitis. "Executable Data Quality Models." Procedia Computer Science 104 (2017): 138–45. http://dx.doi.org/10.1016/j.procs.2017.01.087.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Lazăr, Codruţ-Lucian, Ioan Lazăr, Bazil Pârv, Simona Motogna, and István-Gergely Czibula. "Tool Support for fUML Models." International Journal of Computers Communications & Control 5, no. 5 (2010): 775. http://dx.doi.org/10.15837/ijccc.2010.5.2237.

Full text
Abstract:
In this paper we present a tool chain that aids in the construction of executable UML models according to the new Foundational UML (fUML) standard. These executable models can be constructed and tested in the modeling phase, and code can be generated from them towards different platforms. The fUML standard is currently built and promoted by OMG for building executable UML models. The compatibility of the executable models with the fUML standard means that only the UML elements allowed by fUML should be used for the abstract syntax and the extra constraints imposed by the fUML standard should b
APA, Harvard, Vancouver, ISO, and other styles
3

Clarke, Matthew A., and Jasmin Fisher. "Executable cancer models: successes and challenges." Nature Reviews Cancer 20, no. 6 (2020): 343–54. http://dx.doi.org/10.1038/s41568-020-0258-x.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Zinky, John A., and Joshua Etkin. "Troubleshooting throughput bottlenecks using executable models." Computer Networks and ISDN Systems 24, no. 1 (1992): 33–43. http://dx.doi.org/10.1016/0169-7552(92)90102-v.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Cohen, Moshe S. "The Impact of Executable Requirements Models." INCOSE International Symposium 7, no. 1 (1997): 288–95. http://dx.doi.org/10.1002/j.2334-5837.1997.tb02184.x.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Nader, Kesserwan, Al-Jaroodi Jameela, and Mohamed Nader. "Transforming Software Requirements into Test Cases via Model Transformation." International Journal of Software Engineering & Applications (IJSEA) 14, no. 4 (2023): 1–18. https://doi.org/10.5281/zenodo.8228634.

Full text
Abstract:
Executable test cases originate at the onset of testing as abstract requirements that represent system behavior. Their manual development is time-consuming, susceptible to errors, and expensive. Translating system requirements into behavioral models and then transforming them into a scripting language has the potential to automate their conversion into executable tests. Ideally, an effective testing process should start as early as possible, refine the use cases with ample details, and facilitate the creation of test cases. We propose a methodology that enables automation in converting functio
APA, Harvard, Vancouver, ISO, and other styles
7

Eker, Steven, Merrill Knapp, Keith Laderoute, Patrick Lincoln, and Carolyn Talcott. "Pathway Logic: Executable Models of Biological Networks." Electronic Notes in Theoretical Computer Science 71 (April 2004): 144–61. http://dx.doi.org/10.1016/s1571-0661(05)82533-2.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Maheshwari, Apoorv, C. Robert Kenley, and Daniel A. DeLaurentis. "Creating Executable Agent-Based Models Using SysML." INCOSE International Symposium 25, no. 1 (2015): 1263–77. http://dx.doi.org/10.1002/j.2334-5837.2015.00128.x.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Wagenhals, Lee W., Sajjad Haider, and Alexander H. Levis. "Synthesizing executable models of object oriented architectures." Systems Engineering 6, no. 4 (2003): 266–300. http://dx.doi.org/10.1002/sys.10049.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Graw, Günter, and Peter Herrmann. "Transformation and Verification of Executable UML Models." Electronic Notes in Theoretical Computer Science 101 (November 2004): 3–24. http://dx.doi.org/10.1016/j.entcs.2004.09.006.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Executable models"

1

Ozhan, Gurkan. "Transforming Mission Space Models To Executable Simulation Models." Phd thesis, METU, 2011. http://etd.lib.metu.edu.tr/upload/12613826/index.pdf.

Full text
Abstract:
This thesis presents a two step automatic transformation of Field Artillery Mission Space Conceptual Models (ACMs) into High Level Architecture (HLA) Federation Architecture Models (FAMs) into executable distributed simulation code. The approach followed in the course of this thesis adheres to the Model-Driven Engineering (MDE) philosophy. Both ACMs and FAMs are formally defined conforming to their metamodels, ACMM and FAMM, respectively. ACMM is comprised of a behavioral component, based on Live Sequence Charts (LSCs), and a data component based on UML class diagrams. Using ACMM, the Adjustme
APA, Harvard, Vancouver, ISO, and other styles
2

Malm, Jean, and Jonas Skoog. "TOWARDS AUTOMATED ANALYSIS OF EXECUTABLE MODELS." Thesis, Mälardalens högskola, Akademin för innovation, design och teknik, 2017. http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-35840.

Full text
Abstract:
By utilising graphical modelling languages, software developers can design large systems while keeping the architecture simple and understandable. Another benefit of using modelling languages is the possibility to automatically generate code, saving both time and reducing human errors in code. In addition, through the usage of well defined and executable models, the system can be tested and analysed as early as during the design phase. Doing so, potential errors in the design can be found and corrected during the design phase, saving time and other resources. In this thesis we present a method
APA, Harvard, Vancouver, ISO, and other styles
3

Dobrzanski, Lukasz. "UML Model Refactoring : Support for Maintenance of Executable UML Models." Thesis, Blekinge Tekniska Högskola, Avdelningen för programvarusystem, 2005. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-5715.

Full text
Abstract:
One of the inevitable negative effects of software evolution is design erosion. Refactoring is a technique that aims at counteracting this phenomenon by successively improving the design of software without changing its observable behaviour. Design erosion occurs also in the context of executable UML models, i.e. models that are detailed enough to be automatically compiled to executable applications. This thesis presents results of a study on applying refactoring to the area of maintenance of executable UML models. It contains an overview of recent approaches to UML model refactoring and to ex
APA, Harvard, Vancouver, ISO, and other styles
4

Planas, Hortal Elena. "Lightweight and static verification of UML executable models." Doctoral thesis, Universitat Politècnica de Catalunya, 2013. http://hdl.handle.net/10803/116449.

Full text
Abstract:
Executable models play a key role in many development methods (such as MDD and MDA) by facilitating the immediate simulation/implementation of the software system under development. This is possible because executable models include a fine-grained specification of the system behaviour using an action language. Executable models are not a new concept but are now experiencing a comeback. As a relevant example, the OMG has recently published the first version of the “Foundational Subset for Executable UML Models” (fUML) standard, an executable subset of the UML that can be used to define, in an
APA, Harvard, Vancouver, ISO, and other styles
5

Löfqvist, Mikael. "Open Code Translation from Executable and Translatable UML Models - Implicit Bridging." Thesis, Linköping University, Department of Computer and Information Science, 2007. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-8742.

Full text
Abstract:
<p>Executable and Translatable UML (xtUML) is the next abstraction level in software development, where both programming language and software architecture have been abstracted away. xtUML is a well defined UML profile, extended with precise action semantics. This allows the developers to define a problem area, domain, in such a detail that it can be executed. By defining the system with xtUML-models, domains, the system functionality can be verified early in the development process. Translation to code can be done in different ways and this work will be performed in an environment where code
APA, Harvard, Vancouver, ISO, and other styles
6

Latombe, Florent. "Systematic use of models of concurrency in executable domain-specific modelling languages." Phd thesis, Toulouse, INPT, 2016. http://oatao.univ-toulouse.fr/16119/7/latombe_florent.pdf.

Full text
Abstract:
Language-Oriented Programming (LOP) advocates designing eXecutable Domain-Specific Modeling Languages (xDSMLs) to facilitate the design, development, verification and validation of modern softwareintensive and highly-concurrent systems. These systems place their needs of rich concurrency constructs at the heart of modern software engineering processes. To ease theirdevelopment, theoretical computer science has studied the use of dedicated paradigms for the specification of concurrent systems, called Models of Concurrency (MoCs). They enable the use of concurrencyaware analyses such as detectin
APA, Harvard, Vancouver, ISO, and other styles
7

Leupolz, Johannes Severin Verfasser], and Wolfgang [Akademischer Betreuer] [Reif. "Probabilistic Safety Analysis of Executable Models / Johannes Severin Leupolz ; Betreuer: Wolfgang Reif." Augsburg : Universität Augsburg, 2018. http://d-nb.info/1163534919/34.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Vogel, Thomas, and Holger Giese. "Model-driven engineering of adaptation engines for self-adaptive software : executable runtime megamodels." Universität Potsdam, 2013. http://opus.kobv.de/ubp/volltexte/2013/6382/.

Full text
Abstract:
The development of self-adaptive software requires the engineering of an adaptation engine that controls and adapts the underlying adaptable software by means of feedback loops. The adaptation engine often describes the adaptation by using runtime models representing relevant aspects of the adaptable software and particular activities such as analysis and planning that operate on these runtime models. To systematically address the interplay between runtime models and adaptation activities in adaptation engines, runtime megamodels have been proposed for self-adaptive software. A runtime megamod
APA, Harvard, Vancouver, ISO, and other styles
9

Habermaier, Axel Verfasser], and Wolfgang [Akademischer Betreuer] [Reif. "Design Time and Run Time Formal Safety Analysis using Executable Models / Axel Habermaier ; Betreuer: Wolfgang Reif." Augsburg : Universität Augsburg, 2017. http://d-nb.info/1123503796/34.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Leonardo, Barros Silva Bruno. "Sec-MoSC Translation Framework: An approach to transform business process models into executable process considering security requirements." Universidade Federal de Pernambuco, 2011. https://repositorio.ufpe.br/handle/123456789/2837.

Full text
Abstract:
Made available in DSpace on 2014-06-12T16:01:30Z (GMT). No. of bitstreams: 2 arquivo9415_1.pdf: 2190260 bytes, checksum: 2972a41af6edc33657e680fccdd03a29 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2011<br>O surgimento da Computação Orientada a Serviços (COS) como um novo paradigm de programação trouxe muitas características boas, como permitir a programação em massa, integração mais fácil entre sistemas de empresas diferentes, escalabilidade, mas, principalmente, o foco na lógica de mais alto nível do negócio. Mas, enquanto este foco
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Executable models"

1

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 text
APA, Harvard, Vancouver, ISO, and other styles
2

Katrinakis, Dimitrios. An investigation into the use of Java with MOOSE executable models. UMIST, 1997.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

Torres, Eduardo J. An investigation into the implementation of MOOSE executable models on the Java pre-emptive,multithreaded platform. UMIST, 1998.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Chris, Raistrick, ed. Model driven architecture with executable UML. Cambridge University Press, 2004.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Evans, Lisa. Graphically modelling activity in an executable model. UMIST, 1996.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

Formal Methods for Executable Software Models. Springer, 2014.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

Executable UML: How to build class models. Prentice Hall PTR, 2002.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

Starr, Leon. Executable UML How to Build Class Models. Prentice Hall PTR, 2001.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

Starr, Leon. Executable UML How to Build Class Models. Prentice Hall PTR, 2001.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Rademakers, Tijs. Activiti in Action: Executable Business Processes in BPMN 2. 0. Manning Publications Co. LLC, 2012.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Executable models"

1

Starr, Leon, Andrew Mangogna, and Stephen Mellor. "A Simple Executable Model." In Models to Code. Apress, 2017. http://dx.doi.org/10.1007/978-1-4842-2217-1_2.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Rodríguez, Carlos, Mario Sánchez, and Jorge Villalobos. "Metamodel Dependencies for Executable Models." In Objects, Models, Components, Patterns. Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-21952-8_8.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Planas, Elena, Jordi Cabot, and Cristina Gómez. "Lightweight Verification of Executable Models." In Conceptual Modeling – ER 2011. Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-24606-7_37.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Meriste, Merik, and Jaan Penjam. "Attributed models of executable specifications." In Programming Languages: Implementations, Logics and Programs. Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/bfb0026839.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Bubel, Richard, Antonio Flores Montoya, and Reiner Hähnle. "Analysis of Executable Software Models." In Lecture Notes in Computer Science. Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-07317-0_1.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Dumas, Marlon, Marcello La Rosa, Jan Mendling, and Hajo A. Reijers. "Process Implementation with Executable Models." In Fundamentals of Business Process Management. Springer Berlin Heidelberg, 2018. http://dx.doi.org/10.1007/978-3-662-56509-4_10.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Lübke, Daniel, and Cesare Pautasso. "Empirical Research in Executable Process Models." In Empirical Studies on the Development of Executable Business Processes. Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-17666-2_1.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Levis, Alexander H. "Executable Models of Decision Making Organizations." In Organizational Simulation. John Wiley & Sons, Inc., 2005. http://dx.doi.org/10.1002/0471739448.ch13.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Manzur, Laura, John Santa, Mario Sánchez, and Jorge Villalobos. "Experimentation in Executable Enterprise Architecture Models." In Lecture Notes in Business Information Processing. Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-31069-0_36.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Hvid Hansen, Helle, Jeroen Ketema, Bas Luttik, MohammadReza Mousavi, Jaco van de Pol, and Osmar Marchi dos Santos. "Automated Verification of Executable UML Models." In Formal Methods for Components and Objects. Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-25271-6_12.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Executable models"

1

Riche, Taylor, Jim Nagle, Joyce Xu, and Don Hubbard. "Converting Executable Floating-Point Models to Executable and Synthesizable Fixed-Point Models." In 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C). IEEE, 2019. http://dx.doi.org/10.1109/models-c.2019.00055.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Klug, Tobias, and Jussi Kangasharju. "Executable task models." In the 4th international workshop. ACM Press, 2005. http://dx.doi.org/10.1145/1122935.1122958.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Khorram, Faezeh, Erwan Bousse, Jean-Marie Mottu, et al. "Automatic test amplification for executable models." In MODELS '22: ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems. ACM, 2022. http://dx.doi.org/10.1145/3550355.3552451.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Addazi, Lorenzo, Federico Ciccozzi, and Bjorn Lisper. "Executable Modelling for Highly Parallel Accelerators." In 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C). IEEE, 2019. http://dx.doi.org/10.1109/models-c.2019.00049.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Leduc, Manuel, Thomas Degueule, Benoit Combemale, Tijs van der Storm, and Olivier Barais. "Revisiting Visitors for Modular Extension of Executable DSMLs." In 2017 ACM/IEEE 20th International Conference on Model-Driven Engineering Languages and Systems (MODELS). IEEE, 2017. http://dx.doi.org/10.1109/models.2017.23.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Seidewitz, Ed, and Arnuad Cuccuru. "Agile programming with executable models." In the companion publication of the 2014 ACM SIGPLAN conference. ACM Press, 2014. http://dx.doi.org/10.1145/2660252.2664664.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Radosky, Lukas, and Ivan Polasek. "Executable Multi-Layered Software Models." In Designing '24: 1st International Workshop on Designing Software. ACM, 2024. http://dx.doi.org/10.1145/3643660.3643938.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Ramackers, Guus J., Pepijn P. Griffioen, Martijn B. J. Schouten, and Michel R. V. Chaudron. "From Prose to Prototype: Synthesising Executable UML Models from Natural Language." In 2021 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C). IEEE, 2021. http://dx.doi.org/10.1109/models-c53483.2021.00061.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Kress, Markus, and Detlef Seese. "Executable product models - The intelligent way." In 2007 IEEE International Conference on Systems, Man and Cybernetics. IEEE, 2007. http://dx.doi.org/10.1109/icsmc.2007.4413598.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Fuentes, Lidia, and Pablo Sánchez. "Towards executable aspect-oriented UML models." In the 10th international workshop. ACM Press, 2007. http://dx.doi.org/10.1145/1229375.1229380.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Executable models"

1

Yip, Eugene, and Gerald Lüttgen. Heterogeneous Specification of Spacecraft Software. Otto-Friedrich-Universität, 2024. http://dx.doi.org/10.20378/irb-97634.

Full text
Abstract:
The operational behaviour of a reactive system is commonly specified or modelled as concurrent state machines, where each machine models the possible states or modes of a software component and its interactions with the environment. However, state machines can quickly become verbose when execution constraints between concurrent states need to be modelled. Alternatively, constraints could be modelled declaratively as special edges between states. Such a heterogeneous modelling approach is employed by Virtual Satellite (VirSat), a model-based systems engineering tool from the German Aerospace Ce
APA, Harvard, Vancouver, ISO, and other styles
2

Adaptive Hydraulics (AdH) 4.7.0. Engineer Research and Development Center (U.S.), 2022. http://dx.doi.org/10.21079/11681/42803.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Adaptive Hydraulics (AdH) 4.7.1. Engineer Research and Development Center (U.S.), 2023. http://dx.doi.org/10.21079/11681/47570.

Full text
Abstract:
This record contains Windows PC executable files for the Adaptive Hydraulics (AdH) model, version 4.7.1. Included in the zipped file are: pre_adh_v4.7.1.exe, adh_v4.7.1.exe and a mpi library installation file (msmpisetup.exe). Also included is a serial compile of the version 4.7.1 code if you are unable to install the mpi library on your PC. The documentation can be obtained at http://dx.doi.org/10.21079/11681/42804
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Executable models' for particular source types:
Journal articles Dissertations / Theses Books
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography