Year of publication
Type of media
Source
Type of material
Licence
Language
121–140 of 19,441 hits
Sort by:
Sort by:
-
Essential knowledge for the practising software engineer and the responsibilities of university and industry for her education
National licenceSpringer Verlag | 1995|Keywords: Software Engineering -
A generalized multi-view approach
National licenceSpringer Verlag | 1995|Keywords: Software Engineering -
Pinnacles of software engineering: 25 years of formal methods
National licenceSpringer Verlag | 2000|Keywords: Software Engineering, Software Engineer, Software Architecture, Software Engineering/Programming and Operating Systems -
Support environments for VDM
National licenceSpringer Verlag | 1987|Keywords: Software Engineering -
Supporting informality in the software process
National licenceSpringer Verlag | 1994|Keywords: Software Engineering -
Computing Cyclomatic Complexity with Cubic Flowgraphs
National licenceSpringer Verlag | 2001|Keywords: software engineering, software metrics, software components, Software Engineering/Programming and Operating Systems -
Undergraduate Software Engineering Laboratory at Texas A&M University
National licenceSpringer Verlag | 1992|Keywords: Software Engineering -
The use of VDM within the Alvey Flagship project
National licenceSpringer Verlag | 1988|Keywords: Software Engineering -
Are software engineers true engineers?
National licenceSpringer Verlag | 2000|Keywords: Software Engineering, Software Engineer, Engineering Discipline, Software Engineering/Programming and Operating Systems -
A methodology for evaluating software engineering methods and tools
National licenceSpringer Verlag | 1993|Keywords: Software Engineering -
Experience with VDM in NORSK DATA
National licenceSpringer Verlag | 1987|Keywords: Software Engineering -
A human movement language for computer animation
National licenceSpringer Verlag | 1980|Keywords: Software Engineering -
Combining process models and metrics in practice
National licenceSpringer Verlag | 1995|Keywords: Software Engineering -
Coordination by behavioural views and communication patterns
National licenceSpringer Verlag | 1995|Keywords: Software Engineering -
In favour of a coherent process coding language
National licenceSpringer Verlag | 1995|Keywords: Software Engineering -
VDM: Origins, hopes, and achievements
National licenceSpringer Verlag | 1987|Keywords: Software Engineering -
Formal methods for software engineers: Tradeoffs in curriculum design
National licenceSpringer Verlag | 1992|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.