Fifth International Conference on Quality Software (QSIC'05)
DOI: 10.1109/qsic.2005.51
|View full text |Cite
|
Sign up to set email alerts
|

Quality Assurance in the Design of Web Information Systems

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1

Citation Types

0
2
0

Publication Types

Select...
1

Relationship

0
1

Authors

Journals

citations
Cited by 1 publication
(2 citation statements)
references
References 17 publications
0
2
0
Order By: Relevance
“…For this we already developed verification and inference techniques in [1] and [13]. However, this work is far from being completed.…”
Section: Resultsmentioning
confidence: 99%
See 1 more Smart Citation
“…For this we already developed verification and inference techniques in [1] and [13]. However, this work is far from being completed.…”
Section: Resultsmentioning
confidence: 99%
“…In [1] we demonstrated how essential parts of our method can be represented by Abstract State Machines [2] in order to be able to verify desirable system properties, in particular consistency. This is another cornerstone of quality assurance in the co-design approach.…”
Section: Introductionmentioning
confidence: 99%