Search Results - "engineer"

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

Table of Contents: “…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

Subjects: “…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 by 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 by Tongjie Ju, Jiabin Zhu

Connect to this object online.

"We've Always Been Engineers:" Indigenous Student Voices on Engineering and Leadership Identities by 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) by 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

Subjects: “…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 by Runciman, Walter C.

Subjects: “…Internal combustion engines…”
Get full text

Rethinking Productivity in Software Engineering

Table of Contents: “…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 /

Table of Contents: “…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 /

Table of Contents: “…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 /

Table of Contents: “…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

Subjects: “…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 /

Table of Contents: “…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 /

Subjects: “…Software engineering.…”
Link to Metadata

Augmented Reality for Engineering Graphics by Ivanov, Vitalii, Pavlenko, Ivan, Evtuhov, Artem, Trojanowska, Justyna

Table of Contents: “…Major challenges in engineering education -- Product design -- Visualization of engineering products -- Software description of the AR mobile application -- Exercises.…”
Link to Metadata

Fundamental Approaches to Software Engineering 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings /

Subjects: “…Software engineering.…”
Link to Metadata

Engineering a Better Future Interplay between Engineering, Social Sciences, and Innovation /

Table of Contents: “…Part I: Engineering Education and social sciences -- Evolving from Single Disciplines to Renaissance Teams -- Knowledge, Skill, and Wisdom: Reflections on Integrating the Social Sciences and Engineering -- Innovations in Energy-Climate Education: Integrating Engineering & Social Sciences -- Reconnecting Engineering with the Social and Political Sphere -- Technology, Policy and Management: co-evolving or converging? …”
Link to Metadata

Fundamentals of Electrical Engineering I by Johnson, Don

Subjects: “…Engineering and Technology Textbooks…”
Access online version

Evidence-based Software Engineering by Jones, Derek M.

Access online version