scholarly journals Search-based automated testing of continuous controllers: Framework, tool support, and case studies

2015 ◽  
Vol 57 ◽  
pp. 705-722 ◽  
Author(s):  
Reza Matinnejad ◽  
Shiva Nejati ◽  
Lionel Briand ◽  
Thomas Bruckmann ◽  
Claude Poull
Keyword(s):  
Case Studies ◽  
Automated Testing ◽  
Tool Support

scholarly journals Customized ViNeRS Method for Video Neuro-Advertising of Green Housing

2020 ◽  
Vol 17 (7) ◽  
pp. 2244 ◽  
Author(s):  
Arturas Kaklauskas ◽  
Edmundas Kazimieras Zavadskas ◽  
Bjoern Schuller ◽  
Natalija Lepkova ◽  
Gintautas Dzemyda ◽  
...  
Keyword(s):  
Individual Differences ◽  
Case Studies ◽  
Multiple Criteria ◽  
Tool Support ◽  
Affective Behavior ◽  
Circumplex Model ◽  
Practical Application ◽  
Green Housing ◽  
Residential Unit ◽  
Decision Tables

The implementation of advertising for green housing usually involves consideration of individual differences among potential buyers, their desires for residential unit features as well as location impacts on a selected property. Much more rarely, there is consideration of the arousal and valence, affective behavior, emotional, and physiological states of possible buyers of green housing (AVABEPS) while they review the advertising. Yet, no integrated consideration of all these factors has been undertaken to date. The objective of this study was to consider, in an integrated manner, the AVABEPS, individual differences, and location impacts on property and desired residential unit features. During this research, the applications for the above data involved neuromarketing and multicriteria examination of video advertisements for diverse client segments by applying neuro decision tables. All of this can be performed by employing the method for planning and analyzing and by multiple criteria and customized video neuro-advertising green-housing variants (hereafter abbreviated as the ViNeRS Method), which the authors of this article have developed and present herein. The developed ViNeRS Method permits a compilation of as many as millions of alternative advertising variants. During the time of the ViNeRS project, we accumulated more than 350 million depersonalized AVABEPS data. The strong and average correlations determined in this research (over 35,000) and data examination by IBM SPSS tool support demonstrate the need to use AVABEPS in neuromarketing and neuro decision tables. The obtained dependencies constituted the basis for calculating and graphically submitting the ViNeRS circumplex model of affect, which the authors of this article developed. This model is similar to Russell’s well-known earlier circumplex model of affect. Real case studies with their related contextual conditions presented in this manuscript show a practical application of the ViNeRS Method.

Tool Support for Model-Driven Development of Web Applications

2009 ◽  
pp. 331-344
Author(s):  
Jaime Gomez ◽  
Alejandro Bia ◽  
Antonio Parraga
Keyword(s):  
Rapid Prototyping ◽  
Case Studies ◽  
Web Applications ◽  
Lessons Learned ◽  
Tool Support ◽  
Natural Consequence ◽  
Model Driven ◽  
High Level ◽  
Model Driven Approach ◽  
Industrial Context

This paper describes the engineering foundations of VisualWADE, a CASE tool to automate the production of Web applications. VisualWADE follows a model-driven approach focusing on requirements analysis, high level design, and rapid prototyping. In this way, an application evolves smoothly from the first prototype to the final product, and its maintenance is a natural consequence of development. The paper also discusses the lessons learned in the development of the tool and its application to several case studies in the industrial context.

scholarly journals On the Support of Activity Patterns in ProWAP: Case Studies, Formal Semantics, Tool Support

2008 ◽  
Vol 1 (1) ◽  
Author(s):  
Lucinéia Thom ◽  
Cirano Iochpe ◽  
Manfred Reichert ◽  
Barbara Weber ◽  
Droop Matthias ◽  
...  
Keyword(s):  
Case Studies ◽  
Activity Patterns ◽  
Formal Semantics ◽  
Tool Support

Nenhum resumo disponível

R-BPMN for abstract modeling of business process patterns

2021 ◽  
Vol ahead-of-print (ahead-of-print) ◽  
Author(s):  
Dae-Kyoo Kim ◽  
Yeasun K. Chung
Keyword(s):  
Case Studies ◽  
Business Process ◽  
Process Model ◽  
Process Development ◽  
Formal Semantics ◽  
Tool Support ◽  
Tool Development ◽  
Business Process Model ◽  
Content Type ◽  
Pattern Variability

PurposeThe authors use the extension mechanism provided by the Business Process Model and Notation (BPMN) to define roles, which allows roles to be fully aligned with the BPMN standard. The authors describe how a pattern can be defined in terms of roles and present the formal semantics of pattern realization and refinement to support systematic reuse of patterns in business process development.Design/methodology/approachIt is widely agreed that the use of business process patterns improves the efficiency and quality of business process development. However, few techniques are available to describe business process patterns at an appropriate level of abstraction to facilitate the reuse of patterns. To address this, this paper presents the role-based Business Process Model and Notation (R-BPMN), an extension of BPMN for abstract modeling of business process patterns based on a novel notion of role.FindingsThe authors apply R-BPMN in case studies for pattern realization and refinement and discuss tool support via an existing tool. The case studies demonstrate the practical benefits of R-BPMN in capturing pattern variability and facilitating pattern reuse.Practical implicationsThe findings imply a potential impact of R-BPMN on practical benefits when it is supported at the metamodel level in tool development.Originality/valueThis study addresses the need for abstract modeling of process patterns at the metamodel level, which facilitates the formalization of pattern variability and tool development to support various realizations of process patterns at the model level.

A SysML-based approach to traceability management and design slicing in support of safety certification: Framework, tool support, and case studies

2012 ◽  
Vol 54 (6) ◽  
pp. 569-590 ◽  
Author(s):  
Shiva Nejati ◽  
Mehrdad Sabetzadeh ◽  
Davide Falessi ◽  
Lionel Briand ◽  
Thierry Coq
Keyword(s):  
Case Studies ◽  
Tool Support ◽  
Safety Certification

Examples and Evidence

2009 ◽  
pp. 57-77
Author(s):  
Sowmya Karunakaran
Keyword(s):  
Software Development ◽  
Case Studies ◽  
Tool Support ◽  
Application Development ◽  
Model Driven Development ◽  
Model Driven ◽  
Object Management ◽  
Main Emphasis ◽  
Model Driven Software Development

This chapter aims at highlighting the increased development productivity and quality that can be achieved by Model Driven Software Development (MDSD). The above statement is substantiated by discussing many experiments and case studies in the field of Model Driven development. The chapter will contain the study of various cases in which the Object Management Group’s (OMG) Model Driven Architecture (MDA) has been used as a framework to build different applications. The reader will be provided with an overview of how the MDA paradigm greatly expedites application development with the proper tool support. The main emphasis will be on providing case studies for the measurement of the quality of the models.

Sign in / Sign up

Export Citation Format

Share Document