Search Results - software system safety
Suggested Topics within your search.
Suggested Topics within your search.
- Software Engineering 20
- Software engineering 14
- Artificial intelligence 12
- Computer science 10
- Technology: general issues 10
- Artificial Intelligence 7
- History of engineering & technology 7
- Computer programming / software development 6
- Theory of Computation 6
- Computers 5
- Communications engineering / telecommunications 4
- Computer Engineering and Networks 4
- Computer Science Logic and Foundations of Programming 4
- Computer engineering 4
- Computer networks 4
- Computing Milieux 4
- Electronic digital computers 4
- Evaluation 4
- Management 4
- Mathematical theory of computation 4
- System Performance and Evaluation 4
- Computer Modelling 3
- Computer simulation 3
- Data and Information Security 3
- Data protection 3
- Research & information: general 3
- Algorithms 2
- Algorithms & data structures 2
- Application software 2
- Business mathematics & systems 2
-
21
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 20...
Published 2023Table of Contents: “…Regular Contributions -- ACoRe: Automated Goal-Conflict Resolution -- Nazareno Aguirre, Yves Le Traon and Mike Papadakis A Modeling Concept for Formal Verification of OS-Based Compositional Software -- Guldstrand Larsen and Marcel Baunach Compositional Automata Learning of Synchronous Systems -- Front-end JavaScript -- Democratizing Quality-Based Machine Learning Development through Extended Feature Models -- Efficient Bounded Exhaustive Input Generation from Program APIs -- Feature-Guided Analysis of Neural Networks -- JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java -- Model-based Player Experience Testing with Emotion Pattern Verification -- Opportunistic Monitoring of Multithreaded Programs -- Parallel Program Analysis via Range Splitting -- Wehrheim Runtime Enforcement Using Knowledge Bases -- Specification and Validation of Normative Rules for Autonomous Agents -- Towards Log Slicing -- VAMOS: Middleware for Best-Effort Third-Party Monitoring -- Yet Another Model! …”
Link to Metadata
Electronic eBook -
22
-
23
-
24
-
25
-
26
Verification-based software-fault detection
Published 2011DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
27
-
28
-
29
-
30
-
31
Ernst Denert Award for Software Engineering 2020 Practice Meets Foundations /
Published 2022Table of Contents: “…-- Open Source Software Governance: Distilling and Applying Industry Best Practices -- Dynamically Scalable Fog Architectures -- Crossing Disciplinary Borders to Improve Requirements Communication -- DevOps Use: A Community-Oriented Methodology for Societal Software Engineering -- Hybrid Differential Software Testing -- Ever Change a Running System: Structured Software Reengineering Using Automatically Proven-Correct Transformation Rules -- Static Worst-Case Analyses and Their Validation Techniques for Safety-Critical Systems -- Improving the Model-Based Systems Engineering Process -- Understanding How Pair Programming Actually Works in Industry: Mechanisms, Patterns, and Dynamics.…”
Link to Metadata
Electronic eBook -
32
-
33
-
34
Agile Processes in Software Engineering and Extreme Programming 19th International Conference, XP 2018, Porto, Portugal, May 21-25, 2018, Proceedings /
Published 2018Table of Contents: “…Agile requirements -- COSMIC User Story Standard -- Improving Mockup-based Requirement Specification with End-User Annotations -- Agile testing -- Combining STPA and BDD for Safety Analysis and Verification in Agile Development: A Controlled Experiment -- Software tester, we want to hire you! …”
Link to Metadata
Electronic eBook -
35
-
36
-
37
Advances in Automated Driving Systems
Published 2022Subjects: “…software framework…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
38
-
39
-
40