Relevant bibliographies by topics / Model-based software engineering

Contents

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

Academic literature on the topic 'Model-based software engineering'

Author: Grafiati
Published: 4 June 2021
Last updated: 25 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 'Model-based software engineering.'

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 "Model-based software engineering"

1

Joshi, Ravindra V., and Chandrashekhar N. ".i – A Complexity Theory based Platform for Model based System Engineering." Webology 19, no. 1 (2022): 3348–57. http://dx.doi.org/10.14704/web/v19i1/web19220.

Full text
Abstract:
Complexity Theory and Complex Adaptive Systems is fast emerging as optimal and efficient design alternative many of the existing technologies to address various functional anon-functional criterion. However, it remains predominantly laboratory resident software. One of the main obstacles to convert it into mainstream is its abstract terminology and black box “emergent” philosophy. In this paper an attempt is made to create a platform on the core foundation of cognitive agent and complex world concepts. The platform can be used to develop industry strength products incorporating complexity theo
APA, Harvard, Vancouver, ISO, and other styles
2

Ray, Arnab, Raoul Jetley, Paul L. Jones, and Yi Zhang. "Model-Based Engineering for Medical-Device Software." Biomedical Instrumentation & Technology 44, no. 6 (2010): 507–18. http://dx.doi.org/10.2345/0899-8205-44.6.507.

Full text
Abstract:
Abstract This paper demonstrates the benefits of adopting model-based design techniques for engineering medical device software. By using a patient-controlled analgesic (PCA) infusion pump as a candidate medical device, the authors show how using models to capture design information allows for i) fast and efficient construction of executable device prototypes ii) creation of a standard, reusable baseline software architecture for a particular device family, iii) formal verification of the design against safety requirements, and iv) creation of a safety framework that reduces verification costs
APA, Harvard, Vancouver, ISO, and other styles
3

Zhang, Jian Ye, Fang Qiu Xu, and Cun Bin Li. "Control Model of Software Engineering Risk Based on Hidden Markov Model." Applied Mechanics and Materials 740 (March 2015): 795–801. http://dx.doi.org/10.4028/www.scientific.net/amm.740.795.

Full text
Abstract:
Software engineering risk is an important issue in software engineering research and the formation and measuring of software risk is also a difficulty. Since the risk transmission effect is not considered in traditional software projects, based on risk element transmission theory and hidden Markov model, a new model called Hidden Risk Markov Model was proposed. The model takes into account the effect of software engineering risk transmission in different prototype stages on final software engineering risk and uses the observable risk element transmission to calculate the degree of engineering
APA, Harvard, Vancouver, ISO, and other styles
4

Li, Yan. "CMM Based Requirement Engineering Model in Software Development." Applied Mechanics and Materials 385-386 (August 2013): 1701–4. http://dx.doi.org/10.4028/www.scientific.net/amm.385-386.1701.

Full text
Abstract:
Requirement engineering is the basis of software development, and it is a key factor determines whether a software development can be successful or not. This article first presents the requirement engineering at capability maturity model (CMM). Then the problem in demand development and demand management are discussed in the second section. Finally, a CMM based requirement engineering model is presented. This model provides a more efficient and effective method in requirement engineering. As the most important parts of this model, requirements analysis, form requirement document, review requir
APA, Harvard, Vancouver, ISO, and other styles
5

Hölldobler, Katrin, Judith Michael, Jan Oliver Ringert, Bernhard Rumpe, and Andreas Wortmann. "Innovations in Model-based Software And Systems Engineering." Journal of Object Technology 18, no. 1 (2019): 1. http://dx.doi.org/10.5381/jot.2019.18.1.r1.

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

Saleem, Nada, and Rasha Saeed. "Classification Software Engineering Documents Based on Hybrid Model." AL-Rafidain Journal of Computer Sciences and Mathematics 12, no. 2 (2018): 61–87. http://dx.doi.org/10.33899/csmj.2018.163582.

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

Boehm, Barry, and Neno Medvidovic. "Model-based (systems) architecting and software engineering (MBASE)." ACM SIGSOFT Software Engineering Notes 25, no. 1 (2000): 104–5. http://dx.doi.org/10.1145/340855.341117.

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

Wang, Lei. "Research of Software Development Model Based on the Theory of Software Engineering." Advanced Materials Research 756-759 (September 2013): 3048–51. http://dx.doi.org/10.4028/www.scientific.net/amr.756-759.3048.

Full text
Abstract:
purpose of research of software development is to attempt to develop lower cost , high reliability, and a variety of software to meet user needs. This paper introduce the advantages and disadvantages of various software development model from software engineering perspective.It proposed use of scientific principles and methods of engineering specifications to guide the development of the software , run and maintain , and trying to organize the work of software development , and then explore a new way to get rid of the software crisis.
APA, Harvard, Vancouver, ISO, and other styles
9

Menzies, Tim. "Editorial: model-based requirements engineering." Requirements Engineering 8, no. 4 (2003): 193–94. http://dx.doi.org/10.1007/s00766-002-0156-7.

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

Xie, Fang, You Jun Wang, Qiu Juan Lv, Hai Xia Du, and Yan Jiao Li. "Engineering Graphics Model Room Based on VRML." Key Engineering Materials 546 (March 2013): 93–95. http://dx.doi.org/10.4028/www.scientific.net/kem.546.93.

Full text
Abstract:
The traditional engineering graphics model room could not be effective use by space, time and other factors of limitation. In view of the above questions, network engineering graphics model room was built with VRML software as a platform. This technology made use of PRO/E, Dreamweaver, Java software in order to transmission stability, the three dimensional visualization and strong interactivity and functional requirements. It has the important practical significance in remote education and teaching.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Model-based software engineering"

1

Saboe, Michael S. "A software technology transition entropy based engineering model." Monterey, Calif. : Naval Postgraduate School, 2002. http://edocs.nps.edu/npspubs/scholarly/dissert/2002/Mar/02Mar%5FSaboe%5FPhD.pdf.

Full text
Abstract:
Dissertation (Ph.D. in Software Engineering)--Naval Postgraduate School, March 2002.<br>Dissertation supervisor: Luqi. "March 2002." Description based on title screen as viewed on July 15, 2010. Author(s) subject terms: Software Engineering, Technology Transfer, Information Theory, Communication Theory, Statistical Mechanics, Dynamical Systems, Control Theory, Learning Curves, Entropy, Information Temperature, Temperature of Software (o Saboe), Technology Transfer Dynamics, Research Management, Diffusion of Innovation, Project Management, Physics of Software Includes bibliographical refere
APA, Harvard, Vancouver, ISO, and other styles
2

Ayaz, Muhammad. "Model-Based Diagnosis of Software Functional Dependencies." Thesis, Linköping University, Department of Computer and Information Science, 2010. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-58580.

Full text
Abstract:
<p>Researchers have developed framework for diagnosis analysis that are called “Model Based Diagnosis Systems”. These systems are very general in scope, covers a wide range of malfunctions uncovering and identifying repair measures. This thesis is an effort to diagnose complex and lengthy static source code. Without executing source code discrepancies can only be identified by finding procedural dependencies.</p><p>With respect to modern programming languages, many software bugs arise due to logical erroneous calculations or miss handling of data structures. Modern Integrated Development Envir
APA, Harvard, Vancouver, ISO, and other styles
3

Haapala, O. (Olli). "Application software development via model based design." Master's thesis, University of Oulu, 2015. http://urn.fi/URN:NBN:fi:oulu-201504021268.

Full text
Abstract:
This thesis was set to study the utilization of the MathWorks’ Simulink® program in model based application software development and its compatibility with the Vacon 100 inverter. The target was to identify all the problems related to everyday usage of this method and create a white paper of how to execute a model based design to create a Vacon 100 compatible system software. Before this thesis was started, there was very little knowledge of the compatibility of this method. However during the practical experiments, it became quite quickly clear that this method is very compatible with the Vac
APA, Harvard, Vancouver, ISO, and other styles
4

Seidl, Christoph. "Evolution in Feature-Oriented Model-Based Software Product Line Engineering." Master's thesis, Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2012. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-81200.

Full text
Abstract:
Software Product Lines (SPLs) are a successful approach to software reuse in the large. Even though tools exist to create SPLs, their evolution is widely unexplored. Evolving an SPL manually is tedious and error-prone as it is hard to avoid unintended side-effects that may harm the consistency of the SPL. In this thesis, the conceptual basis of a system for the evolution of model-based SPLs is presented, which maintains consistency of models and feature mapping. As basis, a novel classification is introduced that distinguishes evolutions by their potential to harm the mapping of an SPL. Furthe
APA, Harvard, Vancouver, ISO, and other styles
5

Bruneliere, Hugo. "Generic Model-based Approaches for Software Reverse Engineering and Comprehension." Thesis, Nantes, 2018. http://www.theses.fr/2018NANT4040/document.

Full text
Abstract:
De nos jours, les entreprises font souvent face à des problèmes de gestion, maintenance, évolution ou remplacement de leurs systèmes logiciel existants. La Rétro-Ingénierie est la phase requise d’obtention de diverses représentations de ces systèmes pour une meilleure compréhension de leurs buts / états.L’Ingénierie Dirigée par les Modèles (IDM) est un paradigme du Génie Logiciel reposant sur la création, manipulation et utilisation intensive de modèles dans les tâches de conception, développement, déploiement, intégration, maintenance et évolution. La Rétro-Ingénierie Dirigée par les Modèles
APA, Harvard, Vancouver, ISO, and other styles
6

Khan, Muhammad Bilal Ahmad, and Song Shang. "Evaluation of Model Based Testing and Conformiq Qtronic." Thesis, Linköping University, Department of Computer and Information Science, 2009. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-28257.

Full text
Abstract:
<p>The<em> Model Based Testing </em>is one of the modern automated testing methodologies used to generate test suits automatically from the abstract behavioral or environmental models of the <em>System Under Test (SUT)</em>. The Generated test cases are abstract like models, but these test cases can also be transformed to the different test scripts or language specific test cases to execute them. The Model based testing can be applied in different ways and it has several dimensions during implementation that can be changes with nature of the SUT. Since model based testing is directly related w
APA, Harvard, Vancouver, ISO, and other styles
7

Pham, Van Cam. "Model-Based Software Engineering : Methodologies for Model-Code Synchronization in Reactive System Development." Thesis, Université Paris-Saclay (ComUE), 2018. http://www.theses.fr/2018SACLS611/document.

Full text
Abstract:
Model-Based Software Engineering (MBSE) a été proposé comme une méthodologie prometteuse de développement de logiciels pour surmonter les limites de la méthodologie traditionnelle basée sur la programmation pour faire face à la complexité des systèmes embarqués. MBSE favorise l’utilisation de langages de modélisation pour décrire les systèmes d’une manière abstraite et fournit des moyens pour générer automatiquement de différents artefacts de développement, p.ex. code et documentation, à partir de modèles. Le développement d’un système complexe implique souvent de multiples intervenants qui ut
APA, Harvard, Vancouver, ISO, and other styles
8

Doma, Eugene. "Model based software engineering using situation theory with applications to business services." Thesis, The University of Sydney, 2016. http://hdl.handle.net/2123/15735.

Full text
Abstract:
Natural language specifications tend to be incomplete, imprecise and mutually inconsistent. Most software development methodologies rely on stakeholder reviews as a feedback mechanism. Generally, stakeholders have business domain expertise, but lack the technical background required to comprehend the detailed, low-level formalisms commonly used. As a result, the specifications for review may either retain much of the informal, natural language aspects and thus lead to incorrect decisions during subsequent analysis and refinement stages, or detailed specifications in a formal notation are prese
APA, Harvard, Vancouver, ISO, and other styles
9

Koch, Oliver, and Jürgen Weber. "Model-Based Systems Engineering in Mobile Applications." Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2016. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-200676.

Full text
Abstract:
An efficient system development needs reuse, traceability and understanding. Today, specifications are usually written in text documents. Reuse means a copy and paste of suitable specifications. Traceability is the textual note that references to affected requirements. Achieving a full context understanding requires reading hundreds of pages in a variety of documents. Changing one textual requirement in complex systems can be very time-consuming. Model-based systems engineering (MBSE) addresses these issues. There, an integrated system model is used for the design, analysis, communication and
APA, Harvard, Vancouver, ISO, and other styles
10

Kozhakenov, Temirzhan. "MODEL-BASED SIMULATION OF AUTOMOTIVE SOFTWARE SYSTEMS." Thesis, Mälardalens högskola, Akademin för innovation, design och teknik, 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-48851.

Full text
Abstract:
The car is the most common vehicle in the world. Millions of cars are produced annually. In order for each car to find its buyer, car companies are forced to constantly improve the design of the car. Modern models are emerging, new car systems are being developed and implemented. All this is accompanied by a huge flow of information, in which it is easy to get lost. This master’s work is devoted to the trace analysis and connection of two different files. The paper proposes a developed algorithm of trace analysis for some functions of the vehicle in the C++ programming language. The files that
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Model-based software engineering"

1

A, Perry Simon, Brownsword Mike, and Knovel (Firm), eds. Model-based requirements engineering. Institution of Engineering and Technology, 2012.

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

Antinisca, Di Marco, Inverardi Paola, and SpringerLink (Online service), eds. Model-Based Software Performance Analysis. Springer-Verlag Berlin Heidelberg, 2011.

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

Winkler, Dietmar, Stefan Biffl, and Johannes Bergsmann, eds. Software Quality. Model-Based Approaches for Advanced Software and Systems Engineering. Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-03602-1.

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

Jonathan, Jacky, ed. Model-based software testing and analysis with C♯. Cambridge University Press, 2008.

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

Turner, J. G. The construction of formal specifications: An introduction to the model-based and algebraic approaches. McGraw-Hill, 1994.

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

Pohl, Klaus. Model-Based Engineering of Embedded Systems: The SPES 2020 Methodology. Springer Berlin Heidelberg, 2012.

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

Palm, Rainer. Model Based Fuzzy Control: Fuzzy Gain Schedulers and Sliding Mode Fuzzy Controllers. Springer Berlin Heidelberg, 1997.

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

MBSDI 2008 (2008 Berlin, Germany). Model-based software and data integration: First international workshop, MBSDI 2008, Berlin, Germany, April 1-3, 2008 : proceedings. Springer, 2008.

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

International Workshop on Model-Based Methodologies for Pervasive and Embedded Software (4th 2007 Braga, Portugal). Fourth International Workshop on Model-Based Methodologies for Pervasive and Embedded Software: Proceedings : 31 March, 2007, Braga, Portugal. IEEE Computer Society Press, 2007.

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

Hungary) International Workshop on Model-Based Methodologies for Pervasive and Embedded Software (5th 2008 Budapest. Fifth International Workshop on Model-Based Methodologies for Pervasive and Embedded Software: Proceedings : April 5, 2008, Budapest, Hungary. IEEE Compute Society, 2008.

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

Book chapters on the topic "Model-based software engineering"

1

Maoz, Shahar. "Model-Based Traces." In Models in Software Engineering. Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-01648-6_12.

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

Bailor, Paul D., and Thomas C. Hartrum. "Educating model-based software engineers." In Software Engineering Education. Springer Berlin Heidelberg, 1992. http://dx.doi.org/10.1007/3-540-55963-9_56.

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

Cesena, Joe. "Model-Based Hardware-Software Integration." In Handbook of Model-Based Systems Engineering. Springer International Publishing, 2023. http://dx.doi.org/10.1007/978-3-030-93582-5_82.

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

Cesena, Joe. "Model-Based Hardware-Software Integration." In Handbook of Model-Based Systems Engineering. Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-27486-3_82-1.

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

Kolahdouz-Rahimi, Shekoufeh, and Kevin Lano. "A Model-Based Development Approach for Model Transformations." In Fundamentals of Software Engineering. Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-29320-7_4.

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

Delaval, Gwenaël, and Eric Rutten. "Reactive Model-Based Control of Reconfiguration in the Fractal Component-Based Model." In Component-Based Software Engineering. Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-13238-4_6.

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

Böckle, Günter. "Model-Based Requirements Engineering for Product Lines." In Software Product Lines. Springer US, 2000. http://dx.doi.org/10.1007/978-1-4615-4339-8_11.

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

O’Halloran, Colin. "Model Based Code Verification." In Formal Methods and Software Engineering. Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/978-3-540-39893-6_2.

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

Gómez-Martínez, Elena, and José Merseguer. "ArgoSPE: Model-Based Software Performance Engineering." In Petri Nets and Other Models of Concurrency - ICATPN 2006. Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11767589_23.

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

Beetz, Klaus, and Wolfgang Böhm. "Challenges in Engineering for Software-Intensive Embedded Systems." In Model-Based Engineering of Embedded Systems. Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-34614-9_1.

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

Conference papers on the topic "Model-based software engineering"

1

Oortwijn, Wytse, Yuri Blankenstein, Jos Hegge, et al. "Towards Synthesis-Based Engineering for Cyber-Physical Production Systems." In 13th International Conference on Model-Based Software and Systems Engineering. SCITEPRESS - Science and Technology Publications, 2025. https://doi.org/10.5220/0013103300003896.

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

Ceravola, Antonello, Frank Joublin, Ahmed Sadik, Bram Bolder, and Juha-Pekka Tolvanen. "HyperGraphOS: A Meta Operating System for Science and Engineering." In 13th International Conference on Model-Based Software and Systems Engineering. SCITEPRESS - Science and Technology Publications, 2025. https://doi.org/10.5220/0013164900003896.

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

Darif, Ikram, Ghizlane El Boussaidi, Sègla Kpodjedo, Pratibha Padmanabhan, and Andrés Paz. "On the Generation of Input Space Model for Model-Driven Requirements-Based Testing." In 13th International Conference on Model-Based Software and Systems Engineering. SCITEPRESS - Science and Technology Publications, 2025. https://doi.org/10.5220/0013186800003896.

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

Sultan, Bastien, Ludovic Apvrille, Oana Hotescu, and Pierre de Saqui-Sannes. "Enabling Incremental SysML Model Verification: Managing Variability and Complexity Through Tagging and Model Reduction." In 13th International Conference on Model-Based Software and Systems Engineering. SCITEPRESS - Science and Technology Publications, 2025. https://doi.org/10.5220/0013182300003896.

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

Leshob, Abderrahmane, Raqeebir Rab, and Omar Hussain. "A Systematic Method to Derive Software Services and Requirements from Business Models." In 13th International Conference on Model-Based Software and Systems Engineering. SCITEPRESS - Science and Technology Publications, 2025. https://doi.org/10.5220/0013372200003896.

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

Petzold, Jette, and Reinhard von Hanxleden. "Safe Behavior Model Synthesis: From STPA to LTL to SCCharts." In 13th International Conference on Model-Based Software and Systems Engineering. SCITEPRESS - Science and Technology Publications, 2025. https://doi.org/10.5220/0013091600003896.

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

Hnětynka, Petr, Tomáš Bureš, Ilias Gerostathopoulos, Milad Abdullah, and Keerthiga Rajenthiram. "A Model-Based Approach to Experiment-Driven Evolution of ML Workflows." In 13th International Conference on Model-Based Software and Systems Engineering. SCITEPRESS - Science and Technology Publications, 2025. https://doi.org/10.5220/0013380500003896.

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

Barbie, Philippe, Andreas Pollom, Rene-Pascal Fischer, and Martin Becker. "Automated Generation of Standardised Digital Twins Based on MBSE Models." In 13th International Conference on Model-Based Software and Systems Engineering. SCITEPRESS - Science and Technology Publications, 2025. https://doi.org/10.5220/0013190300003896.

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

Paratore, Maria, Eda Marchetti, and Antonello Calabrò. "From Plain English to XACML Policies: An AI-Based Pipeline Approach." In 13th International Conference on Model-Based Software and Systems Engineering. SCITEPRESS - Science and Technology Publications, 2025. https://doi.org/10.5220/0013357200003896.

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

Simons, Anthony. "ReMoDeL: A Pure Functional Object-Oriented Concept Language for Models, Metamodels and Model Transformation." In 13th International Conference on Model-Based Software and Systems Engineering. SCITEPRESS - Science and Technology Publications, 2025. https://doi.org/10.5220/0013184700003896.

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

Reports on the topic "Model-based software engineering"

1

Gargaro, Anthony B., and A. S. Peterson. Transitioning a Model-Based Software Engineering Architectural Style to Ada 95. Defense Technical Information Center, 1996. http://dx.doi.org/10.21236/ada315090.

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

de Niz, Dionisio. Diagrams and Languages for Model-Based Software Engineering of Embedded Systems: UML and AADL. Defense Technical Information Center, 2007. http://dx.doi.org/10.21236/ada633428.

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

Willenbring, James M., Roscoe Ainsworth Bartlett, and Michael Allen Heroux. TriBITS lifecycle model. Version 1.0, a lean/agile software lifecycle model for research-based computational science and engineering and applied mathematical software. Office of Scientific and Technical Information (OSTI), 2012. http://dx.doi.org/10.2172/1038225.

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

Tkachuk, Viktoriia V., Vadym P. Shchokin, and Vitaliy V. Tron. The Model of Use of Mobile Information and Communication Technologies in Learning Computer Sciences to Future Professionals in Engineering Pedagogy. [б. в.], 2018. http://dx.doi.org/10.31812/123456789/2668.

Full text
Abstract:
Research goal: the research is aimed at developing a model of use of mobile ICT in learning Computer Sciences to future professionals in Engineering Pedagogy. Object of research is the model of use of mobile ICT in learning Computer Sciences to future professionals in Engineering Pedagogy. Results of the research: the developed model of use of mobile ICT as tools of learning Computer Sciences to future professionals in Engineering Pedagogy is based on the competency-based, person-centered and systemic approaches considering principles of vocational education, general didactic principles, princ
APA, Harvard, Vancouver, ISO, and other styles
5

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
6

Li, Hang, Hosam Hegazy, Xiaorui Xue, Jiansong Zhang, and Yunfeng Chen. BIM Standards for Roads and Related Transportation Assets. Purdue University, 2023. http://dx.doi.org/10.5703/1288284317641.

Full text
Abstract:
With the industry foundation classes (IFC) building information modeling (BIM) standard (ISO 16739) being adopted by AASHTO as the national standard for modeling bridge and road infrastructure projects, there comes a great opportunity to upgrade the INDOT model development standard of roads and related assets to 2D+3D BIM. This upgrade complies with the national standard and creates a solid foundation for preserving accurate asset information for lifecycle data needs. This study reviewed the current modeling standards for drainage and pavement at different state DOTs and investigated the inter
APA, Harvard, Vancouver, ISO, and other styles
7

Modlo, Yevhenii O., Serhiy O. Semerikov, Stanislav L. Bondarevskyi, Stanislav T. Tolmachev, Oksana M. Markova, and Pavlo P. Nechypurenko. Methods of using mobile Internet devices in the formation of the general scientific component of bachelor in electromechanics competency in modeling of technical objects. [б. в.], 2020. http://dx.doi.org/10.31812/123456789/3677.

Full text
Abstract:
An analysis of the experience of professional training bachelors of electromechanics in Ukraine and abroad made it possible to determine that one of the leading trends in its modernization is the synergistic integration of various engineering branches (mechanical, electrical, electronic engineering and automation) in mechatronics for the purpose of design, manufacture, operation and maintenance electromechanical equipment. Teaching mechatronics provides for the meaningful integration of various disciplines of professional and practical training bachelors of electromechanics based on the concep
APA, Harvard, Vancouver, ISO, and other styles
8

Wu, Yingjie, Selim Gunay, and Khalid Mosalam. Hybrid Simulations for the Seismic Evaluation of Resilient Highway Bridge Systems. Pacific Earthquake Engineering Research Center, University of California, Berkeley, CA, 2020. http://dx.doi.org/10.55461/ytgv8834.

Full text
Abstract:
Bridges often serve as key links in local and national transportation networks. Bridge closures can result in severe costs, not only in the form of repair or replacement, but also in the form of economic losses related to medium- and long-term interruption of businesses and disruption to surrounding communities. In addition, continuous functionality of bridges is very important after any seismic event for emergency response and recovery purposes. Considering the importance of these structures, the associated structural design philosophy is shifting from collapse prevention to maintaining funct
APA, Harvard, Vancouver, ISO, and other styles
9

FINITE ELEMENT MODELING OF CONCRETE-FILLED STAINLESS-CLAD BIMETALLIC STEEL SQUARE TUBES UNDER AXIAL COMPRESSION. The Hong Kong Institute of Steel Construction, 2022. http://dx.doi.org/10.18057/icass2020.p.276.

Full text
Abstract:
As an advanced high-performance bimetallic steel, metallurgically bonded stainless-clad (SC) bimetallic steel has been increasingly used in engineering structures in recent years. Its combination use with concrete in composite structures is beneficial to not only the corrosion resistance and economy, but also to the loading capacity. However, at present, the numerical analysis model suitable for the SC bimetallic steel is still in the lack stage. In order to study the deformation and mechanical properties of concrete-filled stainless-clad bimetallic steel square tubular (CFBSST) stub columns u
APA, Harvard, Vancouver, ISO, and other styles
10

BENDING ANALYSIS OF RECYCLED CONCRETE BEAMS REINFORCED WITH GFRP BARS UNDER HIGH TEMPERATURE. The Hong Kong Institute of Steel Construction, 2024. http://dx.doi.org/10.18057/ijasc.2024.20.3.8.

Full text
Abstract:
GFRP (Fiber Reinforced Polymer) reinforcement material is characterized by high strength and excellent corrosion resistance, which exhibits promising application prospects in engineering. The GFRP reinforcement for steel-concrete beams can increase the structural load-bearing capacity and durability. In this study, a refined finite element model of high-temperature GFRP-reinforced recycled steel-concrete beams was established by using ABAQUS software. The temperature distribution and residual load-carrying capacity of GFRP-reinforced recycled steel-concrete beams were analyzed, and the reliabi
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Model-based software engineering' 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