Year of publication
Type of media
Source
Type of material
Licence
Language
1–20 of 63 hits
Sort by:
Sort by:
-
A predicative basis for structured analysis specification tools
British Library Online Contents | 1993| -
FAMILIAR: A domain-specific language for large scale management of feature models
British Library Online Contents | 2013| -
Specification, Validation, and Enforcement of a Generalized Spatio-Temporal Role-Based Access Control Model
British Library Online Contents | 2013| -
Integrated Informal Object-Oriented and Formal Modeling Techniques
British Library Conference Proceedings | 1998| -
A two-dimensional view of integrated formal and informal specification techniques
National licenceSpringer Verlag | 1995| -
Integrated Informal Object-Oriented and Formal Modeling Techniques
British Library Online Contents | 1998| -
Towards a Formalization of UML Class Structures in Z
British Library Conference Proceedings | 1997| -
The Role of Integrated Specification Techniques in Teaching Complex System Modeling and Analysis
British Library Conference Proceedings | 1996| -
An Approach to Checking Consistency between UML Class Model and Its Java Implementation
British Library Online Contents | 2016| -
Understanding the Role of Formal Specification Techniques in Requirements Engineering
British Library Online Contents | 1995| -
A formal specification of an authorization model for object-oriented databases
Free accessSpringer Verlag | 1996| -
A Two-Dimensional View of Integrated Formal and Informal Specification Techniques
British Library Online Contents | 1995| -
A Two-Dimensional View of Integrated Formal and Informal Specification Techniques
British Library Conference Proceedings | 1995| -
Model-Driven Development Using UML 2.0: Promises and Pitfalls
British Library Online Contents | 2006|
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.