Partial Behaviour Modelling: Foundations for Incremental and Iterative Model-Based Software Engineering

2009 ◽  
pp. 17-22 ◽  
Author(s):  
Sebastian Uchitel
Keyword(s):  
Software Engineering ◽  
Behaviour Modelling ◽  
Model Based ◽  
Iterative Model

Iterative model‐based experimental design for spherical agglomeration processes

AIChE Journal ◽  
2021 ◽  
Author(s):  
Kanjakha Pal ◽  
Botond Szilagyi ◽  
Christopher L. Burcham ◽  
Daniel J. Jarmer ◽  
Zoltan K. Nagy
Keyword(s):  
Experimental Design ◽  
Model Based ◽  
Iterative Model

Computed Tomography Imaging of a Hip Prosthesis Using Iterative Model-Based Reconstruction and Orthopaedic Metal Artefact Reduction

2016 ◽  
Vol 40 (6) ◽  
pp. 971-978 ◽  
Author(s):  
Ruud H.H. Wellenberg ◽  
Martijn F. Boomsma ◽  
Jochen A.C. van Osch ◽  
Alain Vlassenbroek ◽  
Julien Milles ◽  
...  
Keyword(s):  
Computed Tomography ◽  
Hip Prosthesis ◽  
Computed Tomography Imaging ◽  
Tomography Imaging ◽  
Metal Artefact Reduction ◽  
Model Based ◽  
Iterative Model ◽  
Metal Artefact ◽  
Artefact Reduction

Correcting encoder interpolation error on the Green Bank Telescope using an iterative model based identification algorithm

2015 ◽  
Vol 1 (4) ◽  
pp. 044005
Author(s):  
Timothy Franke ◽  
Tim Weadon ◽  
John Ford ◽  
Mario Garcia-Sanz
Keyword(s):  
Interpolation Error ◽  
Identification Algorithm ◽  
Model Based ◽  
Iterative Model ◽  
Green Bank Telescope

scholarly journals An iterative model-based approach to cochannel speech separation

2013 ◽  
Vol 2013 (1) ◽  
Author(s):  
Ke Hu ◽  
DeLiang Wang
Keyword(s):  
Speech Separation ◽  
Model Based ◽  
Iterative Model

Quality Improvement in Automotive Software Engineering Using a Model-Based Approach

2009 ◽  
pp. 374-399 ◽  
Author(s):  
Tibor Farkas
Keyword(s):  
Quality Assurance ◽  
Software Engineering ◽  
Object Constraint Language ◽  
Automotive Software ◽  
Model Based ◽  
Control Units ◽  
Preventive Actions ◽  
Automotive Software Engineering ◽  
Automotive Control Software ◽  
Assurance Process

Premium quality and innovation are the cornerstones of the leading positions of car manufacturers and suppliers in the world market. The permanently increasing complexity of in-car electronics and the rapidly growing amount of automotive software running on embedded electronic control units, places higher demands on quality assurance for the future. Quality cannot be implemented into software on embedded control units after their development. Methods for defects detection have to be constituted to automatically stop development to fix a problem before the defect continues downstream. In addition preventive actions have to be taken in respect of front-loading quality and reliability. An automatic and tool independent check of custom development rules, quality standards and enterprise wide guidelines can support the quality assurance process in the development of automotive control software. In the domain of automotive software engineering there is a lack of automated checking for standard conformance. Especially, a formal and tool independent notation of rules to follow is missing. In this chapter, the model-based design of automotive vehicle functions is taken as an example to show how textual rules describing development standards to be met can be transformed into a formal notation using the open standards Meta Object Facility and Object Constraint Language. Thereafter these rules can be checked automatically. The feasibility of this approach is shown by a software demonstrator.

Model-Based Software Engineering in Larger Scale Project Courses

1993 ◽  
pp. 273-287 ◽  
Author(s):  
Bernd Bruegge ◽  
Robert F. Coyne
Keyword(s):  
Software Engineering ◽  
Model Based

scholarly journals Non-iterative model based image reconstruction of diffuse optical tomography based on DE and RTE in quality control of agricultural product studies

2018 ◽  
Vol 1057 ◽  
pp. 012006
Author(s):  
Vebi Nadhira ◽  
E. Juliastuti ◽  
Agah D. Garnadi ◽  
Deddy Kurniadi ◽  
Yoko Hoshi
Keyword(s):  
Quality Control ◽  
Image Reconstruction ◽  
Optical Tomography ◽  
Diffuse Optical Tomography ◽  
Agricultural Product ◽  
Model Based ◽  
Iterative Model
Sign in / Sign up

Export Citation Format

Share Document