VERTAF: An Application Framework for the Design and Verification of Embedded Real-Time Software (English)
- New search for: Hsiung, P.-A.
- New search for: Lin, S.-W.
- New search for: Tseng, C.-H.
- New search for: Lee, T.-Y.
- New search for: Fu, J.-M.
- New search for: See, W.-B.
- New search for: Hsiung, P.-A.
- New search for: Lin, S.-W.
- New search for: Tseng, C.-H.
- New search for: Lee, T.-Y.
- New search for: Fu, J.-M.
- New search for: See, W.-B.
In:
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
;
30
, 10
;
656-674
;
2004
-
ISSN:
- Article (Journal) / Print
-
Title:VERTAF: An Application Framework for the Design and Verification of Embedded Real-Time Software
-
Contributors:Hsiung, P.-A. ( author ) / Lin, S.-W. ( author ) / Tseng, C.-H. ( author ) / Lee, T.-Y. ( author ) / Fu, J.-M. ( author ) / See, W.-B. ( author )
-
Published in:IEEE TRANSACTIONS ON SOFTWARE ENGINEERING ; 30, 10 ; 656-674
-
Publisher:
- New search for: IEEE INSTITUTE OF ELECTRICAL AND ELECTRONICS
-
Publication date:2004-01-01
-
Size:19 pages
-
ISSN:
-
Type of media:Article (Journal)
-
Type of material:Print
-
Language:English
- New search for: 005.1
- Further information on Dewey Decimal Classification
-
Classification:
DDC: 005.1 -
Source:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Table of contents – Volume 30, Issue 10
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.
- 633
-
Editorial: AE Introduction and FarewellKnight, J. et al. | 2004
- 633
-
Edtorial: AE Introduction and FarewellKnight, J. et al. | 2004
- 634
-
Deadline analysis of interrupt-driven softwareBrylow, D. / Palsberg, J. et al. | 2004
- 656
-
VERTAF: an application framework for the design and verification of embedded real-time softwarePao-Ann Hsiung, / Shang-Wei Lin, / Chih-Hao Tseng, / Trong-Yen Lee, / Jin-Ming Fu, / Win-Bin See, et al. | 2004
- 675
-
SubCM: a tool for improved visibility of software change in an industrial settingVolzer, H. / MacDonald, A. / Atchison, B. / Hanlon, A. / Lindsay, P. / Strooper, P. et al. | 2004
- 694
-
Categorization of common coupling and its application to the maintainability of the Linux kernelYu, L. / Schach, S.R. / Chen, K. / Offutt, J. et al. | 2004
- 707
-
SHORT PAPERS - Comments on "Software Process Representation and Analysis for Framework Instantiation"Jiau, H.C. et al. | 2004
- 707
-
Comments on "Software process representation and analysis for framework instantiationJiau, H.C. / Chia Hung Kao, / Kuo-Feng Ssu, et al. | 2004
- 708
-
Response to Jiau et al.'s commentsOliveira, T.C. / Alencar, P.S.C. / Filho, I.M. / de Lucena, C.J.P. / Cowan, D.D. et al. | 2004
- 708
-
SHORT PAPERS - Response to Jiau et al.'s CommentsOliveira, T.C. et al. | 2004
- 709
-
[Advertisement]| 2004
- 712
-
Call for Papers for the IEEE Tranactions on Software Engineering Special Issue on Mining Software Repositories| 2004
- 712
-
Call for Papers for the IEEE Transactions on Software Engineering Special Issue on Mining Software Repositories| 2004
- c1
-
[Front cover]| 2004
- c2
-
[Inside front cover]| 2004
- c3
-
TSE Information for authors| 2004
- c4
-
[Back cover]| 2004