| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996204372203316 |
|
|
Titolo |
High-Assurance Software Engineering Workshop, 1997 |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
[Place of publication not identified], : IEEE Computer Society Press, 1997 |
|
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (xii, 227 pages) : illustrations |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di contenuto |
|
On the development of dependability-evaluation workbench for high-assurance system designers,"A. -- Taming the Octopus: using formal models to integrate the Octopus object oriented analysis models,"R. -- Do you trust your compiler? Applying formal methods to constructing high-assurance compilers,"J. -- Enhancing system dependability with dynamically reconfigurable FPGAs,"K. -- Experience in capturing requirements for safety-critical medical devices in an industrial environment,"Wei-Tek -- The quality of service model and high assurance,"T. -- A graphical property specification language,"Insup -- Analytical design of evolutionary control flow components,"C. -- Verifying communication constraints in RSML specifications,"M. -- Design and assurance strategy for the NRL pump,"M. -- Automated computation of decomposable synchronization conditions,"G. -- A software environment for custom simulation and monitoring of real-time specifications,"M. -- Analytical modelling and evaluation of phased-mission systems for space applications,"A. -- Verifying fault-tolerant behavior of state machines,"M. -- Scalable and reliable synchronous collaboration environment on CORBA using WWW,"Minsoon -- An automated tool for efficiently generating a massive number of random test cases,"A. -- Evaluation and improvement of software products and processes based on measurement,"F. -- Framework of a software reliability engineering tool,"S. -- Design of a portable control-flow checking technique,"Z. -- A recovery model for extended real-time transactions,"E. -- Software complexity analysis on |
|
|
|
|
|
|
|
|
|
|
|
department of defense real-time systems,"W. -- Hierarchical specification of system behavior,"R. -- High-coverage fault tolerance in real-time systems based on point-to-point communication,"K. -- ReSoFT: a reusable testbed for development and evaluation of software fault-tolerant systems,"K. -- Process measures for predicting software quality,"T. -- Deriving safety properties of critical software from the system risk analysis, application to ground transportation systems,"J. -- High assurance application systems and their technologies under changing situations,"K. -- Toward more effective testing for high assurance systems,"H. -- Combining testing and correctness verification in software reliability assessment,"B. -- Efficient compositional state-space verification for communicating processes in distributed systems,"J. -- Modeling applications for adaptive QoS-based resource management,"S. -- Ensuring quality of service for multimedia applications in a LAN environment,"H. -- A case study of agreement problems in distributed systems: non-blocking atomic commitment,"M. -- A mechanism for communicating in dynamically reconfigurable embedded systems,"M. -- A technique to analyze the tolerance to transient overloads of a fault-tolerant real-time system,"G. |
|
|
|
|
|
|
Sommario/riassunto |
|
This volume on software design and development is aimed at researchers, professors, practitioners, students, and other computing professionals.". |
|
|
|
|
|
|
|
| |