Filters








146,053 Hits in 11.2 sec

Strategies for product-line verification: Case studies and experiments

Sven Apel, Alexander von Rhein, Philipp Wendler, Armin Groslinger, Dirk Beyer
2013 2013 35th International Conference on Software Engineering (ICSE)  
languages C and Java, to be used as benchmarks for product-line verification. • Based on the case studies, we conducted experiments comparing the three verification strategies (including three different  ...  conducting experiments with product-based, sample-based, and familybased model checking of product lines written in C and Java. • We collected and prepared six case studies, written in the general-purpose  ...  Kolesnikov, and T. Thüm for fruitful discussions. This work was supported by the DFG grants AP 206/2 and AP 206/4.  ... 
doi:10.1109/icse.2013.6606594 dblp:conf/icse/ApelRWGB13 fatcat:7imfrechyrgfdgqlabsrkdt3x4

A Survey of Empirics of Strategies for Software Product Line Testing

Martin Fagereng Johansen, Øystein Haugen, Franck Fleurey
2011 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops  
We should employ a strategy to test product lines. Testing products individually is redundant for product lines since the products share a considerable amount of code.  ...  This document presents a survey of product line testing strategies based on the best available empirics out there.  ...  Testo AG Case Study 2007 Content: The paper presents a case study of a product line of portable measurement devices for industry and emission business.  ... 
doi:10.1109/icstw.2011.53 dblp:conf/icst/JohansenHF11 fatcat:z33cj7dlgfet3piayh36vh4zmq

Automated and Scalable T-wise Test Case Generation Strategies for Software Product Lines

Gilles Perrouin, Sagar Sen, Jacques Klein, Benoit Baudry, Yves le Traon
2010 2010 Third International Conference on Software Testing, Verification and Validation  
We design and compute metrics to evaluate strategies on AspectOPTIMA, a concrete transactional SPL.  ...  Software Product Lines (SPL) are difficult to validate due to combinatorics induced by variability across their features. This leads to combinatorial explosion of the number of derivable products.  ...  We define metrics to compare the quality of these strategies and apply them on a concrete case study.  ... 
doi:10.1109/icst.2010.43 dblp:conf/icst/PerrouinSKBT10 fatcat:3newifomynhkfkjxual6kxante

The Graduate Experience: Living and Studying Abroad (A Case Study)

Rosario Hernández Castañeda
2008 Revista Electrónica de Investigación Educativa  
This article is a qualitative case study describing the experience of Angélica an international graduate student from Latin America, who received her doctorate at the University of New Mexico in the United  ...  Her case demonstrated how administrators and faculty learn about the experience and struggles endured by international students, especially those who learned English a short time before admission to graduate  ...  The case study design was chosen because: 1) as a researcher I find that discovery and interpretation provide more depth from the participant's perspective than the testing of hypotheses for verification  ... 
doaj:74e61cb2de7f46829b264c835e79037f fatcat:4zxfz4mitjhgzoijpejbf4qfuu

How Improving the Customer Experience Quality and Business Performance? A Case Study by Mystery Shopper Practices

Yung-Lung Lai, Shih-Chieh Chang
2013 International Journal of Marketing Studies  
This study filled the gap as China had no research on the quality of experience for restaurants' customers and provided a method for using mystery shoppers as a way to improve customer experience quality  ...  Thus, this study conducted case study on Formosa Chang Restaurant which the enterprise operation and management was ranked first in Taiwan by IMD2012 reports.  ...  The case study adopted the strategy, as shown in figure 3. Figure 3 .  ... 
doi:10.5539/ijms.v5n6p52 fatcat:erapzimcmzayrjysxxhvttuxsi

Humanitarian logistics: Review and case study of Zimbabwean experiences

Charles Mbohwa
2010 Journal of Transport and Supply Chain Management  
Document analysis was done and this was complemented by mini-case studies and semi-structured interviews and site visits.  ...  This study seeks to use primary and secondary information to inform decision-making in humanitarian logistics with possible lessons for neighbouring countries, other regions in Africa and beyond.  ...  The method for collecting the data was in the form of narrative research inquiry directing to case study approach and analysis.  ... 
doi:10.4102/jtscm.v4i1.67 fatcat:tyz3rh527vcc3exqrjkshyevei

Investigating the Effect of Experience in an Airport on Pleasure, Satisfaction, and Airport Image: A Case Study on Incheon International Airport

Young Kyung Ryu, Jin-Woo Park
2019 Sustainability  
This study aimed to empirically explore the effects of the experience economy of Incheon International Airport (IIA) on pleasure, satisfaction, and airport image.  ...  Among the four realms of experience, esthetic experience and escapist experience had positive effects on pleasure.  ...  This was in line with the results of the study by Abdullah et al. [38] and Johnson et al.  ... 
doi:10.3390/su11174616 fatcat:kyiobuw53bcrhbvqpvh3pzanfe

From software verification to 'everyware' verification

Marta Kwiatkowska
2013 Computer Science - Research and Development  
The research involves investigating the fundamentals of quantitative verification, development of algorithms and prototype implementations, and experimenting with case studies.  ...  Our increasing dependence on ubiquitous computing creates an urgent need for modelling and verification technologies to support the design process, and hence improve the reliability and reduce production  ...  In future, we intend to develop further case studies, e.g. user-centric cooperation of [5] , implement strategy generation, and formulate model checking algorithms for more complex, multi-objective goals  ... 
doi:10.1007/s00450-013-0249-1 fatcat:yijv5tfqwjb5rlopsnmy6gpsf4

Experiences and Development Impacts of Securing Land Rights at Scale in Developing Countries: Case Studies of China and Vietnam

Frank F. K. Byamugisha
2021 Land  
The experience from these Asian and African countries offers important lessons including the need for strong political commitment and to develop flexible legal and spatial frameworks that fit the purpose  ...  This paper reviews experiences and development impacts of a selected number of developing countries in Asia and Africa that have used emerging land registration approaches to rapidly secure land rights  ...  The method of research is qualitative based on case studies.  ... 
doi:10.3390/land10020176 fatcat:x5cp2oulujcdnggkikoz3jpjni

The teacher educator's experience: case studies of practical professional knowledge

Peter D. John
2002 Teaching and Teacher Education : An International Journal of Research and Studies  
The five detailed person-in-context case studies and the resulting cross-case thematic analysis reveal the tutors' knowledge to be characterised by seven key themes: intentionality; practicality; subject  ...  This exploratory study is an attempt to provide some evidence relating to the experiences, assumptions, practical knowledge and expertise that teacher educators hold and use.  ...  so machine like and uninteresting' or `it's like putting children on a production line in a sausage factory'.  ... 
doi:10.1016/s0742-051x(01)00072-5 fatcat:weyu4j7tgffpbhk3wpljqx2fda

Simulating Customer Experience and Word-of-Mouth in Retail - A Case Study

Peer-Olaf Siebers, Uwe Aickelin, Helen Celia, Chris Clegg
2010 Social Science Research Network  
To test the features we have conducted a series of experiments dealing with customer pool sizes, standard and noise reduction modes, and the spread of customers' word of mouth.  ...  Despite the fact we are working within a relatively novel and complex domain, it is clear that intelligent agents offer potential for fostering sustainable organizational capabilities in the future.  ...  We would also like to thank the reviewers for their fruitful comments on earlier drafts of this article. References  ... 
doi:10.2139/ssrn.2823390 fatcat:kolgats2nbe4tijex5wduauxoq

Simulating Customer Experience and Word-Of-Mouth in Retail — A Case Study

Peer-Olaf Siebers, Uwe Aickelin, Helen Celia, Chris W. Clegg
2009 Simulation (San Diego, Calif.)  
To test the features we have conducted a series of experiments dealing with customer pool sizes, standard and noise reduction modes, and the spread of customers' word of mouth.  ...  Despite the fact we are working within a relatively novel and complex domain, it is clear that intelligent agents offer potential for fostering sustainable organizational capabilities in the future.  ...  We would also like to thank the reviewers for their fruitful comments on earlier drafts of this article. References  ... 
doi:10.1177/0037549708101575 fatcat:hizymbbn5jdppntgrxvzzcz3qu

Pareto-Rational Verification [article]

Véronique Bruyère, Jean-François Raskin, Clément Tamines
2022 arXiv   pre-print
In the latter case the machine may embed several different behaviors for the system, and the universal rational verification problem aims at verifying that all of them are correct when the environment  ...  We also study the case where the objectives are expressed using LTL formulas and show that the first problem is PSPACE-complete, and that the second is 2EXPTIME-complete.  ...  We then present the verification problem studied in this paper and illustrate it on an example.  ... 
arXiv:2202.13485v2 fatcat:nzhjna2535dthfnrmnju24gg6q

Towards systematic usability verification

Max Möllers, Jonathan Diehl, Markus Jordans, Jan Borchers
2009 Proceedings of the 27th international conference extended abstracts on Human factors in computing systems - CHI EA '09  
There are some corporations that are famous for their usable products, but small and medium-sized businesses tend to prefer features over usability.  ...  Although usability is the core aspect of the whole HCI research field, it still waits for its economic breakthrough.  ...  Acknowledgements Special thanks go to Volker Schmidt for his dedicated work on the user tests. We thank all of our test participants. This work was funded in part by the German B-IT Foundation.  ... 
doi:10.1145/1520340.1520714 dblp:conf/chi/MollersDJB09 fatcat:ziq3t4c5qvfbrn2g6sfomgg27u

Extracting Usage Patterns of Ontologies on the Web: a Case Study on GoodRelations Vocabulary in RDFa

Ewa Kowalczuk, Jedrzej Potoniec, Agnieszka Lawrynowicz
2014 W3C Web Ontology Language (OWL) Experiences and Directions Workshop (OWLED)  
For this purpose, we designed and ran experiments using a recently proposed pattern mining method for RDF(s) data: Fr-ONT-Qu.  ...  We have conducted a case study on usage patterns extraction of GoodRelations ontology vocabulary from an RDFa dataset of the Web Data Commons corpus.  ...  Acknowledgments Agnieszka Lawrynowicz and Jedrzej Potoniec acknowledge the support from the PARENT-BRIDGE programme of Foundation for Polish Science, cofinanced from European Union, Regional Development  ... 
dblp:conf/owled/KowalczukPL14 fatcat:btlbqzskkfazxdaorwl5wgazpm
« Previous Showing results 1 — 15 out of 146,053 results