MFPS
1993
14 years 3 months ago
1993
All known structures involving a constructively obtainable fixed point (or iteration) operation satisfy the equational laws defining iteration theories. Hence, there seems to be...
ISOOMS
1994
14 years 3 months ago
1994
Although object-oriented programming techniques have evolved into an accepted technology with recognized benefits for software development, profound investigations of qualitative a...
ISOOMS
1994
14 years 3 months ago
1994
ISOOMS
1994
14 years 3 months ago
1994
Existing approaches to object-oriented system development are poorly integrated in several ways. This inadequate integration is ubiquitous and causes numerous inefficiencies in th...
ISOOMS
1994
14 years 3 months ago
1994
The goal of this paper is to examine the testing of object-oriented systems and to compare and contrast it with the testing of conventional programming language systems, with empha...
MCMASTER
1993
14 years 3 months ago
1993
Abstract. This survey of the theory and applications of rewriting with equations discusses the existence and uniqueness of normal forms, the Knuth-Bendix completion procedure and i...
MCMASTER
1993
14 years 3 months ago
1993
With the recent advances in massively parallel programmable processor networks, methods for the infusion of massive MIMD parallelism into programs have become increasingly relevant...
IFIP
1994
Springer
14 years 3 months ago
1994
Springer
The design of knitted garments is an activity shared by knitwear designers (who are almost all young and female) and knitting machine technicians (who are almost all male and usual...
IFIP
1994
Springer
14 years 3 months ago
1994
Springer
IFIP
1994
Springer
14 years 3 months ago
1994
Springer
Business rules are an important element of information systems. The notion business rule encompasses different phenomena; therefore, some classification criteria are presented and...