Results 201 to 210 of about 3,402 (260)

One-degree-of-freedom flat-foldable thick-panel origami-kirigami structures: modular arrays and closed polyhedra. [PDF]

open access: yesCommun Eng
Zhao C   +10 more
europepmc   +1 more source

Modular refinement and model building

1997
In this paper we show that formal program development can be viewed as a process of model building. Refinement diagrams are introduced and formally defined in terms of refinement developments. Hierarchical models are shown to be equivalent to modular refinement developments.
Martin de Groot, Ken Robinson
openaire   +1 more source

Incremental concurrent builds for modular systems

Journal of Systems and Software, 1990
This paper describes a system for controlling build operations for modular programs in a distributed environment. Our build system performs complete type-checking across module boundaries, verifies user-defined constraints between a system's components, and minimizes the recompilations required when new module versions are incorporated in a rebuild ...
Ray Ford, Mary Pfreundschuh Wagner
openaire   +1 more source

Building a modular YAWL engine with Cumbia

International Journal of Business Process Integration and Management, 2012
Nowadays, novel strategies to develop and adapt workflow engines in efficient ways are required in order to have BPM and workflow solutions with the capacity to support frequent changes in the corporate environment. One key strategy is to build new engines by reusing as much as possible from existing components. This requires two things.
Mario E. Sánchez   +2 more
openaire   +1 more source

Home - About - Disclaimer - Privacy