Example-driven modeling: Model = abstractions + examples

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2013, Pages 1273-1276

  Bak, Kacper ^a   Zayan, Dina ^a   Czarnecki, Krzysztof ^a   Antkiewicz, Michal ^a   Diskin, Zinovy ^a   Wasowski, Andrzej ^b   Rayside, Derek ^a  

^a UNIVERSITY OF WATERLOO   (Canada)

^b IT UNIVERSITY OF COPENHAGEN   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

BUSINESS KNOWLEDGE; COGNITIVE PSYCHOLOGY; PRESENTING INFORMATIONS; STRUCTURAL MODELING; TOOL SUPPORT;

ABSTRACTING;

SOFTWARE ENGINEERING;

EID: 84886430630     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSE.2013.6606696     Document Type: Conference Paper

References (39)

1. M. A. Jackson, "Problems & Requirements," in RE, 1995.
2. J. Hutchinson, J. Whittle, M. Rouncefield, and S. Kristoffersen, "Empirical assessment of MDE in industry," in ICSE, 2011.
3. B. Dobing and J. Parsons, "How UML is used," CACM, vol. 49, no. 5, 2006.
4. E. E. Smith and D. L. Medin, Categories and concepts. Harvard University Press, 1981.
5. M. L. Gick and K. J. Holyoak, "Schema induction and analogical transfer," Cognitive Psychhology, vol. 15, no. 38, 1983.
6. D. Janzen and H. Saiedian, "Test-driven development concepts, taxonomy, and future direction," Computer, vol. 38, no. 9, 2005.
7. D. North, "Introducing bdd," Better Software, vol. 12, 2011.
8. G. J. Holzmann, The Spin Model Checker: Primer and Reference Manual, 2004.
9. J. Dick and A. Faivre, "Automating the generation and sequencing of test cases from model-based specifications," in FME, 1993.
10. J. Offutt and A. Abdurazik, "Generating tests from UML specifications," in UML, 1999.
11. D. Harel and R. Marelly, Come, Let's Play: Scenario-Based Program-ming Using LSC's and the Play-Engine. Springer-Verlag, 2003.
12. OMG, OMG Unified Modeling Language, 2009.
13. J. Whittle, "What do 449 MDE Practitioners Think About MDE?" in MODELS, 2011.
14. B. Demuth, "The Dresden OCL Toolkit and its Role in Information Systems Development," in ISD, 2004.
15. D. Sadilek and S. Weißleder, "Testing metamodels," in ECMDA-FA, 2008.
16. M. Gogolla, F. Büttner, and M. Richters, "USE: a UML-Based Specification Environment for Validating UML and OCL," SCP, vol. 69, no. 1-3, 2007.
17. S. Maoz, J. Ringert, and B. Rumpe, "Modal Object Diagrams," in ECOOP, 2011.
18. D. Jackson, Software Abstractions: Logic, Language, and Analysis. The MIT Press, 2006.
19. E. K. Jackson, E. Kang, M. Dahlweid, D. Seifert, and T. Santen, "Components, platforms and possibilities: towards generic automation for MDA," in EMSOFT, 2010.
20. V. Montaghami and D. Rayside, "Extending Alloy with Partial Instances," in ABZ, 2012.
21. L. Mendel, "Modeling by example," Master's thesis, MIT, 2007.
22. Z. Chen and M. W. Daehler, "Positive and negative transfer in analogical problem solving by 6-year-old children," CD, vol. 4, 1989.
23. R. L. Goldstone and J. Y. Son, "The transfer of scientific principles using concrete and idealized simulations," JLS, vol. 14, no. 1, 2005.
24. T. van Gog, L. Kester, and F. Paas, "Effects of worked examples, example-problem, and problem-example pairs on novices' learning," CEP, vol. 36, no. 3, 2011.
25. M. T. H. Chi, P. J. Feltovich, and R. Glaser, "Categorization and representation of physics problems by experts and novices," Cognitive Science, vol. 5, no. 2, 1981.
26. S. Kalyuga, "Knowledge elaboration: A cognitive load perspective," Learning and Instruction, vol. 19, no. 5, 2009.
27. R. Parekh and V. Honavar, "An incremental interactive algorithm for regular grammar inference," in Grammatical Interference: Learning Syntax from Sentences, ser. LNCS, L. Miclet and C. de la Higuera, Eds. Springer Berlin /Heidelberg, 1996, vol. 1147.
28. S. Gulwani, W. R. Harris, and R. Singh, "Spreadsheet data manipulation using examples," CACM, vol. 55, no. 8, 2012.
29. G. J. Bex, F. Neven, and S. Vansummeren, "Inferring XML schema definitions from XML data," in VLDB, 2007.
30. N. Piterman, A. Pnueli, and Y. Sa'ar, "Synthesis of reactive(1) designs," in VMCAI, 2006.
31. B. Gruschko, D. S. Kolovos, and R. F. Paige, "Towards synchronizing models with evolving metamodels," in ECSMR, 2007.
32. A. Cicchetti, D. D. Ruscio, R. Eramo, and A. Pierantonio, "Automating co-evolution in Model-Driven Engineering," in EDOC, 2008.
33. K. Ba?k, K. Czarnecki, and A. Wa?sowski, "Feature and meta-models in Clafer: mixed, specialized, and coupled," in SLE, 2010.
34. M. L. Gick and K. Paterson, "Do contrasting examples facilitate schema acquisition and analogical transfer?" CJP, vol. 46, no. 4, 1992.
35. R. M. Seater, "Core extraction and non-example generation: Debugging and understanding logical models," Master's thesis, MIT, 2004.
36. R. DeMillo, R. Lipton, and F. Sayward, "Hints on test data selection: Help for the practicing programmer," Computer, vol. 11, no. 4, 1978.
37. Y. K. Malaiya, "Antirandom testing: getting the most out of black-box testing," in SRE, 1995.
38. S. Weißleder, "Test models and coverage criteria for automatic modelbased test generation with UML state machines," Ph. D. dissertation, 2010.
39. R. Parekh and V. Honavar, "Grammar inference, automata induction, and language acquisition," in Handbook of Natural Language Processing, 2000.