28th Annual NASA Goddard Software Engineering Workshop, 2003. Proceedings.
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

0769520642

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Addressing software security and mitigations in the life cycle

28th Annual NASA Goddard Software Engineering Workshop, 2003. Proceedings. ◽

10.1109/sew.2003.1270744 ◽

2004 ◽

Cited By ~ 13

Author(s):

D. Gilliam ◽

J. Powell ◽

E. Haugh ◽

M. Bishop

Keyword(s):

Life Cycle ◽

Software Security

Download Full-text

On the advantages of approximate vs. complete verification: bigger models, faster, less memory, usually accurate

28th Annual NASA Goddard Software Engineering Workshop, 2003. Proceedings. ◽

10.1109/sew.2003.1270728 ◽

2004 ◽

Cited By ~ 6

Author(s):

D. Owen ◽

T. Menzies ◽

M. Heimdahl ◽

Jimin Gao

Download Full-text

A component-based model for building reliable multi-agent systems

28th Annual NASA Goddard Software Engineering Workshop, 2003. Proceedings. ◽

10.1109/sew.2003.1270724 ◽

2004 ◽

Author(s):

A. Haendchen Filho ◽

A. von Staa ◽

C. Lucena

Keyword(s):

Multi Agent Systems ◽

Agent Systems ◽

Multi Agent

Download Full-text

Assessing IV&V benefits using simulation

28th Annual NASA Goddard Software Engineering Workshop, 2003. Proceedings. ◽

10.1109/sew.2003.1270731 ◽

2004 ◽

Cited By ~ 3

Author(s):

D.M. Raffo

Download Full-text

RGML: a markup language for characterizing requirements generation processes

28th Annual NASA Goddard Software Engineering Workshop, 2003. Proceedings. ◽

10.1109/sew.2003.1270723 ◽

2004 ◽

Cited By ~ 1

Author(s):

A.S. Sidky ◽

J.D. Arthur

Keyword(s):

Markup Language ◽

Requirements Generation

Download Full-text

Software verification and validation within the (rational) unified process

28th Annual NASA Goddard Software Engineering Workshop, 2003. Proceedings. ◽

10.1109/sew.2003.1270746 ◽

2004 ◽

Cited By ~ 4

Author(s):

C. Fuhrman ◽

F. Djlive ◽

E. Palza

Keyword(s):

Software Verification ◽

Verification And Validation ◽

Unified Process ◽

Software Verification And Validation

Download Full-text

Diagnosing architectural degeneration

28th Annual NASA Goddard Software Engineering Workshop, 2003. Proceedings. ◽

10.1109/sew.2003.1270736 ◽

2004 ◽

Cited By ~ 5

Author(s):

L. Hochstein ◽

M. Lindvall

Download Full-text

Maintaining verification test consistency between executable specifications and embedded software in a virtual system integration laboratory environment

28th Annual NASA Goddard Software Engineering Workshop, 2003. Proceedings. ◽

10.1109/sew.2003.1270747 ◽

2004 ◽

Author(s):

T. Bennett ◽

P. Wennberg

Keyword(s):

System Integration ◽

Embedded Software ◽

Laboratory Environment ◽

Executable Specifications ◽

Virtual System ◽

Verification Test

Download Full-text

Generating MC/DC adequate test sequences through model checking

28th Annual NASA Goddard Software Engineering Workshop, 2003. Proceedings. ◽

10.1109/sew.2003.1270730 ◽

2004 ◽

Cited By ~ 8

Author(s):

S. Rayadurgam ◽

M.P.E. Heimdahl

Keyword(s):

Model Checking ◽

Adequate Test

Download Full-text

Instrumentation of intermediate code for runtime verification

28th Annual NASA Goddard Software Engineering Workshop, 2003. Proceedings. ◽

10.1109/sew.2003.1270727 ◽

2004 ◽

Cited By ~ 2

Author(s):

A. Quiroz Gates ◽

O. Mondragon ◽

M. Payne ◽

S. Roach

Keyword(s):

Runtime Verification

Download Full-text

28th Annual NASA Goddard Software Engineering Workshop, 2003. Proceedings.Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Addressing software security and mitigations in the life cycle

On the advantages of approximate vs. complete verification: bigger models, faster, less memory, usually accurate

A component-based model for building reliable multi-agent systems

Assessing IV&V benefits using simulation

RGML: a markup language for characterizing requirements generation processes

Software verification and validation within the (rational) unified process

Diagnosing architectural degeneration

Maintaining verification test consistency between executable specifications and embedded software in a virtual system integration laboratory environment

Generating MC/DC adequate test sequences through model checking

Instrumentation of intermediate code for runtime verification

28th Annual NASA Goddard Software Engineering Workshop, 2003. Proceedings.
Latest Publications