Formal specification in collaborative design of critical software tools (English)
- New search for: Coppit, D.
- New search for: Sullivan, K.J.
- New search for: Coppit, D.
- New search for: Sullivan, K.J.
In:
IEEE International High-Assurance Systems Engineering Symposium, 3
;
13-20
;
1998
-
ISBN:
- Conference paper / Print
-
Title:Formal specification in collaborative design of critical software tools
-
Contributors:Coppit, D. ( author ) / Sullivan, K.J. ( author )
-
Published in:
-
Publisher:
- New search for: IEEE Computer Society Press
-
Place of publication:Los Alamitos
-
Publication date:1998
-
Size:8 Seiten, 17 Quellen
-
ISBN:
-
DOI:
-
Type of media:Conference paper
-
Type of material:Print
-
Language:English
-
Keywords:
-
Source:
Table of contents conference proceedings
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 13
-
Formal specification in collaborative design of critical software toolsCoppit, D. / Sullivan, K.J. et al. | 1998
- 82
-
Using classification trees for software quality models: lessons learnedKhoshgoftaar, T.M. / Allen, E.B. / Naik, A. / Jones, W.D. / Hudepohl, J. et al. | 1998
- 90
-
The application of fuzzy enhanced case-based reasoning for identifying fault-prone modulesSchenker, D.F. / Khoshgoftaar, T.M. et al. | 1998
- 188
-
Analytical partition of software components for evolvable and reliable MEMS design toolsHoover, C.L. / Khosla, P.K. et al. | 1998
- 214
-
Optimal discrimination between transient and permanent faultsPizza, M. / Strigini, L. / Bondavalli, A. / Di Giandomenico, F. et al. | 1998
- 240
-
On-chip cache memory resilienceHwang, S.H. / Choi, G.S. et al. | 1998
- iii
-
Proceedings Third IEEE International High-Assurance Systems Engineering Symposium (Cat. No.98EX231)| 1998