Search Results - "Requirements engineering"
Suggested Topics within your search.
Suggested Topics within your search.
- Software Engineering 24
- Business mathematics & systems 8
- Software engineering 8
- Computer science 6
- Systems analysis & design 6
- Algorithms & data structures 4
- Expert systems / knowledge-based systems 4
- Information architecture 4
- Artificial intelligence 3
- Electronic data processing 3
- IT Operations 3
- Management 3
- Ambulance & rescue services 2
- Automotive technology & trades 2
- Computer System Implementation 2
- Computer modelling & simulation 2
- Computer networking & communications 2
- Computer systems 2
- Computing & information technology 2
- Control Structures and Microprogramming 2
- Information retrieval 2
- Information technology: general issues 2
- Microprogramming 2
- Natural language & machine translation 2
- Programming & scripting languages: general 2
- Public administration 2
- Software Management 2
- Theory of Computation 2
- Artificial Intelligence 1
- Automotive Engineering 1
-
21
Smart Grid Analytics for Sustainability and Urbanization in Big Data
Published 2023Subjects: “…requirement engineering…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
22
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 20...
Published 2020Table 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
Electronic eBook -
23
Entwicklung von Methoden zur abstrakten Modellierung von Automotive Systems-on-Chips
Published 2022Link to Metadata
Electronic eBook -
24
-
25
-
26
-
27
-
28
-
29
-
30
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 20...
Published 2019OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
31
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 2023OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
32
-
33
-
34
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 20...
Published 2022OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
35
The Essence of Software Engineering
Published 2018Table of Contents: “…: The Role of Empirical Methods in Answering the Question -- 5 Only the Architecture You Need -- 6 Variability in standard software products Introducing software product line engineering to the insurance industry -- 7 Using Design Thinking for Requirements Engineering in the Context of Digitalization and Digital Transformation - a Motivation and an Experience Report -- 8 Towards Deviceless Edge Computing: Challenges, Design Aspects & Models for Serverless paradigm at the Edge -- 9 Data-driven decisions and actions in today's software development -- 10 Software Architecture: Past, Present, Future -- 11 Software Product Lines -- 12 Enabling Flexible and Robust Business Process Automation for the Agile Enterprise -- 13 Achievements, Failures, and the Future ofModel-based Software Engineering.…”
Link to Metadata
Electronic eBook -
36
-
37
-
38
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 20...
Published 2019Table 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
Electronic eBook -
39
-
40