James D. Arthur

Syst. Eng., 2019

2017

Applying standard independent verification and validation (IV&V) techniques within an Agile framework: Is there a compatibility issue?

[BibT_eX]

[DOI]

James B. Dabney

Proceedings of the 2017 Annual IEEE International Systems Conference, 2017

2013

Assessing an Organization's Capability to Effectively Implement Its Selected Agile Method(s): An Objectives, Principles, Strategies Approach.

[BibT_eX]

[DOI]

Proceedings of the 2013 Agile Conference, 2013

2012

Understanding the tenets of agile software engineering: lecturing, exploration and critical thinking.

[BibT_eX]

[DOI]

Amine Chigani

Proceedings of the 43rd ACM technical symposium on Computer science education, 2012

A Methodology for Assessing Agile Software Development Methods.

[BibT_eX]

[DOI]

Proceedings of the 2012 Agile Conference, 2012

2011

Achieving reusability and composability with a simulation conceptual model.

[BibT_eX]

[DOI]

William F. Ormsby

J. Simulation, 2011

A Structured Framework for Assessing the "Goodness" of Agile Methods.

[BibT_eX]

[DOI]

Proceedings of the 18th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, 2011

2009

"How Do I Evaluate THAT?" Experiences from a Systems-Level Evaluation Effort.

[BibT_eX]

[DOI]

Pardha S. Pyla

H. Rex Hartson

Tonya L. Smith-Jackson

Deborah Hix

Proceedings of the Human Centered Design, 2009

A Soft-Structured Agile Framework for Larger Scale Systems Development.

[BibT_eX]

[DOI]

Proceedings of the 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, 2009

2008

Improving change tolerance through Capabilities-based design: an empirical analysis.

[BibT_eX]

[DOI]

J. Softw. Maintenance Res. Pract., 2008

Cohesion, Coupling and Abstraction Level: Criteria for Capability Identification.

[BibT_eX]

[DOI]

J. Softw., 2008

Accomplishing reuse with a simulation conceptual model.

[BibT_eX]

[DOI]

Proceedings of the 2008 Winter Simulation Conference, Global Gateway to Discovery, 2008

Value-Driven Agile Adoption: Improving An Organization's Software Development Approach.

[BibT_eX]

[DOI]

Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2008

2007

Investigating the use of software requirements engineering techniques in simulation modelling.

[BibT_eX]

[DOI]

J. Simulation, 2007

A disciplined approach to adopting agile practices: the agile adoption framework.

[BibT_eX]

[DOI]

Innov. Syst. Softw. Eng., 2007

Model-based engineering for change-tolerant systems.

[BibT_eX]

[DOI]

Innov. Syst. Softw. Eng., 2007

Pre-Requirement Specification Traceability: Bridging the Complexity Gap through Capabilities

[BibT_eX]

[DOI]

CoRR, 2007

Determining the Applicability of Agile Practices to Mission and Life-Critical Systems.

[BibT_eX]

[DOI]

Proceedings of the 31st Annual IEEE / NASA Software Engineering Workshop (SEW-31 2007), 2007

Architecting Network-Centric Software Systems: A Style-Based Beginning.

[BibT_eX]

[DOI]

Amine Chigani

Proceedings of the 31st Annual IEEE / NASA Software Engineering Workshop (SEW-31 2007), 2007

Mitigating Security Risks in Systems that Support Pervasive Services and Computing: Access-Driven Verification, Validation and Testing.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Pervasive Services, 2007

Capabilities Engineering: Constructing Change-Tolerant Systems.

[BibT_eX]

[DOI]

Proceedings of the 40th Hawaii International International Conference on Systems Science (HICSS-40 2007), 2007

Towards a Taxonomy of Vulnerabilities.

[BibT_eX]

[DOI]

Proceedings of the 40th Hawaii International International Conference on Systems Science (HICSS-40 2007), 2007

Reconciling Synthesis and Decomposition: A Composite Approach to Capability Identification.

[BibT_eX]

[DOI]

Robert P. Broadwater

Proceedings of the 14th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2007), 2007

The implications of network-centric software systems on software architecture: a critical evaluation.

[BibT_eX]

[DOI]

Amine Chigani

Proceedings of the 45th Annual Southeast Regional Conference, 2007

2006

A field study of the Wheel - a usability engineering process model.

[BibT_eX]

[DOI]

J. Syst. Softw., 2006

Agile Adoption Process Framework

[BibT_eX]

[DOI]

CoRR, 2006

Modeling Security Vulnerabilities: A Constraints and Assumptions Perspective.

[BibT_eX]

[DOI]

Joseph G. Tront

Proceedings of the Second International Symposium on Dependable Autonomic and Secure Computing (DASC 2006), 29 September, 2006

2005

An operational model for structuring the requirements generation process.

[BibT_eX]

[DOI]

Markus K. Gröner

Requir. Eng., 2005

On Vulnerabilities, Constraints and Assumptions

[BibT_eX]

[DOI]

CoRR, 2005

Effective Requirements Generation: Synchronizing Early Verification & Validation, Methods and Method Selection Criteria

[BibT_eX]

[DOI]

Lester O. Lobo

CoRR, 2005

An Objectives-Driven Process for Selecting Methods to Support Requirements Engineering Activities.

[BibT_eX]

[DOI]

Lester O. Lobo

Proceedings of the 29th Annual IEEE / NASA Software Engineering Workshop (SEW-29 2005), 2005

Local and global analysis: complementary activities for increasing the effectiveness of requirements verification and validation.

[BibT_eX]

[DOI]

Lester O. Lobo

Proceedings of the 43nd Annual Southeast Regional Conference, 2005

2004

Verification and Validation of operational software: a process and methodology critique.

[BibT_eX]

[DOI]

Markus K. Gröner

Softw. Process. Improv. Pract., 2004

What we should teach, but don't: Proposal for a cross pollinated HCI-SE curriculum

[BibT_eX]

[DOI]

Pardha S. Pyla

H. Rex Hartson

CoRR, 2004

Towards a Model-Based Framework for Integrating Usability and Software Engineering Life Cycles

[BibT_eX]

[DOI]

Pardha S. Pyla

H. Rex Hartson

CoRR, 2004

Reflections on Operating in Hostile Environments.

[BibT_eX]

[DOI]

Randy C. Marchany

Proceedings of the 37th Hawaii International Conference on System Sciences (HICSS-37 2004), 2004

2003

RGML: A Markup Language for Characterizing Requirements Generation Processes.

[BibT_eX]

[DOI]

Proceedings of the 28th Annual IEEE / NASA Software Engineering Workshop (SEW-28 2003), 2003

2002

Improving the model development process: expanding our horizons in verification, validation, and accreditation research and practice.

[BibT_eX]

[DOI]

Proceedings of the 34th Winter Simulation Conference: Exploring New Frontiers, 2002

Effectiveness of Elicitation Techniques in Distributed Requirements Engineering.

[BibT_eX]

[DOI]

Wesley James Lloyd

Mary Beth Rosson

Proceedings of the 10th Anniversary IEEE Joint International Conference on Requirements Engineering (RE 2002), 2002

Managing software quality - a measurement framework for assesment and prediction.

[BibT_eX]

Practitioner series, Springer, ISBN: 978-1-85233-393-5, 2002

2000

V&A; III: verification and validation without independence: a recipe for failure.

[BibT_eX]

[DOI]

Proceedings of the 32nd conference on Winter simulation, 2000

1999

Evaluating the Effectiveness of Independendent Verification and Validation.

[BibT_eX]

[DOI]

Computer, 1999

Verification and validation: what impact should project size and complexity have on attendant V&V activities and supporting infrastructure? (panel).

[BibT_eX]

[DOI]

John D. (Jack) Morrison

Proceedings of the 31st conference on Winter simulation: Simulation, 1999

1997

Verification, Validation & Accreditation: Disciplines in Dialogue or can we Learn from the Experiences of Others? (Panel).

[BibT_eX]

[DOI]

Proceedings of the 29th conference on Winter simulation, 1997

1996

Independent Verification and Validation: A Missing Link in Simulation Methodology?

[BibT_eX]

[DOI]

Proceedings of the 28th conference on Winter simulation, 1996

1995

Distributed Process Creation within a Shared Data Space Framework.

[BibT_eX]

[DOI]

Patrick G. Robinson

Softw. Pract. Exp., 1995

Instructional footprinting and semantic preservation in Linda.

[BibT_eX]

[DOI]

Kenneth D. Landry

Concurr. Pract. Exp., 1995

Boundary Analysis in the Instructional Footprint Model: An Implementation in Linda.

[BibT_eX]

[DOI]

Kenneth D. Landry

Proceedings of the 1995 ACM 23rd Annual Conference on Computer Science, CSC '95, Nashville, TN, USA, February 28, 1995

1994

A standard simulation environment: a review of preliminary requirements.

[BibT_eX]

[DOI]

Mary Ann Flanigan Wagner

Proceedings of the 26th conference on Winter simulation, 1994

Achieving Asynchronous Speedup While Preserving Synchronous Semantics: An Implementation of Instructional Footprinting in Linda.

[BibT_eX]

[DOI]

Kenneth D. Landry

Proceedings of the IEEE Computer Society 1994 International Conference on Computer Languages, 1994

1993

Establishing software development process control: Technical objectives, operational requirements, and the foundational framework.

[BibT_eX]

[DOI]

J. Syst. Softw., 1993

Implicit-Specification Errors and Automatic, Trace-Based Debugging.

[BibT_eX]

[DOI]

Edward G. Okie

Proceedings of the ACM 21th Conference on Computer Science, 1993

1992

Document quality indicators: A framework for assessing documentation adequacy.

[BibT_eX]

[DOI]

K. Todd Stevens

J. Softw. Maintenance Res. Pract., 1992

1990

Partitioned Frame Networks for Multi-Level, Menu-Based Interaction.

[BibT_eX]

[DOI]

Int. J. Man Mach. Stud., 1990

1989

Assessing the adequacy of documentation through document quality indicators.

[BibT_eX]

[DOI]

K. Todd Stevens

Proceedings of the Conference on Software Maintenance, 1989

1988

The methodology roles in the realization of a model development environment.

[BibT_eX]

[DOI]

Proceedings of the 20th conference on Winter simulation, 1988

The execution history approach to intelligent debugging.

[BibT_eX]

[DOI]

Edward G. Okie

Proceedings of the Sixteenth ACM Annual Conference on Computer Science, 1988

1987

Toward a formal specification of menu-based systems.

[BibT_eX]

[DOI]

J. Syst. Softw., 1987

An Interactive Environment for Tool Selection, Specification and Composition.

[BibT_eX]

[DOI]

Douglas Comer

Int. J. Man Mach. Stud., 1987

1986

A Descriptive/Prescriptive Model for Menu-Based Interaction.

[BibT_eX]

[DOI]