खोज परिणाम - "engineering"

Department of Industrial Engineering, Faculty of Engineering, Tarbiat Modares University, Tehran, Iran. द्वारा R Baradaran Kazemzadeh, M Sepehri, F Firouzi Jahantigh

Connect to this object online.

The global engineering deans council: transforming engineering education in a time of change द्वारा A. K. Ashmawy

Connect to this object online.

The International Society for Engineering Pedagogy (IGIP) and the New Pedagogic Challenges in Engineering Education द्वारा Michael A. Auer

Connect to this object online.

Integrating 'Engineering Projects in Community Service' into engineering curricula to develop graduate attributes द्वारा Mohamed Sameer Hoosain, Saurabh Sinha

Connect to this object online.

ENGINEERING PEDAGOGY AS THE BASE FOR TRAINING OF MODERN ENGINEERS AND ACADEMIC STAFF OF TECHNICAL UNIVERSITIES द्वारा Vyacheslav M. Prikhod'Ko, Zoya S. Sazonova

Connect to this object online.

Proceedings of the 2nd International Conference on Innovative Solutions in Hydropower Engineering and Civil Engineering

विषय - सूची: “…Hydropower and sustainable development -- Maximizing and communicating the multiple benefits of hydro -- The food-water-energy nexus approach -- Synergy among the renewables -- Making hydro more competitive (managing and mitigating risk) -- Regional development through power trading -- Hydropower technology -- Civil engineering -- Materials for dams and appurtenant works -- Advances in design and construction techniques -- Recent developments in dam construction -- Monitoring and engineering for safe structures and sites.…”
Link to Metadata

Proceedings of the 2nd International Conference on Innovative Solutions in Hydropower Engineering and Civil Engineering

विषय: “…Civil engineering, surveying & building bicssc…”
DOAB: download the publication
DOAB: description of the publication

The impact of changing engineering perceptions on women's attitudes and behavioral intentions towards engineering pursuits द्वारा Cassondra Batz-Barbarich, Nicole Strah, Louis Tay

Connect to this object online.

Exploring senior engineering students' engineering identity: the impact of practice-oriented learning experiences द्वारा Tongjie Ju, Jiabin Zhu

Connect to this object online.

"We've Always Been Engineers:" Indigenous Student Voices on Engineering and Leadership Identities द्वारा Monika Kwapisz, Bryce E. Hughes, William J. Schell, Eric Ward, Tessa Sybesma

Connect to this object online.

Features of Creativity and Conceptual Thinking of Students Studying in the Direction of "Software Engineering "(Engineers-Kognitologs) द्वारा Ivakhnenko O.N, Smolyaninova V.A

Connect to this object online.

Proceedings of the 2nd International Conference on Innovative Solutions in Hydropower Engineering and Civil Engineering

विषय: “…Civil engineering, surveying & building bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Gas and Oil Engines, Simply Explained An Elementary Instruction Book for Amateurs and Engine Attendants द्वारा Runciman, Walter C.

विषय: “…Internal combustion engines…”
पूर्ण पाठ प्राप्त करें

Rethinking Productivity in Software Engineering

विषय - सूची: “…Defining Productivity in Software Engineering -- Chapter 5. A Software Development Productivity Framework -- Chapter 6. …”
Link to Metadata

Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings /

विषय - सूची: “…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.…”
Link to Metadata

Fundamental Approaches to Software Engineering 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings /

विषय - सूची: “…Requirements engineering -- Software architectures -- Specification -- Software quality -- Validation -- Verification of functional and non-functional properties -- Model-driven development and model transformation -- Software processes -- Security and software evolution.…”
Link to Metadata

Fundamental Approaches to Software Engineering 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings /

विषय - सूची: “…FASE Contributions -- On Benchmarking for Concurrent Runtime Verification -- Certified Abstract Cost Analysis -- Bootstrapping Automated Testing for RESTful Web Services -- A Decision Tree Lifted Domain for Analyzing Program Families with Numerical Features -- Finding a Universal Execution Strategy for Model Transformation Networks -- CoVEGI: Cooperative Veri cation via Externally Generated Invariants -- Engineering Secure Self-Adaptive Systems with Bayesian Games -- An Abstract Contract Theory for Programs with Procedures -- Paracosm: A Test Framework for Autonomous Driving Simulations -- Compositional Analysis of Probabilistic Timed Graph Transformation Systems -- Efficient Bounded Model Checking of Heap-Manipulating Programs using Tight Field Bounds -- Effects of Program Representation on Pointer Analyses - An Empirical Study -- Keeping Pace with the History of Evolving Runtime Models -- SpecTest: Specification-Based Compiler Testing -- PASTA: An Efficient Proactive Adaptation Approach Based on Statistical Model Checking for Self-Adaptive Systems -- Understanding Local Robustness of Deep Neural Networks under Natural Variations -- Test-Comp Contributions -- Status Report on Software Testing: Test-Comp 2021 -- CoVeriTest with Adaptive Time Scheduling (Competition Contribution) -- FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs (Competition Contribution) -- Symbiotic 8: Parallel and Targeted Test Generation (Competition Contribution).…”
Link to Metadata

Mastering Uncertainty in Mechanical Engineering

विषय: “…Engineering design.…”
Link to Metadata

Fundamental Approaches to Software Engineering 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings /

विषय - सूची: “…FASE Contributions -- Information-flow Interfaces -- A Survey-Based Feature Model for Software Traceability -- Construction of Veri er Combinations Based on Off-the-Shelf Verifiers -- On the Detection of Doped Software by Falsification -- Estimating Worst-case Resource Usage by Resource-usage-aware Fuzzing -- Quantitative Program Sketching using Lifted Static Analysis -- SixthSense: Debugging Convergence Problems in Probabilistic Programs via Program Representation Learning -- Finding Semantic Bugs Fast -- SMC4PEP: Stochastic Model Checking of Product Engineering Processes -- Symbolic Predictive Cache Analysis for Out-of-Order Execution -- PEQtest: Testing Functional Equivalence -- An Institutional Approach to Communicating UML State Machines -- Semantic Code Search in Software Repositories using Neural Machine Translation -- AequeVox: Automated Fairness Testing of Speech Recognition Systems -- SMT-Based Planning Synthesis for Distributed System Reconfigurations -- Semantic Clone Detection via Probabilistic Software Modeling -- QMaxUSE: A Query-based Verification Tool for UML Class Diagrams with OCL Invariants -- Test-Comp Contributions -- Advances in Automatic Software Testing: Test-Comp 2022 -- FuSeBMC v4: Smart Seed Generation for Hybrid Fuzzing (Competition Contribution) -- VeriFuzz: Good Seeds for Fuzzing (Competition Contribution).…”
Link to Metadata

Fundamental Approaches to Software Engineering 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings /

विषय: “…Software engineering.…”
Link to Metadata