Risultati della ricerca - case (conversion OR convention)

International commercial arbitration : international conventions, country reports and comparative analysis

International law and the use of force : cases and materials di O'Connell, Mary Ellen

Sommario: “...Tihomir Blaskic 654 (5) World's Political Will to Eradicate Evil is on Trial 659 (2) Steven Freeland Notes, Questions, and Problems 661 (4) Weapons 665 (76) Weapons of Mass Destruction 665 (41) Nuclear Weapons 665 (1) Legality of the Threat or Use of Nuclear Weapons 666 (18) Nuclear Non-Proliferation Treaty 684 (4) Biological Weapons 688 (1) The Shortcomings of Indeterminency in Arms Control Regimes: The Case of the Biological Weapons Convention 688 (7) Jack M. ...”

Human rights di Spencer, Maureen, 1941-

Constitutional and administrative law / di Parpworth, Neil

Key facts, key cases : criminal law di Martin, Jacqueline

Structured techniques : the basis for CASE / di Martin, James

Sommario: “...652 (2) Building Blocks of Information Engineering 654 (7) Computerization of Information Engineering 661 (1) Essential Need for User Participation 661 (2) A House on the Sand 663 (1) Two Images 663 (4) PART VI VERIFICATION AND TESTING 667 (64) 45 Software Verification, Validation, and Testing 667 (8) The Case of the $18.5-Million Hyphen 667 (1) The Case of the Infinite Loop 667 (1) Demonstrating Software Correctness 667 (4) Verification and Validation Techniques 671 (4) 46 Testing 675 (14) The Testing Process 675 (1) Testing Heuristics 675 (3) Four-Phase Testing Procedure 678 (1) Unit Testing 679 (2) Integration Testing 681 (3) System Testing 684 (1) Acceptance Testing 685 (1) Test Data 685 (4) 47 Debugging 689 (12) The Case of the Missing Period 689 (1) The Difficulty of Debugging 689 (1) Debugging Methods 690 (1) Program Debugging Tools 691 (2) Locating Program Errors 693 (6) Predicting Error-Proneness 699 (2) 48 Automated Test Tools 701 (16) Test Tools 701 (1) General Research's RXVP 701 (5) Software Renovation Technology's RE-LEARN 706 (8) Software Environments 714 (1) Bell Labs' UNIX 715 (2) 49 An Evaluation of Verification Techniques 717 (14) Introduction 717 (1) Limitations of Testing 717 (1) Problems with Test Tools 718 (1) Lack of Theory 718 (1) Testing Fourth-Generation-Language Programs 719 (4) Improvement Through Formality 723 (1) Formal Proof-of-Correctness Techniques 724 (7) PART VII TOWARD AN ENGINEERING DISCIPLINE 731 (32) 50 Where Do Structured Techniques Go from Here? ...”