𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Automating software feature verification

✍ Scribed by Gerard J. Holzmann; Margaret H. Smith

Publisher
Institute of Electrical and Electronics Engineers
Year
2002
Tongue
English
Weight
198 KB
Volume
5
Category
Article
ISSN
1089-7089

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Design of a very versatile software prog
Design of a very versatile software program for automating analytical methods
✍ E. Becerra; A. Cladera; V. CerdΓ  πŸ“‚ Article πŸ“… 1999 πŸ› John Wiley and Sons 🌐 English βš– 257 KB πŸ‘ 1 views

The present article proposes the design of a hardware-independent system for automating various analytical methods. System design is based on the division of the software into four layers, defining a communications interface among them. The definition of these layers allows the isolation of the high

Software verification at Bell Labs: One
Software verification at Bell Labs: One line of development
✍ Gerard J. Holzmann πŸ“‚ Article πŸ“… 2002 πŸ› Institute of Electrical and Electronics Engineers 🌐 English βš– 273 KB

Collectors often greet the first report of a new type of minting error for commonly circulating coins with enthusiasm. A coin is a rare example of an object that can increase, rather than decrease, in value when it is faulty. In software design we are not so fortunate. Software faults are often intr

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

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,

Feature-oriented engineering of PBX soft
Feature-oriented engineering of PBX software for adaptability and reuseability
✍ Kyo C. Kang; Sajoong Kim; Jaejoon Lee; Kwanwoo Lee πŸ“‚ Article πŸ“… 1999 πŸ› John Wiley and Sons 🌐 English βš– 477 KB

Incorporating a high level of adaptability and reusability into software is one challenge that all software engineers face. PBX (Private Branch Exchange) is one such system that requires a high level of adaptability and reusability because of rapidly expanding service features, ever changing communi