✦ LIBER ✦

Code generation based on formal BURS theory and heuristic search

✍ Scribed by A. Nymeyer; J.-P. Katoen

Book ID: 105931031
Publisher: Springer-Verlag
Year: 1997
Tongue: English
Weight: 581 KB
Volume: 34
Category: Article
ISSN: 0001-5903
DOI: 10.1007/s002360050099

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Automated code generation of dynamic spe

Automated code generation of dynamic specializations: an approach based on design patterns and formal techniques

✍ Vicente Pelechano; Oscar Pastor; Emilio Insfrán 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 453 KB

In this work, we present an automatic code generation process from conceptual models. This process incorporates the use of design patterns in OO-Method, an automated software production method, which is built on a formal object-oriented model called OASIS. Our approach defines a precise mapping betw

A hybrid heuristic based on General Vari

A hybrid heuristic based on General Variable Neighborhood Search for the Single Vehicle Routing Problem with Deliveries and Selective Pickups

✍ I.M. Coelho; P.L.A. Munhoz; M.N. Haddad; M.J.F. Souza; L.S. Ochi 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 259 KB

Some introductory formalizations on the

Some introductory formalizations on the affine Hilbert spaces model of the origin of life: I. On quantum mechanical measurement and the origin of the genetic code: A general physical framework theory

✍ András Balázs 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 243 KB

[IEEE 2008 International Conference on A

[IEEE 2008 International Conference on Advanced Computer Theory and Engineering (ICACTE) - Phuket, Thailand (2008.12.20-2008.12.22)] 2008 International Conference on Advanced Computer Theory and Engineering - UCaG: An Automatic C Code Generator for AADL Based upon DeltaOS

✍ Gui, Shenglin; Ma, Liang; Luo, Lei; Yin, Limeng; Li, Yun 📂 Article 📅 2008 🏛 IEEE ⚖ 309 KB