Search Results - "Technical report series / NASA/WVU Software IV & V Facility, Software Research Laboratory."
Suggested Topics within your search.
Suggested Topics within your search.
- Software engineering 13
- Program verification (Computers) 11
- Protocol (Computers) 11
- Computer networks 8
- Proving 7
- Software development tools 6
- Communication networks 5
- Computer programs 4
- Data transmission 4
- Functional design specifications 4
- Object-oriented programming 4
- Object-oriented programming (Computer science) 4
- Packet switching 4
- Packet transmission 4
- Software reliability 4
- Algorithms 3
- Applications programs (Computers) 3
- Computer programming 3
- Project management 3
- Software reuse 3
- Data bases 2
- Design analysis 2
- Distributed processing 2
- Network control 2
- Packets (Communication) 2
- Productivity 2
- Systems analysis 2
- Telecommunication 2
- World Wide Web 2
- Automatic test equipment 1
-
1
Experiences using formal methods for requirements modeling
Published 1996“…Technical report series / NASA/WVU Software IV & V Facility, Software Research Laboratory ;…”
Government Document Microfilm Book
-
2
The specification-based validation of Reliable Multicast Protocol problem report /
Published 1995“…Technical report series / NASA/WVU Software IV & V Facility, Software Research Laboratory.…”
Government Document Microfilm Book -
3
Design and implementation of replicated object layer
Published 1996“…Technical report series / NASA/WVU Software IV & V Facility, Software Research Laboratory ;…”
Government Document Microfilm Book -
4
Reliable multicast protocol specifications packet formats
Published 1995“…Technical report series / NASA/WVU Software IV & V Facility, Software Research Laboratory.…”
Government Document Microfilm Book -
5
Formal methods of V&V of partial specifications an experience report /
Published 1997“…Technical report series / NASA/WVU Software IV & V Facility, Software Research Laboratory ;…”
Government Document Microfilm Book -
6
A framework for performing V&V within reuse-based software engineering
Published 1996“…Technical report series / NASA/WVU Software IV & V Facility, Software Research Laboratory ;…”
Government Document Microfilm Book -
7
Design, implementation, and verification of the reliable multicast protocol
Published 1994“…Technical report series / NASA/WVU Software IV & V Facility, Software Research Laboratory.…”
Government Document Microfilm Book -
8
WISE, automated support for software project and measurement
Published 1995“…Technical report series / NASA/WVU Software IV & V Facility, Software Research Laboratory.…”
Government Document Microfilm Book -
9
Reliable multicast protocol specifications protocol operation
Published 1995“…Technical report series / NASA/WVU Software IV & V Facility, Software Research Laboratory.…”
Government Document Microfilm Book -
10
Reliable multicast protocol specifications flow control and NACK policy
Published 1995“…Technical report series / NASA/WVU Software IV & V Facility, Software Research Laboratory.…”
Government Document Microfilm Book -
11
Fault recovery in the Reliable Multicast Protocol
Published 1995“…Technical report series / NASA/WVU Software IV & V Facility, Software Research Laboratory.…”
Government Document Microfilm Book -
12
An improved suite of object oriented software measures
Published 1997“…Technical report series / NASA/WVU Software IV & V Facility, Software Research Laboratory.…”
Government Document Microfilm Book -
13
Toward fidelity between specification and implementation
Published 1994“…Technical report series / NASA/WVU Software IV & V Facility, Software Research Laboratory.…”
Government Document Microfilm Book -
14
The validation by measurement theory of proposed object-oriented software metrics
Published 1994“…Technical report series / NASA/WVU Software IV & V Facility, Software Research Laboratory.…”
Government Document Microfilm Book -
15
An approach to verification and validation of a reliable multicasting protocol extended abstract /
Published 1995“…Technical report series / NASA/WVU Software IV & V Facility, Software Research Laboratory.…”
Government Document Microfilm Book -
16
An approach to verification and validation of a reliable multicasting protocol
Published 1995“…Technical report series / NASA/WVU Software IV & V Facility, Software Research Laboratory.…”
Government Document Microfilm Book -
17
Verification and validation of a reliable multicast protocol
Published 1995“…Technical report series / NASA/WVU Software IV & V Facility, Software Research Laboratory.…”
Government Document Microfilm Book -
18
A case study of IV & V cost effectiveness
Published 1997“…Technical report series / NASA/WVU Software IV & V Facility, Software Research Laboratory ;…”
Government Document Microfilm Book -
19
Verifying stability of dynamic soft-computing systems
Published 1997“…Technical report series / NASA/WVU Software IV & V Facility, Software Research Laboratory ;…”
Government Document Microfilm Book -
20
Applying independent verification and validation to automatic test equipment
Published 1997“…Technical report series / NASA/WVU Software IV & V Facility, Software Research Laboratory ;…”
Government Document Microfilm Book