Beweisen statt Testen - Höhere Zuverlässigkeit durch die Java Modeling Language

Thumbnail Image
Files
JML.pdf(287.65 KB)
Authors
Author (Corporation)
Publication date
2008
Typ of student thesis
Course of study
Collections
Institute of Mobile and Distributed Systems
Full item page
Type
01A - Journal article
Editors
Editor (Corporation)
Supervisor
Parent work
IMVS Fokus Report
Special issue
DOI of the original publication
URI
https://irf.fhnw.ch/handle/11654/53404
https://doi.org/10.26041/fhnw-14056
Link
Series
Series number
Volume
2
Issue / Number
Pages / Duration
41-46
Patent number
Publisher / Publishing institution
Hochschule für Technik FHNW
Place of publication / Event location
Windisch
Edition
Version
Programming language
Assignee
Practice partner / Client
Keywords
Subject (DDC)
004 - Computer Wissenschaften, Internet
Project
Event
Exhibition start date
Exhibition end date
Conference start date
Conference end date
Date of the last check
ISBN
ISSN
1662-2014
2296-4169
Language
German
Created during FHNW affiliation
Yes
Strategic action fields FHNW
Publication status
Published
Review
Expert editing/editorial review
Open access category
Green
License
'http://rightsstatements.org/vocab/InC/1.0/'
Citation
Lederer, E. (2008). Beweisen statt Testen - Höhere Zuverlässigkeit durch die Java Modeling Language. IMVS Fokus Report, 2, 41–46. https://doi.org/10.26041/fhnw-14056
Full item page