N o v e m b e r / D e c e m b e r 1 9 9 9 I E E E S o f t w a r e 1 9 ince 1967, when a group of people from a variety of disciplines (most of whom would now be identified as computer scientists) met to discuss “Software Engineering”in southern Germany, computer scientists have discussed SE as if it were a subfield of computer science. Within CS departments we find people who specialize in auto...

This thesis presents two independent pieces of research. First, we consider the problem of automatically inferring properties of programs. Our approach is to explore the application of familiar type inference principles to a \type system" suuciently expressive that the typing problem is eeectively the checking of program speciications. We present such a type system, and use familiar syntax-dire...

in this paper using strongly duplexes we introduce a new class of (semi)hypergroups. the associated (semi)hypergroup from a strongly duplex is called duplex (semi)hypergroup. two computer programs written in matlab show that the two groups $z_{2n}$ and $z_{n}times z_{2}$ produce a strongly duplex and its associated hypergroup is a complementary feasible hypergroup.

In recent years, along with rapid developments in technology, computer systems haveincreasingly become more integrated and more modular. Indeed, the reliability and efficiency ofcomputer systems are of high significance. Hence, the quantitative evaluation of the optimizationof reliability indexes in computer systems is considered to be a crucial issue. Reliabilityenhancement of computer systems...

at present, the tubular structural systems are mainly used in tall buildings to withstand earthquake loads. although it is possible to analyse the structure by finite element methods using standard three dimensional programs, the system is generally time-consuming and expensive in the primary design work. in this paper, for the analysis of framed-tube systems, a simple method was studied and de...

background and purpose: presently, the method of medical teaching has shifted from lecture-based to computer-based. the learning style may play a key role in the attitude toward learning computer. the goal of this study was to study the relationship between the learning style and attitude toward computer among iranian medical students. methods: this cross-sectional study included 400 medical st...