Model-Based Formalization of Software Architecture Knowledge

2014 ◽  
Author(s):  
Daniel Perovich ◽  
Maria Cecilia Bastarrica
Keyword(s):  
Software Architecture ◽  
Model Based

scholarly journals Model-Based Engineering for Medical-Device Software

2010 ◽  
Vol 44 (6) ◽  
pp. 507-518 ◽  
Author(s):  
Arnab Ray ◽  
Raoul Jetley ◽  
Paul L. Jones ◽  
Yi Zhang
Keyword(s):  
Software Architecture ◽  
Formal Verification ◽  
Medical Device ◽  
Infusion Pump ◽  
Design Information ◽  
Safety Requirements ◽  
Model Based ◽  
Medical Device Software ◽  
Efficient Construction ◽  
Design Techniques

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 for future versions of the device software.1

scholarly journals A Software Architecture for Model-Based Programming of Robot Systems

2009 ◽  
pp. 135-146 ◽  
Author(s):  
Michael Geisinger ◽  
Simon Barner ◽  
Martin Wojtczyk ◽  
Alois Knoll
Keyword(s):  
Software Architecture ◽  
Model Based ◽  
Robot Systems

scholarly journals A unifying software architecture for model-based visual tracking

2008 ◽  
Author(s):  
Giorgio Panin ◽  
Claus Lenz ◽  
Martin Wojtczyk ◽  
Suraj Nair ◽  
Erwin Roth ◽  
...  
Keyword(s):  
Software Architecture ◽  
Visual Tracking ◽  
Model Based

scholarly journals User Interface Stereotypes: A Model-Based Approach for Information Systems User Interfaces

2014 ◽  
Author(s):  
Sofia Larissa Da Costa ◽  
Valdemar Vicente Graciano Neto ◽  
Juliano Lopes De Oliveira ◽  
Bruno dos Reis Calçado
Keyword(s):  
Information Systems ◽  
User Interface ◽  
Software Development ◽  
Software Architecture ◽  
User Interfaces ◽  
Model Based ◽  
Behavioral Aspects ◽  
Definition Of ◽  
High Level ◽  
And Behavior

This paper presents a model-based approach to build Information Systems User Interfaces (ISUI). In this approach, UI presentation and behavioral aspects are modeled as UI Stereotypes, which are high level abstractions of UI appearance and interaction features. A taxonomy of ISUI elements is proposed as the basis for definition of UI stereotypes. These elements are orchestrated on a software architecture which manages model-based UI building and integration with the IS applications. The proposed approach reduces software development efforts and costs, facilitating maintenance and evolution of ISUI. Moreover, UI stereotypes improve usability, consistency, reuse and standardization of both presentation and behavior of ISUI.

Sign in / Sign up

Export Citation Format

Share Document