Martin S. Feather

According to our database1, Martin S. Feather
  • authored at least 69 papers between 1979 and 2016.
  • has a "Dijkstra number"2 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2016
Metrics for V&V of cyber defenses.
ISSE, 2016

Developing a Value-Based Methodology for Satisfying NASA Software Assurance Requirements.
Proceedings of the 49th Hawaii International Conference on System Sciences, 2016

2013
Architecting and generalizing a safety case for critical condition detection software: an experience report.
Proceedings of the 1st International Workshop on Assurance Cases for Software-Intensive Systems, 2013

Visualization of Software Assurance Information.
Proceedings of the 46th Hawaii International Conference on System Sciences, 2013

2010
Finding robust solutions in requirements models.
Autom. Softw. Eng., 2010

2008
A Broad, Quantitative Model for Making Early Requirements Decisions.
IEEE Software, 2008

Guiding Technology Deployment Decisions using a Quantitative Requirements Analysis Technique.
Proceedings of the 16th IEEE International Requirements Engineering Conference, 2008

2007
Defect Detection and Prevention (DDP).
Proceedings of the Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs, 2007

The business case for automated software engineering.
Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

Optimizing the V&V process for critical systems.
Proceedings of the Genetic and Evolutionary Computation Conference, 2007

2006
Fusing Quantitative Requirements Analysis with Model-based Systems Engineering.
Proceedings of the 14th IEEE International Conference on Requirements Engineering (RE 2006), 2006

Software Assurance Research Infusion: The NASA Experience.
Proceedings of the Leveraging Applications of Formal Methods, 2006

2005
Applicatiuons of tool support for risk-informed requirements reasoning.
Comput. Syst. Sci. Eng., 2005

Decision & risk based design structures; decision support needs for conceptual, concurrent design.
Proceedings of the IEEE International Conference on Systems, 2005

A Risk-Based Approach to Strategic Decision-Making for Software Development.
Proceedings of the 38th Hawaii International Conference on System Sciences (HICSS-38 2005), 2005

2004
Guest Editors' Introduction.
Autom. Softw. Eng., 2004

Towards a Unified Approach to the Representation of, and Reasoning with, Probabilistic Risk Information about Software and Its System Interface.
Proceedings of the 15th International Symposium on Software Reliability Engineering (ISSRE 2004), 2004

2003
Quantitative risk-based requirements reasoning.
Requir. Eng., 2003

Traceability and Decision Capture in Semi-structured Contexts.
Proceedings of the Fifteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2003), 2003

Improved Software Engineering Decision Support Through Automatic Argument Reduction Tools.
Proceedings of the Fifteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2003), 2003

Relating Practitioner Needs to Research Activities.
Proceedings of the 11th IEEE International Conference on Requirements Engineering (RE 2003), 2003

Requirements, Architectures and Risks.
Proceedings of the ICSE 2003, 2003

ICSE 2003 Workshop on Software Engineering for High Assurance Systems: Synergies between Process, Product, and Profiling (SEHAS 2003).
Proceedings of the 25th International Conference on Software Engineering, 2003

Matching Software Practitioner Needs to Researcher Activities.
Proceedings of the 10th Asia-Pacific Software Engineering Conference (APSEC 2003), 2003

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

A Shared Information System Architecture for Integrating Risk Management Tools: A Case Study.
Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

2001
Automatic Generation of Test Oracles-From Pilot Studies to Application.
Autom. Softw. Eng., 2001

Risk Reduction Using DDP (Defect Detection and Prevention): Software Support and Software Applications.
Proceedings of the 5th IEEE International Symposium on Requirements Engineering (RE 2001), 2001

Model-Checking for Validation of a Fault Protection System.
Proceedings of the 6th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2001), 2001

2000
Combining the Best Attributes of Qualitative and Quantitative Risk Management Tool Support.
Proceedings of the Fifteenth IEEE International Conference on Automated Software Engineering, 2000

Design and Development Assessment.
Proceedings of the 10th International Workshop on Software Specification and Design, 2000

Scalable Mechanisms for Requirements Interaction Management.
Proceedings of the 4th International Conference on Requirements Engineering, 2000

Challenges and Methods in Testing the Remote Agent Planner.
Proceedings of the Fifth International Conference on Artificial Intelligence Planning Systems, 2000

1999
Automatic Generation of Test Oracles-From Pilot Studies to Application.
Proceedings of the 14th IEEE International Conference on Automated Software Engineering, 1999

1998
Rapid Application of Lightweight Formal Methods for Consistency Analysis.
IEEE Trans. Software Eng., 1998

"Pushbutton" Analysis Via Integration Of Industrial Tools With Formal Validation.
Proceedings of the 2nd Workshop on Industrial-Strength Formal Specification Techniques (WIFT '98), 1998

Low-cost pathways towards formal methods use.
Proceedings of the Second Workshop on Formal Methods in Software Practice, 1998

1997
Requirements and Specification Exemplars.
Autom. Softw. Eng., 1997

Automatic Monitoring of Software Requirements.
Proceedings of the Pulling Together, 1997

1995
Requirements monitoring in dynamic environments.
Proceedings of the Second IEEE International Symposium on Requirements Engineering, March 27, 1995

1994
Towards a derivational style of distributed system design - An example.
Autom. Softw. Eng., 1994

A Framework for Distributed System Designs.
Proceedings of the Proceedings KBSE'94, 1994

Transformational design of distributed systems.
Proceedings of the Second International Workshop on Configurable Distributed Systems, 1994

1993
Software Aberrations - Origins and Treatments.
Proceedings of the Incompleteness and Uncertainty in Information Systems, 1993

Cardinality Evolution in Specifications.
Proceedings of the SEKE'93, 1993

Requirements reconnoitring at the juncture of domain and instance.
Proceedings of IEEE International Symposium on Requirements Engineering, 1993

An implementation of bounded obligations.
Proceedings of the Eighth Knowledge-Based Software Engineering Conference, 1993

Utilizing Scenarios in the Software Development Process.
Proceedings of the Information System Development Process, 1993

Behavior-Oriented Specification in Gist.
Proceedings of the Formal Program Development - IFIP TC2/WG 2.1 State-of-the-Art Report, 1993

1992
Representation and Presentation of Requirements Knowledge.
IEEE Trans. Software Eng., 1992

Explorations on the formal frontier of distributed system design.
Proceedings of the Seventh Knowledge-Based Software Engineering Conference, 1992

1991
Integrating domain knowledge, requirements, and specifications.
Journal of Systems Integration, 1991

The KBSA Requirements/Specifications Facet: ARIES.
Proceedings of the Proceedings 6th Annual Knowledge-Based Software Engineering Conference, 1991

Composite System Design: The Good News and the Bad News.
Proceedings of the Proceedings 6th Annual Knowledge-Based Software Engineering Conference, 1991


Requirements Engineering - Getting Right from Wrong.
Proceedings of the ESEC '91, 1991

1990
Building an Evolution Transformation Library.
Proceedings of the 12th International Conference on Software Engineering, 1990

1989
Constructing Specifications by Combining Parallel Elaborations.
IEEE Trans. Software Eng., 1989

Language issues in the specification and design of composite systems.
SIGPLAN Notices, 1989

1988
Corrections to "A Synthesis of Several Sorting Algorithms" by J. Darlington.
Acta Inf., 1988

1987
Language Support for the Specification and Development of Composite Systems.
ACM Trans. Program. Lang. Syst., 1987

1986
An incremental approach to construting, explaining and maintaining specifications.
Proceedings of the Third International Software Process Workshop (ISPW '86), 1986

1982
Program Specification Applied to a Text Formatter.
IEEE Trans. Software Eng., 1982

A System for Assisting Program Transformation.
ACM Trans. Program. Lang. Syst., 1982

Implementing Specification Freedoms.
Sci. Comput. Program., 1982

1981
Application Downloading.
Proceedings of the 5th International Conference on Software Engineering, 1981

1980
Relationships Between and Among Models (discussion).
Proceedings of the Workshop on Data Abstraction, 1980

Some Contrasts and Considerations of an Approach to Modelling.
Proceedings of the Workshop on Data Abstraction, 1980

1979
A system for developing programs by transformation.
PhD thesis, 1979


  Loading...