Search

Your search keyword '"Eiffel"' showing total 482 results

Search Constraints

Start Over You searched for: Descriptor "Eiffel" Remove constraint Descriptor: "Eiffel"
482 results on '"Eiffel"'

Search Results

1. Is MCDC Really Better? Lessons from Combining Tests and Proofs

3. Seeding Contradiction: A Fast Method for Generating Full-Coverage Test Suites

4. Eiffel et la météorologie

5. A failed proof can yield a useful test.

6. XDQ : Enhancing XDP with Queuing and Packet Scheduling

7. Detection of Inconsistent Contracts Through Modular Verification

8. Sound and Relaxed Behavioural Inheritance

9. Translation from Event-B into Eiffel

11. Par-delà l’ « amour importun » : voix et figures de l’amour chez Eiffel

12. Mechanically Proved Practical Local Null Safety

13. Seamless Development Applicability: an Experiment

14. Unifying Requirements and Code: An Example

15. S’attaquer à la suprématie du masculin sur le féminin : le français inclusif dans les publications des universités françaises dans les réseaux sociaux

16. Automatic Testing and Fixing for Eiffel : (Extended Abstract)

17. Diagnosis and Restoration of Four Remarkable Eiffel-Type Rail Viaducts.

18. A Study on the Evolution in Design and Calculation of Iron and Steel Structures over the Mid 19th Century in Western and Central Europe.

19. A Nyugati pályaudvar építő- és díszítőkövei: Building and ornamental stones of the Nyugati Railway Station.

20. Par-delà l' « amour importun » : voix et figures de l'amour chez Eiffel.

21. A Sound and Complete Program Logic for Eiffel

22. Proof-Transforming Compilation of Eiffel Programs

23. Are Practitioners Writing Contracts?

24. Modeling and Wind Flow Analysis of an Eiffel (Open) Type Sub-Sonic Wind Tunnel

25. Finding Implicit Contracts in .NET Components

26. Seamless requirements.

27. PRINSIP KERJASAMA MAKSIM DAN IMPLIKATUR PADA SERI FILEM 'EIFFEL I’M IN LOVE'

28. Dressing the Eiffel Tower

29. One Arabesque in the small world of OD webmaps

31. TRIZ Evolution of the Object-Oriented Programming Languages.

32. Essai exploratoire sur l’utilisation du système de typage d’Eiffel dans la définition d’un nouveau langage de base de données relationnelle

33. Haüyn van de Wingertsbergwand

34. Light People: Tarik Bourouina

35. The E-ACSL Perspective on Runtime Assertion Checking

36. Modern Architecture as Inextensible

37. Translation from Event-B into Eiffel

38. The Role of Formalism in System Requirements

39. AutoProof meets some verification challenges.

40. The Future of Software Engineering: Where Will Machine Learning, Agile, and Virtualization Take Us Next?

42. Survey on test data generation tools.

43. Paquimeningitis hipertrófica idiopática en un anciano

44. Between Mith or Reality. Gustave Eiffel and temple San Marcos de Arica

45. Subsonic Wind Tunnels

46. Specification with Class: A Brief History of Object-Z

47. Las dos 'Tour Eiffel' de Vicente Huidobro: Sentidos icónicos y traducción de poesía visual

48. Engineer and Builder: Gustave Eiffel—Master of Iron Construction (1832–1923)

49. Diagnosis and Restoration of Four Remarkable Eiffel-Type Rail Viaducts

50. A Study on the Evolution in Design and Calculation of Iron and Steel Structures over the Mid 19th Century in Western and Central Europe

Catalog

Books, media, physical & digital resources