๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Formal object-oriented development of a voting system test oracle

โœ Scribed by J. Paul Gibson; Jean-Luc Raffy; Eric Lallet

Publisher
Springer
Year
2011
Tongue
English
Weight
925 KB
Volume
7
Category
Article
ISSN
1614-5046

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

A formal model of views for object-orien
A formal model of views for object-oriented database systems
โœ Guerrini, Giovanna; Bertino, Elisa; Catania, Barbara; Garcia-Molina, Jesus ๐Ÿ“‚ Article ๐Ÿ“… 1997 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 263 KB ๐Ÿ‘ 2 views

The definition of a view mechanism is an important issue for object-oriented database systems, in order to provide a number of features that are crucial for the development of advanced applications. Due to the complexity of the data model, the object-oriented paradigm introduces new problems in the

A development of object-oriented simulat
A development of object-oriented simulator for manufacturing execution systems
โœ Hwa Gyoo Park; Jong Myung Baik; Sang Bong Park; Chan Ho Lee ๐Ÿ“‚ Article ๐Ÿ“… 1999 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 194 KB

Monitoring manufacturing execution systems is complex and varies in nature. It is not realistic to imagine that a single solution or software package will address all the requirements of all manufacturing floors. Building generic software object class frameworks, customizable through subclassing, pr

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