Year of publication
Type of media
Source
Type of material
Licence
Language
81–100 of 19,441 hits
Sort by:
Sort by:
-
Finding feasible abstract counter-examples
National licenceSpringer Verlag | 2002|Keywords: Software verification, Software Engineering, Software Engineering/Programming and Operating Systems -
Using VDM in an Object-Oriented development method for Ada software
National licenceSpringer Verlag | 1987|Keywords: Software Engineering -
The module: A system structuring facility in high-level programming languages
National licenceSpringer Verlag | 1980|Keywords: Software Engineering -
Experience using VDM in STC
National licenceSpringer Verlag | 1987|Keywords: Software Engineering -
Software testing for dependability assessment
National licenceSpringer Verlag | 1995|Keywords: Software Engineering -
A reflexive formal software process model
National licenceSpringer Verlag | 1995|Keywords: Software Engineering -
The SPICE project: An International Standard for Software Process Assessment, Improvement and Capability Determination
National licenceSpringer Verlag | 1995|Keywords: Software Engineering -
The CMU master of Software Engineering core curriculum
National licenceSpringer Verlag | 1995|Keywords: Software Engineering -
The perfect requirement myth
National licenceSpringer Verlag | 1996|Keywords: Software Engineer, Software Engineering -
List processing with a data flow machine
National licenceSpringer Verlag | 1983|Keywords: Software Engineering -
Project courses at the NTH: 20 years of experience
National licenceSpringer Verlag | 1994|Keywords: software engineering, Software Engineering -
An introduction to data algebras
National licenceSpringer Verlag | 1980|Keywords: Software Engineering -
Quantitative approach to software process improvement
National licenceSpringer Verlag | 1995|Keywords: Software Engineering -
Is teaching software design a ‘wicked’ problem too?
National licenceSpringer Verlag | 1995|Keywords: Software Engineering -
Integrating research, reuse, and integration into software engineering courses
National licenceSpringer Verlag | 1992|Keywords: Software Engineering -
A comparison of two notations for process communication
National licenceSpringer Verlag | 1980|Keywords: Software Engineering -
Lessons learned from formalizing and implementing a large process model
National licenceSpringer Verlag | 1994|Keywords: Software Engineering -
Abstract Architecture
National licenceGeneral concepts for systems designSpringer Verlag | 1980|Keywords: 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.