Year of publication
Type of media
Source
Subject
Type of material
Licence
Language
1–20 of 117,978 hits
Sort by:
Sort by:
-
MCC’2017 – The Seventh Model Checking Contest
Springer Verlag | 2018|Keywords: Software Engineering -
Architecture-Based Design: A Satellite On-Board Software Case Study
Springer Verlag | 2017|Keywords: Software Engineering -
Search-Based Model Transformations with MOMoT
Springer Verlag | 2016|Keywords: Search-Based Software Engineering, Software Engineering -
EMG: A Domain-Specific Transformation Language for Synthetic Model Generation
Springer Verlag | 2016|Keywords: Software Engineering -
Proposing OpenSHMEM Extensions Towards a Future for Hybrid Programming and Heterogeneous Computing
Springer Verlag | 2015|Keywords: Software Engineering -
On Stability of Regional Orthomodular Posets
Springer Verlag | 2018|Keywords: Software Engineering -
Constrained Synthesis from Component Libraries
Springer Verlag | 2017|Keywords: Software Engineering -
Model-Based Testing of the Gorums Framework for Fault-Tolerant Distributed Systems
Springer Verlag | 2018|Keywords: Software Engineering -
Software Engineering for Self-Adaptive Systems: A Research Roadmap
Springer Verlag | 2009|Keywords: Software Engineering, Software Engineer, Requirement Engineering, Software Engineering/Programming and Operating Systems -
Using Modeling Languages
Springer Verlag | 2023|Keywords: Software Engineering, Software Management -
Tool Support for Fuzz Testing of Component-Based System Adaptation Policies
Springer Verlag | 2017|Keywords: Software Engineering -
Software Architecture Measurement—Experiences from a Multinational Company
Springer Verlag | 2018|Keywords: Software measurement, Software architecture, Software quality, Software Engineering -
Practical Design of an Automated Cloud-Based Housing Community Management System
Springer Verlag | 2022|Keywords: Cloud software, Software engineering, Software management, Engineering, Communications Engineering, Networks -
Software Architecture: The Next Step
Springer Verlag | 2004|Keywords: Software Engineering/Programming and Operating Systems, Software Engineering -
Complexity Aspects of Web Services Composition
Springer Verlag | 2018|Keywords: Software Engineering -
Formal Analysis of Predictable Data Flow in Fault-Tolerant Multicore Systems
Springer Verlag | 2017|Keywords: Software Engineering -
Designing Fault Tolerance in Software Architectures
Springer Verlag | 2016|Keywords: Software Engineering -
From Formal Methods to Software Components: Back to the Future?
Springer Verlag | 2017|Keywords: Software Engineering -
Software Startup Practices – Software Development in Startups Through the Lens of the Essence Theory of Software Engineering
Springer Verlag | 2020|Keywords: Software startup, Essence Theory of Software Engineering, Software development, Software development practice, Software Engineering
Send my search to (beta)
Send your search query (search terms without filters) to other databases, portals and catalogues to find more interesting hits.
Dimensions:
full data search
or
title and abstract search
Dimensions is a database for abstracts and citations that links information on research funding with the resulting publications, studies and patents.
TIB AV portal
In the TIB AV-Portal, audiovisual media from science and teaching can be foundand own scientific videos can be published.
Specialised Information Service for Mobility and Transport Research (FID move)
Open Research Knowledge Graph (ORKG)
The FID move can be used to search for subject-specific literature, research data and other information from mobility and transport research.
The Open Research Knowledge Graph provides structured descriptions of research content and makes it comparable.
Common Union Catalogue (GVK)
Freely accessible part of the collaborative K10plus catalogue with materials relevant for interlibrary loan and direct delivery services.