Model-Based Transition from Requirements to High-Level Software Design

Author(s):  
Hermann Kaindl
2012 ◽  
Vol 41 ◽  
pp. 812-818
Author(s):  
Shahrul Nairn Sidek ◽  
Elliana Ismaif ◽  
Nor Anija Jalaludin
Keyword(s):  

2018 ◽  
Vol 11 (3) ◽  
pp. 12 ◽  
Author(s):  
Kanokrat Jirasatjanukul ◽  
Namon Jeerungsuwan

The objectives of the research were to (1) design an instructional model based on Connectivism and Constructivism to create innovation in real world experience, (2) assess the model designed–the designed instructional model. The research involved 2 stages: (1) the instructional model design and (2) the instructional model rating. The sample consisted of 7 experts, and the Purposive Sampling Technique was used. The research instruments were the instructional model and the instructional model evaluation form. The statistics used in the research were means and standard division. The research results were (1) the Instructional Model based on Connectivism and Constructivism to Create innovation in Real World Experience consisted of 3 components. These were Connectivism, Constructivism and Innovation in Real World Experience and (2) the instructional model rating was at a high level (=4.37, S.D.=0.41). The research results revealed that the Instructional Model Based on Connectivism and Constructivism to Create Innovation in Real World Experience was a model that can be used in learning, in that it promoted the creation of real world experience innovation.


2012 ◽  
Vol 4 (2) ◽  
pp. 1-18 ◽  
Author(s):  
José Eduardo Fernandes ◽  
Ricardo J. Machado ◽  
João Á. Carvalho

Model-Based/Driven Development (MDD) constitutes an approach to software design and development that potentially contributes to: concepts closer to domain and reduction of semantic gaps, automation and less sensitivity to technological changes, and the capture of expert knowledge and reuse. The widespread adoption of pervasive technologies as basis for new systems and applications lead to the need of effectively design pervasive information systems that properly fulfil the goals they were designed for. This paper presents a profiling and framing structure approach for the development of Pervasive Information Systems (PIS). This profiling and framing structure allows the organization of the functionality that can be assigned to computational devices in a system and of the corresponding development structures and models, being. The proposed approach enables a structural approach to PIS development. The paper also presents two case studies that allowed demonstrating the applicability of the approach.


Author(s):  
Pamela Munro ◽  
Richard Mogford

Airline dispatchers’ workflow is often described in broad terms like ‘flight planning’ and ‘flight following.’ Such high-level descriptions fail to recognize the number and complexity of tasks involved in these activities. An ethnographic study was conducted at three US airlines to understand the cognitive workload involved in flight planning. Fuel planning was identified as one of five key flight planning tasks. Fuel planning was conducted concurrently with other planning and monitoring tasks which often led to interruptions. Planning fuel was dynamic, with re-calculations required whenever other factors varied. This rework increased workload and opportunities for error while reducing efficiency. Beyond route changes, four main factors contributed variability to fuel planning: contingency planning, load planning, pilots, and station operations. Strategies for managing variability included pattern identification, use of buffers, rounding up, and leveraging software tools. Software design often added workload by forcing dispatchers to attend to low level tasks.


Author(s):  
Balázs Farkas ◽  
Károly Veszprémi

Development of power electronic devices requires multi -disciplined engineering activities. These cover the thermal, electrical and software design. Due to this design complexity rapid prototyping methods and model-based design are becoming more and more important in the R&D projects in this field. In case of the multi-level inverter based drives the strict reliability requirements make the aforementioned new approaches more attractive. This article is the first part of the series which introduces the application of the model based design and Hardware-in-the-Loop (HIL) tools through the modeling of a Cellular H-Bridge inverter (CHB). This article focuses on the power electronic system modeling and verification. The model of the CHB is implemented and verified in Matlab.


Sign in / Sign up

Export Citation Format

Share Document