Titlebook: Methods of Programming; Selected Papers on t Manfred Broy,Martin Wirsing Book 1991 Springer-Verlag Berlin Heidelberg 1991 CIP-Methode.CIP-a

仲裁者

Agronomy

Rudolf Berghammer,Herbert Ehler to the cytoplasm and nucleus of target cells. Here we focus on one subgroup of receptor tyrosine kinases, whose prototype is the epidermal growth factor receptor (EGFR). Due to ligand-induced homo- and heterodimerization by EGFR (also called ERBB1) and other family members, extracellular signals ar

正面

Carlos Delgado Kloos,Walter Doschnd evaluation of novel therapeutic approaches. Mouse models of receptor tyrosine kinases have been among the first to be developed and were not only indispensable for profoundly improving our understanding of diseases like cancer but also for the development of novel methodologies and techniques tha

BALK

共同确定为确

Two metamodels for application system development conventional vs. object-oriented approach,are development process. The first is a . providing full life-cycle support through its four abstraction levels: user level, functional design level, technical design level, and implementation level. With its functional design level supporting an entity-relationship modelling approach and its techni

Atheroma

Transformational meta program development, is perhaps the use of algebraic specification and the transformational development paradigm not only for program but also for meta-program development, in fact to formalise the program development process itself. Transformation rules and their applicability conditions act as requirement specificati

安装

MEAN

elastic

Literate program derivation: A case study,ext with the program proper. In this paper, we attempt to combine the principal ideas of literate programming with the concepts of formal program development, based on algebraic specifications and transformations. This experiment is performed using the sublinear string-searching algorithm of Boyer a

ODIUM

Programs viewed as Skolem functions,ion rule that formalizes .‘s idea of quantifier elimination. From this entry on, programs are subjects of mathematical theorems, technically speaking, they are sub-expressions of logical expressions. They should not be isolated from this environment throughout the whole program development for two r