| 2008 |
|---|
| 55 | EE | Martin S. Feather,
Kenneth A. Hicks,
Ryan M. Mackey,
Serdar Uckun:
Guiding Technology Deployment Decisions using a Quantitative Requirements Analysis Technique.
RE 2008: 271-276 |
| 54 | EE | Martin S. Feather,
Steven L. Cornford,
Kenneth A. Hicks,
James D. Kiper,
Tim Menzies:
A Broad, Quantitative Model for Making Early Requirements Decisions.
IEEE Software 25(2): 49-56 (2008) |
| 2007 |
|---|
| 53 | EE | Tim Menzies,
Oussama El-Rawas,
Jairus Hihn,
Martin S. Feather,
Raymond J. Madachy,
Barry W. Boehm:
The business case for automated software engineering.
ASE 2007: 303-312 |
| 52 | EE | James D. Kiper,
Martin S. Feather,
Julian Richardson:
Optimizing the V&V process for critical systems.
GECCO 2007: 1139 |
| 51 | EE | Martin S. Feather:
Defect Detection and Prevention (DDP).
Monterey Workshop 2007: 13-14 |
| 2006 |
|---|
| 50 | EE | Steven L. Cornford,
Martin S. Feather,
Vance A. Heron,
J. Steven Jenkins:
Fusing Quantitative Requirements Analysis with Model-based Systems Engineering.
RE 2006: 272-277 |
| 2005 |
|---|
| 49 | EE | James D. Kiper,
Martin S. Feather:
A Risk-Based Approach to Strategic Decision-Making for Software Development.
HICSS 2005 |
| 48 | | Martin S. Feather,
Steven L. Cornford,
Kenneth A. Hicks,
Kenneth R. Johnson:
Applicatiuons of tool support for risk-informed requirements reasoning.
Comput. Syst. Sci. Eng. 20(1): (2005) |
| 2004 |
|---|
| 47 | EE | Martin S. Feather:
Towards a Unified Approach to the Representation of, and Reasoning with, Probabilistic Risk Information about Software and Its System Interface.
ISSRE 2004: 391-402 |
| 46 | EE | Michael Goedicke,
Martin S. Feather:
Guest Editors' Introduction.
Autom. Softw. Eng. 11(4): 335-335 (2004) |
| 2003 |
|---|
| 45 | EE | Martin S. Feather,
Tim Menzies,
Judith R. Connelly:
Matching Software Practitioner Needs to Researcher Activities.
APSEC 2003: 6-16 |
| 44 | EE | Martin S. Feather,
Allen P. Nikora,
Constance L. Heitmeyer,
Nancy R. Mead:
ICSE 2003 Workshop on Software Engineering for High Assurance Systems: Synergies between Process, Product, and Profiling (SEHAS 2003).
ICSE 2003: 787-788 |
| 43 | EE | Martin S. Feather,
Tim Menzies,
Judith R. Connelly:
Relating Practitioner Needs to Research Activities.
RE 2003: 352- |
| 42 | | Leila Meshkat,
Martin S. Feather,
Steven L. Cornford:
Traceability and Decision Capture in Semi-structured Contexts.
SEKE 2003: 647-654 |
| 41 | | Tim Menzies,
James D. Kiper,
Martin S. Feather:
Improved Software Engineering Decision Support Through Automatic Argument Reduction Tools.
SEKE 2003: 655-662 |
| 40 | EE | James D. Kiper,
Martin S. Feather:
Requirements, Architectures and Risks.
STRAW 2003: 100-106 |
| 39 | EE | Martin S. Feather,
Steven L. Cornford:
Quantitative risk-based requirements reasoning.
Requir. Eng. 8(4): 248-265 (2003) |
| 2002 |
|---|
| 38 | EE | Shaosong Xu,
Hoh Peter In,
Martin S. Feather:
A Shared Information System Architecture for Integrating Risk Management Tools: A Case Study.
COMPSAC 2002: 785-792 |
| 37 | EE | Martin S. Feather,
Tim Menzies:
Converging on the Optimal Attainment of Requirements.
RE 2002: 263-272 |
| 2001 |
|---|
| 36 | | Martin S. Feather,
Stephen Fickas,
N.-A. Razermera-Mamy:
Model-Checking for Validation of a Fault Protection System.
HASE 2001: 32-41 |
| 35 | EE | Martin S. Feather:
Risk Reduction Using DDP (Defect Detection and Prevention): Software Support and Software Applications.
RE 2001: 288 |
| 34 | | Martin S. Feather,
Benjamin D. Smith:
Automatic Generation of Test Oracles-From Pilot Studies to Application.
Autom. Softw. Eng. 8(1): 31-61 (2001) |
| 2000 |
|---|
| 33 | | Benjamin D. Smith,
Martin S. Feather,
Nicola Muscettola:
Challenges and Methods in Testing the Remote Agent Planner.
AIPS 2000: 254-263 |
| 32 | EE | Martin S. Feather,
Steven L. Cornford,
Timothy W. Larson:
Combining the Best Attributes of Qualitative and Quantitative Risk Management Tool Support.
ASE 2000: 309-312 |
| 31 | EE | Martin S. Feather,
Steven L. Cornford,
Mark Gibbel:
Scalable Mechanisms for Requirements Interaction Management.
ICRE 2000: 119-129 |
| 30 | EE | Steven L. Cornford,
Martin S. Feather,
John C. Kelly,
Timothy W. Larson,
Burton Sigal,
James D. Kiper:
Design and Development Assessment.
IWSSD 2000: 105-114 |
| 1999 |
|---|
| 29 | EE | Martin S. Feather,
Benjamin D. Smith:
Automatic Generation of Test Oracles-From Pilot Studies to Application.
ASE 1999: 63-72 |
| 1998 |
|---|
| 28 | EE | Martin S. Feather:
Low-cost pathways towards formal methods use.
FMSP 1998: 85-91 |
| 27 | EE | Martin S. Feather,
Julia R. Dunphy,
Nicolas Rouquette:
"Pushbutton" Analysis Via Integration Of Industrial Tools With Formal Validation.
WIFT 1998: 140- |
| 26 | EE | Martin S. Feather:
Rapid Application of Lightweight Formal Methods for Consistency Analysis.
IEEE Trans. Software Eng. 24(11): 949-959 (1998) |
| 1997 |
|---|
| 25 | EE | Don Cohen,
Martin S. Feather,
Khaled Narayanaswamy,
Stephen Fickas:
Automatic Monitoring of Software Requirements.
ICSE 1997: 602-603 |
| 24 | | Martin S. Feather,
Stephen Fickas,
Anthony Finkelstein,
Axel van Lamsweerde:
Requirements and Specification Exemplars.
Autom. Softw. Eng. 4(4): 419-438 (1997) |
| 1995 |
|---|
| 23 | EE | Stephen Fickas,
Martin S. Feather:
Requirements monitoring in dynamic environments.
RE 1995: 140-147 |
| 1994 |
|---|
| 22 | | Martin S. Feather,
Stephen Fickas:
A Framework for Distributed System Designs.
KBSE 1994: 6-13 |
| 1993 |
|---|
| 21 | | Martin S. Feather:
Behavior-Oriented Specification in Gist.
Formal Program Development 1993: 89-122 |
| 20 | | Kevin Benner,
Martin S. Feather,
W. Lewis Johnson,
Lorna A. Zorman:
Utilizing Scenarios in the Software Development Process.
Information System Development Process 1993: 117-134 |
| 19 | | Martin S. Feather:
Cardinality Evolution in Specifications.
SEKE 1993: 575-583 |
| 18 | | Martin S. Feather:
Software Aberrations - Origins and Treatments.
SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems 1993: 1-15 |
| 1992 |
|---|
| 17 | EE | W. Lewis Johnson,
Martin S. Feather,
David R. Harris:
Representation and Presentation of Requirements Knowledge.
IEEE Trans. Software Eng. 18(10): 853-869 (1992) |
| 1991 |
|---|
| 16 | | Martin S. Feather:
Requirements Engineering - Getting Right from Wrong.
ESEC 1991: 485-488 |
| 15 | | Martin S. Feather,
Stephen Fickas,
B. Robert Helm:
Composite System Design: The Good News and the Bad News.
KBSE 1991: 16-25 |
| 14 | | W. Lewis Johnson,
Martin S. Feather,
David R. Harris:
The KBSA Requirements/Specifications Facet: ARIES.
KBSE 1991: 48-56 |
| 13 | EE | W. Lewis Johnson,
Martin S. Feather,
David R. Harris:
Integrating domain knowledge, requirements, and specifications.
Journal of Systems Integration 1(3-4): 283-320 (1991) |
| 1990 |
|---|
| 12 | | W. Lewis Johnson,
Martin S. Feather:
Building an Evolution Transformation Library.
ICSE 1990: 238-248 |
| 1989 |
|---|
| 11 | EE | Martin S. Feather:
Constructing Specifications by Combining Parallel Elaborations.
IEEE Trans. Software Eng. 15(2): 198-208 (1989) |
| 10 | EE | Martin S. Feather:
Language issues in the specification and design of composite systems.
SIGPLAN Notices 24(4): 159-161 (1989) |
| 1988 |
|---|
| 9 | | Dean Jacobs,
Martin S. Feather:
Corrections to ``A Synthesis of Several Sorting Algorithms'' by J. Darlington.
Acta Inf. 26(1/2): 19-23 (1988) |
| 1987 |
|---|
| 8 | EE | Martin S. Feather:
Language Support for the Specification and Development of Composite Systems.
ACM Trans. Program. Lang. Syst. 9(2): 198-234 (1987) |
| 1986 |
|---|
| 7 | | Martin S. Feather:
An incremental approach to construting, explaining and maintaining specifications.
ISPW 1986: 137-140 |
| 1982 |
|---|
| 6 | EE | Martin S. Feather:
A System for Assisting Program Transformation.
ACM Trans. Program. Lang. Syst. 4(1): 1-20 (1982) |
| 5 | | Martin S. Feather:
Program Specification Applied to a Text Formatter.
IEEE Trans. Software Eng. 8(5): 490-498 (1982) |
| 4 | | Philip E. London,
Martin S. Feather:
Implementing Specification Freedoms.
Sci. Comput. Program. 2(2): 91-131 (1982) |
| 1981 |
|---|
| 3 | | Robert Balzer,
A. Cooperband,
Martin S. Feather,
Philip E. London,
David S. Wile:
Application Downloading.
ICSE 1981: 450-459 |
| 1980 |
|---|
| 2 | EE | Martin S. Feather:
Some Contrasts and Considerations of an Approach to Modelling.
Workshop on Data Abstraction, Databases and Conceptual Modelling 1980: 121-123 |
| 1 | EE | John Mylopoulos,
Martin S. Feather,
Bertrand Meyer,
Paolo Paolini,
Diane C. P. Smith,
Gary G. Hendrix:
Relationships Between and Among Models (discussion).
Workshop on Data Abstraction, Databases and Conceptual Modelling 1980: 77-82 |
