Filters








15,644 Hits in 9.1 sec

Teacher education for integrating resources in mathematics teaching: contributions from instrumental meta-orchestration

Rosilângela Lucena, Verônica Gitirana, Luc Trouche
2022 The Mathematics Enthusiast  
As for the language barrier, a tool from the post-translation forum helped everyone.  ...  From the teacher educator viewpoint, we sought to promote a practical experience of an IO solving a mathematical situation to: a) reveal the theory to support the development of teaching situations; b)  ... 
doi:10.54870/1551-3440.1549 fatcat:3mee3doxvffr3k3luk7v6gdbre

A Java-based approach for teaching principles of adaptive and evolvable software

Jeff Gray
2004 Science of Computer Programming  
This paper describes a special-topics software engineering course that uses Java as a foundation for teaching concepts of static and dynamic adaptation.  ...  The ability to adapt a software artifact is essential toward handling evolving stakeholder requirements.  ...  The generic modeling environment (GME) [32] is a meta-configurable modeling tool for realizing the principles of MIC.  ... 
doi:10.1016/j.scico.2004.02.005 fatcat:q75rilfmn5eslo2uddw5yx5kny

META-X: Generic Software for Metapopulation Viability Analysis

Volker Grimm, Helmut Lorek, Jens Finke, Frank Koester, Michael Malachinski, Michael Sonnenschein, Atte Moilanen, Ilse Storch, Alexander Singer, Christian Wissel, Karin Frank
2004 Biodiversity and Conservation  
The conception of META-X is based on the notion that PVA is a tool to deal with rather than to overcome uncertainty.  ...  The rationale behind these three elements is explained and demonstrated by exemplary applications of META-X in the three fields for which META-X has been designed: teaching, risk assessment in the field  ...  Acknowledgements We would like to thank Jana Verboom and Julian Fox for valuable comments on an earlier draft.  ... 
doi:10.1023/b:bioc.0000004317.42949.f7 fatcat:akzg5pv2zrhtdp2tc6p7e5tfge

Towards a Shared Specification Repository [chapter]

Philipp Körner, Michael Leuschel, Jannik Dunkelau
2020 Lecture Notes in Computer Science  
Many formal methods research communities lack a shared set of benchmarks.  ...  While this is great for proving the concept in question, it does not offer any insights on how it performs on real-world examples.  ...  Computational support and infrastructure was provided by the "Centre for Information and Media Technology" (ZIM) at the University of Düsseldorf (Germany).  ... 
doi:10.1007/978-3-030-48077-6_22 fatcat:5ul4shkrpzcezfowoj3s4rnj64

MD* Best Practices

Marcus Volter
2009 Journal of Object Technology  
Make sure your environment provides a good experience for writing transformations and code generators, for example, by providing meta model-aware editors for these artifacts.  ...  When selecting MD* tools, make sure that the meta ware artifacts (meta models, templates, transformations, etc.) as well as your models support comments in a meaningful and scalable way.  ...  About the author Markus Voelter works as an independent researcher, consultant and coach for itemis AG in Stuttgart, Germany.  ... 
doi:10.5381/jot.2009.8.6.c6 fatcat:g2mmmmkotvagvlkjxnauzyjmbe

Analysis of Didactical Trajectories in Teaching and Learning Mathematics: Overcoming Extreme Objectivist and Constructivist Positions

Miguel R. Wilhelmi, Juan D. Godino, Hernán Rivas, María Burgos
2018 IEJME-Mathematics Education  
This analysis is based on some theoretical tools from the onto-semiotic approach to mathematical knowledge and instruction, which allow identifying significant didactical facts that support a mixed instructional  ...  There are, however, different views that consider objectivist models, based on knowledge transmission (direct or explicit teaching) more effective in the teaching of scientific disciplines.  ...  To support this hypothesis, we carry out the description and analysis of a teaching experience of probabilistic notions with prospective primary school teachers.  ... 
doi:10.12973/iejme/3983 fatcat:knyg5y2anzhunggz4x5elb7kbi

An Approach toward a Software Factory for the Development of Educational Materials under the Paradigm of WBE

Rubén Peredo Valderrama, Alejandro Canales Cruz, Iván Peredo Valderrama
2011 Interdisciplinary Journal of e-Skills and Lifelong Learning  
Object Reference Model (SCORM).  ...  The software components obtained are called Intelligent Reusable Learning -Components Object Oriented (IRLCOO), which are a special type of Sharable Content Object (SCO) according to the Sharable Content  ...  the partial support for this project within the project IPN-SIP 20101278.  ... 
doi:10.28945/1359 fatcat:dujeouyo35fjbgybcel4qwswnq

(2007) Interchanging knowledge and experiments in a learning community. in a view of collaborative. work

Filomena Amador, Jorge Valadares, José Coelho, Vítor Rocio, Fernando Caetano, C. Dias Gaspar, C. Ribeiro, J. Remédios, F. Costa
2007 Zenodo  
Various themes were discussed and analyzed , among them we highlighted some experiences of online teaching in formal and non-formal contexts, user management in MoodIe LMS, news from international e-Iearning  ...  meetings, visual representations and teaching chemistry online, pseudo-code as a communication language using Notetab and interactive materials in teaching mathematics.  ...  Two models were presented (cf. http://docs.moodle.org/en/Metacourses): one where a meta-course represents a degree that inherits enrolments from all courses in that degree; and another where meta-courses  ... 
doi:10.5281/zenodo.2673231 fatcat:tpqpvzua65fu5k4nlma4sr6awa

Requirements Engineering for Model-Based Enterprise Architecture Management with ArchiMate [chapter]

Dominik Bork, Aurona Gerber, Elena-Teodora Miron, Phil van Deventer, Alta Van der Merwe, Dimitris Karagiannis, Sunet Eybers, Anna Sumereder
2018 Lecture Notes in Business Information Processing  
The evaluation was performed by a focus group of enterprise architects that attended a workshop and applied the tool to an EAM case study.  ...  the ArchiMate modeling language can be enhanced with capabilities that support EAM.  ...  What is left to be done by the tool engineer is according to [33] : 1) configure the specific modeling language by referring it's concepts to the meta concepts of the platform; 2) provide a proper visualization  ... 
doi:10.1007/978-3-030-00787-4_2 fatcat:57otlqq26rgbxapiakrenw2boa

FeatureIDE: An extensible framework for feature-oriented software development

Thomas Thüm, Christian Kästner, Fabian Benduhn, Jens Meinicke, Gunter Saake, Thomas Leich
2014 Science of Computer Programming  
FeatureIDE is an open-source framework for feature-oriented software development (FOSD) based on Eclipse. FOSD is a paradigm for construction, customization, and synthesis of software systems.  ...  Code artifacts are mapped to features and a customized software system can be generated given a selection of features.  ...  Acknowledgments We like to thank Marko Rosenmüller for comments on an earlier draft of this paper. FeatureIDE is supported by the METOP GmbH.  ... 
doi:10.1016/j.scico.2012.06.002 fatcat:2wgchpvcf5amnbm724qdzn4rfa

Incremental development of a repository-based framework supporting organizational inquiry and learning

Martine Devos, Michel Tilman
1998 Addendum to the 1998 proceedings of the conference on Object-oriented programming, systems, languages, and applications (Addendum) - OOPSLA '98 Addendum  
In this paper we report on our experience with the development of a framework for administration and a supporting method for incremental development and learning.  ...  First, it consists of a set of tools for managing a repository of documents, data and processes, including their history and status.  ...  Proper training is of primary importance, as is the need to initially hide some of the more complex elements of the tools from novice users.  ... 
doi:10.1145/346852.346943 fatcat:4tgnqe7if5dv3inr6od5kxuyna

Towards User Support in Ubiquitous Learning Systems

Ekaterina Gilman, Ivan Sanchez Milara, Marta Cortes, Jukka Riekki
2015 IEEE Transactions on Learning Technologies  
Finally, we propose supporting different needs identified for four user roles by adding meta-level functionality to ubiquitous learning systems.  ...  Namely, these technologies support transforming our everyday environments into learning environments. This concept is referred to in the literature as ubiquitous learning.  ...  Quality models present configurations of object-level tasks and strategies for different contexts.  ... 
doi:10.1109/tlt.2014.2381467 fatcat:ttulylq3offtzertbe6vc456s4

InfraComposer: Policy-driven Adaptive and Reflective Middleware for the Cloudification of Simulation & Optimization Workflows

Emad Heydari Beni, Bert Lagaisse, Wouter Joosen
2019 Journal of systems architecture  
The reflective capabilities are based on multiple meta-models to reflect workflow structure, deployment, execution and resources.  ...  Both can also vary depending on the specific parameters for a certain execution.  ...  [26] present a comprehensive reference model for distributed self-adaptive systems with a special attention to the reflection perspective.  ... 
doi:10.1016/j.sysarc.2019.03.001 fatcat:bwclhazvhfagzenn5shl2abexy

Automatic Generation of S-LAM Descriptions from UML/MARTE for the DSE of Massively Parallel Embedded Systems [chapter]

Manel Ammar, Mouna Baklouti, Maxime Pelcat, Karol Desnos, Mohamed Abid
2015 Studies in Computational Intelligence  
In this paper, we propose a tool which automates the generation of the System-Level Architecture Model (S-LAM) from a Unified Modeling Language-based (UML) model annotated with the Modeling and Analysis  ...  Massively Parallel Multi-Processors System-on-Chip (MP2SoC) architectures require efficient programming models and tools to deal with the massive parallelism present within the architecture.  ...  M2T mapping rules: from S-LAM model to S-LAM files Case study To evaluate the benefits of our framework, we conduct a series of experiments on the M-JPEG encoder application.  ... 
doi:10.1007/978-3-319-23509-7_14 fatcat:vaiwdsuhuvcejjuw6bptlw3jwu

Modeling of movement control architectures based on motion primitives using domain-specific languages

Arne Nordmann, Sebastian Wrede, Jochen Steil
2015 2015 IEEE International Conference on Robotics and Automation (ICRA)  
This paper introduces a model-driven approach for engineering complex movement control architectures based on motion primitives, which in recent years have been a central development towards adaptive and  ...  Using a proper tool chain, we show how to employ this modeldriven approach in a case study for the real world example of automatic laundry grasping with the KUKA LWR-IV, where executable source-code is  ...  However, in the case of Simulink, domain-specific in-language abstractions can be added with dedicated tool boxes (e.g. for kinematics, machine vision, machine learning, etc.) that provide tool support  ... 
doi:10.1109/icra.2015.7139899 dblp:conf/icra/NordmannWS15 fatcat:t7ulrxjn2bcvnktu6yktmjl7xu
« Previous Showing results 1 — 15 out of 15,644 results