Formal Contracts for Runtime Verification Support in the Ada Programming Language

Poster presented in The 28th GI/ITG International Conference on Architecture of Computing Systems (ARCS 2015). 24 to 26, Mar, 2015. Porto, Portugal.

A Modular Programming Approach for IoTBased Wireless Sensor Networks

Poster presented in 12th European Conference on Wireless Sensor Network (EWSN 2015). 9 to 11, Feb, 2015. Porto, Portugal.

Ensemble: an innovative approach to practice computer programming

Currently, the teaching-learning process in domains, such as computer programming, is characterized by an extensive curricula and a high enrolment of students. This poses a great workload for faculty and teaching assistants responsible for the creation, delivery, and assessment of student exercises. The main goal of this chapter is to foster practice-based learning in complex domains. This objective is attained with an e-learning framework—called Ensemble—as a conceptual tool to organize and facilitate technical interoperability among services. The Ensemble framework is used on a specific domain: computer programming. Content issues are tacked with a standard format to describe programming exercises as learning objects. Communication is achieved with the extension of existing specifications for the interoperation with several systems typically found in an e-learning environment. In order to evaluate the acceptability of the proposed solution, an Ensemble instance was validated on a classroom experiment with encouraging results.

Massive Open Online Course management: learning science and engineering through peer-reviewed projects

Massive Open Online Courses (MOOC) are gaining prominence in transversal teaching-learning strategies. However, there are many issues still debated, namely assessment, recognized largely as a cornerstone in Education. The large number of students involved requires a redefinition of strategies that often use approaches based on tasks or challenging projects. In these conditions and due to this approach, assessment is made through peer-reviewed assignments and quizzes online. The peer-reviewed assignments are often based upon sample answers or topics, which guide the student in the task of evaluating peers. This chapter analyzes the grading and evaluation in MOOCs, especially in science and engineering courses, within the context of education and grading methodologies and discusses possible perspectives to pursue grading quality in massive e-learning courses.

A filter inexact-restoration method for nonlinear programming

A new iterative algorithm based on the inexact-restoration (IR) approach combined with the filter strategy to solve nonlinear constrained optimization problems is presented. The high level algorithm is suggested by Gonzaga et al. (SIAM J. Optim. 14:646–669, 2003) but not yet implement—the internal algorithms are not proposed. The filter, a new concept introduced by Fletcher and Leyffer (Math. Program. Ser. A 91:239–269, 2002), replaces the merit function avoiding the penalty parameter estimation and the difficulties related to the nondifferentiability. In the IR approach two independent phases are performed in each iteration, the feasibility and the optimality phases. The line search filter is combined with the first one phase to generate a “more feasible” point, and then it is used in the optimality phase to reach an “optimal” point. Numerical experiences with a collection of AMPL problems and a performance comparison with IPOPT are provided.

Teaching mathematics using Massive Open Online Courses

Distance learning - where students take courses (attend classes, get activities and other sort of learning materials) while being physically separated from their instructors, for larger part of the course duration - is far from being a “new event”. Since the middle of the nineteenth century, this has been done through Radio, Mail and TV, taking advantage of the full educational potential that these media resources had to offer at the time. However, in recent times we have, at our complete disposal, the “magic wonder” of communication and globalization - the Internet. Taking advantage of a whole new set of educational opportunities, with a more or less unselfish “look” to economic interests, focusing its concern on a larger and collective “welfare”, contributing to the development of a more “equitable” world, with regard to educational opportunities, the Massive Open Online Courses (MOOCs) were born and have become an important feature of the higher education in recent years. Many people have been talking about MOOCs as a potential educational revolution, which has arrived from North America, still growing and spreading, referring to its benefits and/or disadvantages. The Polytechnic Institute of Porto, also known as IPP, is a Higher Education Portuguese institution providing undergraduate and graduate studies, which has a solid history of online education and innovation through the use of technology, and it has been particularly interested and focused on MOOC developments, based on an open educational policy in order to try to implement some differentiated learning strategies to its actual students and as a way to attract future ones. Therefore, in July 2014, IPP launched the first Math MOOC on its own platform. This paper describes the requirements, the resulting design and implementation of a mathematics MOOC, which was essentially addressed to three target populations: - pre-college students or individuals wishing to update their Math skills or that need to prepare for the National Exam of Mathematics; - Higher Education students who have not attended in High School, this subject, and who feel the need to acquire basic knowledge about some of the topics covered; - High School Teachers who may use these resources with their students allowing them to develop teaching methodologies like "Flipped Classroom” (available at http://www.opened.ipp.pt/). The MOOC was developed in partnership with several professors from several schools from IPP, gathering different math competences and backgrounds to create and put to work different activities such video lectures and quizzes. We will also try to briefly discuss the advertising strategy being developed to promote this MOOC, since it is not offered through a main MOOC portal, such as Coursera or Udacity.