✦ LIBER ✦

Verification of HOS software specification by a hierarchical software understanding approach

✍ Scribed by Jian Lu; Zongming Fei

Publisher: Elsevier Science
Year: 1996
Tongue: English
Weight: 656 KB
Volume: 32
Category: Article
ISSN: 0164-1212
DOI: 10.1016/0164-1212(94)00065-4

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Semantic verification and satisfiability

Semantic verification and satisfiability verification of MSC specifications by means of Petri nets in telecommunication software testing

✍ Naomoto Kato; Yoshiaki Shigeta; Wataru Tanaka; Haruo Hasegawa 📂 Article 📅 1998 🏛 John Wiley and Sons 🌐 English ⚖ 230 KB 👁 1 views

This paper discusses the testing of communication system software, focusing on the semantic verification of specifications. Specifications are defined using message sequence charts (MSC) recommended by the ITU-T. Assuming an MSC-based scenario for which operational system specifications are defined,

OBJECT-ORIENTED SOFTWARE TESTING: A HIER

OBJECT-ORIENTED SOFTWARE TESTING: A HIERARCHICAL APPROACH. Shel Siegel. Published by John Wiley and Sons Inc., New York, U.S.A., 1996. ISBN: 0-471-13749-9, 511 pages. Price: U.K. £34.95, U.S.A. $42.95, Soft Cover.

✍ ALAN HAYES 📂 Article 📅 1997 🏛 John Wiley and Sons 🌐 English ⚖ 18 KB

## Department of Industrial and Systems Overall, this is a well-prepared book on Engineering, software reliability engineering. It has been a National University of Singapore, successful attempt at bringing academics and practitioners together as contributors to a book Kent Ridge, which has bread

Surviving the top ten challenges of soft

Surviving the top ten challenges of software testing: a people-oriented approach. William E. Perry and Randall W. Rice. Published by Dorset House, New York, U.S.A., 1997. ISBN: 0-932633-38-2, 202 pages. Price: U.S.A. $33.45, Soft Cover

✍ Dorothy Graham 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 21 KB 👁 1 views