Learn More
We present an evolution of the Coq module system where we unify both structure (i.e. module implementation) and signature (i.e. module interface) into a single concept called <i>theory</i>. In order to easily derive theories, we equip our system with three theory combinators: application, inclusion and refinement. In this work we also isolate a new notion(More)
—The paper describes a pragmatic solution to the parallel execution of hard real-time tasks on off-the-shelf embedded multiprocessors. We propose a simple timing isolation protocol allowing computational tasks to communicate with hard real-time ones. Excellent parallel resource utilization can be achieved while preserving timing compositionality. An(More)
A double-blind, randomized study was designed to determine whether estrogen "priming" of the unripe cervix followed by prostaglandin induction of labor would have a synergistic effect on cervical ripening and improve the success rate of induction. One hundred near-term patients with Bishop scores less than or equal to 4 received an intramuscular injection(More)
Designing software architectures and optimizing them based on extra-functional properties (EFPs) require to identify appropriate design decisions and to apply them on valid architectural elements. Software designers have to check whether the resulting architecture fulfills the requirements and how it positively improves (possibly conflicting) EFPs. In(More)
  • 1