𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A systematic approach to generate B preconditions: application to the database domain

✍ Scribed by Amel Mammar

Publisher
Springer-Verlag
Year
2008
Tongue
English
Weight
454 KB
Volume
8
Category
Article
ISSN
1619-1366

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Using an object-oriented approach to the
Using an object-oriented approach to the development of a relational database application system
✍ Pi-Sheng Deng; Cynthia L. Fuhr πŸ“‚ Article πŸ“… 1995 πŸ› Elsevier Science 🌐 English βš– 916 KB

Object-oriented technology has been proposed in recent years as a promising approach to increasing programmer productivity and the quality of software development. The traditional development of a database application system distinctively separates a system's behavior and its data by using entity-re

Accomodating domain-independenceβ€”a new a
Accomodating domain-independenceβ€”a new approach to the development of general natural language interfaces
✍ Du Xing; Xie Li πŸ“‚ Article πŸ“… 1992 πŸ› Elsevier Science 🌐 English βš– 711 KB

This paper proposes a domain-independent approach to constructing natural language interfaces for applications. Domain independence provides generality to natural language interfaces. A hierarchical structure for natural language processing and a representation language, the Intermediate Carrier Lan