Year of publication
Type of media
Source
Type of material
Licence
Language
1–20 of 19,441 hits
Sort by:
Sort by:
-
Future Aspects of Bioprocess Monitoring
National licenceSpringer Verlag | 2006|Keywords: Software sensors, Environmental Engineering/Biotechnology, Industrial Chemistry/Chemical Engineering -
Requirements Researchers: Do We Practice What We Preach?
National licenceSpringer Verlag | 2002|Keywords: Requirement Engineering, IEEE Software, Requirement Engineering Process, Software Engineering -
Domain Understanding is the Key to Successful System Development
National licenceSpringer Verlag | 2002|Keywords: Software Engineering -
Requirements Engineering and Technology Transfer: Obstacles, Incentives and Improvement Agenda
National licenceSpringer Verlag | 2002|Keywords: Requirements engineering – Technology transfer, Software Engineering -
Boolean and Cartesian abstraction for model checking C programs
National licenceSpringer Verlag | 2002|Keywords: Software engineering, Software Engineering, Software Engineering/Programming and Operating Systems -
What makes good research in software engineering?
National licenceSpringer Verlag | 2002|Keywords: Software Engineering, Software Engineering/Programming and Operating Systems -
A Comparative Review of Process-Centered Software Engineering Environments
National licenceSpringer Verlag | 2002|Keywords: Engineering Process, Software Development, Software Engineering, Software Engineer, Software Engineering/Programming and Operating Systems -
Process-Based Software Engineering: Building the Infrastructures
National licenceSpringer Verlag | 2002|Keywords: software engineering, software engineering processes, process-based software engineering (PBSE), software process modeling (SPM), software process establishment (SPE), software process assessment (SPA), software process improvement (SPI), software process benchmarking (SPB), Software Engineering/Programming and Operating Systems -
Testing LTL formula translation into Büchi automata
National licenceSpringer Verlag | 2002|Keywords: Verification – Model checking – Temporal logic – Software testing, Software Engineering, Software Engineering/Programming and Operating Systems -
Seventh International Workshop on Requirements Engineering: Foundation for Software Quality (REFSQ’01)
National licenceSpringer Verlag | 2002|Keywords: Software Engineering -
Guest Editorial: Requirements Engineering for Information Security
National licenceSpringer Verlag | 2002|Keywords: Software Engineering -
Guest Editorial: Special Issue on Model Checking in Requirements Engineering
National licenceSpringer Verlag | 2002|Keywords: Software Engineering -
Satisfiability checking using Boolean Expression Diagrams
National licenceSpringer Verlag | 2002|Keywords: Software Engineering, Software Engineering/Programming and Operating Systems -
Process-Centered Software Engineering Environments, A Brief History and Future Challenges
National licenceSpringer Verlag | 2002|Keywords: software process, process-centered software engineering environment, software process middleware, Software Engineering/Programming and Operating Systems -
Internet Software Engineering: A Different Class of Processes
National licenceSpringer Verlag | 2002|Keywords: Software Development, Software Engineering, Software Engineer, Software Engineering/Programming and Operating Systems -
Symmetric Spin
National licenceSpringer Verlag | 2002|Keywords: Software Engineering, Software Engineering/Programming and Operating Systems -
Finding feasible abstract counter-examples
National licenceSpringer Verlag | 2002|Keywords: Software verification, Software Engineering, Software Engineering/Programming and Operating Systems -
On the Automatic Recovery of Style-Specific Architectural Relations in Software Systems
National licenceSpringer Verlag | 2002|Keywords: reverse engineering, software maintenance, software architecture, Software Engineering/Programming and Operating Systems -
An Approach to Security Requirements Engineering for a High Assurance System*
National licenceSpringer Verlag | 2002|Keywords: Assurance – Engineering – Requirements – Security – Specification – Threat, Software Engineering -
Expressing checkable properties of dynamic systems: the Bandera Specification Language
National licenceSpringer Verlag | 2002|Keywords: Software Engineering, Software Engineering/Programming and Operating Systems
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.