The B method as an environment for the verification of eiffel programs: a case study

This paper describes the procedure we have used to generate semiautomatically a course on Ecology for the high-school level, using an extension of the Volterra equations to

Comparison of the B 1s spectrum of the B-doped C-SWNT with that of the BN nanotubes indicates that the chemical environment of boron is rather similar to that expected for an sp

Government policy varies between nations and this guidance sets out the need for balanced decision-making about ways of working, and the ongoing safety considerations

No obstante, como esta enfermedad afecta a cada persona de manera diferente, no todas las opciones de cuidado y tratamiento pueden ser apropiadas para cada individuo.. La forma

These tasks and rules are used at execution time to guide the students during their learning process, so that they will be presented with different HTML pages depending on

The language is called OOCSMP, an object-oriented extension of the CSMP simulation language, also extended to solve partial differential equations using different methods.. Programs

The simulations used in these courses have been written in our special-purpose object-oriented continuous simulation language (OOCSMP).. A compiler we have written for

Abstract: This paper describes the automatic generation of simulation-based Internet courses by means of an object-oriented continuous simulation language (OOCSMP), and a compiler