69

Making formal methods education effective for professional software engineers

Year:
1995
Language:
english
File:
PDF, 1006 KB
english, 1995
70

Developing adaptive systems with synchronized architectures

Year:
2006
Language:
english
File:
PDF, 439 KB
english, 2006
72

Formal modeling of the Enterprise JavaBeans™ component integration framework

Year:
2001
Language:
english
File:
PDF, 1.08 MB
english, 2001
73

Towards a Formal Treatment of Implicit Invocation Using Rely/Guarantee Reasoning

Year:
1998
Language:
english
File:
PDF, 150 KB
english, 1998
88

Using tool abstraction to compose systems

Year:
1992
Language:
english
File:
PDF, 1.74 MB
english, 1992
89

Agents of change: educating software engineering leaders

Year:
1997
Language:
english
File:
PDF, 89 KB
english, 1997
90

Evolution of Regulatory Standards of Interference

Year:
1962
Language:
english
File:
PDF, 1.66 MB
english, 1962
91

Rainbow: architecture-based self-adaptation with reusable infrastructure

Year:
2004
Language:
english
File:
PDF, 377 KB
english, 2004
92

Electromagnetic Compatibility is not New

Year:
1964
Language:
english
File:
PDF, 124 KB
english, 1964
93

THE BANKING FORMATION TABLE and SUPPLY OF MONEY

Year:
1960
Language:
english
File:
PDF, 628 KB
english, 1960
98

Morphodynamique d'une dune sous-marine du détroit du pas de Calais

Year:
2002
Language:
english
File:
PDF, 653 KB
english, 2002
99

Guest Editorial. Introduction to the Special Section

Year:
1998
Language:
english
File:
PDF, 330 KB
english, 1998