FASE Invited Talk.- Software Assurance in an Uncertain World.- Software Verification.- Tool Support for Correctness-by-Construction.- Automatic Modeling for Opaque Code in JavaScript Static Analysis.- SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language.- A Hybrid Dynamic Logic for Event/Data-based Systems.- Model-driven Development and Model Transformation.- Pyro: Generating Domain-Specific Collaborative Online Modeling Environments.- Efficient Model Synchronization by Automatically ...
Read More
FASE Invited Talk.- Software Assurance in an Uncertain World.- Software Verification.- Tool Support for Correctness-by-Construction.- Automatic Modeling for Opaque Code in JavaScript Static Analysis.- SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language.- A Hybrid Dynamic Logic for Event/Data-based Systems.- Model-driven Development and Model Transformation.- Pyro: Generating Domain-Specific Collaborative Online Modeling Environments.- Efficient Model Synchronization by Automatically Constructed Repair Processes.- Offline Delta-driven Model Transformation with Dependency Injection.- A Logic-Based Incremental Approach to Graph Repair.- Software Verification.- DeepFault: Fault Localization For Deep Neural Networks.- Variability Abstraction and Refinement for Game-based Lifted Model Checking of full CTL.- Formal Verification of Safety and Security Related Timing Constraints for A Cooperative Automotive System.- Checking Observational Purity Of Procedures.- Software Evolution & Requirements Engineering.- Structural and Nominal Cross-Language Clone Detection.- SL2SF: Refactoring Simulink to Stateflow.- Metric Temporal Graph Logic over Typed Attributed Graphs.- KupC: A Formal Tool for Modeling and Verifying Dynamic Updating of C Programs.- Business Process Privacy Analysis in PLEAK.- Specification, Design, and Implementation of Particular Classes of Systems.- CLTestCheck: Measuring Test Effectiveness for GPU Kernels.- Implementing SOS with Active Objects: A Case Study of a Multicore Memory System.- Optimal and Automated Deployment for Microservices.- A Data Flow Model with Frequency Arithmetic.- Software Testing.- CoVeriTest: Cooperative Verifier-Based Testing.- Pardis: Priority Aware Test Case Reduction.- Automatically Identifying Sufficient Object Builders from Module APIs.
Read Less
Add this copy of Memoir of Rev. Charles T. Torrey, Who Died in the to cart. $32.00, very good condition, Sold by Grey Matter Books rated 5.0 out of 5 stars, ships from Hadley, MA, UNITED STATES, published 1969 by Negro Universities Press.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Very Good in None Issued jacket. Text and images are unmarked; pages are bright, though the page edges are a little age toned. Binding is tight and square. Covers show just a little wear around the corners and at the head and base of the spine. 364pp.
Add this copy of Memoir of Rev. Charles T. Torrey, Who Died in the to cart. $45.31, good condition, Sold by Wonder Book - Member ABAA/ILAB rated 5.0 out of 5 stars, ships from Frederick, MD, UNITED STATES.
Add this copy of Memoir of Rev. Charles T. Torrey, Who Died in the to cart. $65.62, new condition, Sold by Media Smart rated 4.0 out of 5 stars, ships from Hawthorne, CA, UNITED STATES.
Add this copy of Memoir of Rev. Charles T. Torrey, Who Died in the to cart. $66.74, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Newport Coast, CA, UNITED STATES, published 2007 by Kessinger Publishing.
Add this copy of Memoir of Reverend Charles T. Torrey to cart. $69.78, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Newport Coast, CA, UNITED STATES, published 1969 by Negro Universities Press.
Add this copy of Memoir of Rev. Charles T. Torrey, Who Died in the to cart. $82.00, good condition, Sold by Harry Alter Books rated 2.0 out of 5 stars, ships from Sylva, NC, UNITED STATES.